Rootstock successfully verified a SNARK proof on the mainnet using BitVMX, a modified version of BitVM. This is a significant achievement for the development of zero-knowledge proofs on the Bitcoin blockchain.

- Verification took place on the Rootstock mainnet on Thursday, after successful testing on the testnet.

- BitVMX allows you to execute Ethereum-style smart contracts on Bitcoin.

- Rootstock says this opens up the possibility of using SNARK in various programs compiled for the RISC-V architecture.