Witness Indistinguishability for Any Single-Round Argument with Applications to Access Control

Explore a conference talk on witness indistinguishability for single-round arguments and their applications to access control. Delve into the research presented by Zvika Brakerski and Yael Kalai at PKC 2020, covering topics such as delegating NP computation, generic WI transformation, handling secret verifiability, WI proof systems, and practical applications in access control. Gain insights into cutting-edge cryptographic techniques and their real-world implications for secure systems.

Intro
Delegating NP Computation
Our Results
Our Generic Wl Transformation
Handling Secret Verifiability
WI Proof System
Application: Access Control