Build Zero-Knowledge Proofs
Build ZK proofs from sigma protocols up to SNARKs: commitments, Schnorr's protocol, Fiat-Shamir transform, OR proofs, arithmetic circuits, R1CS, polynomial commitments, and the production landscape (Groth16, PLONK, STARKs). The cryptographic technique behind Zcash, zkRollups, and private credentials.
advanced10 lessons4 chapters10 graded exercisesPython
No sign-up needed for lesson 1 · certificate on completion · sign up to save progress
What you’ll have built
Chapter by chapter. Every step is a graded exercise.
- What ZK Solves
- Sigma Protocols
- From Sigma to SNARKs
- Practical Use Cases
Starts in Python — solve in the language you choose in the editor, same tests either way.
Curriculum
4 chapters, 10 lessons. Each lesson is a short read, one graded exercise, and a quiz.
- 1What ZK Proofs AreRead · exercise · quiz
- 2Commitments — Building BlockRead · exercise · quiz
- 3Interactive vs Non-InteractiveRead · exercise · quiz
Loading reference solution…