Struct MleToSumCheckDecorator 

pub struct MleToSumCheckDecorator<F: Field, InnerProver> { /* private fields */ }

Adaptor that exposes a SumcheckProver interface for an internal MleCheckProver.

This struct implements the technique from Gruen24 to convert an MLE-check protocol into a standard sumcheck protocol. The key insight is that the MLE-check claim $\sum_{v \in {0,1}^n} F(v) \cdot \text{eq}(v, z) = s$ can be rewritten as a sumcheck claim by multiplying in the equality polynomial term-by-term during the protocol execution.

In each round, the adaptor multiplies the round polynomials from the inner MLE-check prover by a linear polynomial term $(X - \alpha)$ where $\alpha$ is the corresponding coordinate of the evaluation point. This effectively transforms the MLE-check round polynomial into a sumcheck round polynomial that includes the equality check.

The eq_prefix_eval field accumulates the product of all previously factored equality terms, ensuring the round polynomials maintain the correct scaling throughout the protocol.

Implementations

impl<F: Field, InnerProver: MleCheckProver<F>> MleToSumCheckDecorator<F, InnerProver>

pub const fn new(mlecheck_prover: InnerProver) -> Self

Trait Implementations

impl<F: Clone + Field, InnerProver: Clone> Clone for MleToSumCheckDecorator<F, InnerProver>

fn clone(&self) -> MleToSumCheckDecorator<F, InnerProver>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<F: Debug + Field, InnerProver: Debug> Debug for MleToSumCheckDecorator<F, InnerProver>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<F: Field, InnerProver: MleCheckProver<F>> SumcheckProver<F> for MleToSumCheckDecorator<F, InnerProver>

fn n_vars(&self) -> usize

The number of variables in the remaining multivariate polynomial.

fn execute(&mut self) -> Vec<RoundCoeffs<F>>

Computes the prover messages for this round as a univariate polynomial.

fn fold(&mut self, challenge: F)

Folds the sumcheck multilinears with a new verifier challenge.

fn finish(self) -> Vec<F>

Finishes the sumcheck proving protocol and returns the evaluations of all multilinears at the challenge point.