Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/inversebrah/awesome-risc0

A community-maintained curated list of awesome resources of RISC Zero.
https://github.com/inversebrah/awesome-risc0

List: awesome-risc0

cryptography risc- rtual-machine stark zero-knowledge

Last synced: 5 days ago
JSON representation

A community-maintained curated list of awesome resources of RISC Zero.

Awesome Lists containing this project

README 

        
# 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](https://github.com/risc0/risc0): A zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

- [zeth](https://github.com/risc0/zeth): A "Type 0" zkEVM. Prove validity of Ethereum blocks using RISC Zero's zkVM.

- [risc0-ethereum](https://github.com/risc0/risc0-ethereum): Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains, with [Steel - Ethereum View Calls in RISC Zero](https://github.com/risc0/risc0-ethereum/tree/main/steel).



## Ecosystem



### General



- [RISC0 Bonsai Pay](https://twitter.com/RiscZero/status/1722947341152604306): An open source ZK-powered payments platform that enables users to send crypto to any Google account using Ethereum.

- [zk-sentiment](https://github.com/rsproule/zk-sentiment): Simple sentiment analysis inside RISC0 for trustless verifiable sentiment scores in trustless environments.

- [zk-pref-matching](https://github.com/rsproule/zk-pref-matching): Privacy Preserving Stable Marriage Matching with RISC0.

- [Pixel Police](https://devfolio.co/projects/pixel-police-a4c5): A protocol that enables organisations to verify that digital content (image or video) is not GenAI/ Deepfake.

- [risc0-on-eth](https://github.com/intoverflow/risc0-on-eth): Use RISC0's zkVM to protect an Ethereum smart contract.



### Identity



- [zkpass-accredited-investors](https://github.com/l2iterative/zkpass-accredited-investors): Proving that you are an accredited investor so you can legally buy any securities and receive airdrops, with zkPass.

- [zk-KYC](https://github.com/risc0/demos/tree/main/zk-kyc): Leveraging ID.me to generate a client authentication token to achieve zk-KYC.



### Interoperability



- [risc0-bonsai_multichain-escrow](https://github.com/wsdt/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](https://github.com/rsproule/zk-tfhe): Prove that Fully homomorphic encryption computation in zama concrete-rs was done correctly via RISC0.

- [zkFHE](https://github.com/emilianobonassi/zkFHE): Verifiable and confidential computation based on ZKP and FHE, powered by RISC0 zkVM.

- [MonadicDNA](https://github.com/Cryptonomic/MonadicDNA): Secure personal genomics using cryptography, with privacy analysis by RISC0 zkVM.



### Games



- [Doom](https://www.risczero.com/news/when-the-doom-music-kicks-in): Doom run in RISC0 zkVM.

- [zkSnake](https://github.com/0xAndoroid/zkSnake): Snake game with verifiable score in RISC0 zkVM.



### VM in VM



- [zkPoEX](https://github.com/zkoranges/zkPoEX): A PoC of Proof of Exploit for whitehat hackers using RISC0 zkVM.

- [EVM at RISC0](https://github.com/odradev/evm-at-risc0): Run Solidity code inside SputnikVM inside RISC0 zkVM.

- [mindfuck](https://github.com/hananbeer/mindfuck): Brainfuck interpreter in RISC0 zkVM.

- [op-zeth](https://github.com/anton-rs/op-zeth/tree/refcell/op-zeth): zeth fork to prove validity of OP Stack blocks using RISC0's zkVM.

- [zkGeth](https://github.com/hero78119/zkGeth): Zero knowledge proof for Go ethereum client geth using RISC0 zkVM.



### Dev



- [RISC0 WASM](https://github.com/risc0/risc0/tree/main/examples/wasm): WASM example run in RISC0.

- [RISC0 CosmWasm](https://github.com/bmorphism/risc0-cosmwasm-example): CosmWasm + RISC-V zkVM gm example.

- [TOEP](https://github.com/justinfrevert/Project-TOEP): Substrate blockchain with RISC0 coprocessor.

- [ts-riscv-template](https://twitter.com/NitanshuL/status/1739316061504508371): Compile TypeScript into AssemblyScript then run in RISC0 zkVM.

- [Crate validation](https://risc0.github.io/ghpages/dev/crate-validation/index.html): Library validation for RISC0 zkVM.



### Infra



- [RISC0 Prover in WASM](https://twitter.com/stskeeps/status/1659798273236824064): Simple sentiment analysis inside risc zero for trustless verifiable sentiment scores in trustless environments.

- [risc0-nova](https://github.com/hero78119/risc0-nova): Replace STARK with Nova folding scheme for RISC0 zkVM.



### Contributors & Integrations



- [Sovereign Labs](https://github.com/Sovereign-Labs): Rollup framework integrated with RISC0 zkVM.

- [zkOS](https://github.com/starkoracles/zkos): Cross-zk-rollup aggregation integrated with RISC0 zkVM.

- [zkBPF](https://github.com/Eclipse-Laboratories-Inc/zk-bpf): Zero-knowledge execution of eBPF bytecode using RISC0 zkVM as backend.

- [LayerN](https://twitter.com/RiscZero/status/1660712143032041472): ZK fault proof using RISC0 zkVM.

- [AltLayer](https://www.risczero.com/news/altlayer-zkfraudproofs): ZK fault proof using RISC0 zkVM.

- [L2IV](https://github.com/l2iterative): Building multiple libraries and toolings for RISC0 zkVM.

- [Citrea](https://citrea.xyz/): ZK-based BitVM rollup using RISC0 zkVM.

- [zkOP](https://github.com/ethereum-optimism/ecosystem-contributions/issues/61#issuecomment-1944799410): Prove OP block with zeth using RISC0 zkVM.



## Research



### General



- [RISC0 Protocol Analysis](https://github.com/ingonyama-zk/papers/blob/main/risc0_protocol_analysis.pdf)

- [zkML with RISC Zero](https://www.youtube.com/watch?v=yslyWRiCFCE)

- [Analysis of zkVM Designs](https://www.youtube.com/watch?v=tWJZX-WmbeY)

- [zkVM Feature Comparison](https://twitter.com/RiscZero/status/1777439550757019683)



### Benchmark



- [Benchmarking ZKML Frameworks](https://blog.ezkl.xyz/post/benchmarks/)

- [zk-bench](https://zkbench.dev/),[zk-bench-paper](https://eprint.iacr.org/2023/1503.pdf)



- [zk-benchmarking](https://github.com/delendum-xyz/zk-benchmarking)

- [zk-Harness Benchmark](https://www.zk-bench.org/)

- [BrainBench](https://brainbench.xyz/)

- [Experiments and Evaluation of ZK Backends](https://github.com/Pi-Squared-Network/proof-checker-public/blob/master/Performance.md)