Skip to content

Latest commit

 

History

History
92 lines (63 loc) · 5.85 KB

README.md

File metadata and controls

92 lines (63 loc) · 5.85 KB
Raw

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

  • 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

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

Benchmark