scroll-tech / zk-mooc-halo2View external linksLinks
☆75Mar 23, 2023Updated 2 years ago
Alternatives and similar repositories for zk-mooc-halo2
Users that are interested in zk-mooc-halo2 are comparing it to the libraries listed below
Sorting:
- ☆34Jul 14, 2023Updated 2 years ago
- Scroll's Rollup Explorer Backend☆55Aug 4, 2025Updated 6 months ago
- Implementation of Nova using arkworks for learning purposes. https://eprint.iacr.org/2021/370.pdf☆45May 31, 2023Updated 2 years ago
- Monorepo of halo2 crates☆307Aug 26, 2025Updated 5 months ago
- Include halo2 example circuits☆92Oct 16, 2023Updated 2 years ago
- Email verification circuit in halo2☆68Jul 3, 2024Updated last year
- Poseidon hash circuit☆107Oct 30, 2024Updated last year
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year
- ☆12Jan 24, 2023Updated 3 years ago
- Simplified educational python plonk implementation☆46Jul 6, 2025Updated 7 months ago
- Plonkish Nova implementation along with advanced features☆16Dec 16, 2023Updated 2 years ago
- scroll's DA encoding/decoding libraries☆17Feb 4, 2026Updated last week
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Jul 18, 2025Updated 6 months ago
- educational python plonk implementation, based on vitalik's py_plonk☆222Jul 12, 2024Updated last year
- gkr-mimc is a POC-grad gnark gadget to accelerate the proving time of Mimc computation☆25Jun 24, 2024Updated last year
- ☆18Mar 28, 2023Updated 2 years ago
- verify cairo execution in Halo2☆15Sep 12, 2023Updated 2 years ago
- halo2 ecc circuit☆116Feb 17, 2023Updated 2 years ago
- A collection of technical notes from the Geometry research team.☆47Apr 17, 2023Updated 2 years ago
- A community-developed re-implementation of the Starkware Stone Prover☆69Oct 29, 2024Updated last year
- Benchmarking framework for general purpose zero-knowledge proofs languages and libraries☆102Dec 2, 2024Updated last year
- List of halo2-related resources☆203Jan 30, 2025Updated last year
- A repo for our research papers☆245Jun 4, 2025Updated 8 months ago
- ☆12Sep 11, 2024Updated last year
- Ethereum compatibility layer for Substrate.☆12Mar 30, 2023Updated 2 years ago
- ☆11Aug 11, 2025Updated 6 months ago
- The zkEVM assembly tools☆11Aug 16, 2024Updated last year
- A STARK-based ZKVM which aims to Programmable Scalability, Programmable Privacy☆163Feb 12, 2025Updated last year
- ☆221Jul 29, 2025Updated 6 months ago
- ☆155Feb 26, 2024Updated last year
- ☆41Oct 24, 2022Updated 3 years ago
- Deprecated, please submit a badge through the link below☆11Aug 16, 2024Updated last year
- Frobenius sumcheck for vectorized boolean ops☆56Apr 12, 2025Updated 10 months ago
- Pint, the constraint-based programming language for declarative blockchains☆21Updated this week
- A build-time dependency for linking go code into Rust.☆14Nov 28, 2023Updated 2 years ago
- ☆14Dec 17, 2024Updated last year
- ☆14Oct 27, 2023Updated 2 years ago
- SMT 2023 Submission; license pending☆57Jan 28, 2026Updated 2 weeks ago
- comparing the performance of different zero-knowledge proof libraries☆134Oct 15, 2023Updated 2 years ago