John Preskill - Verifying Quantum Outputs (via searchlore.ai)