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
Automata TheoryStanford University via edX Intro to Theoretical Computer Science
Udacity Computing: Art, Magic, Science
ETH Zurich via edX 理论计算机科学基础 | Introduction to Theoretical Computer Science
Peking University via edX Quantitative Formal Modeling and Worst-Case Performance Analysis
EIT Digital via Coursera