binius_core::protocols::sumcheck

Function constraint_set_sumcheck_claims

source
pub fn constraint_set_sumcheck_claims<F: TowerField>(
    constraint_sets: Vec<ConstraintSet<F>>,
) -> Result<SumcheckClaimsWithMeta<F, ArithCircuitPoly<F>>, Error>
Expand description

Constructs sumcheck claims and metas from the vector of ConstraintSet