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.
Bitcoin layer 2 Rootstock has interactively verified a SNARK proof in a potential breakthrough for the development of zero-knowledge proofs on the original blockchain network.
Rootstock verified the SNARK using BitVMX, which is Rootstock’s modified version of BitVM, 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 Rootstock’s mainnet on Thursday, having been completed on the testnet 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.”