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