The Sumcheck protocol is an efficient tool to develop succinct arguments. It is relied upon by many proof systems, such as Lasso/Jolt by a16z crypto, HyperPlonk, Binius, Spartan, and GKR. Sumcheck was first proposed by Lund, Fortnow, Karloff, & Nisan in 1992. The sumcheck protocol is an interactive protocol working over multivariate polynomials, that is, polynomials in many variables, such as p(x1,x2) = 1 + x2 + 5 x1x2 + x1^6. The prover tries to convince the verifier that the sum of all the ...