binius_core::protocols::sumcheck::prove::oracles

Function constraint_set_mlecheck_prover

Source 
pub fn constraint_set_mlecheck_prover<'a, 'b, F, P, FDomain, Backend>(
    evaluation_order: EvaluationOrder,
    constraint_set: SizedConstraintSet<F>,
    eq_ind_challenges: &[F],
    memoized_data: &mut MemoizedData<'b, P>,
    witness: &MultilinearExtensionIndex<'a, P>,
    evaluation_domain_factory: impl EvaluationDomainFactory<FDomain>,
    switchover_fn: impl Fn(usize) -> usize + Clone,
    backend: &'a Backend,
) -> Result<OracleMLECheckProver<'a, FDomain, P, Backend>, Error>
where
    P: PackedField<Scalar = F> + PackedExtension<FDomain>,
    F: TowerField + ExtensionField<FDomain>,
    FDomain: Field,
    Backend: ComputationBackend,
Expand description

Construct mlecheck prover from the constraint set. Fails when constraint set contains zerochecks.