Make Field::is_zero a provided method

starslabhq · Sep 1, 2021 · 0c657f3 · 0c657f3
1 parent 5564831
commit 0c657f3
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/lib.rs b/src/lib.rs
@@ -69,7 +69,9 @@ pub trait Field:
     fn one() -> Self;
 
     /// Returns true iff this element is zero.
-    fn is_zero(&self) -> Choice;
+    fn is_zero(&self) -> Choice {
+        self.ct_eq(&Self::zero())
+    }
 
     /// Returns true iff this element is zero.
     ///