Overview
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.
Syllabus
Non-Interactive Zero-Knowledge (NIZK)
The Landscape of (DV)-NIZKs
This Work: Statistical NIZKS
NIZKs in the Hidden Bits Model
Warm-Up: The FLS Compiler from CDH
Dual-Mode Instantiation from DDH
Malicious Designated-Verifier Security
Summary
Open Questions
Taught by
TheIACR