Suppose two provers agree in a polynomial p and want to reveal a single vaiue y = p(x) to a verifier where x is chosen arbitrarily by the verifier. Whereas honest provers should be able to agree on any polynomial p the verifier wants to be sure that with any (cheating) pair of provers the value y he receives is a polynomial function of x. We formalize this question and introduce multi-prover (quasi-)encoding schemes to solve it. Using multi-prover quasi-encoding schemes we are able to develop new results about interactive proofs. The best previous result appears in [BGLR] and states the existence of one-round-four-prover interactive proof systems for the languages in NP achieving any constant error probability with O(log n) random bits and poly(log log n) answer size. We improve this result in two respects. First we decrease the number of provers to three, and then we decrease the answer-size to a constant. Using unrelated (parallel repetition) techniques the same was independently and simultaneously achieved by [FK] with only two provers. When the error-probability is required to approach zero, our technique is more efficient in the number of random bits and in the answer size. Showing the fast progress in this central topic of theoretical computer science in the short time since these results were achieved Raz's proof of the parallel repetition conjecture [R] lead to further improvements in the parameters of interactive proofs for NP problems.
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Networks and Communications
- Computational Theory and Mathematics
- Applied Mathematics