A zero-knowledge proof system is a protocol between a prover and a verifier,
where the prover attempts to convince the verifier that a statement x belongs
to an NP language. The honest prover possesses a witness w for the fact that x
is a valid statement in the language and the zero-knowledge property asks that
during the interaction with the verifier, no information is leaked about the
witness w. Moreover, a cheating prover should not be able to convince the
verifier to accept any statements which are not in the language.
Zero knowledge protocols have many applications, for example in
privacy-preserving authentication or in building other cryptographic protocols.
In this project, we will look at recent breakthroughs in the field of
zero-knowledge and attempt to build on these techniques to obtain new results.
Earliest possible starting date 01.04.2021.
Preliminary references:
[ADk+19]:
http://eprint.iacr.org/2019/732
Contact: Bogdan Ursu
Foundations of Cryptography
Institute of Theoretical Computer Science