binius_core::protocols::v2::evalcheck_v2::subclaims

Function prove_bivariate_sumchecks_with_switchover

source 
pub fn prove_bivariate_sumchecks_with_switchover<U, F, DomainField, CH, Backend>(
    oracles: &MultilinearOracleSet<F>,
    witness: &MultilinearExtensionIndex<'_, U, F>,
    constraint_sets: Vec<ConstraintSet<PackedType<U, F>>>,
    challenger: &mut CH,
    switchover_fn: impl Fn(usize) -> usize + 'static,
    domain_factory: impl EvaluationDomainFactory<DomainField>,
    backend: &Backend,
) -> Result<(Proof<F>, Vec<EvalcheckMultilinearClaim<F>>), Error>
where
    U: UnderlierType + PackScalar<F> + PackScalar<DomainField>,
    F: TowerField + ExtensionField<DomainField>,
    DomainField: Field,
    CH: CanObserve<F> + CanSample<F>,
    Backend: ComputationBackend,