Welcome to the course on Zero-Knowledge Proof-Systems. This course will teach the foundations of zero-knowledge proof systems, including definitional aspects and limitations as well as various constructions. The topics covered range from theoretical feasibility results to practical applications of zkSNARKS in cryptocurrencies.
The lectures will be held in English.
The lectures will take place in MC 4/209 on Thursdays 12:00-14:00 starting on 16.04.24. The Exercise sessions will take place in MC 4/209 on Tuesdays 10:00-12:00 starting 21.04.24.
The grade for the course will be made up entirely by the grade of the oral exam. Homework will not be graded.
- Kursleiter/in: Nils Erik Fleischhacker
Semester: ST 2026
Organisationseinheit: Fakultät für Informatik