binius_core::protocols::sumcheck::prove::zerocheck

Function validate_witness

Source 
pub fn validate_witness<'a, F, P, M, Composition>(
    multilinears: &[M],
    zero_claims: impl IntoIterator<Item = &'a (Arc<str>, Composition)>,
) -> Result<(), Error>
where
    F: Field,
    P: PackedField<Scalar = F>,
    M: MultilinearPoly<P> + Send + Sync,
    Composition: CompositionPolyOS<P> + 'a,