Type Alias binius_core::protocols::evalcheck::subclaims::BivariateSumcheckWitness

pub type BivariateSumcheckWitness<'a, PW> = MultilinearComposite<PW, BivariateProduct, MultilinearWitness<'a, PW>>;

Aliased Type

struct BivariateSumcheckWitness<'a, PW> {
    pub composition: BivariateProduct,
    pub multilinears: Vec<Arc<dyn MultilinearPoly<PW> + Send + Sync + 'a>>,
    pub _marker: PhantomData<PW>,
    /* private fields */
}

Fields

composition: BivariateProduct

multilinears: Vec<Arc<dyn MultilinearPoly<PW> + Send + Sync + 'a>>

_marker: PhantomData<PW>