Computational Proof Systems
  • 👋Cryptography and ZKP research note
  • Protocol and Primitives
    • Chapter One: ZK fundamentals
      • Overview of Computation in Zero-Knowledge Proofs
      • Arithemetic Circuit
      • Arithemetic Circuit (RUST)
      • Polynomial
      • R1CS to QAP
      • Univariate Polynomial Multiplication Using FFT
    • Chapter Two: Interative and non-interative proof
      • Interactive and Non-interactive Zero-Knowledge Proof Systems
    • Chapter Three: Ploynomial Commitment Schemes
      • KZG Polynomial Commitment Scheme
        • Univariate KZG Polynomial Commitment Scheme
        • Multilinear KZG Polynomial commitment scheme
        • Batch Univariate KZG Polynomial Commitment Scheme
      • FRI Polynomial commitment scheme
    • Chapter Four: Sum Check Protocol
    • Chapter Five: GRK Protocol
      • The Protocol
      • Succinct GKR Protocol
    • Chapter Six: Groth16 Protocol
    • Chapter Seven: PLONK Protocol
    • Chapter Eight: PLONK Protocol Extensions
      • TurboPLONK
      • Lookup Arguments and PLONKUP
        • PLOOKUP
        • Halo2 Lookup Protocol
      • HYPERPLONK
Powered by GitBook
On this page
  1. Protocol and Primitives
  2. Chapter Three: Ploynomial Commitment Schemes
  3. KZG Polynomial Commitment Scheme

Univariate KZG Polynomial Commitment Scheme

Exploring KZG polynomial commitment scheme over a univariate polynomial.

PreviousKZG Polynomial Commitment SchemeNextMultilinear KZG Polynomial commitment scheme

Last updated 16 days ago

This is my favorite resource for understanding the Univariate KZG commitment scheme.

KZG in Practice: Polynomial Commitment Schemes and Their Usage in Scaling Ethereum - Scroll

KZG Commitment Scheme | Scroll Documentation

With this resource you should be able to attempt building KZG poly-commit-scheme!

Rust Implementation:

https://github.com/developeruche/cryptography-n-zk-research/blob/main/polynomial-commitment-schemes/kzg-rust/src/univariate/mod.rs