A. Broadbent, J. Fitzsimons, and E. Kashefi. (2008)cite arxiv:0807.4154
Comment: 16 pages, 7 figures. This version contains a more detailed security
proof and expanded authentication protocol. Section 5 contains news results:
we prove that any problem in BQP has an entangled two-prover interactive
proof with the provers being restricted to BQP and a purely classical
verifier.