🧪 Zero-Knowledge for Blockchains
Seven levels — exactly three modules each — focused on proof systems, rollups, and shipping safely. Each module is paced as ~20–25 minute segments (~two hours reading) plus labs. Levels 2–7 include a guided build (jade card) designed as portfolio artifacts—Circom, benchmarks, verifier traces, audits.
Who this trains
Protocol and backend engineers who must read ZK roadmaps, integrate verifiers, or pair with cryptographers—without claiming research credentials. Complements the Cryptography track (primitives & FinTech ops) and protocol tracks like Hyperscale.
| Level | Focus | Build arc |
|---|
| 1 | Vocabulary, circuits, fields | Labs in every module |
| 2 | R1CS & tooling | Circom compile + verify |
| 3 | Setup vs transparent, PCS | Benchmark prove/verify |
| 4 | Validity / zkEVM / DA | Verifier path trace |
| 5 | Privacy & recursion | Recursion demo or note |
| 6 | Integration & audits | Audit checklist exercise |
| 7 | Roadmap + PQ framing | Capstone design review |
Shared glossary; pin tool versions in every lab README.
Your Progress
0% Complete
Course structure
Four segments per module for focused reading. Guided build modules expect a reproducible artifact (script, chart, or doc)—scope small, document assumptions.
📚 Level 1
SNARK/STARK map, circuit intuition, fields & curves at API depth.
🔧 Levels 2–5
Constraints, tooling, proof-system trade-offs, rollups & privacy narratives.
⚡ Levels 6–7
Safe integration, audits, roadmap literacy, capstone.