## Algebraic Methods for Interactive Proof Systems (1990)

by
Carsten Lund
,
Lance Fortnow
,
Howard Karloff
,
Noam Nisan

Citations: | 312 - 29 self |

### BibTeX

@MISC{Lund90algebraicmethods,

author = {Carsten Lund and Lance Fortnow and Howard Karloff and Noam Nisan},

title = { Algebraic Methods for Interactive Proof Systems},

year = {1990}

}

### Years of Citing Articles

### OpenURL

### Abstract

We present a new algebraic technique for the construc-tion of interactive proof systems. We use our technique to prove that every language in the polynomial-time hierarchy has an interactive proof system. This tech-nique played a pivotal role in the recent proofs that IP=PSPACE (Shamir) and that MIP=NEXP (Babai, Fortnow and Lund).