Focus: Paper
Matthew Pointon
Zero Knowledge protocols involve a prover proving some statement to a verifier while leaking no other knowledge other than the validity of the statement. These protocols have been previously created to have several properties such as concurrency and clock based timing. This allows many verifiers to run the protocol at the same time and forces the prover to prove the statement within a certain time frame. The paper in reference 1 presents a new ZKP which has these properties. My term paper will focus on the paper and will explain how ZKPs are defined, explaining the properties they possess such as concurrency and will use a model presented in reference 2 as a technical example.References
[1] Dwork Cynthia, Naor Moni, Sahai Amit; "Concurrent Zero-Knowledge", 2004
[2] Rafael Pass, Wei-lung Dustin, Tseng Muthuramakrishnan Venkitasubramaniam; "Eye for an Eye: Efficient Concurrent Zero-Knowledge in the Timing Model", 2009
[3] Gerardo I. Simari; "A Primer on Zero Knowledge Protocols", 2002