Current browse context:
quant-ph
Change to browse by:
References & Citations
Quantum Physics
Title: Non-Locality in Interactive Proofs
(Submitted on 14 Jan 2018 (v1), last revised 16 Mar 2019 (this version, v4))
Abstract: In multi-prover interactive proofs (MIPs), the verifier is usually non-adaptive. This stems from an implicit problem which we call ``contamination'' by the verifier. We make explicit the verifier contamination problem, and identify a solution by constructing a generalization of the MIP model. This new model quantifies non-locality as a new dimension in the characterization of MIPs. A new property of zero-knowledge emerges naturally as a result by also quantifying the non-locality of the simulator.
Submission history
From: Claude Crépeau [view email][v1] Sun, 14 Jan 2018 19:13:56 GMT (603kb,D)
[v2] Mon, 12 Feb 2018 21:40:03 GMT (588kb,D)
[v3] Mon, 5 Nov 2018 20:32:49 GMT (219kb,D)
[v4] Sat, 16 Mar 2019 21:57:45 GMT (1004kb,D)
Link back to: arXiv, form interface, contact.