Hard Languages in NP ∩ coNP and NIZK Proofs from Unstructured Hardness
Offered By: Simons Institute via YouTube
Course Description
Overview
Explore a 49-minute lecture on the existence of unstructured hard languages in NP ∩ coNP and the construction of non-interactive zero-knowledge (NIZK) proofs. Delve into the first evidence supporting the existence of these languages, addressing Bennett and Gill's long-standing question about P separation from NP ∩ coNP relative to a random oracle. Examine the conditional separation based on UP not being contained in RP, and discover how this relates to injective one-way functions. Learn about a novel NIZK proof construction for NP with a uniformly random reference string, derived from a special type of hash function implied by an unstructured random oracle. Gain insights from speakers Amit Sahai and Alexis Korb from UCLA as they present their findings on minimal complexity assumptions for cryptography at the Simons Institute.
Syllabus
Hard Languages in NP ∩ coNP and NIZK Proofs from Unstructured Hardness
Taught by
Simons Institute
Related Courses
Homomorphic Signatures and Pre-Processing NIZKSimons Institute via YouTube Improved Non-Interactive Zero Knowledge with Applications to Post-Quantum Signatures
Association for Computing Machinery (ACM) via YouTube On QA-NIZK in the BPK Model
TheIACR via YouTube Compact NIZKs from Standard Assumptions on Bilinear Maps
TheIACR via YouTube Security of the J-PAKE Password-Authenticated Key Exchange Protocol
IEEE via YouTube