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.
cryptography jupyter educational gkr verifiable-computation zero-knowledge-proofs interactive-proofs sum-check goldwasser-kalai-rothblum arithmeic-circuits
-
Updated
Aug 5, 2026 - Jupyter Notebook