Implement Eq for ProjectiveMontgomeryXpoint

Author: daxpedda

ed448-goldilocks/src/montgomery/x.rs

@@ -58,7 +58,7 @@ impl PartialEq for MontgomeryXpoint {
 impl Eq for MontgomeryXpoint {}
 
 /// A Projective point in Montgomery form
-#[derive(Copy, Clone, Debug)]
+#[derive(Copy, Clone, Debug, Eq)]
 pub struct ProjectiveMontgomeryXpoint {
     U: FieldElement,
     W: FieldElement,
@@ -136,6 +136,12 @@ impl MontgomeryXpoint {
     }
 }
 
+impl ConstantTimeEq for ProjectiveMontgomeryXpoint {
+    fn ct_eq(&self, other: &Self) -> Choice {
+        self.U.ct_eq(&other.U) & self.W.ct_eq(&other.W)
+    }
+}
+
 impl ConditionallySelectable for ProjectiveMontgomeryXpoint {
     fn conditional_select(
         a: &ProjectiveMontgomeryXpoint,
@@ -149,6 +155,12 @@ impl ConditionallySelectable for ProjectiveMontgomeryXpoint {
     }
 }
 
+impl PartialEq for ProjectiveMontgomeryXpoint {
+    fn eq(&self, other: &Self) -> bool {
+        self.ct_eq(other).into()
+    }
+}
+
 fn differential_add_and_double(
     P: &mut ProjectiveMontgomeryXpoint,
     Q: &mut ProjectiveMontgomeryXpoint,