dev: implement Zero for u384

starkware-libs · Sep 2, 2024 · 9da9880 · 9da9880
1 parent e2ff77c
commit 9da9880
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/corelib/src/circuit.cairo b/corelib/src/circuit.cairo
@@ -490,3 +490,17 @@ impl Felt252IntoU384 of Into<felt252, u384> {
         conversions::from_u256(self.into())
     }
 }
+
+impl U384Zero of crate::num::traits::Zero<u384> {
+    fn zero() -> u384 {
+        crate::circuit::u384 { limb0: 0, limb1: 0, limb2: 0, limb3: 0 }
+    }
+
+    fn is_zero(self: @u384) -> bool {
+        *self == Self::zero()
+    }
+
+    fn is_non_zero(self: @u384) -> bool {
+        !self.is_zero()
+    }
+}