According to TechFlow, the development teams of Bitcoin sidechain Rootstock Labs (RIF) and Fairgate announced that they have successfully achieved a technical breakthrough in interactively verifying SNARK proofs on the Bitcoin mainnet.
The demonstration was completed on the bitcoin mainnet on Thursday, after having been completed in a testnet environment the day before. The team used their independently developed BitVMX system, a modified version of Robin Linus’ BitVM design.
The Rootstock team said that this development represents a significant advancement in the BitVMX proof system, demonstrating the ability to challenge and verify SNARK verifier execution on-chain. This breakthrough could pave the way for the Bitcoin network to adapt to faster and cheaper second-layer networks with programmability similar to Ethereum.
The Rootstock team says this breakthrough opens the door to replicating any program compiled for the RISC-V architecture using the BitVMX universal virtual CPU.
