Function binius_core::protocols::sumcheck_v2::constraint_set_sumcheck_claim
source · pub fn constraint_set_sumcheck_claim<F: TowerField, P: PackedField>(
constraint_set: ConstraintSet<P>,
oracles: &MultilinearOracleSet<F>
) -> Result<(SumcheckClaim<P::Scalar, impl CompositionPoly<P::Scalar>>, 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.