Module ark_poly_commit::sonic_pc

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

BatchProof	Evaluation proof at a query set.
CommitterKey	ComitterKey is used to commit to, and create evaluation proofs for, a given polynomial.
SonicKZG10	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	VerifierKey is used to check evaluation proofs for a given commitment.

Type Definitions

Commitment	Commitment is the commitment for the KZG10 scheme.
PreparedCommitment	PreparedCommitment is the prepared commitment for the KZG10 scheme.
PreparedVerifierKey	Nothing to do to prepare this verifier key (for now).
Randomness	Randomness is the randomness for the KZG10 scheme.
UniversalParams	UniversalParams are the universal parameters for the KZG10 scheme.