pub struct Evaluation<G>where
G: AffineRepr,{
pub commitment: PolyComm<G>,
pub evaluations: Vec<Vec<G::ScalarField>>,
}Expand description
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 zeta and zetaomega. The outer vector would be the
evaluations at the different points (e.g. zeta and zetaomega for
vanilla PlonK) and the inner vector would be the chunks of the
polynomial.
Auto Trait Implementations§
impl<G> Freeze for Evaluation<G>
impl<G> RefUnwindSafe for Evaluation<G>where
G: RefUnwindSafe,
<G as AffineRepr>::ScalarField: RefUnwindSafe,
impl<G> Send for Evaluation<G>
impl<G> Sync for Evaluation<G>
impl<G> Unpin for Evaluation<G>
impl<G> UnsafeUnpin for Evaluation<G>
impl<G> UnwindSafe for Evaluation<G>where
G: UnwindSafe,
<G as AffineRepr>::ScalarField: UnwindSafe,
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more