[!IMPORTANT] main is the development branch. Application developers should use the latest release instead.

RISC Zero Solana

RISC Zero is a zero-knowledge verifiable general computing platform, with Solana integration. This repository contains our Solana verifier infrastructure and supporting code.

Components

Verifier Router

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.

Supporting Components

We provide several supporting libraries to help developers integrate with the verifier:

• Groth16 Verifier: Groth16 proof verification using Solana alt-bn254 system calls
• Ownable Library: Secure two-step ownership transfer for Solana programs
• Example Code: Integration code demonstrating verifier usage

Getting Started

Full documentation for using RISC Zero, including guides for writing zkVM programs, and more can be found at our Developer Documentation.

Quick Links

• Groth16 Verifier Program
• Verifier Router
• Ownable Library
• Example Code

Audits

An audit was completed by Veridise as of commit 84a1929 with suggested fixes applied in 5d7f7f9.

See the full audit report