RISC Zero

Member since: December 19, 2023

Submissions 61

Programs 2

Triaged by Hackenproof

RISC Zero zkVM

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.

Started date: 28 Mar 2024Last updated: 19 May 2025Scope review: 33818

up to $150,000 Paid: 4000

Category:

blockchain

Triaged by Hackenproof

RISC Zero Blockchain Verifiers

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.

Started date: 31 Jan 2025Last updated: 19 May 2025Scope review: 6055

up to $150,000 Paid: 0

Project types:

Other

Category:

blockchain

smart contract

Languages:

Solidity