Module snarkos_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"].

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”].
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.