sum-check

Here are 3 public repositories matching this topic...

RisenCrypto / RisenCrypto.github.io

Write ups on Mathematical Cryptography

Updated Feb 8, 2026
SCSS

tmfreiberg / sumcheck-gkr-notes

Interactive, pedagogical implementations of the Sum-Check and GKR protocols, with explicit multilinear extensions, wiring predicates, and step-by-step verifier/prover transcripts.

gkr sum-check goldwasser-kalai-rothblum arithmeic-circuits

Updated Feb 5, 2026
Jupyter Notebook

Retamogordo / sum-check-ip

Star

sum-check and other Interactive Proof primitives demo

sympy zk zero-knowledge mle interactive-proofs sum-check

Updated Sep 28, 2025
Python

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly