Module marlin_pc

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 Aliases

UniversalParams

UniversalParams are the universal parameters for the KZG10 scheme.