Module snarkvm_algorithms::polycommit::kzg10

source ·
Expand description

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