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.
