Struct MultilinearComposite

pub struct MultilinearComposite<P, C, M>
where
    P: PackedField,
    M: MultilinearPoly<P>,
{
    pub composition: C,
    pub multilinears: Vec<M>,
    pub _marker: PhantomData<P>,
    /* private fields */
}

A polynomial defined as the composition of several multilinear polynomials.

A $\mu$-variate multilinear composite polynomial $p(X_0, …, X_{\mu})$ is defined as

$$ g(f_0(X_0, …, X_{\mu}), …, f_{k-1}(X_0, …, X_{\mu})) $$

where $g(Y_0, …, Y_{k-1})$ is a $k$-variate polynomial and $f_0, …, f_k$ are all multilinear in $\mu$ variables.

The BM type parameter is necessary so that we can handle the case of a MultilinearComposite that contains boxed trait objects, as well as the case where it directly holds some implementation of MultilinearPoly.

Fields

composition: C

multilinears: Vec<M>

_marker: PhantomData<P>

Implementations

impl<P, C, M> MultilinearComposite<P, C, M>

where P: PackedField, C: CompositionPoly<P>, M: MultilinearPoly<P>,

pub fn new( n_vars: usize, composition: C, multilinears: Vec<M>, ) -> Result<Self, Error>

pub fn evaluate<'a>( &self, query: impl Into<MultilinearQueryRef<'a, P>>, ) -> Result<P::Scalar, Error>

pub fn evaluate_on_hypercube(&self, index: usize) -> Result<P::Scalar, Error>

pub fn max_individual_degree(&self) -> usize

pub fn n_multilinears(&self) -> usize

impl<P, C, M> MultilinearComposite<P, C, M>

where P: PackedField, C: CompositionPoly<P> + 'static, M: MultilinearPoly<P>,

pub fn to_arc_dyn_composition( self, ) -> MultilinearComposite<P, Arc<dyn CompositionPoly<P>>, M>

impl<P, C, M> MultilinearComposite<P, C, M>

where P: PackedField, M: MultilinearPoly<P>,

pub fn n_vars(&self) -> usize

impl<'a, F, C> MultilinearComposite<F, C, Arc<dyn MultilinearPoly<F> + Send + Sync + 'a>>

where F: TowerField, C: CompositionPoly<F>,

pub fn from_columns<P>( composition: C, columns: impl IntoIterator<Item = &'a (impl AsRef<[P]> + 'a)>, ) -> Result<Self, Error>

where P: PackedField, F: ExtensionField<P::Scalar>,

impl<P, C, M> MultilinearComposite<P, C, M>

where P: PackedField, C: Clone, M: MultilinearPoly<P>,

pub fn evaluate_partial_low( &self, query: MultilinearQueryRef<'_, P>, ) -> Result<MultilinearComposite<P, C, impl MultilinearPoly<P>>, Error>

Trait Implementations

impl<P, C, M> AbstractSumcheckWitness<P> for MultilinearComposite<P, C, M>

where P: PackedField, C: CompositionPoly<P>, M: MultilinearPoly<P> + Clone + Send + Sync,

type MultilinearId = usize

Some identifier of a multilinear witness that is used to deduplicate the witness index when folding.

type Composition = C

type Multilinear = M

fn composition(&self) -> &C

fn multilinears( &self, _seq_id: usize, claim_multilinear_ids: &[OracleId], ) -> Result<impl IntoIterator<Item = (OracleId, M)>, Error>

Extract multilinear witnesses out of composite sumcheck witness.

impl<P, C: Clone, M> Clone for MultilinearComposite<P, C, M>

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P, C: Debug, M> Debug for MultilinearComposite<P, C, M>

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

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

Formats the value using the given formatter.