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

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