We propose a simple protocol for the verification of quantum computation
after the computation has been performed. Our construction can be seen as an
improvement on previous results in that it requires only a single prover, who
is restricted to meas…