sumcheck.md

π 0.01%

Dimensions

zheng/docs/explanation/sumcheck
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…
zheng/specs/sumcheck
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…

Linked References

Local Graph