The IP theorem, which asserts that IP = PSPACE (Lund et. al., and
Shamir, in J. ACM 39(4)), is one of the major achievements of
complexity theory. The known proofs of the theorem are based on the
arithmetization technique, which transforms a...
Read More