docs(sumcheck): annotate main-sumcheck formulas and Layer output-eval group construction#1310

Merged

hero78119 merged 5 commits intomasterfrom

copilot/sub-pr-1299

Apr 22, 2026

Commits on Apr 22, 2026

docs(sumcheck): clarify concrete main-sumcheck expressions

authored and
hero78119
committed
docs(sumcheck): spell out smaller batched sumcheck expressions

authored and
hero78119
committed
docs(sumcheck): note each batched zerocheck has zero target sum

authored and
hero78119
committed
docs(layer): explain output eval group construction in from_circuit_builder

authored and
hero78119
committed
docs(layer): clarify offset indexing in batched sumcheck formula

authored and
hero78119
committed