Skip to main content

count_constraint_degrees_flattened

Function count_constraint_degrees_flattened 

Source
pub fn count_constraint_degrees_flattened<U: Uair>() -> Vec<usize>
Expand description

Compute the degree of each individual constraint in the UAIR U.

Returns a Vec<usize> where the i-th element is the degree of the i-th emitted constraint, in emission order. Under the crate::ConstraintBuilder::assert_in_fq_ideal ordering convention, all $Q[X]$ degrees appear first, followed by all $F_{q_i}[X]$ degrees.