RISC Zero
Number of verifiers
6
Aggregation
YesTrusted setup
YesList of verifiers
| Name | Verifier | Verification status | Last used | |
|---|---|---|---|---|
| RiscZeroVerifier (Ethereum) | 0xf70a…E93C | Submit or ask for verification | 132 days ago | |
| RiscZeroVerifier (Arbitrum One) | 0x8EaB…D319 | Submit or ask for verification | — | |
| RiscZeroVerifier (Base) | 0x8EaB…D319 | Submit or ask for verification | — | |
| RiscZeroVerifier (Linea) | 0x8EaB…D319 | Submit or ask for verification | — | |
| RiscZeroVerifier (OP Mainnet) | 0x8EaB…D319 | Submit or ask for verification | — | |
| RiscZeroVerifier (Polygon zkEVM) | 0x8EaB…D319 | Submit or ask for verification | — |
Description
ZK verifier for RISC-V programs.
RISC Zero allows to prove with ZK the computation of a RISC-V program. The architecture is composed of three parts:
The repo containing the circuits code can be found here. The prover implementation can be found here.
The wrapper uses Groth16 as the proof system, and therefore requires a circuit specific trusted setup. The ceremony can be found here. An high level guide on how to verify the setup can be found here, while the full guide can be found here.
Info about the security model can be found here, the list of audits here and a blog post on overall security here.
List of required tools
| Tool name | Version | Tool docs |
|---|---|---|
| snarkjs | ? | More informationMore info |
| circom | ? | More informationMore info |