sumcheck an interactive proof protocol that reduces verifying a sum over exponentially many terms to checking a single evaluation. Lund, Fortnow, Karloff, Nisan (1992). the engine inside zheng and SuperSpartan. the protocol given a k-variate polynomial f, prove that the sum over the boolean…

the sumcheck protocol the sumcheck protocol is the heart of zheng. every proof that zheng produces, every constraint that SuperSpartan verifies, every trace that nox generates — all of it flows through sumcheck. understanding sumcheck means understanding why proof systems can verify enormous…