Enum SumcheckMultilinear

pub enum SumcheckMultilinear<'a, F, Mem: ComputeMemory<F>> {
    PreFold(Mem::FSlice<'a>),
    PostFold(Mem::FSliceMut<'a>),
}

A multilinear polynomial that is being processed by a sumcheck prover.

Variants

PreFold(Mem::FSlice<'a>)

PostFold(Mem::FSliceMut<'a>)

Implementations

impl<'a, F, Mem: ComputeMemory<F>> SumcheckMultilinear<'a, F, Mem>

pub fn const_slice(&self) -> Mem::FSlice<'_>

Trait Implementations

impl<'a, F: Clone, Mem: Clone + ComputeMemory<F>> Clone for SumcheckMultilinear<'a, F, Mem>

where Mem::FSlice<'a>: Clone, Mem::FSliceMut<'a>: Clone,

fn clone(&self) -> SumcheckMultilinear<'a, F, Mem>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, F: Debug, Mem: Debug + ComputeMemory<F>> Debug for SumcheckMultilinear<'a, F, Mem>

where Mem::FSlice<'a>: Debug, Mem::FSliceMut<'a>: Debug,

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

Formats the value using the given formatter.