You are looking at a specific version 20181106:032148 of this paper.
See the latest version.
Paper 2018/065
New Perspectives on Zero-Knowledge Multi-Prover Interactive Proofs
Claude Crépeau and Nan Yang
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.
Note: Submitted to Eurocrypt 2019. Large revisions from previous version.
Metadata
- Available format(s)
- Publication info
- Preprint. MINOR revision.
- Keywords
- multi-prover interactive proofsZero-Knowledge
- Contact author(s)
- claude crepeau @ mcgill ca
- History
- 2019-03-16: last of 4 revisions
- 2018-01-18: received
- See all versions
- Short URL
- https://ia.cr/2018/065
- License
-
CC BY