Computing on Bitcoin #115
November 13, 2026 - Week 46
Welcome to a new edition of Computing on Bitcoin News! Here’s this week’s selection.
GOAT Network explains how its BitVM3 bridge uses Ziren to generate proofs for Bitcoin withdrawals, outlining the prover’s role in bridge security and the independent audits and formal verification used to check it.
x.com/GOATNetwork
🔗
The Prover Behind the BitVM3 Bridge
Every withdrawal from GOAT's BitVM3 bridge is backed by a proof that can be challenged on Bitcoin. This is the prover behind those proofs, why the team building the bridge builds it too, and how the prover itself is checked.
A new article explores MATT and OP_CHECKCONTRACTVERIFY (OP_CCV), explaining how they could enable stateful Bitcoin contracts and fraud-proof systems, potentially reducing the need for mechanisms used by BitVM.
ct.com/research
🔗
Bitcoin Covenants Part 5: MATT and OP_CHECKCONTRACTVERIFY — How Bitcoin could carry state across transactions
OP_CCV embeds contract state directly into Taproot output keys and enforces valid state transitions onchain. This makes it possible to achieve stateful contracts and compact fraud proofs.
Fairgate researcher Ramsès Fernández will present the paper “TOOP-Bridge: A Trust-Minimized Bitcoin Bridge Secure Under a Single Honest Operator” at BCCA 2026 in Barcelona on November 16. Fairgate’s Transfer of Ownership Protocol (TOOP) has already found applications across the Bitcoin ecosystem, including Cardinal’s Ordinals transfers, Citrea’s Clementine v2 research, and BOB’s bridge testnet plans.
TOOP is already making its way into Bitcoin interoperability projects.
— Fairgate (@FairGateLabs) November 11, 2026
From Cardinal's Ordinals transfers to Citrea's Clementine v2 research and BOB's bridge testnet plans, the protocol has found applications across the ecosystem.
On November 16, Fairgate researcher Ramsès Fernández will present “TOOP-Bridge: A Trust-Minimized Bitcoin Bridge Secure Under a Single Honest Operator” at BCCA 2026 in Barcelona.
More: https://t.co/1jmlph9oMx
Conference details: https://t.co/j9izGpe2uI
That’s all for this week’s Computing on Bitcoin News. Thanks for following along, and we’ll be back with another selection of research, insights, and updates next week.
Until next time,
The Fairgate Team