Two-prover MIP and MIP* protocols for NEXP and RE remain sound against any polynomial bits of leakage between provers, via parallel repetition and low-soundness PCPs.
A multi-prover interactive proof for NEXP sound against entangled provers
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
quant-ph 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Multi-Prover Interactive Proof Systems with Leakage
Two-prover MIP and MIP* protocols for NEXP and RE remain sound against any polynomial bits of leakage between provers, via parallel repetition and low-soundness PCPs.