Classical Verification of Quantum Computations

Classical Verification of Quantum Computations

Simons Institute via YouTube Direct link

Hardcore Bit Properties

21 of 23

21 of 23

Hardcore Bit Properties

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Classical Verification of Quantum Computations

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Intro
  2. 2 Classical versus Quantum Computers
  3. 3 Verification through Interactive Proofs
  4. 4 Relaxations
  5. 5 Verification with Post Quantum Cryptography
  6. 6 Core Primitive
  7. 7 How to Create a Superposition Over a Claw
  8. 8 Verification Outline
  9. 9 Hadamard and Standard Basis Measurements
  10. 10 Measurement Protocol Definition
  11. 11 Measurement Protocol Soundness
  12. 12 Using the Measurement Protocol for Verification
  13. 13 Quantum Analogue of NP
  14. 14 Verification with a Quantum Verifier
  15. 15 Measurement Protocol Construction
  16. 16 Measurement Protocol Testing
  17. 17 Delegating Hadamard Basis Measurements
  18. 18 Measurement Protocol So Far
  19. 19 Delegating Standard Basis Measurements
  20. 20 Soundness Intuition: Example of Cheating Prover
  21. 21 Hardcore Bit Properties
  22. 22 How to Prove Soundness: Measurement Protocol
  23. 23 Conclusion

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.