The RISC Zero zkVM is a verifiable computer that works like a real embedded RISC-V micro-processor, enabling programmers to write ZK proofs like they write any other code.
This program covers the RISC Zero blockchain verifiers which provides the onchain verification RISC ZERO zkVM Groth16 proof claims.
Target | Type | Severity | Reward |
---|---|---|---|
https://github.com/risc0/risc0-ethereum/tree/main/contracts/src Copy | Smart Contract | Critical | Bounty |
Only the active version of the RISC Zero managed contract deployed to Ethereum Mainnet and active in the RISC Zero router contract.
This will generally be the same version as deployed on Sepolia and the authoritative source for addresses shall be: contracts/deployment.toml.
The focus of this bounty program shall be inaccurate verification of Groth16 RISC Zero zkVM receipt claims, with invalid claims that successfully verify being considered the most critical. Upstream contract dependencies that impact the security of the RISC Zero contract are considered in scope if exploitable on Ethereum mainnet.
Vulnerabilities related to the RISC Zero zkVM should be submitted to the corresponding Bug Bounty Program.
Payable bounties will require sufficient information for RISC Zero engineers to independently reproduce the results.