Mathematics Department, Chulalongkorn University
16:00 - 17:00 Wednesday 30th January 2019, Room 1406, MUIC
In mathematics, we assert that a certain statement is true by giving a proof. Typically, a proof of a statement x reveals the reason why x is true. However, such proofs do not suffice in cryptography where information privacy is central. Zero-knowledge proofs convince that a statement is true without revealing any information other than the truth of the statement. Introduced by Goldwasser, Micali and Rackoff in 1985, zero-knowledge proofs are important tools that enable many cryptographic protocols such as secure authentication and secure multi-party computation. Some variants of zero-knowledge protocols are also used to ensure data privacy in cryptocurrency.
In this talk, we will explore how to construct zero-knowledge proofs of some statements in mathematics, how to extend the result to prove other types of statements and how zero-knowledge proofs are used in other cryptographic protocols. Finally, if time permits, we will discuss limitation and current research directions of zero-knowledge protocols.