feat: assert maximum bit size when creating a U128 from an integer

noir-lang · Jan 12, 2024 · 81b597c · 81b597c
1 parent bc9a44f
commit 81b597c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/noir_stdlib/src/uint128.nr b/noir_stdlib/src/uint128.nr
@@ -116,6 +116,8 @@ impl U128 {
 
     pub fn from_integer<T>(i: T) -> U128 {
         let f = crate::as_field(i);
+        // Reject values which would overflow a u128
+        f.assert_max_bit_size(128);
         let lo = f as u64 as Field;
         let hi = (f-lo) / pow64;
         U128 {
@@ -289,4 +291,4 @@ impl Shr for U128 {
         }
         self / U128::from_integer(y)
     } 
-}
+}