Module snarkvm_polycommit::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”].

Modules

commitment

Gadgets for Marlin-KZG10 commitments.

marlin_kzg10

Gadget for Marlin-KZG10 polynomial commitment scheme.

proof

Gadgets for Marlin-KZG10 proofs.

verifier_key

Verifier key gadgets for the Marlin-KZG10 polynomial commitment scheme.

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.