Zero-knowledge SNARK (Succinct Non-Interactive Argument of Knowledge) refers to a process of demonstrating knowledge without revealing that information and without the prover and verifier interacting.
“The development represents a major leap forward for the BitVMX testing system, demonstrating its ability to challenge and validate the execution of an on-chain SNARK verifier,” the Rootstock team said.
Bitcoin layer 2 Rootstock has interactively verified a SNARK proof in a potential breakthrough for the development of zero-knowledge proofs on the native blockchain network.
Rootstock verified the SNARK using BitVMX, Rootstock’s modified version of BitVM, a computing paradigm designed to enable Ethereum-style smart contracts on Bitcoin.
Zero-knowledge SNARK (Succinct Non-Interactive Argument of Knowledge) refers to a process of demonstrating knowledge without revealing that information and without the prover and verifier interacting.
The verification took place on Rootstock’s mainnet on Thursday, after completing the verification on the testnet the day before.
“The development represents a major leap forward for the BitVMX test system, demonstrating the ability to challenge and validate the execution of a SNARK verifier on-chain,” 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 generic virtual CPU.”
Read more: Bitcoin Layer-2 Chain Bitlayer Raises $11 Million Led by ETF Publisher Franklin Templeton