binius_core::protocols::evalcheck::subclaims

Type Alias BivariateSumcheckWitness

source 
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> + Sync + Send + 'a>>,
    pub _marker: PhantomData<PW>,
    /* private fields */
}

Fields§

§composition: BivariateProduct§multilinears: Vec<Arc<dyn MultilinearPoly<PW> + Sync + Send + 'a>>§_marker: PhantomData<PW>