z2o-k7e / zkp-co-learnView external linksLinks
zkp-co-learning
☆64Dec 4, 2024Updated last year
Alternatives and similar repositories for zkp-co-learn
Users that are interested in zkp-co-learn are comparing it to the libraries listed below
Sorting:
- Simplified educational python plonk implementation☆46Jul 6, 2025Updated 7 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia☆71Aug 17, 2024Updated last year
- customizable halo2 circuits batcher☆31Oct 25, 2025Updated 3 months ago
- A month-long zkp study group, one topic at a time.☆184Jul 28, 2025Updated 6 months ago
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights☆47Dec 2, 2024Updated last year
- A collection of the Vietnam Spring ZK Residency effort of the ZKWasm team☆36Apr 6, 2023Updated 2 years ago
- ☆18May 29, 2024Updated last year
- ☆25Jan 14, 2025Updated last year
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated 10 months ago
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated last year
- educational python plonk implementation, based on vitalik's py_plonk☆222Jul 12, 2024Updated last year
- A fast zero-knowledge proof friendly Move language runtime environment.☆46Aug 26, 2023Updated 2 years ago
- Hammster Next.js and Halo2 web app.☆17May 21, 2023Updated 2 years ago
- List of halo2-related resources☆203Jan 30, 2025Updated last year
- ☆38Jul 30, 2025Updated 6 months ago
- plonky2 implementation of bn254 pairing☆19Feb 1, 2024Updated 2 years ago
- Using folding schemes for a provable bitcoin light client☆34May 22, 2024Updated last year
- articles, codes and tools all about zero-knowledge proofs☆918Oct 6, 2024Updated last year
- Source code for "Building Cryptographic Proofs from Hash Functions"☆225Dec 4, 2025Updated 2 months ago
- ☆60Dec 27, 2021Updated 4 years ago
- Nova Verifier in Circom so it can be verified onChain☆59Jun 9, 2023Updated 2 years ago
- DSL for Halo2 circuits☆188Nov 4, 2024Updated last year
- linear-time sumcheck protocol for multilinear polynomials and related addends☆86Nov 21, 2025Updated 2 months ago
- Nova: Recursive SNARKs without trusted setup☆44Aug 21, 2023Updated 2 years ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆72Nov 6, 2025Updated 3 months ago
- FRI low-degree-testing & polynomial commitment scheme☆24Mar 26, 2023Updated 2 years ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆71Jan 6, 2025Updated last year
- ☆23Mar 8, 2024Updated last year
- halo2-step-by-step☆28Nov 15, 2023Updated 2 years ago
- Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol☆132Feb 10, 2026Updated last week
- ☆10Aug 21, 2022Updated 3 years ago
- ☆12Mar 22, 2025Updated 10 months ago
- ☆41Jan 7, 2024Updated 2 years ago
- Step by step implementation of FRI☆13Feb 9, 2025Updated last year
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- An observatory fork of SP1☆77Feb 11, 2025Updated last year
- ☆25Jan 29, 2026Updated 2 weeks ago
- Libra zero knowledge proof system☆55Mar 16, 2023Updated 2 years ago
- ☆31Oct 27, 2025Updated 3 months ago