Function binius_core::protocols::abstract_sumcheck::batch_prove

pub fn batch_prove<F, PS, CH>(
    sumchecks: impl IntoIterator<Item = (PS::Claim, PS::Witness)>,
    provers_state: &mut PS,
    challenger: CH
) -> Result<AbstractSumcheckBatchProveOutput<F>, PS::Error>
where
    F: Field,
    PS: AbstractSumcheckProversState<F>,
    CH: CanObserve<F> + CanSample<F>,

Prove a batched abstract sumcheck instance.

See module documentation for details.