Module snarkvm_polycommit::sonic_pc [−][src]
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
BatchProof | Evaluation proof at a query set. |
CommitterKey |
|
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 |
|
Type Definitions
Commitment |
|
PreparedCommitment |
|
PreparedVerifierKey | Nothing to do to prepare this verifier key (for now). |
Randomness |
|
UniversalParams |
|