Current browse context:
quant-ph
Change to browse by:
References & Citations
Quantum Physics
Title: Verifier Non-Locality in Interactive Proofs
(Submitted on 8 Apr 2018 (v1), revised 5 Nov 2018 (this version, v3), latest version 31 Jan 2019 (v4))
Abstract: In multi-prover interactive proofs, the verifier interrogates the provers and attempts to steal their knowledge. Other than that, the verifier's role has not been studied. Augmentation of the provers with non-local resources results in classes of languages that may not be NEXP. We have discovered that the verifier plays a much more important role than previously thought. Simply put, the verifier has the capability of providing non-local resources for the provers intrinsically. Therefore, standard MIPs may already contain protocols equivalent to one in which the prover is augmented non-locally. Existing MIPs' proofs of soundness implicitly depend on the fact that the verifier is not a non-local resource provider. The verifier's non-locality is a new unused tool and liability for protocol design and analysis. Great care should have been taken when claiming that ZKMIP=MIP. We show specific issues with existing protocols and revisit the proof of this statement. For this purpose, we also define a new model of multi-prover interactive proofs which we call "correlational confinement form".
Submission history
From: Claude Crépeau [view email][v1] Sun, 8 Apr 2018 17:40:41 GMT (47kb,D)
[v2] Tue, 10 Jul 2018 15:17:44 GMT (0kb,I)
[v3] Mon, 5 Nov 2018 20:34:25 GMT (0kb,I)
[v4] Thu, 31 Jan 2019 14:47:26 GMT (0kb,I)
Link back to: arXiv, form interface, contact.