Module snarkvm_polycommit::marlin_pc [−][src]
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
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 |
|
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 |
|
Randomness |
|
VerifierKey |
|
Type Definitions
UniversalParams |
|