Algebraic methods for interactive proof systems

Algebraic methods for interactive proof systems

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Journal of the ACM 1992-10, Vol.39 (4), p.859-868
Hauptverfasser: LUND, C, FORTNOW, L, KARLOFF, H, NISAN, N
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Applied sciences
Artificial intelligence
Computer science
control theory
systems
Construction
Exact sciences and technology
Hierarchies
Interactive
Problem solving, game playing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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].
ISSN:0004-5411
1557-735X
DOI:10.1145/146585.146605