linear-time sumcheck protocol for multilinear polynomials and related addends
-
Updated
Nov 21, 2025 - Rust
#
sumcheck
Here are 11 public repositories matching this topic...
Zero-knowledge proof system over binary tower fields. Streaming architecture. Bounded memory. Edge-native.
-
Updated
Jul 29, 2026 - Rust
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
Aug 1, 2026 - Rust
How does the SumCheck protocol work?
-
Updated
May 29, 2025 - Sage
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
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
Educational implementation of the sumcheck protocol in Rust
-
Updated
Jun 3, 2026 - Rust
Research from ParanO(1)d Lab: proof-native systems, cryptographic protocols, verifiable-state architectures, and reproducible engineering results.
cryptography reproducible-research post-quantum-cryptography gkr verifiable-computation zero-knowledge-proofs polynomial-commitments sumcheck proof-systems poseidon2 blockchain-research cryptographic-research binary-fields parano1d
-
Updated
Aug 2, 2026 - HTML
FROST-GKR: Frobenius Reduction Over Shifted Tables for batched Poseidon2b relations over binary tower fields.
rust cryptography reproducible-research fiat-shamir gkr verifiable-computation zero-knowledge-proofs polynomial-commitments sumcheck proof-systems arithmetization poseidon2 binary-fields multilinear-polynomials parano1d binary-tower-fields
-
Updated
Aug 2, 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."