Function binius_core::protocols::gkr_gpa::batch_prove

pub fn batch_prove<'a, F, PW, DomainField, Challenger, Backend>(
    witnesses: impl IntoIterator<Item = GrandProductWitness<'a, PW>>,
    claims: impl IntoIterator<Item = GrandProductClaim<F>>,
    evaluation_domain_factory: impl EvaluationDomainFactory<DomainField>,
    challenger: Challenger,
    backend: Backend
) -> Result<GrandProductBatchProveOutput<F>, Error>
where
    F: TowerField + From<PW::Scalar>,
    PW: PackedExtension<DomainField>,
    DomainField: Field,
    PW::Scalar: Field + From<F> + ExtensionField<DomainField>,
    Challenger: CanSample<F> + CanObserve<F>,
    Backend: ComputationBackend,

Proves batch reduction turning each GrandProductClaim into an EvalcheckMultilinearClaim

REQUIRES:

• witnesses and claims are of the same length
• The ith witness corresponds to the ith claim