linear-time sumcheck protocol for multilinear polynomials and related addends
-
Updated
Nov 21, 2025 - Rust
#
sumcheck
Here are 18 public repositories matching this topic...
Independent open-source implementation of Magnetar: a hash-based, post-quantum RV64I zkVM over binary fields (Setty, ePrint 2026/2423). Not affiliated with Microsoft.
python rust cryptography riscv post-quantum verifiable-computation magnetar polynomial-commitments rv64i sumcheck zkvm hash-based binary-fields
-
Updated
Oct 16, 2026 - Rust
Zero-knowledge proof system over binary tower fields. Streaming architecture. Bounded memory. Edge-native.
-
Updated
Oct 20, 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
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
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
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
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
Oct 12, 2026 - HTML
Basis-aware multilinear polynomial algorithms and the Sumcheck protocol in Rust
-
Updated
Aug 27, 2026 - Rust
MIT-licensed Goldilocks Sumcheck round and multilinear evaluation hardware accelerator. Chisel source and generated SystemVerilog. | MIT 开源 Goldilocks Sumcheck 轮计算与多线性求值硬件加速器，提供 Chisel 源码与生成的 SystemVerilog。
chisel rtl systemverilog hardware-acceleration polynomial-arithmetic zero-knowledge goldilocks sumcheck openrtl multilinear-extension
-
Updated
Oct 17, 2026 - SystemVerilog
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
MIT-licensed ZK hardware accelerator catalogue: 11 standalone Chisel/SystemVerilog operator families with inspectable engineering evidence. | MIT 开源 ZK 硬件加速器目录：汇集 11 类独立 Chisel/SystemVerilog 算子及可检查的工程证据。
cryptography chisel rtl systemverilog msm stark hardware-acceleration zero-knowledge ntt sumcheck poseidon2 openrtl
-
Updated
Oct 17, 2026 - Python
Rust prover for sparse-Merkle state transitions, with GKR and sumcheck mechanized in Isabelle/HOL
rust cryptography arxiv merkle-tree formal-verification gkr sparse-merkle-tree verifiable-computation sumcheck
-
Updated
Oct 25, 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."