Struct poly_commitment::commitment::Evaluation

pub struct Evaluation<G>where
    G: AffineRepr,{
    pub commitment: PolyComm<G>,
    pub evaluations: Vec<Vec<G::ScalarField>>,
}

Contains the evaluation of a polynomial commitment at a set of points.

Fields

commitment: PolyComm<G>

The commitment of the polynomial being evaluated. Note that PolyComm contains a vector of commitments, which handles the case when chunking is used, i.e. when the polynomial degree is higher than the SRS size.

evaluations: Vec<Vec<G::ScalarField>>

Contains an evaluation table. For instance, for vanilla PlonK, it would be a vector of (chunked) evaluations at ζ and ζω. The outer vector would be the evaluations at the different points (e.g. ζ and ζω for vanilla PlonK) and the inner vector would be the chunks of the polynomial.