Computing on Bitcoin #101
August 07, 2026 - Week 32
Welcome to a new edition of Computing on Bitcoin News.
Bitcoin Computing continues to evolve at a rapid pace, with new milestones reflecting the ecosystem's steady progress.
Here's our curated selection of this week's most relevant developments.
Let's dive into the highlights.
A Citrea blog post reviews six months of Clementine, its BitVM and zero-knowledge-powered bridge, reporting 150 BTC in total peg-in volume as the first BitVM-based bridge to a fully programmable Bitcoin layer.
blog.citrea.xyz
🔗
6 Months of Clementine - First Trust-Minimized Bitcoin Bridge
Over its first six months in production, Clementine has successfully processed 150 BTC in total bridging volume, making it the first BitVM-based bridge to a fully programmable platform to achieve such a milestone.
As long as a single Signer and a single Watchtower remains honest, incorrect peg-outs cannot succeed.
GOAT Network's July newsletter reports that BitVM3 entered audit, with the whitepaper, a Deferred Binding research note, and code published, alongside the release of the bridge node's formal verification report covering findings, fixes, and open items.
goat.network/news
🔗
The GOAT July Newsletter: BitVM3 Nears Mainnet
GOAT BitVM3 is approaching mainnet. The protocol addresses one of the central limitations of earlier BitVM designs: resolving a dispute without forcing Bitcoin Script to reproduce an entire zero-knowledge verifier.
The GOAT BitVM3 whitepaper, Deferred Binding research note, and code are available. The implementation is under audit.
A new article from Alpen reports that Chainflow has joined the network as an independent operator securing BTC deposits and withdrawals during Testnet III, testing the Strata bridge's 1-of-N trust model.
alpen.org/blog
🔗
Chainflow joins Alpen as an independent operator
Chainflow has joined Alpen as one of its first independent operators, with the goal of securing BTC deposits and withdrawals across the network.
Chainflow joins Alpen Labs and other operators in testing the Strata bridge's 1-of-N trust model, under which the system remains secure as long as at least one operator acts honestly.
A GOAT Network blog post details a TLA+ model checking exercise on the GOAT BitVM3 bridge ahead of mainnet.
goat.network/news
🔗
Model checking the GOAT BitVM3 bridge
We model checked the GOAT BitVM3 bridge in TLA+. 8 findings, all fixed and re-verified, every counterexample published, 2 items still open.
Every spec was built from the Rust source rather than the documentation, which surfaced 3 places where the docs had drifted from the code.
That wraps up this week's edition of Computing on Bitcoin News.
We hope you found it useful and look forward to bringing you more of the latest developments in Bitcoin Computing next week.
The Fairgate Team