binius_core::protocols::sumcheck::prove::eq_ind

Function validate_witness

Source 
pub fn validate_witness<F, P, M, Composition>(
    n_vars: usize,
    multilinears: &[SumcheckMultilinear<P, M>],
    eq_ind_challenges: &[F],
    eq_ind_sum_claims: impl IntoIterator<Item = CompositeSumClaim<F, Composition>>,
) -> Result<(), Error>
where
    F: Field,
    P: PackedField<Scalar = F>,
    M: MultilinearPoly<P> + Send + Sync,
    Composition: CompositionPoly<P>,