coset-io / zk-insightsView external linksLinks
The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/zk-insights
☆47Dec 2, 2024Updated last year
Alternatives and similar repositories for zk-insights
Users that are interested in zk-insights are comparing it to the libraries listed below
Sorting:
- A month-long zkp study group, one topic at a time.☆184Jul 28, 2025Updated 6 months ago
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated 10 months ago
- A curated list of awesome things related to learning Circle STARK.☆33Aug 26, 2025Updated 5 months ago
- High performance EraVM for zkSync.☆23Oct 20, 2025Updated 3 months ago
- ☆38Jul 30, 2025Updated 6 months ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- Polyhedra ZK knowledge base☆25Oct 28, 2024Updated last year
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆71Jan 6, 2025Updated last year
- Source code for "Building Cryptographic Proofs from Hash Functions"☆225Dec 4, 2025Updated 2 months ago
- Personal notes about ZKP☆28Jun 12, 2024Updated last year
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆38Oct 17, 2025Updated 4 months ago
- Simplified educational python plonk implementation☆46Jul 6, 2025Updated 7 months ago
- ☆11Sep 10, 2024Updated last year
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- a lattice lib for building snarks☆21May 20, 2024Updated last year
- ☆23Jun 12, 2025Updated 8 months ago
- zkp-co-learning☆64Dec 4, 2024Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆21Feb 9, 2026Updated last week
- ☆12Oct 4, 2023Updated 2 years ago
- implentation of Ligerito☆19Nov 9, 2025Updated 3 months ago
- Experimental implementation of Sumcheck protocol using CUDA☆22Nov 14, 2024Updated last year
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆58Aug 2, 2025Updated 6 months ago
- Expander Compiler☆41Feb 9, 2026Updated last week
- A curated list of educational materials, guides, and research papers for beginners interested in learning about Fully Homomorphic Encrypt…☆13Aug 8, 2024Updated last year
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated last year
- Experimental folding schemes library☆260Feb 6, 2026Updated last week
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆28Dec 19, 2024Updated last year
- ☆49Updated this week
- A collection of the Notes on the Nova folding scheme explained from scratch☆29Jun 12, 2024Updated last year
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆177Mar 24, 2025Updated 10 months ago
- ☆18Jul 16, 2025Updated 7 months ago
- ☆41Jan 7, 2024Updated 2 years ago
- STIR 🥣: Reed–Solomon Proximity Testing with Fewer Queries☆72Nov 6, 2025Updated 3 months ago
- An advanced fork of Nova (contact:@huitseeker)☆88Mar 3, 2025Updated 11 months ago
- A curated list of awesome things related to learning Binius☆16Jan 9, 2025Updated last year
- Building blocks of a Circle STARK verifier in Bitcoin script☆159Dec 3, 2025Updated 2 months ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- Expander, an open-source GKR prover designed for scaling large-scale parallel computing.☆142Feb 6, 2026Updated last week
- A python notebook to explain how Plonky3 underlying works☆20Mar 2, 2025Updated 11 months ago