Function binius_core::protocols::gkr_sumcheck::batch_prove

pub fn batch_prove<F, PW, DomainField, CW, M, CH, Backend>(
    gkr_sumchecks: impl IntoIterator<Item = (GkrSumcheckClaim<F>, GkrSumcheckWitness<PW, CW, M>)>,
    evaluation_domain_factory: impl EvaluationDomainFactory<DomainField>,
    switchover_fn: impl Fn(usize) -> usize + 'static,
    challenger: CH,
    backend: Backend
) -> Result<GkrSumcheckBatchProveOutput<F>, Error>
where
    F: Field,
    DomainField: Field,
    PW: PackedExtension<DomainField, Scalar: From<F> + Into<F> + ExtensionField<DomainField>>,
    CW: CompositionPoly<PW>,
    M: MultilinearPoly<PW> + Clone + Send + Sync,
    CH: CanObserve<F> + CanSample<F>,
    Backend: ComputationBackend,

Prove a batched GkrSumcheck instance.

See module documentation for details.