Volume 18 (2022) Article 13 pp. 1-65
RANDOM 2018 Special Issue
Round Complexity Versus Randomness Complexity in Interactive Proofs
Revised: January 15, 2022
Published: June 7, 2022
Consider an interactive proof system for some set $S$ that has randomness complexity $r(n)$ for instances of length $n$, and arbitrary round complexity. We show a public coin interactive proof system for $S$ of round complexity $O(r(n)/\log r(n))$. Furthermore, the randomness complexity is preserved up to a constant factor, and the resulting interactive proof system has perfect completeness.