Computing on Bitcoin #58
September 26, 2025 - Week 39

Welcome to this week’s edition of Computing on Bitcoin News, your window into the protocols and people building Bitcoin’s programmable future.
The innovation pace is only picking up.
Let’s dive into the latest.

01

Fairgate has unveiled BATTLE, a new tournament-style dispute protocol that tackles the fraud proof trilemma without requiring massive security bonds. This first paper lays out the theory and scope, with a follow-up soon to show how BATTLE can be applied to Bitcoin

fairgate.io/publications
🔗 BATTLE: A Breakthrough in Blockchain Dispute Resolution

BATTLE operates in two phases: a bracket tournament among competing asserters, then a challenger phase where the winner faces all challengers in structured rounds that progressively double concurrent disputes as capital allows.

02

GOAT Network has launched the BitVM2 Beta, a public testnet showcasing fast zero-knowledge rollups on Bitcoin with proofs generated in under three seconds.

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

GOAT Network began as a zero-knowledge research project in 2023. In 2024, it shifted focus to Bitcoin, adapting its zk-prover infrastructure to work within the network’s more limited scripting environment.

03

Yesterday Sep 25th in Buenos Aires, Fairgate, Input Output, and TxPipe hosted a technical workshop covering BitVMX, BitVM2, Garbled Circuits, and Fairgate's latest protocols, bringing developers and researchers together to explore new frontiers in Bitcoin interoperability and on-chain computation.

fairgate.io/blog
🔗 BitVMX, Garbled Circuits and Fairgate’s Ecosystem of Protocols: Buenos Aires Event Recap

The afternoon brought together researchers, developers, and protocol designers to explore the growing capabilities of the BitVMX platform and a series of emerging protocols designed to scale trust-minimized infrastructure on Bitcoin.
The Buenos Aires workshop marked an important step in expanding the reach of BitVMX and showcasing protocol research that pushes the limits of what’s possible on Bitcoin. With TOOP, FLEX, WISCH, ESSPI and BATTLE now part of the evolving stack, the event offered a shared space for discussion and experimentation.

04

Bitcoin ZK ZYRA announced Phase 2 of its roadmap, where BitVM now validates ZK proofs directly on Bitcoin. With sequencer and DAC fully decentralized and no external L1 reliance, this marks a step toward making Bitcoin Turing-complete without altering consensus.

05

Citrea marks one year since its testnet launch, recording milestones such as deploying a BitVM bridge design on Bitcoin Testnet4. Audits are underway as the team prepares for mainnet deployment.

blog.citrea.xyz
🔗 1 Year of Citrea Testnet

During its 1 year of testnet, Citrea posted 1GB+ of testnet state to Bitcoin Testnet4. Heavy Citrea testnet usage helped us evaluate our infrastructure. We've optimized our proving and Bitcoin transaction-building services based on Citrea testnet’s heavy load.

06

A new Blockworks article highlights BitVM’s move into the implementation stage, as Bitlayer launches the BitVM Bridge and YBTC on mainnet.

blockworks.co/news
🔗 BitVM enters the ‘implementation’ stage as Bitlayer’s BitVM Bridge and YBTC go live

YBTC is the perfect vehicle for Bitcoin holders first and foremost because of its high level security. As a representative Bitcoin asset created by Bitlayer, a leading Bitcoin infrastructure project, the value of YBTC is strictly pegged 1:1 with native BTC. Each YBTC in circulation is backed by one real BTC securely locked in the BitVM Bridge, preserving YBTC’s value and eliminating de-peg risk from Bitcoin.

Thanks for reading this edition of Computing on Bitcoin News.
As each week brings new advances, Bitcoin’s transformation into a programmable platform grows more tangible.

We'll be back next Friday with more updates from the teams shaping the descentralized future.

The Fairgate Team