A parallel proving service for ZKM.
☆22Dec 18, 2025Updated 2 months ago
Alternatives and similar repositories for zkm-prover
Users that are interested in zkm-prover are comparing it to the libraries listed below
Sorting:
- Eigen zkVM's Proving Service☆29Aug 24, 2025Updated 6 months ago
- zkMIPS 0.3: an open-source, simple, stable, and universal zero-knowledge virtual machine on MIPS32r2 ISA☆134Apr 10, 2025Updated 10 months ago
- GPU-acceselerated cryptography libraries for ZKsync☆22Feb 24, 2026Updated last week
- A "Type 0" zkEVM☆12Jul 16, 2025Updated 7 months ago
- ☆23Jun 12, 2025Updated 8 months ago
- High performance EraVM for zkSync.☆23Feb 26, 2026Updated last week
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- ZKM Development Template/Framework☆30Jul 2, 2025Updated 8 months ago
- ☆21Feb 19, 2026Updated 2 weeks ago
- ☆20Nov 3, 2025Updated 4 months ago
- Cryptography libraries for ZKsync☆42Feb 26, 2026Updated last week
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆47Dec 18, 2025Updated 2 months ago
- Circuits for Pluto's `web-prover`☆25Apr 25, 2025Updated 10 months ago
- Make your zero-knowledge circuits safe with formal verification! 🍀☆32Nov 27, 2025Updated 3 months ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- ☆176Updated this week
- plonky2 proving over paladin☆22Jun 19, 2024Updated last year
- A circom library for zero-knowledge proofs of symmetric encryption key ownership without key revelation.☆28Updated this week
- ☆10Nov 20, 2024Updated last year
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆136Updated this week
- ☆31Oct 27, 2025Updated 4 months ago
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- Web Assembly low level implementation of pairing friendly curves.☆15Feb 10, 2026Updated 3 weeks ago
- A brc-20 discord bot that will watch ticker activity on unisat☆13May 11, 2023Updated 2 years ago
- ☆12Oct 4, 2023Updated 2 years ago
- Generic implementation of the Number Theoretic Transform in the context of cryptography applications☆14Aug 13, 2025Updated 6 months ago
- Prover Manager☆25Updated this week
- rust sdk for zkWasm☆11Feb 11, 2026Updated 3 weeks ago
- A pqSNARK with lightweight proofs, powered by the Whir PCS.☆45Sep 11, 2025Updated 5 months ago
- Benchmark of ZKVMs and Proving Schemes☆32Dec 12, 2025Updated 2 months ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Oct 18, 2024Updated last year
- Starky implementation of Bls12-381☆13May 16, 2024Updated last year
- customizable halo2 circuits batcher☆31Oct 25, 2025Updated 4 months ago
- ☆14Dec 26, 2024Updated last year
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated 10 months ago
- Monorepo of tools for using the halo2 proving system in-browser using WASM.☆56Jun 20, 2024Updated last year
- revm/reth block proving on Valida☆15Feb 11, 2025Updated last year
- A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.☆13Jul 2, 2025Updated 8 months ago
- zkID is a team committed to advancing ZKP standards and driving privacy-focused solutions in digital identity.☆63Feb 24, 2026Updated last week