Awesome RISC0

A curated list of awesome RISC Zero resources, tutorials, tools and libraries.

RISC Zero is the general purpose zero-knowledge VM.

Core

• RISC0: A zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
• zeth: A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM

Ecosystem

General

• RISC0 Bonsai Pay: An open source ZK-powered payments platform that enables users to send crypto to any Google account using Ethereum.
• zk-sentiment: Simple sentiment analysis inside RISC0 for trustless verifiable sentiment scores in trustless environments.
• zk-pref-matching: Privacy Preserving Stable Marriage Matching with RISC0.
• Pixel Police: A protocol that enables organisations to verify that digital content (image or video) is not GenAI/ Deepfake.
• risc0-on-eth: Use RISC0's zkVM to protect an Ethereum smart contract.

Identity

• zkpass-accredited-investors: Proving that you are an accredited investor so you can legally buy any securities and receive airdrops, with zkPass.
• zk-KYC: Leveraging ID.me to generate a client authentication token to achieve zk-KYC.

Interoperability

• risc0-bonsai_multichain-escrow: Native zkRollups utilizing a L3-Architecture based on Polygon's zkEVM to solve the interoperability between networks through a common state on L2.

Privacy

• zk-tfhe: Prove that Fully homomorphic encryption computation in zama concrete-rs was done correctly via RISC0.
• zkFHE: Verifiable and confidential computation based on ZKP and FHE, powered by RISC0 zkVM.

Games

• Doom: Doom run in RISC0 zkVM.
• zkSnake: Snake game with verifiable score in RISC0 zkVM.

VM in VM

• zkPoEX: A PoC of Proof of Exploit for whitehat hackers using RISC0 zkVM.
• EVM at RISC0: Run Solidity code inside SputnikVM inside RISC0 zkVM.
• mindfuck: Brainfuck interpreter in RISC0 zkVM.
• op-zeth: zeth fork to prove validity of OP Stack blocks using RISC0's zkVM.
• zkGeth: Zero knowledge proof for Go ethereum client geth using RISC0 zkVM.

Dev

• RISC0 WASM: WASM example run in RISC0.
• RISC0 CosmWasm: CosmWasm + RISC-V zkVM gm example.
• TOEP: Substrate blockchain with RISC0 coprocessor.
• ts-riscv-template: Compile TypeScript into AssemblyScript then run in RISC0 zkVM.
• Crate validation: Library validation for RISC0 zkVM.

Infra

• RISC0 Prover in WASM: Simple sentiment analysis inside risc zero for trustless verifiable sentiment scores in trustless environments.
• risc0-nova: Replace STARK with Nova folding scheme for RISC0 zkVM.

Contributors & Integrations

• Sovereign Labs: Rollup framework integrated with RISC0 zkVM.
• zkOS: Cross-zk-rollup aggregation integrated with RISC0 zkVM.
• zkBPF: Zero-knowledge execution of eBPF bytecode using RISC0 zkVM as backend.
• LayerN: ZK fault proof using RISC0 zkVM.
• AltLayer: ZK fault proof using RISC0 zkVM.
• L2IV: Building multiple libraries and toolings for RISC0 zkVM.
• Citrea: ZK-based BitVM rollup using RISC0 zkVM.
• zkOP: Prove OP block with zeth using RISC0 zkVM.

Research

General

• RISC0 Protocol Analysis
• zkML with RISC Zero
• Analysis of zkVM Designs
• zkVM Feature Comparison

Benchmark

• Benchmarking ZKML Frameworks
• zk-bench
• zk-benchmarking
• zk-Harness Benchmark
• BrainBench
• Experiments and Evaluation of ZK Backends