You are looking at a specific version 20190316:221958 of this paper. See the latest version.

Paper 2018/065

Non-Locality in Interactive Proofs

Claude Crépeau and Nan Yang

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.

Note: Submitted to Crypto 2019. Large revisions from previous versions.

Metadata
Available format(s)
PDF
Category
Cryptographic protocols
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
Creative Commons Attribution
CC BY
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.