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), last revised 31 Jan 2019 (this version, 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. 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. 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.
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.