“The event represents a serious leap ahead for the BitVMX proving system, demonstrating the power to problem and validate the execution of a SNARK verifier on-chain,” Rootstock’s crew stated 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.”