linear-time sumcheck protocol for multilinear polynomials and related addends
-
Updated
Nov 21, 2025 - Rust
#
sumcheck
Here are 15 public repositories matching this topic...
Zero-knowledge proof system over binary tower fields. Streaming architecture. Bounded memory. Edge-native.
-
Updated
Oct 7, 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
LZX — the post-quantum lattice zkVM research workspace: 17+ paper protocol cores (Akita PCS, Twist & Shout, LaBRADOR/Greyhound, RoKoko, SALSAA, HyperWolf, LatticeBlindFold...) wired end-to-end, adversarially tested. Stage-5.2 claims fold landed: 31 KB batched-compact memory-argument proofs.
rust zero-knowledge post-quantum polynomial-commitments sumcheck zkvm lattice-cryptography folding-schemes twist-and-shout
-
Updated
Oct 6, 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
Oct 5, 2026 - HTML
Basis-aware multilinear polynomial algorithms and the Sumcheck protocol in Rust
-
Updated
Aug 27, 2026 - Rust
Mersenne-31 FPGA Sumcheck prover with RTL, software cross-checking, synthesis and board validation.
-
Updated
Sep 22, 2026 - SystemVerilog
Educational implementation of the sumcheck protocol in Rust
-
Updated
Jun 3, 2026 - Rust
Rust prover for sparse-Merkle state transitions, with GKR and sumcheck mechanized in Isabelle/HOL
rust cryptography arxiv merkle-tree formal-verification zenodo zero-knowledge gkr sparse-merkle-tree sumcheck
-
Updated
Oct 9, 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."