Computing on Bitcoin #95
June 26, 2026 - Week 26
Welcome to a new edition of Computing on Bitcoin News!
Here’s a selection of recent developments from across the ecosystem.
Let's dive in
A BitVMX developer at Fairgate Labs, Camilo Rivas, published a technical article detailing the integration of garbled circuits into BitVMX to verify arbitrary programs on Bitcoin with constant on-chain complexity.
bitvmx.org/knowledge
🔗
Implementing Garbled Circuits for BitVMX
Our protocol is divided into two parts: first the setup, and then the verification protocol itself. During setup, the Prover (or Garbler) will be responsible for garbling the publicly known circuit that will be used for this protocol. We will not go into details on what GCs are and how they are generated, but the main idea is that a garbled-circuit protocol is a protocol for secure two-party computation.
A new blog post by Blockstream outlines the Liquid Network roadmap, including research into a BitVM-style 1-of-n bridge model.
blog.blockstream.com
🔗
Liquid Network Roadmap: 0-Conf, Quantum Readiness and BitVM
Growth across the network is accelerating. We have seen transaction activity climb sharply, TVL expand significantly, Federation membership broaden, and the range of assets and applications on Liquid become more diverse. Underpinning that momentum is the same strong track record, uptime and security-first development philosophy that continue to differentiate Liquid.
A new article by CapBitcoin reviews the state of Bitcoin protocol evolution, including developments around covenants, Ark, zero-knowledge proofs, and BitVM. It hilights their use cases, their risks, and a hypothetical 2027-2030 calendar.
capbitcoin.me
🔗
Future Bitcoin evolutions : covenants, Ark, BitVM
Five years after Taproot, Bitcoin is in a slow but active evolution phase. No soft-fork has been activated since November 2021, but several structuring proposals are in discussion : covenants OP_CTV, OP_VAULT, ANYPREVOUT ; Ark protocol as Lightning alternative ; BitVM enabling off-chain compute verifiable on-chain ; zero-knowledge proof integration.
A new article examines the development of Bitcoin Layer 2 DeFi, arguing that overcollateralized lending aligns more closely with Bitcoin’s technical model than complex application frameworks. It also discusses BitVM as a longer-term avenue for reducing bridge trust assumptions.
crypto-economy.com
🔗
Bitcoin L2 is not a casino: Why overcollateralized lending beats algorithmic credit in DeFi
Teams building on Bitcoin L2 have spent two years running a collective experiment whose results now read clearly. The Ordinals inscription cycle, BRC-20 tokens, and EVM-style application experiments on Bitcoin sidechains generated transient volume and speculative activity but did not produce sustainable product-market fit.
A new video by Fadi Barbàra examines a proposed denial-of-service scenario in BitVM3 involving modifications to on-chain assert proofs.
The BitVM3 Attack That Looks Real, But Isn’t
youtube.com/@fadibarbara8922
A question I received is whether, in BitVM3, the verifier could perform a denial-of-service attack against the operator by modifying the assert proof posted on-chain, causing the verifier to spend the connector. for the dispute transaction.
Thanks for reading this edition! We continue tracking the projects and technical advances shaping the future of computing on Bitcoin.
See you next week.
The Fairgate Team