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