Rational proofs for quantum computing

It is an open problem whether a classical client (verifier) can delegate quantum computing to a remote quantum server (prover) in such a way that the correctness of quantum computing is somehow guaranteed. We show that such a delegation is possible if the prover is rational. More precisely, we introduce the following protocol. The BQP prover first sends the… CONTINUE READING