binius_core::protocols::sumcheck_v2::prove::oracles

Function constraint_sets_sumcheck_provers_metas

source 
pub fn constraint_sets_sumcheck_provers_metas<'a, U, FW, FDomain, Backend>(
    constraint_sets: Vec<ConstraintSet<PackedType<U, FW>>>,
    witness: &MultilinearExtensionIndex<'a, U, FW>,
    evaluation_domain_factory: impl EvaluationDomainFactory<FDomain>,
    switchover_fn: impl Fn(usize) -> usize,
    backend: &'a Backend,
) -> Result<SumcheckProversWithMetas<'a, U, FW, FDomain, Backend>, Error>
where
    U: UnderlierType + PackScalar<FW> + PackScalar<FDomain>,
    FW: TowerField + ExtensionField<FDomain>,
    FDomain: Field,
    Backend: ComputationBackend,
Expand description

Constructs sumcheck provers and metas from the vector of ConstraintSet