Skip to main content

Module degree_counter

zinc_uair

Module degree_counter 

Source

Functionsยง

count_constraint_degrees
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 constraint.
count_max_degree
Compute the maximum number of multiplicands in products of witness elements in the UAIR U.