0xEigenLabs / eigen-proverLinks
Eigen zkVM's Proving Service
☆29Updated last month
Alternatives and similar repositories for eigen-prover
Users that are interested in eigen-prover are comparing it to the libraries listed below
Sorting:
- A Rust zkVM with a Modular Proof System☆141Updated 2 months ago
- A community-maintained curated list of awesome resources of RISC Zero.☆90Updated last year
- A "Type 0" zkEVM☆12Updated 2 months ago
- A parallel proving service for ZKM.☆22Updated last month
- Polymath: Groth16 Is Not The Limit☆29Updated 8 months ago
- Ziren(formerly zkMIPS): An open-source, simple, stable, and universal zkVM on MIPS32.☆94Updated last week
- python tool to transpile a tf.keras model into a circom circuit☆249Updated last year
- ☆31Updated 5 months ago
- A Rust library for proof-carrying disclosures☆21Updated last year
- ☆32Updated last year
- Fawkes-Crypto - zkSNARKs framework☆22Updated last year
- ☆17Updated 7 months ago
- LegoGroth16 implementation on top of Zexe☆24Updated 3 years ago
- implentation of Ligerito☆20Updated 5 months ago
- A rusty implementation of the Caulk+ lookup algorithm.☆12Updated 2 years ago
- ☆13Updated 2 years ago
- STARK book☆20Updated last year
- Rust library for accumulation schemes☆24Updated 2 years ago
- ☆22Updated 4 months ago
- ☆30Updated 2 years ago
- Circom AES-GCM circuits☆33Updated 2 months ago
- Implementation of the Hades permutation algorithm used in Poseidon Hashes with ZKProof capabilities.☆22Updated last year
- snarkpack for arkwork☆21Updated 2 years ago
- An arkworks implementation of the superspartan PIOP☆13Updated last year
- Polyhedra ZK knowledge base☆26Updated 11 months ago
- Plonkish Nova implementation along with advanced features☆16Updated last year
- plonky2 recursion framework handling different circuits in unified way.☆15Updated last year
- FRI low-degree-testing & polynomial commitment scheme☆24Updated 2 years ago
- ☆12Updated 2 years ago
- ☆41Updated last year