binius_core::protocols::zerocheck

Type Alias ZerocheckWitness

source 
pub type ZerocheckWitness<P, C, M> = MultilinearComposite<P, C, M>;

Aliased Type§

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

Fields§

§composition: C§multilinears: Vec<M>§_marker: PhantomData<P>