Important
main is the development branch.
Application developers should use the latest release instead.
RISC Zero is a zero-knowledge verifiable general computing platform, with Ethereum integration. This repository contains Solidity verifier contracts, [Steel] EVM view call library, and supporting code.
If you are looking to get started using RISC Zero in the application on Ethereum, the best place to look is the Foundry template.
You can also find the documentation for RISC Zero, including guides for writing zkVM programs, using the Bonsai prover, and more at dev.risczero.com.
RISC Zero's Ethereum contracts, including the on-chain verifier for all RISC Zero Groth16 proofs, can be found in the contracts directory.
Steel lets Solidity developers effortlessly scale their applications by moving computation offchain without compromising on onchain security. Steel drastically reduces gas costs and this enables previously impossible applications.
Steel now lives in its own repository. Check out github.com/boundless-xyz/steel