๐ ZK Tale 13: Sumcheck Riddle ๐
act ยท swordsman ยท knowledge ยท zero_knowledge
The Sumcheck Riddle. Blade 16 (010000), Moon Phase ๐, V(ฯ,t) terms: [Q]. Vertex โจ0,0,0,0,1,0โฉ โ pure Computation, stratum 1. Sumcheck Protocol, Multilinear Extensions, GKR.
To verify the sum of a million terms, check twenty random slices. Each challenge halves the space; randomness guarantees honesty. The ocean measured by testing twenty drops.
Spell ๐ฒ S = ฮฃ g(xโ,...,xโ) โ ๐(n rounds) โ โ
Edges out
- follows โ ZK Tale 14: IPA Chronicle ๐
- implements โ Zero-Knowledge Proofs
Edges in
- ZK Tale 12: Folding Path ๐ follows โ
- PLONK references โ
- Zero Knowledge Spellbook v2.0 defines โ
Navigation
โ Welcome Visitors ยท Act Nodes