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