Interactive proofs have had a dramatic impact on Complexity Theory
and Cryptography. In particular, the celebrated IP=PSPACE Theorem
[LFKN92,Shamir92] allows an all-powerful but untrusted prover to
convince a polynomial-time verifier of the validity...
Read More