A Rust library for polynomial commitments
-
Updated
Sep 28, 2026 - Rust
#
polynomial-commitments
Here are 15 public repositories matching this topic...
FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*
fft kate data-recovery ntt kzg eth2 bls12-381 polynomial-commitments kate-commitment kzg-commitment data-availability-sampling kate-proofs kzg-proofs
-
Updated
Nov 29, 2023 - Go
PoC implementation of polynomial commitment scheme based Range Proofs
-
Updated
Sep 13, 2023 - Rust
Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.
cryptography theorem-proving isabelle formal-verification pcs agm kzg polynomial-commitments algebraic-group-model
-
Updated
Jul 30, 2026 - Isabelle
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
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
Bachelor Thesis - Formalizing the KZG Polynomial Commitment Scheme in Isabelle/HOL.
-
Updated
Jan 14, 2025 - Isabelle
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
A production-ready implementation of KZG polynomial commitments and zero-knowledge PIOPs with formal security analysis
-
Updated
Jun 25, 2025 - C++
Implementing the KZG according to the original paper in Rust
-
Updated
Nov 23, 2023 - Rust
A blazing fast implementation of KZG polynomial commitment scheme in rust
-
Updated
Jul 17, 2024 - Rust
This module provides a from-scratch radix-2 FFT/IFFT implementation for the KZG Polynomial Commitment Scheme. It enables efficient polynomial evaluation and interpolation over roots of unity, supporting advanced KZG operations and modern proving systems.
-
Updated
Jul 30, 2026 - Rust
KSTARK Hybrid — Rust kernel-basis global-linear proofs composed with binary-field nonlinear reductions and FRI, by Algorizk Labs.
rust cryptography zero-knowledge fri polynomial-commitments proof-systems binius binary-fields algorizk
-
Updated
Sep 7, 2026 - TeX
Add this topic to your repo
To associate your repository with the polynomial-commitments topic, visit your repo's landing page and select "manage topics."