Zero-knowledge proofs are protocols which allow a prover to convince a verifier that a statement is true without leaking any information beyond that fact. This course is a detailed introduction to zero-knowledge proof protocols.
Learning objective
-To understand what it means for a zero-knowledge proof to be secure -To construct and analyse various types of zero-knowledge proofs -To understand some applications of zero-knowledge proofs
Content
The course will discuss interactive zero-knowledge proofs based on various cryptographic assumptions, and their applications in cryptography and the real world. The course may also describe some more advanced constructions of non-interactive proofs.
Lecture notes
The course notes will be written in English.
Prerequisites / Notice
Students should have taken a first course in Cryptography (as taught in the Information Security course at Bachelor’s level). Experience with algebra (groups and finite fields) and probability is highly recommended.
