3 research outputs found
Non-Locality in Interactive Proofs
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.Comment: 32 pages, 14 figures. Submitted to Crypto 2019, Feb 2019. Report
arXiv:1804.02724 merged here in the update proces
Efficient holographic proofs
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1996.Includes bibliographical references (p. 57-63).by Alexander Craig Russell.Ph.D