Overview
Syllabus
Intro
Testing Quantum Computers
Verification through Interactive Proofs
Verification with Post Quantum Cryptography
Talk Outline
Standard Basis Measurements
How to create a superposition over a claw
Test for Quantumness
Trapdoor Claw-free Functions in Quantum Computing
Trapdoor Claw-free Functions in Verification
TCF Construction from LWE
Classical Commitment to a Quantum State
Linking the Commitment Protocol to Verifiability
Verifying Quantum Computations
How to Commit using a TCF
Classical Commitment to Quantum States
Delegating Hadamard Basis Measurements
Commitment Protocol So Far
Enforcing Structure with Cryptography
The Pauli Twirl in Interactive Proofs
The Computational Pauli Twirl
Conclusion
Taught by
Simons Institute