Sumcheck¶
Last modified: 2026-10-23
Description¶
Tags entries built on the sumcheck protocol — reducing a sum of a low-degree polynomial over the Boolean hypercube to a single random evaluation. Core technique of IP = PSPACE, GKR, Spartan, HyperPlonk and Longfellow.