Module snarkvm_polycommit::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”].
Modules
Gadgets for Marlin-KZG10 commitments.
Gadget for Marlin-KZG10 polynomial commitment scheme.
Gadgets for Marlin-KZG10 proofs.
Verifier key gadgets for the Marlin-KZG10 polynomial commitment scheme.
Structs
Commitment to a polynomial that optionally enforces a degree bound.
CommitterKey
is used to commit to and create evaluation proofs for a given
polynomial.
Polynomial commitment based on [KZG10], with degree enforcement, batching, and (optional) hiding property taken from [CHMMVW20, “Marlin”].
Prepared commitment to a polynomial that optionally enforces a degree bound.
PreparedVerifierKey
is used to check evaluation proofs for a given commitment.
Randomness
hides the polynomial inside a commitment. It is output by KZG10::commit
.
VerifierKey
is used to check evaluation proofs for a given commitment.
Type Definitions
UniversalParams
are the universal parameters for the KZG10 scheme.