binius_core::protocols::sumcheck_v2::prove::zerocheck

Function validate_witness

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