RISC Zero

Member since: December 19, 2023

Submissions 51

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: 04 Mar 2025Submitted reports: 20

up to $150,000 Paid: 3000

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: 04 Mar 2025Submitted reports: 31

up to $150,000 Paid: 0

Project types:

Other

Category:

blockchain

smart contract

Languages:

Solidity