Bitcoin Layer 2 Rootstock Verifies Zero-Knowledge SNARK

Zero-knowledge SNARK (Succinct Non-Interactive Knowledge Argument) refers to a process by which a person can demonstrate knowledge without revealing the knowledge and without the prover and verifier interacting.

“This development represents a major leap forward for the BitVMX proof-of-stake system, demonstrating the ability to query and verify the execution of a SNARK validator on-chain,” the Rootstock team said.

Bitcoin layer 2 Rootstock interactively verified the SNARK proof as a potential breakthrough for the development of zero-knowledge proofs on the original blockchain network.

Rootstock validated SNARK using BitVMX, Rootstock’s modified version of BitVM, a computing paradigm designed to allow Ethereum-style smart contracts on Bitcoin.

Zero-knowledge SNARK (Succinct Non-Interactive Knowledge Argument) refers to a process by which a person can demonstrate knowledge without revealing the knowledge and without the prover and verifier interacting.

The validation took place on Bitcoin’s mainnet on Thursday, after being completed on the testnet environment the day before.

“The development represents a major leap forward for the BitVMX proof-of-concept system, demonstrating the ability to query and verify the on-chain execution of a SNARK validator,” the Rootstock team said in an emailed statement on Thursday. “This breakthrough opens the door to replicating this process with any program compiled to the RISC-V architecture, using BitVMX’s general-purpose virtual CPU.”

Read More: Bitcoin Layer-2 Chain Bitlayer Raises $11 Million Led by ETF Publisher Franklin Templeton

CORRECTION (July 26, 19:00 UTC): Corrected fourth paragraph to indicate that verification occurs on Bitcoin’s mainnet, not Rootstock’s mainnet.