Publisher's Synopsis
"The Power of Interaction" presents a new algebraic technique for constructing interactive proof systems and demonstrates the immense power of randomization and interaction in proving statements efficiently.;Lund shows that two provers can interact with a randomized verifier to provide proofs that are exponentially more efficient than traditional proofs, and that one power can interact with an efficient randomized verifier to prove statements that have no known efficient traditional proofs.