Algebraic Methods for Interactive Proof Systems

@article{Lund1992AlgebraicMF,
  title={Algebraic Methods for Interactive Proof Systems},
  author={Christopher P. Lund and Lance Fortnow and Howard J. Karloff and Noam Nisan},
  journal={J. ACM},
  year={1992},
  volume={39},
  pages={859-868}
}
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]. 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 442 CITATIONS, ESTIMATED 30% COVERAGE

FILTER CITATIONS BY YEAR

1989
2019

CITATION STATISTICS

  • 37 Highly Influenced Citations

  • Averaged 27 Citations per year over the last 3 years

Similar Papers

Loading similar papers…