Struct MultilinearQuery

pub struct MultilinearQuery<P, Data = Vec<P>>
where
    P: PackedField,
    Data: DerefMut<Target = [P]>,
{ /* private fields */ }

Tensor product expansion of sumcheck round challenges.

Stores the tensor product expansion $\bigotimes_{i = 0}^{n - 1} (1 - r_i, r_i)$ when round() is n for the sequence of sumcheck challenges $(r_0, …, r_{n-1})$. The tensor product can be updated with a new round challenge in linear time. This is used in the first several rounds of the sumcheck prover for small-field polynomials, before it becomes more efficient to switch over to the method that store folded multilinears.

Implementations

impl<P: PackedField> MultilinearQuery<P, Vec<P>>

pub fn with_capacity(max_query_vars: usize) -> Self

pub fn expand(query: &[P::Scalar]) -> Self

impl<P: PackedField, Data: DerefMut<Target = [P]>> MultilinearQuery<P, Data>

pub fn with_expansion( n_vars: usize, expanded_query: Data, ) -> Result<Self, Error>

pub fn n_vars(&self) -> usize

pub fn expansion(&self) -> &[P]

Returns the tensor product expansion of the query

If the number of query variables is less than the packing width, return a single packed element.

pub fn expansion_mut(&mut self) -> &mut [P]

pub fn into_expansion(self) -> Data

pub fn update( self, extra_query_coordinates: &[P::Scalar], ) -> Result<Self, Error>

pub fn to_ref(&self) -> MultilinearQueryRef<'_, P>

Trait Implementations

impl<P, Data> Debug for MultilinearQuery<P, Data>

where P: PackedField + Debug, Data: DerefMut<Target = [P]> + Debug,

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

Formats the value using the given formatter.

impl<'a, P: PackedField, Data: DerefMut<Target = [P]>> From<&'a MultilinearQuery<P, Data>> for MultilinearQueryRef<'a, P>

fn from(query: &'a MultilinearQuery<P, Data>) -> Self

Converts to this type from the input type.