binius_core::protocols::sumcheck

Function constraint_set_sumcheck_claims

source 
pub fn constraint_set_sumcheck_claims<P>(
    constraint_sets: Vec<ConstraintSet<P>>,
) -> Result<SumcheckClaimsWithMeta<P::Scalar, impl CompositionPolyOS<P::Scalar>>, Error>
where
    P: PackedField<Scalar: TowerField>,
Expand description

Constructs sumcheck claims and metas from the vector of ConstraintSet