“The event represents a significant leap ahead for the BitVMX proving system, demonstrating the power to problem and validate the execution of a SNARK verifier on-chain,” Rootstock’s group mentioned in an emailed assertion on Thursday. “This breakthrough opens the door for replicating this course of with any program compiled to the RISC-V structure, using BitVMX’s general-purpose digital CPU.”