Classical Verification of Quantum Computation with Quasilinear Resources, from Compiled Nonlocal Games

Finn Holler, Anand Natarajan

Computational self-testing gives a classical verifier command over the quantum register of a single computationally bounded prover. We use this framework to construct the first arg…