Skip to main content

Rust zkVM


The RISC Zero zero-knowledge virtual machine (zkVM) lets you prove correct execution of arbitrary Rust code in your Ethereum contract. For example, any smart contract can call the RISC Zero Verifier contract to trustlessly verify that the zk proof of the off-chain computation is valid. While you can generate proofs on your own hardware, you can also use their Bonsai API and SDK to generate them.

Supported Networks

  • BOB Mainnet
  • BOB Sepolia (Testnet)