zkMIPS / zkm-project-template
ZKM Development Template/Framework
☆25Updated last week
Alternatives and similar repositories for zkm-project-template
Users that are interested in zkm-project-template are comparing it to the libraries listed below
Sorting:
- A curated list of awesome things related to learning Circle STARK.☆30Updated 2 months ago
- ☆40Updated 6 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A collection of ZK light client libraries for various blockchains☆51Updated 5 months ago
- ☆50Updated last year
- Email verification circuit in halo2☆68Updated 10 months ago
- On-chain Ethereum light client built with SP1☆49Updated this week
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆64Updated 7 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 9 months ago
- High performance EraVM for zkSync.☆24Updated 3 weeks ago
- ☆38Updated last year
- ☆61Updated last year
- ☆25Updated last week
- ☆49Updated this week
- Polyhedra ZK knowledge base☆23Updated 6 months ago
- ☆31Updated last year
- Diamond iO implementation https://eprint.iacr.org/2025/236☆67Updated this week
- ☆51Updated last week
- ☆23Updated 4 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 6 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☆51Updated last month
- KZG commitments over BLS12-381☆34Updated 2 years ago
- For practice to using halo2☆22Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆67Updated 7 months ago
- customizable halo2 circuits batcher☆30Updated this week
- Solidity implementation of Nova proving system verifier☆61Updated last year
- A monorepo of reusable Circom circuits.☆25Updated last month
- ☆18Updated 2 weeks ago
- Pessimistic proof for the AggLayer.☆26Updated 10 months ago