Explore a comprehensive presentation on new constructions of statistical Non-Interactive Zero-Knowledge (NIZK) proofs, focusing on Dual-Mode Designated-Verifier NIZKs. Delve into the landscape of NIZKs, examine the hidden bits model, and understand the FLS compiler from CDH. Learn about dual-mode instantiation from DDH, malicious designated-verifier security, and discover open questions in this field. This 25-minute conference talk, presented at Eurocrypt 2020, offers valuable insights into advanced cryptographic concepts and their applications.
New Constructions of Statistical NIZKs - Dual-Mode DV-NIZKs and More