inversebrah / awesome-risc0Links
A community-maintained curated list of awesome resources of RISC Zero.
☆84Updated last year
Alternatives and similar repositories for awesome-risc0
Users that are interested in awesome-risc0 are comparing it to the libraries listed below
Sorting:
- python tool to transpile a tf.keras model into a circom circuit☆250Updated last year
- A zk-SNARK implementation☆50Updated 2 years ago
- A curated list of awesome ORA ecosystem.☆87Updated 3 months ago
- A Rust zkVM with a Modular Proof System☆141Updated last month
- Eigen zkVM's Proving Service☆29Updated last month
- OPML: OPtimistic Machine Learning on Blockchain☆308Updated 6 months ago
- Web3.0/Vyper based wargame☆99Updated 2 years ago
- Learn Move with examples☆95Updated 2 years ago
- ☆82Updated last week
- source code of zkSync Contract☆104Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆33Updated 8 months ago
- Write-ups submitted by CTF participants☆35Updated 2 years ago
- A random Solidity program generator.☆75Updated last month
- Best zkSync-era ETL ever 😜☆100Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆59Updated 5 months ago
- ☆86Updated 2 years ago
- Old, obsolete version of the Valida compiler; its replacement will become public later☆51Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆101Updated 6 months ago
- Introduction to various ZK languages☆60Updated 7 months ago
- Step by step implementation of KZG☆19Updated 8 months ago
- Benchmarks of popular zkVMs including Jolt☆60Updated last year
- Chrono is a novel logical clock system designed for open networks with Byzantine participants, offering improved fault tolerance and perf…☆39Updated 6 months ago
- UPA is the proof aggregation engine built by NEBRA team.☆32Updated 2 months ago
- ☆59Updated 2 years ago
- ☆39Updated this week
- This repo introduces concepts on constraint degree and optimization technics, as well as example implementations of Range Checks using Pl…☆16Updated 2 months ago
- A rust template that allows any rust dev to easily develop an app made for a zkVM, but abstracting which one to use☆53Updated 2 months ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- PoC of Revm execution in SGX☆80Updated last year
- Honk Verifier in Solidity☆50Updated 8 months ago