Struct MultilinearQuery

pub struct MultilinearQuery<P: PackedField, Backend: ComputationBackend> { /* 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, Backend: ComputationBackend> MultilinearQuery<P, Backend>

pub fn new(max_query_vars: usize) -> Result<Self, PolynomialError>

pub fn with_full_query( query: &[P::Scalar], backend: Backend, ) -> Result<Self, PolynomialError>

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 into_expansion(self) -> Backend::Vec<P>

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

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

Trait Implementations

impl<P: Debug + PackedField, Backend: Debug + ComputationBackend> Debug for MultilinearQuery<P, Backend>

where Backend::Vec<P>: Debug,

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

Formats the value using the given formatter.

impl<'a, P: PackedField, Backend: ComputationBackend> From<&'a MultilinearQuery<P, Backend>> for MultilinearQueryRef<'a, P>

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

Converts to this type from the input type.