binius_core::protocols::abstract_sumcheck

Function batch_prove

source 
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>,
Expand description

Prove a batched abstract sumcheck instance.

See module documentation for details.