The Knowledge Complexity of Interactive Proof Systems

This paper introduces a new theorem-proving procedure, that is a new efficient method of communicating a proof.

Download

   Interactive_Proof_Systems.pdf