Classical Verification of Quantum Computations
Offered By: Simons Institute via YouTube
Course Description
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
Related Courses
Classical Commitment to Quantum StatesSimons Institute via YouTube On the Security of Proofs of Sequential Work in a Post-Quantum World
Paul G. Allen School via YouTube Post-Quantum Cryptography
TheIACR via YouTube Post-Quantum Crypto - Part I
TheIACR via YouTube Isogeny-Based Cryptography
TheIACR via YouTube