Available Topics (Click each topic for more details)

Suvradip Chakraborty (suvradip.chakraborty@inf.ethz.ch) is the contact person for Bachelors and Masters of the FoC group.
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