https://github.com/risc0/risc0-solana
https://github.com/risc0/risc0-solana
Last synced: about 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/risc0/risc0-solana
- Owner: risc0
- License: apache-2.0
- Created: 2024-07-23T16:09:50.000Z (11 months ago)
- Default Branch: main
- Last Pushed: 2025-04-04T16:40:50.000Z (3 months ago)
- Last Synced: 2025-04-04T17:33:00.264Z (3 months ago)
- Language: TypeScript
- Size: 739 KB
- Stars: 33
- Watchers: 14
- Forks: 8
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
> [!IMPORTANT]
> `main` is the development branch. Application developers should use the [latest release](https://github.com/risc0/risc0-solana/releases) 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][verifier]: Groth16 proof verification using Solana `alt-bn254` system calls
- [Ownable Library][ownable]: Secure two-step ownership transfer for Solana programs
- [Example Code][examples]: Integration code demonstrating verifier usage
## Getting Started
Full documentation for using RISC Zero, including guides for [writing zkVM programs][risc0-quickstart], and more can be found at our [Developer Documentation].
## Quick Links
- [Groth16 Verifier Program][verifier]
- [Verifier Router][router]
- [Ownable Library][ownable]
- [Example Code][examples]
[RISC Zero]: https://github.com/risc0/risc0
[Solana]: https://solana.com
[examples]: ./solana-examples
[router]: ./solana-verifier
[ownable]: ./solana-ownable
[verifier]: ./solana-verifier/programs/groth_16_verifier
[risc0-quickstart]: https://dev.risczero.com/api/zkvm/quickstart
[bonsai-quickstart]: https://dev.risczero.com/bonsai
[Developer Documentation]: https://dev.risczero.com