binius_core::protocols::sumcheck

Function constraint_set_sumcheck_claim

source 
pub fn constraint_set_sumcheck_claim<P: PackedField>(
    constraint_set: ConstraintSet<P>,
) -> Result<(SumcheckClaim<P::Scalar, impl CompositionPolyOS<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.