pub fn constraint_set_sumcheck_claim<F: TowerField>(
constraint_set: ConstraintSet<F>,
) -> Result<(SumcheckClaim<F, ArithCircuitPoly<F>>, OracleClaimMeta), Error>Expand description
Create a sumcheck claim out of constraint set. Fails when the constraint set contains zerochecks. Returns claim and metadata used for evalcheck claim construction.