Understand the project
Practical overview
When it fits
Use it when a Solana program needs to verify computation proofs generated by the RISC Zero zkVM, particularly where Groth16 verification and a verifier-router integration are required.
Who it is for
- Solana developers integrating zero-knowledge proof verification into programs.
- Teams using RISC Zero zkVM computation proofs in on-chain workflows.
- Developers seeking reusable verifier and ownership components for Solana infrastructure.
Documented uses
- Verify RISC Zero Groth16 proofs on-chain from a Solana program.
- Route verification dynamically through the Verifier Router.
- Build proof-gated Solana applications that validate computation proofs before an on-chain action.
- Reuse the provided verifier and ownership components in a Solana integration.
Before you choose
Requirements & limits
It is distributed under the Apache-2.0 license and is identified for server and self-hosted use.
- Whether the application uses Solana programs and RISC Zero zkVM proofs.
- Whether Groth16 proof verification is the required proof format.
- Whether dynamic verifier routing and emergency-stop functionality are useful integration requirements.
- Whether an existing documented verifier-router deployment can be used instead of deploying a separate copy.
Check current requirements in the official documentation. Source-based guidance does not mean OpenViST has run or independently tested this project.
Evidence and transparency
Sources & review
Source record details
- Source availability
- Active
- Sources checked
- 28 September 2026
- Original website title
- boundless-xyz/risc0-solana · Official homepage title · retained in its source language