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
The Quantum Internet and Quantum Computers: How Will They Change the World?Delft University of Technology via edX Vibrations and Waves
Massachusetts Institute of Technology via edX Fundamentos de Oscilaciones y Ondas para Ingeniería
Universitat Politècnica de València via edX Introduction to Quantum Computing for Everyone
The University of Chicago via edX Introduction to Quantum Computing
LinkedIn Learning