Module snarkvm_polycommit::kzg10 [−][src]
Expand description
The core [KZG10] construction.
Here we construct a polynomial commitment that enables users to commit to a
single polynomial p
, and then later provide an evaluation proof that
convinces verifiers that a claimed value v
is the true evaluation of p
at a chosen point x
. Our construction follows the template of the construction
proposed by Kate, Zaverucha, and Goldberg (KZG11).
This construction achieves extractability in the algebraic group model (AGM).
Structs
Commitment |
|
KZG10 |
|
Powers |
|
PreparedCommitment |
|
PreparedVerifierKey |
|
Proof |
|
Randomness |
|
UniversalParams |
|
VerifierKey |
|