On Doubly-Efficient Interactive Proof Systems

An interactive proof system is called doubly-efficient if the prescribed prover strategy can be implemented in polynomial-time and the verifier's strategy can be implemented in almost-linear time. This book surveys some of the known results regarding doubly-efficient interactive proof systems.