Function batch_prove

pub fn batch_prove<F, PW, DomainField, CH, Backend>(
    sumchecks: impl IntoIterator<Item = (SumcheckClaim<F>, impl AbstractSumcheckWitness<PW, MultilinearId = OracleId>)>,
    evaluation_domain_factory: impl EvaluationDomainFactory<DomainField>,
    switchover_fn: impl Fn(usize) -> usize + 'static,
    challenger: CH,
    backend: Backend,
) -> Result<SumcheckBatchProveOutput<F>, Error>
where
    F: Field,
    DomainField: Field,
    PW: PackedExtension<DomainField, Scalar: From<F> + Into<F> + ExtensionField<DomainField>>,
    CH: CanSample<F> + CanObserve<F>,
    Backend: ComputationBackend,

Prove a batched sumcheck instance.

See module documentation for details.