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.
Overview
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
Related Courses
-
Perfect Zero Knowledge for Quantum Multiprover Interactive Proofs
-
Zero-Knowledge Proofs - Advanced Concepts and Applications - Session 1 Continuation
-
Post-Quantum Zero-Knowledge Proofs - Session 1
-
Zero-Knowledge Proofs - Session 1
-
Classical Verification of Quantum Computations
-
Zero-Knowledge Proofs: Advanced Techniques and Applications - Session 2
