zkMIPS / zkm-project-template
ZKM Development Template/Framework
☆24Updated this 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
- Email verification circuit in halo2☆68Updated 8 months ago
- ☆37Updated 4 months ago
- Nova: Recursive SNARKs without trusted setup☆43Updated last year
- A curated list of awesome things related to learning Circle STARK.☆29Updated 3 weeks ago
- ☆49Updated last year
- On-chain Ethereum light client built with SP1☆40Updated this week
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 7 months ago
- A collection of ZK light client libraries for various blockchains☆49Updated 3 months ago
- ☆33Updated last year
- PoC of Revm execution in SGX☆79Updated last year
- ☆31Updated 11 months ago
- ☆23Updated 2 months ago
- Rust implementation of KZG point evaluation☆32Updated 2 months ago
- Rescue and Poseidon hash function implementations☆42Updated 7 months ago
- Breathe air☆22Updated 10 months ago
- Benchmarks of popular zkVMs including Jolt☆60Updated 11 months ago
- Using folding schemes for a provable bitcoin light client☆32Updated 9 months ago
- Some very rough benchmarks between sha256 circuits in different proving systems☆49Updated 2 years ago
- My personal notebook for various zk-related topics☆48Updated 2 months ago
- linear-time sumcheck protocol for multilinear polynomials and related addends☆63Updated 5 months ago
- The Ultimate ZK Fault/Validity Proof Software Suite for Securing Rollups☆36Updated this week
- SolChip8 is the first 100% on-chain Chip8 emulator smart contract where you can run chip8 games on EVM☆31Updated 4 months ago
- Extractable Witness Encryption for KZG Commitments☆29Updated 3 months ago
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆37Updated last year
- Smart contracts for onchain verification of SP1.☆84Updated 2 weeks ago
- A set of tooling related to halo2 circuits verification inside Solidity contracts☆64Updated 5 months ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Updated 4 months ago
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆38Updated last year
- BigInt library for Aztec's noir language☆32Updated last year