Module ark_poly_commit::sonic_pc
source · Expand description
Polynomial commitment scheme based on the construction in [KZG10], modified to obtain batching and to enforce strict degree bounds by following the approach outlined in [MBKM19, “Sonic”] (more precisely, via the variant in [Gabizon19, “AuroraLight”] that avoids negative G1 powers).
Structs
- Evaluation proof at a query set.
ComitterKey
is used to commit to, and create evaluation proofs for, a given polynomial.- Polynomial commitment based on [KZG10], with degree enforcement and batching taken from [MBKM19, “Sonic”] (more precisely, their counterparts in [Gabizon19, “AuroraLight”] that avoid negative G1 powers). The (optional) hiding property of the commitment scheme follows the approach described in [CHMMVW20, “Marlin”].
VerifierKey
is used to check evaluation proofs for a given commitment.
Type Definitions
Commitment
is the commitment for the KZG10 scheme.PreparedCommitment
is the prepared commitment for the KZG10 scheme.- Nothing to do to prepare this verifier key (for now).
Randomness
is the randomness for the KZG10 scheme.UniversalParams
are the universal parameters for the KZG10 scheme.