DMOD FR

penumbra-zone · Feb 7, 2024 · b809e9e · b809e9e
1 parent be87149
commit b809e9e
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/min_curve/element.rs b/src/min_curve/element.rs
@@ -355,17 +355,17 @@ mod test {
 
     #[test]
     fn test_g_times_one() {
-        assert_eq!(Element::GENERATOR * Fr::one(), Element::GENERATOR);
+        assert_eq!(Element::GENERATOR * Fr::ONE, Element::GENERATOR);
     }
 
     #[test]
     fn test_g_times_zero() {
-        assert_eq!(Element::GENERATOR * Fr::zero(), Element::IDENTITY);
+        assert_eq!(Element::GENERATOR * Fr::ZERO, Element::IDENTITY);
     }
 
     #[test]
     fn test_g_times_minus_one() {
-        assert_eq!(Element::GENERATOR * (-Fr::one()), -Element::GENERATOR);
+        assert_eq!(Element::GENERATOR * (-Fr::ONE), -Element::GENERATOR);
     }
 
     #[test]
@@ -408,7 +408,7 @@ mod proptests {
     prop_compose! {
         fn arb_fr()(a in arb_fr_limbs()) -> Fr {
             // Will be fine because of the bounds in the arb_fr_limbs
-            Fr::from_bigint(BigInt(a)).unwrap_or(Fr::zero())
+            Fr::from_bigint(BigInt(a)).unwrap_or(Fr::ZERO)
         }
     }