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
Pudgy Penguins: A New Blueprint for Tokenized Culture

Pudgy Penguins is building a multi-vertical consumer IP platform — combining phygital products, games, NFTs and PENGU to monetize culture at scale.
What to know:
Pudgy Penguins is emerging as one of the strongest NFT-native brands of this cycle, shifting from speculative “digital luxury goods” into a multi-vertical consumer IP platform. Its strategy is to acquire users through mainstream channels first; toys, retail partnerships and viral media, then onboard them into Web3 through games, NFTs and the PENGU token.
The ecosystem now spans phygital products (> $13M retail sales and >1M units sold), games and experiences (Pudgy Party surpassed 500k downloads in two weeks), and a widely distributed token (airdropped to 6M+ wallets). While the market is currently pricing Pudgy at a premium relative to traditional IP peers, sustained success depends on execution across retail expansion, gaming adoption and deeper token utility.
More For You
Bitcoin's Quantum threat is ‘real but distant,’ says Wall Street analyst as doomsday debate rages on

Wall Street broker Benchmark argued the crypto network has ample time to evolve as quantum risks shift from theory to risk management.
What to know:
- Broker Benchmark said Bitcoin’s main vulnerability lies in exposed public keys, not the protocol itself.
- Coinbase’s new Quantum Advisory Council marks a shift from theoretical concern to institutional response.
- Bitcoin’s architecture is conservative but adaptable, according to Benchmark analyst Mark Palmer, with a long runway for upgrades.











