Asynchronous Repetition of Interactive Proof Systems
We analyze whether strategic provers can gain an advantage by coordinating their actions across multiple simultaneous games, specifically within the context of parallel repetition and error reduction for interactive proof systems. Suppose the verifier uses a Boolean decision rule, f , that aggregates the re...