Lectures
The following plan can change! Slides are available for students in Moodle. We might upload them here (but probably only after the course has finished).
Planned
The list of lectures is based on last year's course, and it will change somewhat
- Lecture 1 (03.09.2025): Introduction to Zero-Knowledge
- Lecture 2 (10.09.2025): Foundations & Sigma-Protocols
- Lecture 3 (17.09.2025): Univariate Polynomial IOPs (1): definition of PIOP, zero check
- Lecture 4 (24.09.2025): Univariate Polynomial IOPs (2): math, arithmetic circuits, gate checks
- Lecture 5 (01.10.2025): Univariate Polynomial IOPs (3): wire check
- Lecture 6 (08.10.2025): Univariate Polynomial IOPs (4): end. Polynomial Commitment Schemes
- Lecture 7 (15.10.2025): Elliptic Curves And AGM
- Lecture 8 (22.10.2025): KZG
- Lecture 9 (29.10.2025): Multilinear polynomials
- Lecture 10 (05.11.2025): Sum-check
- Lecture 11 (12.11.2025): HyperPlonk
- Lecture 12 (19.11.2025): GKR
- Lecture 13 (26.11.2025): Hash functions, Vector Commitment Schemes
- Lecture 14 (03.12.2025): Error-Correcting Codes And Local Testability
- Lecture 15 (10.12.2025): IOPs of Proximity and Relation to Polynomial Commitments
- Lecture 16 (17.12.2025): FRI