Important

main is the development branch. Application developers should use the latest release instead.

RISC Zero Solana

Warning

This is unaudited and not yet recommended for production use.

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