If we allow the elements of the system to use quantum computation, the system is called a quantum interactive proof system, and the corresponding complexity class is called QIP. A series of recent results culminating in a paper published in 2010 is believed to have demonstrated that QIP = PSPACE.
Read more about this topic: Interactive Proof System