Cryptology ePrint Archive: Report 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.

Category / Keywords: multi-prover interactive proofs, Zero-Knowledge

Date: received 14 Jan 2018, last revised 5 Nov 2018

Contact author: claude crepeau at mcgill ca

Available format(s): PDF | BibTeX Citation

Note: Submitted to Eurocrypt 2019. Large revisions from previous version.

Version: 20181106:032148 (All versions of this report)

Short URL:

[ Cryptology ePrint archive ]