Struct QuadraticMleEvaluator 

pub struct QuadraticMleEvaluator<Composition, InfinityComposition, const N: usize> { /* private fields */ }

MLE-check round evaluator for one quadratic composition over N store columns.

This is the store-backed successor of the quadratic MLE-check prover: it evaluates the composition in one pass per round, using the degree-2 interpolation of Gruen24 section 3.2. Batch several quadratic MLE checks by registering one evaluator per claim on a shared store; they read the shared columns from the same round pass.

The evaluator emits the prime (eq-factored) round polynomial of the MLE-check protocol. Wrap it in MleToSumCheckEvaluator to emit a regular sumcheck round polynomial.

Implementations

impl<Composition, InfinityComposition, const N: usize> QuadraticMleEvaluator<Composition, InfinityComposition, N>

pub fn new( cols: [ColId; N], composition: Composition, infinity_composition: InfinityComposition, ) -> Self

Creates an evaluator over the store columns cols.

The evaluator holds no eq-indicator tracker and no copy of the evaluation point: the driving SharedMleCheckProver owns the shared point’s tracker and passes the round’s eq chunk and coordinate in. The claimed evaluation is likewise held by the prover, not the evaluator.

Arguments

• cols - The N store columns the composition reads.
• composition - Evaluates the quadratic composition of the N column values.
• infinity_composition - The composition restricted to its highest-degree terms, for the Karatsuba evaluation at infinity.

Trait Implementations

impl<F, P, Composition, InfinityComposition, const N: usize> MleCheckRoundEvaluator<F, P> for QuadraticMleEvaluator<Composition, InfinityComposition, N>

where F: Field, P: PackedField<Scalar = F>, Composition: Fn([P; N]) -> P + Send + Sync, InfinityComposition: Fn([P; N]) -> P + Send + Sync,

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.