Practice sessions
Note: The following is a copy from 2024's course page. It will be changed in the due time.
The purpose of this year's practice sessions is to help students further understand the content of the lectures. The teaching assistant is Erki Külaots, who will be coming up with exercises about the topics discussed in the lecture.
Workbook (updated 16.12.24): Attach:ZKProofs_Practice_sessions.pdf
Attendance is not mandatory (if the student can manage by themselves).
Preliminary plan
- Revising prior math (9.09.24)
- Sigma protocol (16.09.24)
- Polynomial Interactive Oracle Proofs (PIOPs) (23.09.24)
- Programming session (30.09.24)
- Fast Fourier Transform (FFT) and public I/O check for Plonk (07.10.24)
- Commitment schemes and polynomial commitment schemes (14.10.24)
- Algebraic Group Model, Elliptic curves and Pairings (21.10.24)
- KZG (28.10.24)
- Multilinear polynomials (04.11.24)
- Sum-check (11.11.24)
- GKR (02.12.24)
- Hash functions, Vector Commitment Schemes and Merkle trees (04.12.24)
- Fiat-Shamir transformation (09.12.24)
- Coding Theory (16.12.24)