Function binius_core::protocols::abstract_sumcheck::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>
Expand description
Prove a batched abstract sumcheck instance.
See module documentation for details.