🚀Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.🚀Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.🚀Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.🚀Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.🚀Launching BitVMX FORCE : An industry-backed effort to establish BitVMX as the standard for Disputable Computing on Bitcoin.

« Newsletters

Computing on Bitcoin #32
March 28, 2025 - Week 13

The latest Computing on Bitcoin News newsletter is live! đź“°
Inside, you'll find the most important developments from across the ecosystem: ZK tech, new Layer 2s, cross-chain bridges, and beyond.
Give it a read and let us know what you think. Enjoy your reading!

01
Moving forward on R0VM: RISC Zero

RISC Zero announces progress on R0VM 2.0, the first formally verified RISC-V zkVM. By using automated formal verification, the project aims to eliminate underconstrained bugs, a major security risk in ZK systems, ensuring provable correctness and stronger guarantees for developers.

risczero.com/blog
🔗 RISC Zero’s Path to The First Formally Verified RISC-V zkVM
The lion’s share of security defects in ZK software come from circuits: one of the big reasons to use a zkVM like RISC Zero’s is to make it simple to secure your application, because you can write your application in a high level language like Rust and don’t have to write your own circuits. Unfortunately, you still have to trust that we got ours right. Circuits encode a computation as a set of constraints, a bunch of equations that describe the relationship between inputs and outputs for the computation.

02
L2s with on chain verification: Kevin He

Kevin He, co-founder of BitLayer, discusses the design of a Bitcoin L2 with on-chain ZK verification. He explores the use of fraud and validity proofs, BitVM contributions, and Bitcoin-friendly STARKs, balancing scalability, security, and programmability.

A Leap Towards True Bitcoin L2 with BitVM2 - Stephen Duan, Core Contributor at GOAT Network

@House of ZK
In this episode we sit down with Kevin He, Co-founder of BitLayer, to discuss the architecture and design decisions behind building a Bitcoin L2 with onchain ZK verification.
Kevin shares his perspective on the tradeoffs between scalability, security, and programmability in the Bitcoin ecosystem, the rationale for using both fraud and validity proofs, and BitLayer's contributions to BitVM and Bitcoin-friendly STARKs. The conversation also covers real-time EVM execution, developer experience, upgrade governance, and BitLayer’s broader mission to enable trustless BTC-Fi onchain.

03
Introducing OP Kailua: zkVM opcode for efficient on chain verification

RISC Zero introduces OP Kailua, a zkVM opcode enabling efficient proof verification onchain. This advancement supports rollups and trust-minimized applications, enhancing scalability and security.

risczero.com/blog
đź”— Introducing OP Kailua: Upgrade your OP chain into a ZK Rollup.
Validity Mode: The Full ZK Experience Validity mode lets OP chains upgrade to a ZK Rollup instantly, eliminating disputes and providing the highest security with 1 hour finality.
Umatched Security
Stronger guarantees than any other fault-proof mechanism. Safety requires only one honest sequencer, and liveness requires only sufficient proving power (e.g., via Boundless).
Permissionless sequencing is built-in, with a configurable “Vanguard” mode allowing an in-house proposer to have a head-start on sequencing rights

04
OP Kailua also trasitioning into a ZK Rollup: BOB

BOB integrates OP Kailua to transition into a ZK rollup, initially using ZK fraud proofs and later adding validity proofs. This upgrade secures both BOB’s Ethereum settlement and BitVM bridge operations with Babylon-based Bitcoin finality proofs.

That’s it for this editionof Computing on Bitcoin News.
Thanks for following along—more updates, insights, and ecosystem news are on the way.
Until next time, keep building and stay curious!

â–‘Subscribe To Our Newsletter