TCC 2012: Invited Talk I
Non-Interactive Zero-Knowledge
Jens Groth (University College London)
Abstract: 
Non-interactive zero-knowledge proofs make it possible to create a proof 
for a statement being true without revealing any private information. There 
are now several approaches to constructing non-interactive zero-knowledge 
proofs based on assumptions ranging from the existence of trapdoor 
permutation to specific number theoretic assumptions and constructions that 
do not rely on standard assumptions. In this talk we will give an overview 
of the different non-interactive zero-knowledge techniques that exist and 
compare their advantages and disadvantages.