https://www.nextbigfuture.com/2019/01/classical-verification-of-quantum-computations-qip-2019-keynote.html
Classical Verification of Quantum Computations - QIP 2019 Keynote | NextBigFuture.com
Jan 17, 2019 - Is it possible for an efficient classical verifier (a BPP machine) to verify the output of an efficient quantum prover (a BQP machine)?
quantum computationsqip 2019classicalverificationkeynote