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 Solana integration. This repository contains our Solana verifier infrastructure and supporting code.
Our core verifier infrastructure allows secure on-chain verification of RISC Zero zkVM proofs. The router provides:
- On-chain verification of Groth16 proofs from the RISC Zero zkVM
- Dynamic verifier routing and management
- Emergency stop functionality for security
Important
If you want to verify RISC Zero proofs in your Solana program the Verifier Router is what you want to integrate with. See the list of verifier router deployments to find the existing deployment for your chain. Do not deploy your own copies of the Groth16 verifier or Verifier Router unless you know what you are doing.
We provide several supporting libraries to help developers integrate with the verifier:
- Groth16 Verifier: Groth16 proof verification using Solana
alt-bn254system calls - Ownable Library: Secure two-step ownership transfer for Solana programs
- Example Code: Integration code demonstrating verifier usage
Full documentation for using RISC Zero, including guides for writing zkVM programs, and more can be found at our Developer Documentation.
An audit was completed by Veridise as of commit 3be7250 with suggested fixes applied in ee41593.
See the full audit report