binius_core::protocols::evalcheck::subclaims

Function prove_mlecheck_with_switchover

Source 
pub fn prove_mlecheck_with_switchover<'a, F, P, DomainField, Transcript, Backend>(
    witness: &MultilinearExtensionIndex<'_, P>,
    constraint_set: SizedConstraintSet<F>,
    eq_ind_challenges: EvalPoint<F>,
    memoized_data: &mut MemoizedData<'a, P>,
    transcript: &mut ProverTranscript<Transcript>,
    switchover_fn: impl Fn(usize) -> usize + 'static,
    domain_factory: impl EvaluationDomainFactory<DomainField>,
    backend: &Backend,
) -> Result<Vec<EvalcheckMultilinearClaim<F>>, Error>
where
    P: PackedField<Scalar = F> + PackedExtension<F, PackedSubfield = P> + PackedExtension<DomainField>,
    F: TowerField + ExtensionField<DomainField>,
    DomainField: Field,
    Transcript: Challenger,
    Backend: ComputationBackend,