Arrabbiata: use usize instead of u64 as it is will be used in types

o1-labs · Jan 30, 2025 · 9e964b3 · 9e964b3
1 parent 86ba31f
commit 9e964b3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/arrabbiata/src/constraints.rs b/arrabbiata/src/constraints.rs
@@ -118,7 +118,7 @@ where
     fn add_constraint(&mut self, constraint: Self::Variable) {
         let degree = constraint.degree(1, 0);
         debug!("Adding constraint of degree {degree}: {:}", constraint);
-        assert!(degree <= MAX_DEGREE, "degree is too high: {}. The folding scheme used currently allows constraint up to degree {}", degree, MAX_DEGREE);
+        assert!(degree <= MAX_DEGREE.try_into().unwrap(), "degree is too high: {}. The folding scheme used currently allows constraint up to degree {}", degree, MAX_DEGREE);
         self.constraints.push(constraint);
     }
 

diff --git a/arrabbiata/src/lib.rs b/arrabbiata/src/lib.rs
@@ -17,7 +17,7 @@ pub mod witness;
 
 /// The maximum degree of the polynomial that can be represented by the
 /// polynomial-time function the library supports.
-pub const MAX_DEGREE: u64 = 5;
+pub const MAX_DEGREE: usize = 5;
 
 /// The minimum SRS size required to use Nova, in base 2.
 /// Requiring at least 2^16 to perform 16bits range checks.