0xEigenLabs / eigen-zkvm
A Rust zkVM with a Modular Proof System
☆141Updated this week
Alternatives and similar repositories for eigen-zkvm
Users that are interested in eigen-zkvm are comparing it to the libraries listed below
Sorting:
- Eigen zkVM's Proving Service☆29Updated last month
- A community-maintained curated list of awesome resources of RISC Zero.☆80Updated 11 months ago
- python tool to transpile a tf.keras model into a circom circuit☆251Updated last year
- OPML: OPtimistic Machine Learning on Blockchain☆307Updated 5 months ago
- Javascript/NodeJS Plonk prover and verifier on bellman☆11Updated 2 years ago
- Confidential Transaction with Collaborative Traceability, zk-zkRollup☆47Updated last year
- A TEE framework to ship zkVM/zkEVM☆30Updated 2 years ago
- ☆99Updated 9 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Updated 5 months ago
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆64Updated 3 months ago
- ☆107Updated last year
- Benchmark of multiple zk implementations.☆83Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆107Updated this week
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆171Updated last month
- DSL for Halo2 circuits☆187Updated 6 months ago
- ☆150Updated last year
- ☆198Updated last year
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆66Updated last month
- A zero-knowledge Move language runtime environment.☆79Updated 4 months ago
- zkp-co-learning☆63Updated 5 months ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Updated last year
- Basic scaffolding for setting up and writing a Halo2 ZK circuit☆108Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆48Updated 4 months ago
- List of halo2-related resources☆195Updated 3 months ago
- A PoC repo for a HyperNova impl☆83Updated last year
- Circom Circuits Library for Machine Learning☆177Updated 10 months ago
- Simplified educational python plonk implementation☆44Updated 3 months ago
- Kate commitment based PLONK recursive aggregation circuit☆40Updated last year
- ☆51Updated last year
- Old, obsolete version of the Valida compiler; its replacement will become public later☆50Updated last year