Overview
Explore a comprehensive talk from Eurocrypt 2012 on Quantum Proofs of Knowledge presented by Dominique Unruh. Delve into the intricacies of quantum zero-knowledge proofs, Watrous' quantum rewinding technique, and the challenges of constructing quantum extractors. Examine the definition of proofs of knowledge, the concept of canonical extractors, and methods for achieving strict soundness. Gain insights into the main results of the research and potential future directions in this cutting-edge field of quantum cryptography.
Syllabus
Intro
Why quantum ZK?
Zero-knowledge: how to show?
Watrous' quantum rewinding
Quantum ZK solved?
Proofs of knowledge - definition
Constructing extractors
Quantum extractors?
Canonical extractor (ctd.)
Making extraction work (ctd.)
Main result
Achieving strict soundness
Plugging things together
Future work
Taught by
TheIACR