Algebraic Methods for Interactive Proof Systems

  title={Algebraic Methods for Interactive Proof Systems},
  author={Carsten Lund and Lance Fortnow and Howard J. Karloff and Noam Nisan},
  journal={J. ACM},
A new algebraic technique for the construction of interactive proof systems is presented. Our technique is used to prove that every language in the polynomial-time hierarchy has an interactive proof system. This technique played a pivotal role in the recent proofs that IP = PSPACE [28] and that MIP = NEXP [4]. 
Highly Influential
This paper has highly influenced 36 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 717 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 452 extracted citations

717 Citations

Citations per Year
Semantic Scholar estimates that this publication has 717 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…