zksecurity · katat · Oct 28, 2024 · Sep 27, 2024 · Oct 5, 2024 · Oct 9, 2024
diff --git a/src/stdlib/native/int.no b/src/stdlib/native/int.no
@@ -0,0 +1,17 @@
+use std::bits;
+
+struct Uint8 {
+    // todo: maybe add a const attribute to Field to forbid reassignment
+    inner: Field,
+    bit_len: Field,
+}
+
+fn Uint8.new(val: Field) -> Uint8 {
+    // range check
+    let ignore_ = bits::to_bits(8, val);
+
+    return Uint8 {
+        inner: val,
+        bit_len: 8
+    };
+}