Awesome
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.
- risc0-ethereum: Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains, with Steel - Ethereum View Calls in RISC Zero.
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.
- MonadicDNA: Secure personal genomics using cryptography, with privacy analysis by RISC0 zkVM.
Games
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.