This is the markdown for the ZK Book
☆108Feb 25, 2026Updated last week
Alternatives and similar repositories for zk-book
Users that are interested in zk-book are comparing it to the libraries listed below
Sorting:
- Exercises for Part 2 of the ZK-book☆33Oct 31, 2024Updated last year
- Empirical Study of the Prominence of Zero-Knowledge Proof (ZKP) Languages☆22Aug 6, 2025Updated 7 months ago
- Noir support for Zed☆11May 3, 2024Updated last year
- Uses magic (zk) to distribute gifts (rewards) to kids (validators)☆13May 9, 2025Updated 10 months ago
- (Deprecated) Demo for Valence ZK programs.☆14May 30, 2025Updated 9 months ago
- Expander Compiler☆42Feb 22, 2026Updated 2 weeks ago
- Reproduce ZKP vulnerabilities☆321Nov 25, 2025Updated 3 months ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆335Apr 4, 2025Updated 11 months ago
- A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs☆55Sep 3, 2025Updated 6 months ago
- Building Zero Knowledge Proof from Scratch in Rust☆50Nov 10, 2025Updated 3 months ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- Groth16 implementation in Python. Final project of RareSkills ZK bootcamp cohort 8.☆23Aug 28, 2025Updated 6 months ago
- ☆23Jun 12, 2025Updated 8 months ago
- ☆35Feb 27, 2026Updated last week
- ☆52Oct 27, 2025Updated 4 months ago
- Publicly Verifiable & Private Collaborative ML Model Training in Noir☆13Feb 17, 2025Updated last year
- A vscode extension that copies huff's code stack comment and paste in the next line, making it easy for Huffooors to write opcodes w/o wo…☆14Apr 25, 2024Updated last year
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆42Jun 29, 2025Updated 8 months ago
- Safer than SafeMath. Goes up to 11!☆39Apr 21, 2025Updated 10 months ago
- ZK Circuit Fuzzer (IEEE S&P'26)☆37Nov 19, 2025Updated 3 months ago
- This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you …☆267Apr 1, 2025Updated 11 months ago
- Solidity libraries and contracts for verifying WHIR proofs on the EVM.☆28Dec 19, 2024Updated last year
- A course on Halo2 in collaboration with Zircuit☆35Jan 14, 2025Updated last year
- zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!☆210Jun 8, 2024Updated last year
- ☆49Feb 12, 2026Updated 3 weeks ago
- Ethernaut, but in Huff☆28Feb 28, 2023Updated 3 years ago
- An interactive tutorial to get you up and running with Noir☆29Aug 28, 2025Updated 6 months ago
- A monorepo of reusable Circom circuits.☆28Jun 30, 2025Updated 8 months ago
- An arkworks implementation of the superspartan PIOP☆13Sep 10, 2024Updated last year
- A curated list of Plonky3 resources, libraries, tools and more.☆43Dec 1, 2025Updated 3 months ago
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆719Dec 19, 2024Updated last year
- A curated list of zkVM, zero-knowledge virtual machine☆304Sep 29, 2025Updated 5 months ago
- ☆15Aug 9, 2025Updated 7 months ago
- A curated list of awesome things related to learning Binius☆17Jan 9, 2025Updated last year
- ☆65Mar 2, 2026Updated last week
- ☆76Sep 17, 2025Updated 5 months ago
- ☆77Aug 1, 2025Updated 7 months ago
- Extracting the semantics of Noir to Lean for formal verification☆36Feb 27, 2026Updated last week
- Circuits☆22Jan 30, 2026Updated last month