ark-curves-cherry-picked · arnaucube's git mirror

Update edwards curves constants

Pratyush Mishra pratyushmishra@berkeley.edu

Tue, 08 Dec 2020 21:42:36 -0800

commit

9a97d75149c41dc43df2c95b19367995cf1cdbb8

parent

7f6ff28e6c3de5cf082ed9a7d2e1b3c8c23a3af3

2 files changed, 25 insertions(+), 4 deletions(-)

jump to

ed_on_bls12_377/src/fields/fr.rs

ed_on_cp6_782/src/fields/fr.rs

M ed_on_bls12_377/src/fields/fr.rs → ed_on_bls12_377/src/fields/fr.rs

@@ -72,7 +72,12 @@ 14706092969812227584u64,
         168160046336021674u64,
     ]);
 
-    const T: BigInteger = BigInteger([0x0, 0x0, 0x0, 0x0]);
+    const T: BigInteger = Self::MODULUS_MINUS_ONE_DIV_TWO;
 
-    const T_MINUS_ONE_DIV_TWO: BigInteger = BigInteger([0x0, 0x0, 0x0, 0x0]);
+    const T_MINUS_ONE_DIV_TWO: BigInteger = BigInteger([
+        0xae56bba6b0cff67f,
+        0x14a4e8ebf10f22bf,
+        0x660b44d1e5c37b00,
+        0x12ab655e9a2ca55,
+    ]);
 }

M ed_on_cp6_782/src/fields/fr.rs → ed_on_cp6_782/src/fields/fr.rs

@@ -84,7 +84,23 @@ 12421966106515346579u64,
         7568644544155918u64,
     ]);
 
-    const T: BigInteger = BigInteger([0x0, 0x0, 0x0, 0x0, 0x0, 0x0]);
+    /// 8083263312905284187832897927965422923012297273591083141858954470483627824280993199911680825703270958985656030373
+    const T: BigInteger = BigInteger([
+        5782852926996632741,
+        10160572951715783904,
+        8680081325396045328,
+        15623293663189641372,
+        6210983053257673289,
+        3784322272077959,
+    ]);
 
-    const T_MINUS_ONE_DIV_TWO: BigInteger = BigInteger([0x0, 0x0, 0x0, 0x0, 0x0, 0x0]);
+    /// 4041631656452642093916448963982711461506148636795541570929477235241813912140496599955840412851635479492828015186
+    const T_MINUS_ONE_DIV_TWO: BigInteger = BigInteger([
+        2891426463498316370,
+        5080286475857891952,
+        4340040662698022664,
+        17035018868449596494,
+        12328863563483612452,
+        1892161136038979,
+    ]);
 }