pub fn constraint_set_sumcheck_claims<F: TowerField>(
constraint_sets: Vec<ConstraintSet<F>>,
) -> Result<SumcheckClaimsWithMeta<F, ArithCircuitPoly<F>>, Error>
Expand description
Constructs sumcheck claims and metas from the vector of ConstraintSet