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
Intro to Computer ScienceUniversity of Virginia via Udacity Quantum Mechanics for IT/NT/BT
Korea University via Open Education by Blackboard Emergent Phenomena in Science and Everyday Life
University of California, Irvine via Coursera Quantum Information and Computing
Indian Institute of Technology Bombay via Swayam Quantum Computing
Indian Institute of Technology Kanpur via Swayam