Struct MultilinearEvalEvaluator 

pub struct MultilinearEvalEvaluator { /* private fields */ }

MLE-check round evaluator for the multilinear evaluation of one store column.

The composition is the identity. Each round polynomial is therefore degree 1, with a single sampled evaluation. That evaluation is the inner product of the column’s X = 1 half with the round’s eq chunk. The driving SharedMleCheckProver supplies that chunk. It folds the higher eq coordinates through its own reduction step. No full-width eq tensor is ever materialized, streamed, or folded.

Implementations

impl MultilinearEvalEvaluator

pub const fn new(col: ColId) -> Self

Creates an evaluator over the store column col.

Trait Implementations

impl<F, P> MleCheckRoundEvaluator<F, P> for MultilinearEvalEvaluator

where F: Field, P: PackedField<Scalar = F>,

fn degree(&self) -> usize

The number of accumulator slots this evaluator’s claim uses. See SumcheckRoundEvaluator::degree.

fn accumulate( &self, chunk: &EvaluationChunk<'_, P>, eq_ind: FieldSlice<'_, P>, accum: &mut [<P as WideMul>::Output], )

Accumulates one chunk of the halved hypercube into accum.

fn interpolate( &self, ctx: &RoundContext<'_, P>, accum: &[P], claim: F, alpha: F, ) -> RoundCoeffs<F>

Interpolates this round’s prime polynomial from the accumulator and the round claim.