[Resource Topic] 2018/065: Non-Locality in Interactive Proofs

Welcome to the resource topic for 2018/065

Non-Locality in Interactive Proofs

Authors: Claude Crépeau, Nan Yang


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.

ePrint: https://eprint.iacr.org/2018/065

See all topics related to this paper.

Feel free to post resources that are related to this paper below.

Example resources include: implementations, explanation materials, talks, slides, links to previous discussions on other websites.

For more information, see the rules for Resource Topics .