binius_core::protocols::evalcheck::subclaims

Function prove_bivariate_sumchecks_with_switchover

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