A Rust library for polynomial commitments
-
Updated
Aug 31, 2026 - Rust
#
polynomial-commitments
Here are 12 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
Bachelor Thesis - Formalizing the KZG Polynomial Commitment Scheme in Isabelle/HOL.
-
Updated
Jan 14, 2025 - Isabelle
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
A production-ready implementation of KZG polynomial commitments and zero-knowledge PIOPs with formal security analysis
-
Updated
Jun 25, 2025 - C++
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
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
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."