risc0/risc0

Health v2 · maintenance only

Adoption not part of the score

2179 stars · 731 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded

RISC Zero is a zero-knowledge verifiable general computing platform built on zk-STARKs and a RISC-V-based zkVM. It lets developers prove that code executed correctly without revealing inputs, producing verifiable receipts for arbitrary Rust, C, or C++ programs.

Use cases

• prove a computation ran correctly without revealing its inputs
• generate zero-knowledge proofs for arbitrary Rust programs
• verify off-chain computation results on-chain
• build privacy-preserving blockchain applications with zk-STARKs
• create verifiable receipts for financial transaction processing
• run verifiable general-purpose compute in a RISC-V virtual machine

When to choose

• you need general-purpose zero-knowledge proofs for arbitrary code rather than hand-written circuits
• your team knows Rust, C, or C++ and wants to write zk-provable programs in a normal language
• you need verifiable off-chain computation with on-chain verification
• you want a zkVM based on the RISC-V ISA with STARK-based proofs

When to avoid

• you need lightweight SNARKs with minimal proof size and fast verification over small statements
• you only need simple signature or membership proofs that specialized zk tools handle more cheaply
• you cannot tolerate the overhead of proving RISC-V execution cycles
• you need a no-code or DSL-only zk proof workflow

Facets

framework · maturity active

cryptography sdk simulation compiler blockchain security developer-tools rust cpp cross-platform cli zero-knowledge zkvm zk-starks risc-v verifiable-computation proof-system cryptography

Member repositories

For agents

markdown · JSON · MCP: product_card(name="risc0/risc0")