Current browse context:
quant-ph
Change to browse by:
References & Citations
Quantum Physics
Title: New Perspectives on Zero-Knowledge Multi-Prover Interactive Proofs
(Submitted on 14 Jan 2018 (v1), revised 5 Nov 2018 (this version, v3), latest version 16 Mar 2019 (v4))
Abstract: In multi-prover interactive proofs (MIPs), the verifier can provide non-local resources for the provers intrinsically. In most cases, this is undesirable. Existing proofs of soundness do not account for the verifier's non-local potential. We show that this may be a problem for many MIPs. We provide a solution by constructing a generalization of the MIP model, of which standard MIPs are a special case. This new model accounts for both the prover and the verifier's non-local correlations. A new property of multi-prover zero-knowledge naturally emerges as a result.
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.