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).
Up to now
- Lecture 1 (04.09.2024): Introduction to Zero-Knowledge
- Lecture 2 (11.09.2024): Foundations & Sigma-Protocols
- Lecture 3 (18.09.2024): Univariate Polynomial IOPs (1): definition of PIOP, zero check
- Lecture 4 (25.09.2024): Univariate Polynomial IOPs (2): math, arithmetic circuits, gate checks
- Lecture 5 (02.10.2024): Univariate Polynomial IOPs (3): wire check
- Lecture 6 (09.10.2024): Univariate Polynomial IOPs (4): end. Polynomial Commitment Schemes
- Lecture 7 (16.10.2024): Elliptic Curves And AGM
- Lecture 8 (23.10.2024): KZG
- Lecture 9 (30.10.2024): Multilinear polynomials
- Lecture 10 (06.11.2024): Sum-check
- Lecture 11 (20.11.2024): HyperPlonk
- one week later (due to sickness)
- Lecture 12 (25.11.2024): GKR
- Lecture 13 (27.11.2024): Hash functions, Vector Commitment Schemes
- Lecture 14 (11.12.2024): Error-Correcting Codes And Local Testability
Future
- Lecture 15 (18.12.2024): Tensor-Code-Based IOPs
- Lecture 16 (online only): FRI