linear-time sumcheck protocol for multilinear polynomials and related addends
-
Updated
Nov 21, 2025 - Rust
#
sumcheck
Here are 9 public repositories matching this topic...
Zero-knowledge proof system over binary tower fields. Streaming architecture. Bounded memory. Edge-native.
-
Updated
Jun 14, 2026 - Rust
ZK is a Rust-based repo that aims to focus on learning and implementing zero-knowledge proofs.
rust polynomials rust-lang fft fiat-shamir shamir-secret-sharing zero-knowledge gkr zkproof sumcheck
-
Updated
Apr 14, 2025 - Rust
This is where I document all my zk-research implementations
-
Updated
Apr 24, 2026 - Rust
How does the SumCheck protocol work?
-
Updated
May 29, 2025 - Sage
Interactive unofficial companion for learning Proofs, Arguments, and Zero-Knowledge: chapter maps, glossary, toy labs, quizzes, and progress tracking.
education cryptography finite-fields interactive-learning fiat-shamir zero-knowledge zkp snarks sumcheck proof-systems
-
Updated
Jun 11, 2026 - HTML
Rust protocol lab for SNARK building blocks: Sumcheck, Zerocheck, PermCheck, IPA polynomial commitments, fuzzing, release evidence, and visualizer.
rust cryptography visualizer fuzzing ipa pcs zero-knowledge zk-snarks snark polynomial-commitments research-prototype zkproof sumcheck proof-systems protocol-labs interactive-proofs zerocheck permutation-check multilinear-polynomials
-
Updated
Jun 14, 2026 - Rust
Educational implementation of the sumcheck protocol in Rust
-
Updated
Jun 3, 2026 - Rust
Improve this page
Add a description, image, and links to the sumcheck topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sumcheck topic, visit your repo's landing page and select "manage topics."