starting to rearrange

penumbra-zone · Jan 30, 2024 · db5c6ea · db5c6ea
1 parent f825dcd
commit db5c6ea
Show file tree

Hide file tree

Showing 8 changed files with 928 additions and 0 deletions.
diff --git a/src/ark_curve.rs b/src/ark_curve.rs
diff --git a/src/ark_curve/mod.rs b/src/ark_curve/mod.rs
diff --git a/src/min_curve/constants.rs b/src/min_curve/constants.rs
@@ -0,0 +1,39 @@
+use crate::Fq;
+
+pub const ZETA: Fq = Fq::from_montgomery_limbs_64([
+    5947794125541564500,
+    11292571455564096885,
+    11814268415718120036,
+    155746270000486182,
+]);
+
+pub const ZETA_TO_TRACE: Fq = Fq::from_montgomery_limbs_64([
+    6282505393754313363,
+    14378628227555923904,
+    9804873068900332207,
+    302335131180501866,
+]);
+
+/// COEFF_A = -1
+pub const COEFF_A: Fq = Fq::from_montgomery_limbs_64([
+    10157024534604021774,
+    16668528035959406606,
+    5322190058819395602,
+    387181115924875961,
+]);
+
+/// COEFF_D = 3021
+pub const COEFF_D: Fq = Fq::from_montgomery_limbs_64([
+    15008245758212136496,
+    17341409599856531410,
+    648869460136961410,
+    719771289660577536,
+]);
+
+/// -2 COEFF_D / COEFF_A = 6042
+pub const COEFF_K: Fq = Fq::from_montgomery_limbs_64([
+    10844245690243005535,
+    9774967673803681700,
+    12776203677742963460,
+    94262208632981673,
+]);