Enum SumcheckMultilinear

pub enum SumcheckMultilinear<P, M>
where
    P: PackedField,
    M: MultilinearPoly<P>,
{
    Transparent {
        multilinear: M,
        switchover_round: usize,
        const_suffix: (P::Scalar, usize),
    },
    Folded {
        large_field_folded_evals: Vec<P>,
        suffix_eval: P::Scalar,
    },
}

An individual multilinear polynomial in a multivariate composite.

Variants

Transparent

Small field multilinear - to be folded into large field at switchover round A suffix of constant scalars at the end is provided via const_suffix hint.

Fields

multilinear: M

switchover_round: usize

const_suffix: (P::Scalar, usize)

Folded

Large field multilinear - halved in size each round If length is less than expected one for the current round, pad with suffix_eval scalars.

Fields

large_field_folded_evals: Vec<P>

suffix_eval: P::Scalar

Implementations

impl<P: PackedField, M: MultilinearPoly<P>> SumcheckMultilinear<P, M>

pub fn transparent( multilinear: M, switchover_fn: &impl Fn(usize) -> usize, ) -> Self

pub fn folded(large_field_folded_evals: Vec<P>) -> Self

pub fn const_suffix(&self, n_vars: usize) -> (P::Scalar, usize)

pub fn update_const_suffix( &mut self, n_vars: usize, new_const_suffix: (P::Scalar, usize), )

Trait Implementations

impl<P, M> Clone for SumcheckMultilinear<P, M>

where P: PackedField + Clone, M: MultilinearPoly<P> + Clone, P::Scalar: Clone,

fn clone(&self) -> SumcheckMultilinear<P, M>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P, M> Debug for SumcheckMultilinear<P, M>

where P: PackedField + Debug, M: MultilinearPoly<P> + Debug, P::Scalar: Debug,

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

Formats the value using the given formatter.