TechFlow news: The development teams of Bitcoin sidechain Rootstock Labs (RIF) and Fairgate announced a technical breakthrough in implementing interactive SNARK (Succinct Non-Interactive Argument of Knowledge) proofs on the Bitcoin mainnet.
The demonstration was completed on the Bitcoin mainnet on Thursday, following a successful test on the testnet one day earlier. The team utilized their independently developed BitVMX system, a modified version of Robin Linus's BitVM design.
Rootstock stated that this advancement represents a significant leap forward for the BitVMX proof system, demonstrating the ability to challenge and verify SNARK verifier execution on-chain. This breakthrough could pave the way for Bitcoin to support faster and cheaper Layer-2 networks, enabling Ethereum-like programmability. Zero-knowledge SNARKs are a powerful cryptographic technique that allows knowledge to be proven without revealing any information and without interaction between the prover and verifier.
According to the Rootstock team, this achievement opens the door to replicating any program compiled for the RISC-V architecture using the BitVMX general-purpose virtual CPU.
