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
KuCoin Hits Record Market Share as 2025 Volumes Outpace Crypto Market

KuCoin captured a record share of centralised exchange volume in 2025, with more than $1.25tn traded as its volumes grew faster than the wider crypto market.
What to know:
- KuCoin recorded over $1.25 trillion in total trading volume in 2025, equivalent to an average of roughly $114 billion per month, marking its strongest year on record.
- This performance translated into an all-time high share of centralised exchange volume, as KuCoin’s activity expanded faster than aggregate CEX volumes, which slowed during periods of lower market volatility.
- Spot and derivatives volumes were evenly split, each exceeding $500 billion for the year, signalling broad-based usage rather than reliance on a single product line.
- Altcoins accounted for the majority of trading activity, reinforcing KuCoin’s role as a primary liquidity venue beyond BTC and ETH at a time when majors saw more muted turnover.
- Even as overall crypto volumes softened mid-year, KuCoin maintained elevated baseline activity, indicating structurally higher user engagement rather than short-lived volume spikes.
More For You
Solana’s new phase is ‘much more about finance,’ says Backpack CEO Armani Ferrante

The Solana ecosystem has spent the past year doubling down on a financial infrastructure, Backpack CEO Armani Ferrante told CoinDesk.
What to know:
- Solana’s latest phase looks a lot less flashy than its memecoin-fueled highs, and that may be the goal.
- Armani Ferrante, CEO of crypto exchange Backpack, told CoinDesk in an interview the Solana ecosystem has spent the past year doubling down on a more sober focus: financial infrastructure. A
- fter years of experimentation as the wider crypto industry focused on NFTs, games and social tokens, attention is now shifting back toward decentralized finance, trading and payments.











