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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A month-long zkp study group, one topic at a time.☆187Mar 6, 2026Updated 2 months ago
- A Framework of Lattice-based Zero-knowledge Arguments in Rust☆76Apr 18, 2026Updated 3 weeks ago
- High performance EraVM for zkSync.☆23Mar 13, 2026Updated last month
- Simplified educational python plonk implementation☆47Mar 28, 2026Updated last month
- A curated list of awesome things related to learning Circle STARK.☆32Aug 26, 2025Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Binius implementation in a series of Python Jupyter Notebooks, for pedagogic purposes.☆12May 27, 2024Updated last year
- zkp-co-learning☆65Dec 4, 2024Updated last year
- A python notebook to explain how Plonky3 underlying works☆20Mar 2, 2025Updated last year
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- ☆27Mar 7, 2026Updated 2 months ago
- ☆11Sep 10, 2024Updated last year
- Educational Version of Lookup Argument☆12Apr 10, 2025Updated last year
- ☆39Jul 30, 2025Updated 9 months ago
- Personal notes about ZKP☆30Jun 12, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Source code for "Building Cryptographic Proofs from Hash Functions"☆231Mar 25, 2026Updated last month
- implentation of Ligerito☆19Apr 16, 2026Updated 3 weeks ago
- Polyhedra ZK knowledge base☆26Oct 28, 2024Updated last year
- a lattice lib for building snarks☆21May 20, 2024Updated last year
- ☆53May 2, 2026Updated last week
- The revised version and future updates can be found here 👉https://github.com/ZKPunk-Org/ZKPedia☆70Aug 17, 2024Updated last year
- A curated list of awesome things related to learning Binius☆16Jan 9, 2025Updated last year
- Expander Compiler☆42Apr 9, 2026Updated last month
- A research-driven project focused on the Comparison of Multilinear Polynomial Commitment Schemes☆39Oct 17, 2025Updated 6 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆41Jan 7, 2024Updated 2 years ago
- ☆37Mar 3, 2026Updated 2 months ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Workbook for Introduction to Programmable Cryptography☆34May 3, 2025Updated last year
- zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements☆29Updated this week
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆32Dec 19, 2024Updated last year
- Building blocks of a Circle STARK verifier in Bitcoin script☆160Dec 3, 2025Updated 5 months ago
- Experimental folding schemes library☆272Apr 28, 2026Updated last week
- ☆12Oct 4, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Proof-of-concept implementation of the papers on scalable collaborative zk-SNARKs (coZK) with applications to private proof delegation.☆58Aug 2, 2025Updated 9 months ago
- Polymath: Groth16 Is Not The Limit☆31Feb 6, 2025Updated last year
- A curated list of zkVM, zero-knowledge virtual machine☆312Sep 29, 2025Updated 7 months ago
- ☆20Jul 10, 2025Updated 9 months ago
- Some tips for new learners of ZKP☆28Dec 31, 2020Updated 5 years ago
- Fiat-Shamir for the masses.☆95Updated this week
- ☆14Aug 19, 2021Updated 4 years ago