Computing on Bitcoin #66
November 21, 2025 - Week 47

Welcome to a new edition of Computing on Bitcoin News, where we explore the latest breakthroughs shaping scalable computation and interoperability across the Bitcoin ecosystem.
As progress accelerates, innovations continue unlocking the next chapter of Bitcoin-based computation.
This has been a busy week, as Devconnect took place in our hometown, Buenos Aires. Many exciting events took place, and the ecosystem looks stronger than ever.
Let's dive in.

01

Fairgate released a recap of its Buenos Aires event at Devconnect 2025, highlighting Sergio Lerner, Fairgate’s CTO, who presented updates on BitVMX, garbled circuits, and upcoming covenant research.
The post also covers Fairgate’s participation in the Whitepaper Reading Club, underscoring the team’s role in advancing scalable computation on Bitcoin.

fairgate.io/blog
🔗 Fairgate in Buenos Aires Pt 2: Discussing the Future of Bitcoin Scalability

BitVMX presentation led the foundations for the Technical Panel, which featured Super Testnet, Liam Eagen, and Sergio himself. The discussion, moderated by Isabel Foxen Duke (Bitcoin Rails), centered around “The Future of Computing on Bitcoin,” diving into how offchain proofs, modular design, and cross-chain coordination can help Bitcoin evolve beyond simple scripting toward complex, verifiable computation.

02

Bitcoin Amsterdam released a new presentation by Robin Linus detailing BitVM3, outlining how garbled circuits reduce bridge dispute data from megabytes to kilobytes. The talk provides an update on the evolution from BitVM1–3 and explains how the new design enables trust-minimized Bitcoin sidechains and rollups using existing Bitcoin script.

Closing Panel "BitVM - Bridging Bitcoin" at BTC++ Istanbul, September 2025

youtube.com/@Fairgate_Labs
BitVM3 is the biggest leap in Bitcoin bridge efficiency since BitVM1. In this talk from Bitcoin Amsterdam, Robin Linus unveils BitVM3 — using garbled circuits to slash on-chain dispute costs from megabytes to kilobytes while keeping the 1-of-n honest security model. This is the breakthrough that finally makes trust-minimized Bitcoin sidechains and rollups practical. No covenants needed yet, no trusted operators, just pure Bitcoin script doing SNARK verification the smart way.

03

Citrea announced the completion of the first trusted setup ceremony for the ZK proofs used in BitVM, establishing the cryptographic parameters that Clementine and other BitVM-based bridges will rely on.

blog.citrea.xyz
🔗 Citrea Completes the First-Ever Trusted Setup Ceremony for ZK Proofs Used in BitVM

With a total of 63 contributions, Citrea’s trusted ceremony drew an industry-wide participation, including contributors from RiscZero, Nethermind, StarkWare, Luxor Mining, Shielded Labs, Boundless, Babylon, Avail, Aztec, Celestia, Nansen, and other leading projects.

04

A new post by ZeroSync announces that its BitVM2 implementation has completed a full audit by Zellic, with all issues resolved and the system reinforced. The update states that SNARK verification on Bitcoin is now ready for mainnet and acknowledges contributions from multiple BitVM Alliance teams.

05

Whitepaper Reading Club shared a discussion featuring BitVMX by FairGate Labs together with the Rootstock team and contributors. The session highlighted research efforts across both projects and their approaches to Bitcoin scalability and interoperability.

Thank you for joining us for another edition of Computing on Bitcoin News. We’re excited to keep sharing the ideas and breakthroughs that move the ecosystem forward.
Stay tuned for more highlights in the coming weeks.
The Fairgate Team

—The Fairgate Team