Bitcoin Layer 2 Rootstock Verifies Zero-Knowledge SNARK
Rootstock verified the SNARK using BitVMX, which is Rootstock's modified version of BitVM

- Zero-knowledge SNARK (Succinct Non-Interactive Argument of Knowledge) refers to a process where one can demonstrate knowledge without revealing that information and without the prover and verifier interacting.
- "The development represents a major leap forward for the BitVMX proving system, demonstrating the ability to challenge and validate the execution of a SNARK verifier on-chain," Rootstock's team said.
A team of developers from Rootstock Labs and Fairgate say they've succeeded in the technological breakthrough of interactively verifying a SNARK proof – a powerful type of cryptography in many blockchain systems – on the main Bitcoin network.
The demonstration could represent a major advance in making the largest blockchain more accommodating to faster, cheaper layer-2 networks, with programmability similar to what's currently possible on Ethereum and other networks.
The SNARK was verified using a modified version of Robin Linus's BitVM design, known as BitVMX, that the team developed independently. Linus developed BitVM as a computing paradigm designed to allow Ethereum-style smart contracts on Bitcoin.
Zero-knowledge SNARK (Succinct Non-Interactive Argument of Knowledge) refers to a process where one can demonstrate knowledge without revealing that information and without the prover and verifier interacting.
The verification took place on Bitcoin's mainnet on Thursday, having been completed in a testnet environment the day before.
"The development represents a major leap forward for the BitVMX proving system, demonstrating the ability to challenge and validate the execution of a SNARK verifier on-chain," Rootstock's team said in an emailed statement on Thursday. "This breakthrough opens the door for replicating this process with any program compiled to the RISC-V architecture, utilizing BitVMX’s general-purpose virtual CPU."
Read More: Bitcoin Layer-2 Chain Bitlayer Raises $11M Led by ETF Issuer Franklin Templeton
CORRECTION (July 26, 19:00 UTC): Corrects fourth paragraph to say the verification took place on Bitcoin's mainnet instead of Rootstock's
More For You
Protocol Research: GoPlus Security

What to know:
- As of October 2025, GoPlus has generated $4.7M in total revenue across its product lines. The GoPlus App is the primary revenue driver, contributing $2.5M (approx. 53%), followed by the SafeToken Protocol at $1.7M.
- GoPlus Intelligence's Token Security API averaged 717 million monthly calls year-to-date in 2025 , with a peak of nearly 1 billion calls in February 2025. Total blockchain-level requests, including transaction simulations, averaged an additional 350 million per month.
- Since its January 2025 launch , the $GPS token has registered over $5B in total spot volume and $10B in derivatives volume in 2025. Monthly spot volume peaked in March 2025 at over $1.1B , while derivatives volume peaked the same month at over $4B.
More For You
Coinbase Expands Reach of Stablecoin-Based AI Agent Payments Tool

The updated protocol, x402 V2, allows developers to combine payments, enable secure wallet access, and add new features via a clean, modular design.
What to know:
- Coinbase has released the latest version of its stablecoin-based payments protocol for AI agents, making it easier to extend and plug in the autonomous payments system.
- The new version adds wallet-based identity, automatic API discovery, dynamic payment recipients, and support for more chains and fiat.











