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 and sum-check
Future
- Lecture 10 (06.11.2024): Linear-time sum-check and HyperPlonk
- Lecture 11 (13.11.2024): The GKR Protocol
- Lecture 12 (20.11.2024): Vector Commitment Schemes
- Lecture 13 (27.11.2024): Error-Correcting Codes And Local Testability
- Lecture 14 (04.12.2024): Tensor-Code-Based IOPs
- Lecture 15 (11.12.2024): FRI
- Lecture 16 (18.12.2024): FRI (continues)