Verifying Quantum Proofs with Entangled Games

Tons of great background in this talk, in particular I'm grateful to learn of the work of Thomas Vidick.