Share this article

Bitcoin Layer 2 Rootstock Verifies Zero-Knowledge SNARK

Rootstock verified the SNARK using BitVMX, which is Rootstock's modified version of BitVM

Updated Jul 26, 2024, 7:27 p.m. Published Jul 26, 2024, 4:45 p.m.
16:9 Roots (PDPhotos/Pixabay)
(PDPhotos/Pixabay)
  • 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

Sam Altman's World teams up with Coinbase to prove there is a real person behind every AI transaction

Worldcoin co-founders Alex Blania and Sam Altman (Marc Olivier/Worldcoin)

World said some estimates suggest agentic commerce could reach $3 trillion to $5 trillion by 2030, with agents accounting for up to 25% of U.S. e-commerce.

What to know:

  • World, an identity project cofounded by Sam Altman, has launched AgentKit, a toolkit that lets AI agents carry cryptographic proof they are backed by a unique human via the World ID system.
  • By integrating with Coinbase and Cloudflare’s x402 protocol for stablecoin micropayments, AgentKit aims to make AI agents verifiable economic participants rather than suspicious automated traffic.
  • AgentKit links multiple agents to a single verified person using zero-knowledge proofs and, for now, Orb-based biometrics, enabling platforms to cap usage per human and positioning World as a foundational identity layer for an AI-driven web.