Function binius_core::protocols::zerocheck::batch_prove

source ·

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

Expand description

Prove a batched zerocheck instance.

See module documentation for details.