A Parallel Repetition Theorem for Any Interactive Argument

Abstract

A fundamental question in the study of protocols is characterizing the effect parallel repetition has on the soundness error. While parallel repetition reduces the soundness error in interactive proofs and in special cases of interactive arguments (e.g., three-message protocols [M. Bellare, R. Impagliazzo, and M. Naor, in Proceedings of the 37th Annual Symposium on Foundations of Computer Science, IEEE, Washington, DC, 2007, p. 374], and public-coin protocols [J. Hastad et al., Proceedings of the 7th Theory of Cryptography Conference, Zurich, Switzerland, 2010, pp. 1--18]), Bellare, Impagliazzo, and Naor gave an example of an interactive argument for which parallel repetition does not reduce the soundness error at all. We show that by slightly modifying any interactive argument, in a way that preserves its completeness and only slightly deteriorates its soundness, we get a protocol for which parallel repetition does reduce the error (at a weakly exponential rate). In this modified version, the verifier fl...