Polynomials and interactive proofs

Testing polynomial identities at random points, the sum-check protocol, and IP = PSPACE.

The Schwartz-Zippel lemma: polynomial identities at random points (1980)

The Schwartz-Zippel lemma: polynomial identities at random points (1980)

The sum-check protocol: verifying a sum of 2**n terms (1990)

The sum-check protocol: verifying a sum of 2n terms (1990)

Shamir’s IP = PSPACE: proving a quantified formula (1990)

Shamir's IP = PSPACE: proving a quantified formula (1990)