Structural Complexity of Rational Interactive Proofs

Daniil Musatov, Georgii Potapov

This is the full version of a paper submitted to the Computability in Europe (CiE 2023) conference, with all proofs omitted there. In 2012 P. D. Azar and S. Micali introduced a new…