0xEigenLabs / eigen-zkvm
A Rust zkVM with a Modular Proof System
☆141Updated 2 weeks ago
Alternatives and similar repositories for eigen-zkvm:
Users that are interested in eigen-zkvm are comparing it to the libraries listed below
- Eigen zkVM's Proving Service☆29Updated this week
- A community-maintained curated list of awesome resources of RISC Zero.☆77Updated 10 months ago
- python tool to transpile a tf.keras model into a circom circuit☆251Updated last year
- Javascript/NodeJS Plonk prover and verifier on bellman☆11Updated last year
- OPML: OPtimistic Machine Learning on Blockchain☆306Updated 3 months ago
- Confidential Transaction with Collaborative Traceability, zk-zkRollup☆46Updated last year
- ☆98Updated 7 months ago
- zkp-co-learning☆60Updated 3 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia☆72Updated 7 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 4 months ago
- Benchmark of multiple zk implementations.☆83Updated last year
- DSL for Halo2 circuits☆187Updated 4 months ago
- A month-long zkp study group, one topic at a time.☆129Updated 3 weeks ago
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆109Updated last year
- ☆107Updated 11 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆48Updated 2 months ago
- List of halo2-related resources☆194Updated 2 months ago
- ☆195Updated last year
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆101Updated last year
- ☆119Updated 4 months ago
- A curated list of awesome ORA ecosystem.☆85Updated 3 weeks ago
- A FRI verifier circuit for the Halo2 proof system☆76Updated 2 years ago
- A zk-SNARK Mixer MVP☆13Updated last year
- ☆16Updated 2 months ago
- Circom Circuits Library for Machine Learning☆171Updated 9 months ago
- Include halo2 example circuits☆87Updated last year
- ☆60Updated 2 years ago
- Simplified educational python plonk implementation☆43Updated last month
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758☆120Updated 2 years ago