Algebraic Methods for Interactive Proof Systems

@article{Lund1992AlgebraicMF,
  title={Algebraic Methods for Interactive Proof Systems},
  author={Carsten 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 475 CITATIONS

Universal Semantic Communication II: A Theory of Goal-Oriented Communication

  • Electronic Colloquium on Computational Complexity
  • 2008
VIEW 20 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Progress in Computational Complexity Theory

  • Journal of Computer Science and Technology
  • 2005
VIEW 11 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Enumerations of the Kolmogorov Function

  • Electronic Colloquium on Computational Complexity
  • 2004
VIEW 23 EXCERPTS
CITES METHODS

Probabilistically checkable proofs and their consequences for approximation algorithms

VIEW 10 EXCERPTS
CITES BACKGROUND, METHODS & RESULTS
HIGHLY INFLUENCED

Errata for On the Power of Multi-Prover Interactive Protocols

  • Structure in Complexity Theory Conference
  • 1990
VIEW 5 EXCERPTS
CITES BACKGROUND

Finding a Nash equilibrium is no easier than breaking Fiat-Shamir

VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Spartan: Efficient and general-purpose zkSNARKs without trusted setup

  • IACR Cryptology ePrint Archive
  • 2019
VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Verifiable Computing for Approximate Computation

  • IACR Cryptology ePrint Archive
  • 2019
VIEW 8 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Counting t-Cliques: Worst-Case to Average-Case Reductions and Direct Interactive Proof Systems

  • 2018 IEEE 59th Annual Symposium on Foundations of Computer Science (FOCS)
  • 2018
VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Guest column: the quantum PCP conjecture

VIEW 11 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1989
2019

CITATION STATISTICS

  • 38 Highly Influenced Citations

  • Averaged 33 Citations per year from 2017 through 2019