Function constraint_sets_sumcheck_provers_metas

Source
pub fn constraint_sets_sumcheck_provers_metas<'a, P, FDomain, Backend>(
    evaluation_order: EvaluationOrder,
    constraint_sets: Vec<SizedConstraintSet<P::Scalar>>,
    witness: &MultilinearExtensionIndex<'a, P>,
    evaluation_domain_factory: impl EvaluationDomainFactory<FDomain>,
    switchover_fn: impl Fn(usize) -> usize,
    backend: &'a Backend,
) -> Result<SumcheckProversWithMetas<'a, P, FDomain, Backend>, Error>
where P: PackedExtension<FDomain>, P::Scalar: TowerField + ExtensionField<FDomain>, FDomain: Field, Backend: ComputationBackend,
Expand description

Constructs sumcheck provers and metas from the vector of SizedConstraintSet