pub fn constraint_set_zerocheck_claim<F: TowerField>(
constraint_set: ConstraintSet<F>,
) -> Result<(ZerocheckClaim<F, ArithCircuitPoly<F>>, OracleClaimMeta), Error>Expand description
Create a zerocheck claim from the constraint set. Fails when the constraint set contains regular sumchecks. Returns claim and metadata used for evalcheck claim construction.