binius_core::protocols::zerocheck

Type Alias ZerocheckWitnessTypeErased

source 
pub type ZerocheckWitnessTypeErased<'a, P, C> = MultilinearComposite<P, C, MultilinearWitness<'a, P>>;

Aliased Type§

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

Fields§

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