KZG WASM Build suitable for EIP-4844 and PeerDAS (EIP-7594)

Write ups on Mathematical Cryptography

KZG polynomial commitments in Zig

Building and packaging of the Java bindings in C-KZG-4844

Minimal library for Ethereum transactions, addresses and smart contracts.

Melodot is designed as a data availability layer for GB-level data throughput.

Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.

Implementation KZG zk-SNARKs protocol Marlin and Plonk in Python/SageMath

A production-ready implementation of KZG polynomial commitments and zero-knowledge PIOPs with formal security analysis

This tool allows you to convert KZG Structured Reference Strings (KZG SRS) generated by Celo, Aleo, Aztec protocols using multi-party computation for the BN254, BLS12-377, and BW6-761 elliptic curves to a format compatible with gnark.

A collection of ZKPs (Zero Knowledge Proofs) and cryptographic research implementations in Rust.

Bachelor Thesis - Formalizing the KZG Polynomial Commitment Scheme in Isabelle/HOL.

A place to learn ZK with Jupyter

Extractable Witness Encryption for KZG Commitments

Golang packages using gnark-crypto library to parse and verify AZTEC ignition ceremony. Example usage; build a KZG SRS for bn254.

KZG polynomial commitments over bls12-381 in JavaScript

Efficient Dynamic Proof of Retrievability

A simple SNARK implementation in Python

FFT, data-recovery and KZG commitments, a.k.a. Kate commitments, in Go - *super experimental*