Struct MleToSumCheckEvaluator 

pub struct MleToSumCheckEvaluator<Inner> { /* private fields */ }

Adaptor that turns an MleCheckRoundEvaluator into a SumcheckRoundEvaluator.

This is the evaluator-level mirror of MleToSumCheckDecorator, applying the same Gruen24 technique: each round, the inner evaluator’s prime round polynomials are multiplied by the linear equality term in the bound coordinate and by the accumulated equality prefix. It lets eq-weighted and plain claims live in one evaluator group behind a single SharedSumcheckProver.

Unlike a bare MleCheckRoundEvaluator, whose driving SharedMleCheckProver owns the eq tracker, this wrapper runs under a SharedSumcheckProver that knows nothing of eq indicators. So the wrapper itself holds the EqId of the shared evaluation point’s eq tracker, and supplies the round’s eq chunk to MleCheckRoundEvaluator::accumulate and its alpha and equality prefix to MleCheckRoundEvaluator::interpolate — all read from that tracker, which the store folds in lockstep, so the wrapper keeps no copy of the point and no equality bookkeeping of its own.

Implementations

impl<Inner> MleToSumCheckEvaluator<Inner>

pub const fn new(inner: Inner, eq_tracker: EqId) -> Self

Wraps an MLE-check evaluator whose claims share the point of eq tracker eq_tracker.

Trait Implementations

impl<F, P, Inner> SumcheckRoundEvaluator<F, P> for MleToSumCheckEvaluator<Inner>

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

fn degree(&self) -> usize

The number of accumulator slots this evaluator’s claim uses.

fn accumulate( &self, chunk: &EvaluationChunk<'_, 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, ) -> RoundCoeffs<F>

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