Overview
Syllabus
Intro
Classical versus Quantum Computers
Verification through Interactive Proofs
Relaxations
Verification with Post Quantum Cryptography
Core Primitive
How to Create a Superposition Over a Claw
Verification Outline
Hadamard and Standard Basis Measurements
Measurement Protocol Definition
Measurement Protocol Soundness
Using the Measurement Protocol for Verification
Quantum Analogue of NP
Verification with a Quantum Verifier
Measurement Protocol Construction
Measurement Protocol Testing
Delegating Hadamard Basis Measurements
Measurement Protocol So Far
Delegating Standard Basis Measurements
Soundness Intuition: Example of Cheating Prover
Hardcore Bit Properties
How to Prove Soundness: Measurement Protocol
Conclusion
Taught by
Simons Institute