Skip to content
#

sum-check

Here are 5 public repositories matching this topic...

Interactive, pedagogical treatment of the sum-check and GKR protocols, published as a rendered book at tmfreiberg.github.io/sumcheck-gkr-notes. Covers multilinear extensions, arithmetic circuits, wiring predicates, and soundness, with executable examples and step-by-step prover/verifier transcripts.

  • Updated Aug 5, 2026
  • Jupyter Notebook

Improve this page

Add a description, image, and links to the sum-check topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the sum-check topic, visit your repo's landing page and select "manage topics."

Learn more