Links
Background Material
- ZK Knowledge Proofs MOOC (Spring 2023)
- Highly recommended as an accompanying material
- Proofs, Arguments, and Zero-Knowledge (free book, Justin Thaler, July 2023)
- Contains also videos
- ZK Hack discord server has channels for Thaler-book-study-group and related
Recommended Prerequisite Courses (in Tartu)
Other Recommended Courses (in Tartu)
Either for taking in parallel or in the future.
Cryptography:
- Public-key cryptography (explains elliptic curves)
- Crypto II (proof techniques; explains special soundness, sigma protocols, ...)
(Theoretical) computer science:
- Coding theory (strongly related to the last 2-3 lectures; explains codes, Reed-Solomon, ...)
- Complexity Theory (not given in a while)
Math:
- Algebra I (Fall 2024)
- Algebra II (Fall 2024)
- Algebraic structures (Spring 2023)
- Finite Fields 1 (Autumn 2023)
- Number theory (Spring 2024)
Similar ZK Courses elsewhere
- Probabilistic proof systems (Justin Thaler, Georgetown, 2020)
- Foundations of probabilistic proofs (Alessandro Chiesa, EPFL)
- CIS 7000: Theory and Practice of Succinct Zero Knowledge Proofs (Pratyush Mishra, UPenn, 2023)
- Advanced Topics in Cryptography (Yael Tauman Kalai, MIT, 2023)
- CS294/194-238 Zero Knowledge Proofs (Berkeley, 2023 --- centered on the MOOC)
- CS 355: Applied Zero Knowledge Proofs (Dan Boneh and Binyi Chen, Stanford, 2025)