linear-time sumcheck protocol for multilinear polynomials and related addends
-
Updated
Nov 21, 2025 - Rust
#
sumcheck
Here are 12 public repositories matching this topic...
Zero-knowledge proof system over binary tower fields. Streaming architecture. Bounded memory. Edge-native.
-
Updated
Aug 27, 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
Sep 1, 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
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
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 11, 2026 - Rust
This is where I document all my zk-research implementations
-
Updated
Aug 13, 2026 - Rust
Research from Parano1d 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
Sep 5, 2026 - HTML
Basis-aware multilinear polynomial algorithms and the Sumcheck protocol in Rust
-
Updated
Aug 27, 2026 - Rust
Educational implementation of the sumcheck protocol in Rust
-
Updated
Jun 3, 2026 - Rust
Add this topic to your repo
To associate your repository with the sumcheck topic, visit your repo's landing page and select "manage topics."