701Course · Master
Zero-Knowledge Proofs
The most consequential cryptographic idea of the decade.
The most consequential cryptographic idea of the decade. SNARKs, STARKs, and the working circuit languages — with a Lab of writing a small real circuit.
- 01
Explain SNARKs and STARKs at a working level.
- 02
Implement a simple circuit.
- 03
Read a modern ZK paper.
Prerequisites
- — Cryptography Foundations.
Pacing
~5 hours including the Lab.
- IModule
The idea
Prove without revealing.
- IIModule
The tools
Circom, Halo2, Noir.
A Note from the Faculty
ZK is now a working technology, not only a research subject.