Module kzg10

The core [KZG10] construction.

Here we construct a polynomial commitment that enables users to commit to a single polynomial p, and then later provide an evaluation proof that convinces verifiers that a claimed value v is the true evaluation of p at a chosen point x. Our construction follows the template of the construction proposed by Kate, Zaverucha, and Goldberg (KZG11). This construction achieves extractability in the algebraic group model (AGM).

Structs

KZG10

KZG10 is an implementation of the polynomial commitment scheme of Kate, Zaverucha and Goldbgerg

KZGCommitment

KZGCommitment commits to a polynomial. It is output by KZG10::commit.

KZGProof

KZGProof is an evaluation proof that is output by KZG10::open.

KZGRandomness

KZGRandomness hides the polynomial inside a commitment. It is output by KZG10::commit.

LagrangeBasis

LagrangeBasis is used to commit to and create evaluation proofs for a given polynomial.

Powers

Powers is used to commit to and create evaluation proofs for a given polynomial.

UniversalParams

UniversalParams are the universal parameters for the KZG10 scheme.

VerifierKey

VerifierKey is used to check evaluation proofs for a given commitment.

Enums

KZGDegreeBounds