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.

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.

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

BOB 🤝 Risc Zero | Boundless

We are hyped to partner with @boundless_xyz and @RiscZero to help bring Bitcoin security, zk proofs, and faster withdrawals to BOB.

With OP Kailua, BOB will become a Stage 1 rollup - initially with zk fraud proofs and later with validity proofs.

We… https://t.co/kFyy7yZdwp

— BOB 🧡 (@build_on_bob) March 25, 2025