binius_core::protocols::sumcheck::verify

Function compute_expected_batch_composite_evaluation_single_claim

Source 
pub fn compute_expected_batch_composite_evaluation_single_claim<F: Field, Composition>(
    batch_coeff: F,
    claim: &SumcheckClaim<F, Composition>,
    multilinear_evals: &[F],
) -> Result<F, Error>
where
    Composition: CompositionPolyOS<F>,