Module ark_poly_commit::marlin::marlin_pst13_pc
source · Expand description
Multivariate polynomial commitment based on the construction in [PST13] with batching and (optional) hiding property inspired by the univariate scheme in [CHMMVW20, “Marlin”]
Structs
CommitterKey
is used to commit to and create evaluation proofs for a given polynomial.- Multivariate polynomial commitment based on the construction in [PST13] with batching and (optional) hiding property inspired by the univariate scheme in [CHMMVW20, “Marlin”]
Proof
is an evaluation proof that is output byKZG10::open
.Randomness
hides the polynomial inside a commitment`.UniversalParams
are the universal parameters for the MarlinPST13 scheme.VerifierKey
is used to check evaluation proofs for a given commitment.
Type Definitions
- Nothing to do to prepare this verifier key (for now).