Add DivisorCurve impl to Helios and Selene

kayabaNerve · May 4, 2024 · ae34f0a · ae34f0a
1 parent ad6a8b6
commit ae34f0a
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 0 deletions.
diff --git a/crypto/helioselene/Cargo.toml b/crypto/helioselene/Cargo.toml
@@ -27,6 +27,8 @@ crypto-bigint = { version = "0.5", default-features = false, features = ["zeroiz
 
 dalek-ff-group = { path = "../dalek-ff-group", version = "0.4.1", default-features = false, features = ["std"] }
 
+ec-divisors = { path = "../divisors" }
+
 [dev-dependencies]
 hex = "0.4"
 

diff --git a/crypto/helioselene/src/point.rs b/crypto/helioselene/src/point.rs
@@ -340,6 +340,22 @@ macro_rules! curve {
     }
 
     impl PrimeGroup for $Point {}
+
+    impl ec_divisors::DivisorCurve for $Point {
+      type FieldElement = $Field;
+
+      fn a() -> Self::FieldElement {
+        -$Field::from(3u64)
+      }
+      fn b() -> Self::FieldElement {
+        B
+      }
+
+      fn to_xy(point: Self) -> (Self::FieldElement, Self::FieldElement) {
+        let z = point.z.invert().unwrap();
+        (point.x * z, point.y * z)
+      }
+    }
   };
 }