Computing on Bitcoin #59
October 03, 2025 - Week 40

Welcome to a new edition of Computing on Bitcoin News.
This week, we’re reporting from BTC++ Berlin, focusing on Bitcoin Payments and Lightning, critical building blocks for scaling and driving broader adoption.
As always, we bring you the latest breakthroughs and emerging ideas on programmable and scalable Bitcoin.
Let’s dive in.

01

At BTC++ Berlin 2025, Sergio Lerner, CTO of Fairgate, presented how BitVMX enables secure and watchtower-efficient Bitcoin payment channels through efficient state revocations and minimal storage requirements.
Also, Pedro Prete led a Fairgate workshop giving developers a hands-on introduction to building expressive smart contracts on Bitcoin with BitVMX.

lightning++ Berlin 2025 | Sergio Lerner - Building Secure and Watchtower-efficient Bitcoin Payment Channels with BitVMX

youtube.com/@btcplusplus
This livestream covers Day 1 - October 2, 2025 | Sergio Lerner on Main Stage

02

The BitVMX team released the open source Protocol Builder, a library for designing Bitcoin protocol flows as transaction graphs. It automates construction, signing, and validation of pre-signed transactions while supporting Taproot, timelocks, CPFP, and multi-signature schemes.

bitvmx.org/knowledge
🔗 New BitVMX Open Source Components Delivery: Introducing the BitVMX Protocol Builder – Graph-Based Transaction Design for Bitcoin

This component enables developers to define, simulate, and manage Bitcoin protocol flows as directed acyclic graphs (DAGs) of pre-signed transactions. It abstracts away the complexity of crafting multi-step Bitcoin interactions, allowing protocols to be built from composable, auditable, and broadcast-ready units.

03

GOAT Network launched the BitVM2 Beta, a public testnet for what it calls the first ZK rollup directly on Bitcoin.

goat.network/blog
🔗 GOAT Network Bets on Fast ZK Proofs to Capture Bitcoin Layer 2 Yield

Its new testnet uses a distributed system of GPU-powered nodes that process blocks, aggregation, and Groth16 proofs, in parallel. According to GOAT, this setup eliminates bottlenecks and allows for near-instant withdrawals.

04

Rootstock has activated the Reed upgrade, strengthening its PowPeg, cutting peg-out costs by 60%, and paving the way for more decentralized bridging. Reed also lays the foundation for the upcoming Union Bridge, a trust-minimized design powered by BitVMX, set to become one of the most secure Bitcoin bridges to date.

rootstock.io/blog
🔗 Developer Resources: Reed Network Upgrade

Reed will allow for a new PowPeg composition change that activates Segregated Witness (Segwit) support for the PowPeg, cutting BTC peg-out costs by 60%. This makes Rootstock more accessible and capital-efficient, reducing the cost of moving Bitcoin back to mainnet and improving the user experience across BTCFi applications.

05

Horizen Labs has launched zkVerify, a dedicated L1 blockchain for zero-knowledge proof verification. By offloading heavy computation from apps and other chains, zkVerify aims to cut verification costs by over 90% while supporting multiple proof types and multichain attestations.

cointelegraph.com/news
🔗 New zkVerify L1 blockchain wants to speed up and lower cost of crypto ZK-proofs

According to zkVerify, ZKP verification on networks like Ethereum can cost up to $60 per proof during high congestion, with verification consuming up to 300,000 gas units. zkVerify promises to enable cost reduction of at least 90% compared to verifying directly on L1s.
“Heavy math instead of original app or chain”
To cut verification costs, zkVerify provides a dedicated verification layer by separating proof verification from settlement on L1s.

Thanks for tuning in to this week’s Computing on Bitcoin News.
We’ll return next Friday with more insights, tools, and stories from across the decentralized stack.
The Fairgate Team