ip = pspace .
Algebraic methods for interactive proof systems