Lecture Interactive Proof Systems and Cryptographic Protocols (Summer 2025)
News
- 01.04.2025: web page online
- 01.04.2025: ILIAS online
Requirements
Except basic mathematics, no requirements are needed to particpate in this lecture.
Contents
- Cryptographic Protocols: Fiat-Shamir Protocol, Digital Signatures, Blockchain, Authentication
- Interactive Proof Systems: Arthur-Merlin Systems (AM), IP (Interactive Proofs), Relationships between Complexity Classes: AM, IP, PSPACE, NP, Multi-Prover Interactive Proofs (MIP), Probabilistically Checkable Proofs (PCP): The PCP Theorem, Zero-Knowledge Proofs, particularly Bulletproofs
- Mental Card Games: Coin Switching over the Telephone, Mental Poker, Card Game Toolboxes, Bayer-Grothe Shuffle
Organization
Schedule:
- Lecture: Tuesday, 12-14, 101-01-016/018, Christian Schindelhauer
- Exercises: Thursday, 10-12, 101-01-016/018, Christian Schindelhauer
We have a 2h lecture and a 2h exercise class. Participation is voluntary. The lecture will be recorded and published on ILIAS. The exercise class will not be recorded. Exercise sheets will be published on ILIAS on Thursdays. Submission is voluntary. There are no points nor minimum requirements to participate in the exam.
Exam
If more than 12 students are registered for the exam, a written exam with a duration of 90 minutes will take place. Otherwise there will be oral exams. Please register online using the HisInOne-system.
Depending on the number of students a written or oral exam will take place. If more than 12 students register for the exam, then the written form will be used. In both exams you may use a single sheet of paper (of unspecified size) with your hand written notes (on both sides).
Literature
- Introduction to Cryptography, Principles and Applications, Hans Delfs, Helmut Knebl, Springer 2015
- Thaler, J., 2022. Proofs, Arguments, and Zero-knowledge
Further literature will be given during the lecture