Function constraint_set_mlecheck_claims

Source
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