Module ark_poly_commit::marlin::marlin_pc

source ·
Expand description

Polynomial commitment scheme from [KZG10] that enforces strict degree bounds and (optionally) enables hiding commitments by following the approach outlined in [CHMMVW20, “Marlin”].

Structs

  • Commitment
    Commitment to a polynomial that optionally enforces a degree bound.
  • CommitterKey
    CommitterKey is used to commit to and create evaluation proofs for a given polynomial.
  • MarlinKZG10
    Polynomial commitment based on [KZG10], with degree enforcement, batching, and (optional) hiding property taken from [CHMMVW20, “Marlin”].
  • PreparedCommitment
    Prepared commitment to a polynomial that optionally enforces a degree bound.
  • PreparedVerifierKey
    PreparedVerifierKey is used to check evaluation proofs for a given commitment.
  • Randomness
    Randomness hides the polynomial inside a commitment. It is output by KZG10::commit.
  • VerifierKey
    VerifierKey is used to check evaluation proofs for a given commitment.

Type Definitions

  • UniversalParams
    UniversalParams are the universal parameters for the KZG10 scheme.