Module halo2_proofs::poly::commitment
source · [−]Expand description
This module contains an implementation of the polynomial commitment scheme described in the Halo paper.
Structs
An accumulator instance consisting of an evaluation claim and a proof.
Wrapper type around a blinding factor.
A guard returned by the verifier
A multiscalar multiplication in the polynomial commitment scheme
These are the public parameters for the polynomial commitment scheme.
Functions
Create a polynomial commitment opening proof for the polynomial defined
by the coefficients px
, the blinding factor blind
used for the
polynomial commitment, and the point x
that the polynomial is
evaluated at.
Checks to see if the proof represented within transcript
is valid, and a
point x
that the polynomial commitment P
opens purportedly to the value
v
. The provided msm
should evaluate to the commitment P
being opened.