diff options
| author |  Jason Gross <jgross@mit.edu> | 2018-01-10 17:41:18 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2018-01-10 17:42:36 -0500 |
| commit | a4789ec72a32b6d3b1d40154626e8c6674d4aa7d (patch) | |
| tree | 4199b7bf38650fab4a3892a0fba5a5e3b0212abe /src/Specific/CurveParameters | |
| parent | 85d6e98bac0c9483fdaf80da2c55309c597cbfeb (diff) | |
Generate fecarry for solinas
This is a one-line change in generate_parameters.py (plus some
whitespace trimming), and running `make regenerate-curves`
This handles part of #294
Diffstat (limited to 'src/Specific/CurveParameters')
293 files changed, 293 insertions, 0 deletions
diff --git a/src/Specific/CurveParameters/solinas32_2e127m1_5limbs.json b/src/Specific/CurveParameters/solinas32_2e127m1_5limbs.json index 14f29955c..cf48a87bd 100644 --- a/src/Specific/CurveParameters/solinas32_2e127m1_5limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e127m1_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas32_2e127m1_6limbs.json b/src/Specific/CurveParameters/solinas32_2e127m1_6limbs.json index e13e5988d..5b5ef58ac 100644 --- a/src/Specific/CurveParameters/solinas32_2e127m1_6limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e127m1_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas32_2e129m25_5limbs.json b/src/Specific/CurveParameters/solinas32_2e129m25_5limbs.json index 1cb1dd069..86c6be913 100644 --- a/src/Specific/CurveParameters/solinas32_2e129m25_5limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e129m25_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas32_2e129m25_6limbs.json b/src/Specific/CurveParameters/solinas32_2e129m25_6limbs.json index 4f817cc39..708f65cbe 100644 --- a/src/Specific/CurveParameters/solinas32_2e129m25_6limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e129m25_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas32_2e130m5_5limbs.json b/src/Specific/CurveParameters/solinas32_2e130m5_5limbs.json index 2b59eadea..e9ddd79a7 100644 --- a/src/Specific/CurveParameters/solinas32_2e130m5_5limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e130m5_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas32_2e130m5_6limbs.json b/src/Specific/CurveParameters/solinas32_2e130m5_6limbs.json index fc9f2485e..0d4d1b52b 100644 --- a/src/Specific/CurveParameters/solinas32_2e130m5_6limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e130m5_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas32_2e137m13_5limbs.json b/src/Specific/CurveParameters/solinas32_2e137m13_5limbs.json index e773216ea..3785b3303 100644 --- a/src/Specific/CurveParameters/solinas32_2e137m13_5limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e137m13_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas32_2e137m13_6limbs.json b/src/Specific/CurveParameters/solinas32_2e137m13_6limbs.json index 800be6c7f..16201caaf 100644 --- a/src/Specific/CurveParameters/solinas32_2e137m13_6limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e137m13_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas32_2e140m27_6limbs.json b/src/Specific/CurveParameters/solinas32_2e140m27_6limbs.json index e334c5f9e..2ce15deee 100644 --- a/src/Specific/CurveParameters/solinas32_2e140m27_6limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e140m27_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas32_2e140m27_7limbs.json b/src/Specific/CurveParameters/solinas32_2e140m27_7limbs.json index a4fcb9ca2..74bb40fdf 100644 --- a/src/Specific/CurveParameters/solinas32_2e140m27_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e140m27_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e141m9_6limbs.json b/src/Specific/CurveParameters/solinas32_2e141m9_6limbs.json index b6a87c90e..f889ce694 100644 --- a/src/Specific/CurveParameters/solinas32_2e141m9_6limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e141m9_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas32_2e141m9_7limbs.json b/src/Specific/CurveParameters/solinas32_2e141m9_7limbs.json index e0f80a849..33f089f31 100644 --- a/src/Specific/CurveParameters/solinas32_2e141m9_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e141m9_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e150m3_6limbs.json b/src/Specific/CurveParameters/solinas32_2e150m3_6limbs.json index 49698efb0..bdf2f5473 100644 --- a/src/Specific/CurveParameters/solinas32_2e150m3_6limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e150m3_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas32_2e150m3_7limbs.json b/src/Specific/CurveParameters/solinas32_2e150m3_7limbs.json index a979e51ed..5b7253131 100644 --- a/src/Specific/CurveParameters/solinas32_2e150m3_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e150m3_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e150m5_6limbs.json b/src/Specific/CurveParameters/solinas32_2e150m5_6limbs.json index d7ba35351..5ba508c84 100644 --- a/src/Specific/CurveParameters/solinas32_2e150m5_6limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e150m5_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas32_2e150m5_7limbs.json b/src/Specific/CurveParameters/solinas32_2e150m5_7limbs.json index e5dec6d22..5daa30beb 100644 --- a/src/Specific/CurveParameters/solinas32_2e150m5_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e150m5_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e152m17_6limbs.json b/src/Specific/CurveParameters/solinas32_2e152m17_6limbs.json index fbb9d0926..84c7e0697 100644 --- a/src/Specific/CurveParameters/solinas32_2e152m17_6limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e152m17_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas32_2e152m17_7limbs.json b/src/Specific/CurveParameters/solinas32_2e152m17_7limbs.json index a73fe3988..8d83b9cea 100644 --- a/src/Specific/CurveParameters/solinas32_2e152m17_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e152m17_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e158m15_6limbs.json b/src/Specific/CurveParameters/solinas32_2e158m15_6limbs.json index 564d432e5..39cb344f2 100644 --- a/src/Specific/CurveParameters/solinas32_2e158m15_6limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e158m15_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas32_2e158m15_7limbs.json b/src/Specific/CurveParameters/solinas32_2e158m15_7limbs.json index f560c4161..aebd232b6 100644 --- a/src/Specific/CurveParameters/solinas32_2e158m15_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e158m15_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e165m25_7limbs.json b/src/Specific/CurveParameters/solinas32_2e165m25_7limbs.json index e294c8b71..43680c2f5 100644 --- a/src/Specific/CurveParameters/solinas32_2e165m25_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e165m25_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e165m25_8limbs.json b/src/Specific/CurveParameters/solinas32_2e165m25_8limbs.json index 3f9ef1cbd..c9ef0d684 100644 --- a/src/Specific/CurveParameters/solinas32_2e165m25_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e165m25_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e166m5_6limbs.json b/src/Specific/CurveParameters/solinas32_2e166m5_6limbs.json index ce84c0343..6d5f06557 100644 --- a/src/Specific/CurveParameters/solinas32_2e166m5_6limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e166m5_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas32_2e166m5_7limbs.json b/src/Specific/CurveParameters/solinas32_2e166m5_7limbs.json index 20199690c..2bf480013 100644 --- a/src/Specific/CurveParameters/solinas32_2e166m5_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e166m5_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e171m19_7limbs.json b/src/Specific/CurveParameters/solinas32_2e171m19_7limbs.json index 92eb237dd..477f711e6 100644 --- a/src/Specific/CurveParameters/solinas32_2e171m19_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e171m19_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e171m19_8limbs.json b/src/Specific/CurveParameters/solinas32_2e171m19_8limbs.json index e2f5ef5f3..3b3442d7e 100644 --- a/src/Specific/CurveParameters/solinas32_2e171m19_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e171m19_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e174m17_7limbs.json b/src/Specific/CurveParameters/solinas32_2e174m17_7limbs.json index 0feae0a7c..5c24d5447 100644 --- a/src/Specific/CurveParameters/solinas32_2e174m17_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e174m17_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e174m17_8limbs.json b/src/Specific/CurveParameters/solinas32_2e174m17_8limbs.json index 9cbf3046d..c7d91224f 100644 --- a/src/Specific/CurveParameters/solinas32_2e174m17_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e174m17_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e174m3_7limbs.json b/src/Specific/CurveParameters/solinas32_2e174m3_7limbs.json index 3dff58058..8f5821680 100644 --- a/src/Specific/CurveParameters/solinas32_2e174m3_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e174m3_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e174m3_8limbs.json b/src/Specific/CurveParameters/solinas32_2e174m3_8limbs.json index 327a2484e..a03e3baad 100644 --- a/src/Specific/CurveParameters/solinas32_2e174m3_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e174m3_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e189m25_7limbs.json b/src/Specific/CurveParameters/solinas32_2e189m25_7limbs.json index 582585811..affa9e54d 100644 --- a/src/Specific/CurveParameters/solinas32_2e189m25_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e189m25_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e189m25_8limbs.json b/src/Specific/CurveParameters/solinas32_2e189m25_8limbs.json index 00325f304..a8b7c9b17 100644 --- a/src/Specific/CurveParameters/solinas32_2e189m25_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e189m25_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e190m11_7limbs.json b/src/Specific/CurveParameters/solinas32_2e190m11_7limbs.json index 6dea5db23..db6116a60 100644 --- a/src/Specific/CurveParameters/solinas32_2e190m11_7limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e190m11_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas32_2e190m11_8limbs.json b/src/Specific/CurveParameters/solinas32_2e190m11_8limbs.json index 045d85add..805aed9d6 100644 --- a/src/Specific/CurveParameters/solinas32_2e190m11_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e190m11_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e191m19_8limbs.json b/src/Specific/CurveParameters/solinas32_2e191m19_8limbs.json index 6e5c1af9c..ff9a92341 100644 --- a/src/Specific/CurveParameters/solinas32_2e191m19_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e191m19_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e191m19_9limbs.json b/src/Specific/CurveParameters/solinas32_2e191m19_9limbs.json index 995166faf..d79366584 100644 --- a/src/Specific/CurveParameters/solinas32_2e191m19_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e191m19_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e192m2e64m1_10limbs.json b/src/Specific/CurveParameters/solinas32_2e192m2e64m1_10limbs.json index d755eb9d8..1f46dd51c 100644 --- a/src/Specific/CurveParameters/solinas32_2e192m2e64m1_10limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e192m2e64m1_10limbs.json @@ -32,6 +32,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas32_2e192m2e64m1_9limbs.json b/src/Specific/CurveParameters/solinas32_2e192m2e64m1_9limbs.json index 20cf192e3..0de6a11e5 100644 --- a/src/Specific/CurveParameters/solinas32_2e192m2e64m1_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e192m2e64m1_9limbs.json @@ -31,6 +31,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e194m33_8limbs.json b/src/Specific/CurveParameters/solinas32_2e194m33_8limbs.json index 12a2fb02a..32e727225 100644 --- a/src/Specific/CurveParameters/solinas32_2e194m33_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e194m33_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e194m33_9limbs.json b/src/Specific/CurveParameters/solinas32_2e194m33_9limbs.json index 3e66a065e..f7f67389d 100644 --- a/src/Specific/CurveParameters/solinas32_2e194m33_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e194m33_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e196m15_8limbs.json b/src/Specific/CurveParameters/solinas32_2e196m15_8limbs.json index b85a2fc0d..2d63631ef 100644 --- a/src/Specific/CurveParameters/solinas32_2e196m15_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e196m15_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e196m15_9limbs.json b/src/Specific/CurveParameters/solinas32_2e196m15_9limbs.json index b5a8155b1..d7a661121 100644 --- a/src/Specific/CurveParameters/solinas32_2e196m15_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e196m15_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e198m17_8limbs.json b/src/Specific/CurveParameters/solinas32_2e198m17_8limbs.json index 1f4410c88..c6a175de3 100644 --- a/src/Specific/CurveParameters/solinas32_2e198m17_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e198m17_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e198m17_9limbs.json b/src/Specific/CurveParameters/solinas32_2e198m17_9limbs.json index 1477daac7..1bdabfd6a 100644 --- a/src/Specific/CurveParameters/solinas32_2e198m17_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e198m17_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e206m5_8limbs.json b/src/Specific/CurveParameters/solinas32_2e206m5_8limbs.json index 024757689..f8658d0ea 100644 --- a/src/Specific/CurveParameters/solinas32_2e206m5_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e206m5_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e206m5_9limbs.json b/src/Specific/CurveParameters/solinas32_2e206m5_9limbs.json index e865b2c5a..d48b79b15 100644 --- a/src/Specific/CurveParameters/solinas32_2e206m5_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e206m5_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e212m29_8limbs.json b/src/Specific/CurveParameters/solinas32_2e212m29_8limbs.json index 2595f7982..bd04e397e 100644 --- a/src/Specific/CurveParameters/solinas32_2e212m29_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e212m29_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e212m29_9limbs.json b/src/Specific/CurveParameters/solinas32_2e212m29_9limbs.json index 854f9f5b6..908888a41 100644 --- a/src/Specific/CurveParameters/solinas32_2e212m29_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e212m29_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e213m3_8limbs.json b/src/Specific/CurveParameters/solinas32_2e213m3_8limbs.json index dc212ae18..d32c7f949 100644 --- a/src/Specific/CurveParameters/solinas32_2e213m3_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e213m3_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e213m3_9limbs.json b/src/Specific/CurveParameters/solinas32_2e213m3_9limbs.json index 49ecc000e..c1631b80e 100644 --- a/src/Specific/CurveParameters/solinas32_2e213m3_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e213m3_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e216m2e108m1_10limbs.json b/src/Specific/CurveParameters/solinas32_2e216m2e108m1_10limbs.json index bc984e524..8cc465fc9 100644 --- a/src/Specific/CurveParameters/solinas32_2e216m2e108m1_10limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e216m2e108m1_10limbs.json @@ -33,6 +33,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas32_2e216m2e108m1_8limbs.json b/src/Specific/CurveParameters/solinas32_2e216m2e108m1_8limbs.json index 29163fbf7..6ef425278 100644 --- a/src/Specific/CurveParameters/solinas32_2e216m2e108m1_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e216m2e108m1_8limbs.json @@ -31,6 +31,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e221m3_8limbs.json b/src/Specific/CurveParameters/solinas32_2e221m3_8limbs.json index 1e2996386..4109103f1 100644 --- a/src/Specific/CurveParameters/solinas32_2e221m3_8limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e221m3_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas32_2e221m3_9limbs.json b/src/Specific/CurveParameters/solinas32_2e221m3_9limbs.json index 5dc8a4016..a419ccba3 100644 --- a/src/Specific/CurveParameters/solinas32_2e221m3_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e221m3_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e222m117_10limbs.json b/src/Specific/CurveParameters/solinas32_2e222m117_10limbs.json index 26901762e..a7314ddb5 100644 --- a/src/Specific/CurveParameters/solinas32_2e222m117_10limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e222m117_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas32_2e222m117_9limbs.json b/src/Specific/CurveParameters/solinas32_2e222m117_9limbs.json index 09ce2209c..484336fdf 100644 --- a/src/Specific/CurveParameters/solinas32_2e222m117_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e222m117_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e224m2e96p1_10limbs.json b/src/Specific/CurveParameters/solinas32_2e224m2e96p1_10limbs.json index 193b1cb8f..bb8e1a5f4 100644 --- a/src/Specific/CurveParameters/solinas32_2e224m2e96p1_10limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e224m2e96p1_10limbs.json @@ -32,6 +32,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas32_2e224m2e96p1_11limbs.json b/src/Specific/CurveParameters/solinas32_2e224m2e96p1_11limbs.json index 536a0b5ed..dd3d6bce3 100644 --- a/src/Specific/CurveParameters/solinas32_2e224m2e96p1_11limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e224m2e96p1_11limbs.json @@ -33,6 +33,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "11" diff --git a/src/Specific/CurveParameters/solinas32_2e226m5_10limbs.json b/src/Specific/CurveParameters/solinas32_2e226m5_10limbs.json index a74dc0db0..3dffdad57 100644 --- a/src/Specific/CurveParameters/solinas32_2e226m5_10limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e226m5_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas32_2e226m5_9limbs.json b/src/Specific/CurveParameters/solinas32_2e226m5_9limbs.json index 8380d71ce..4a51291df 100644 --- a/src/Specific/CurveParameters/solinas32_2e226m5_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e226m5_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e230m27_10limbs.json b/src/Specific/CurveParameters/solinas32_2e230m27_10limbs.json index 3b9e87d2a..579e91bc8 100644 --- a/src/Specific/CurveParameters/solinas32_2e230m27_10limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e230m27_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas32_2e230m27_9limbs.json b/src/Specific/CurveParameters/solinas32_2e230m27_9limbs.json index 22751ffe7..2442317a4 100644 --- a/src/Specific/CurveParameters/solinas32_2e230m27_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e230m27_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e235m15_10limbs.json b/src/Specific/CurveParameters/solinas32_2e235m15_10limbs.json index 351d1b199..255e827e8 100644 --- a/src/Specific/CurveParameters/solinas32_2e235m15_10limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e235m15_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas32_2e235m15_9limbs.json b/src/Specific/CurveParameters/solinas32_2e235m15_9limbs.json index c3df1a41d..f21def19d 100644 --- a/src/Specific/CurveParameters/solinas32_2e235m15_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e235m15_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e243m9_10limbs.json b/src/Specific/CurveParameters/solinas32_2e243m9_10limbs.json index 6aee5cf6d..d3e19acfa 100644 --- a/src/Specific/CurveParameters/solinas32_2e243m9_10limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e243m9_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas32_2e243m9_9limbs.json b/src/Specific/CurveParameters/solinas32_2e243m9_9limbs.json index 2a1bad7ae..dd5bf9f3d 100644 --- a/src/Specific/CurveParameters/solinas32_2e243m9_9limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e243m9_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas32_2e251m9_10limbs.json b/src/Specific/CurveParameters/solinas32_2e251m9_10limbs.json index 935c4ac38..3a0dd22ed 100644 --- a/src/Specific/CurveParameters/solinas32_2e251m9_10limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e251m9_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas32_2e251m9_11limbs.json b/src/Specific/CurveParameters/solinas32_2e251m9_11limbs.json index 40143cad7..db8a9dcf5 100644 --- a/src/Specific/CurveParameters/solinas32_2e251m9_11limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e251m9_11limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "11" diff --git a/src/Specific/CurveParameters/solinas32_2e255m19_10limbs.json b/src/Specific/CurveParameters/solinas32_2e255m19_10limbs.json index db664be0e..f1b597b39 100644 --- a/src/Specific/CurveParameters/solinas32_2e255m19_10limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e255m19_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas32_2e255m19_11limbs.json b/src/Specific/CurveParameters/solinas32_2e255m19_11limbs.json index 83c6ed2e8..98e03eb06 100644 --- a/src/Specific/CurveParameters/solinas32_2e255m19_11limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e255m19_11limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "11" diff --git a/src/Specific/CurveParameters/solinas32_2e255m765_12limbs.json b/src/Specific/CurveParameters/solinas32_2e255m765_12limbs.json index db8955fce..1e526286c 100644 --- a/src/Specific/CurveParameters/solinas32_2e255m765_12limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e255m765_12limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "12" diff --git a/src/Specific/CurveParameters/solinas32_2e255m765_13limbs.json b/src/Specific/CurveParameters/solinas32_2e255m765_13limbs.json index 565cd962b..4cc77fde2 100644 --- a/src/Specific/CurveParameters/solinas32_2e255m765_13limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e255m765_13limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "13" diff --git a/src/Specific/CurveParameters/solinas32_2e256m189_11limbs.json b/src/Specific/CurveParameters/solinas32_2e256m189_11limbs.json index 03e239a2b..8548d620f 100644 --- a/src/Specific/CurveParameters/solinas32_2e256m189_11limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e256m189_11limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "11" diff --git a/src/Specific/CurveParameters/solinas32_2e256m189_12limbs.json b/src/Specific/CurveParameters/solinas32_2e256m189_12limbs.json index fe78fad7a..73b928fd1 100644 --- a/src/Specific/CurveParameters/solinas32_2e256m189_12limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e256m189_12limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "12" diff --git a/src/Specific/CurveParameters/solinas32_2e256m2e224p2e192p2e96m1_11limbs.json b/src/Specific/CurveParameters/solinas32_2e256m2e224p2e192p2e96m1_11limbs.json index 3b3f2c625..69f63e2cc 100644 --- a/src/Specific/CurveParameters/solinas32_2e256m2e224p2e192p2e96m1_11limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e256m2e224p2e192p2e96m1_11limbs.json @@ -37,6 +37,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "11" diff --git a/src/Specific/CurveParameters/solinas32_2e256m2e224p2e192p2e96m1_12limbs.json b/src/Specific/CurveParameters/solinas32_2e256m2e224p2e192p2e96m1_12limbs.json index e46eeba3e..e56f300ca 100644 --- a/src/Specific/CurveParameters/solinas32_2e256m2e224p2e192p2e96m1_12limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e256m2e224p2e192p2e96m1_12limbs.json @@ -38,6 +38,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "12" diff --git a/src/Specific/CurveParameters/solinas32_2e256m2e32m977_12limbs.json b/src/Specific/CurveParameters/solinas32_2e256m2e32m977_12limbs.json index 87873c93f..1af46e579 100644 --- a/src/Specific/CurveParameters/solinas32_2e256m2e32m977_12limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e256m2e32m977_12limbs.json @@ -34,6 +34,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "12" diff --git a/src/Specific/CurveParameters/solinas32_2e256m2e32m977_13limbs.json b/src/Specific/CurveParameters/solinas32_2e256m2e32m977_13limbs.json index 555cb4a8a..31defa5e6 100644 --- a/src/Specific/CurveParameters/solinas32_2e256m2e32m977_13limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e256m2e32m977_13limbs.json @@ -35,6 +35,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "13" diff --git a/src/Specific/CurveParameters/solinas32_2e266m3_10limbs.json b/src/Specific/CurveParameters/solinas32_2e266m3_10limbs.json index bc42c7f43..0c917d38d 100644 --- a/src/Specific/CurveParameters/solinas32_2e266m3_10limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e266m3_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas32_2e266m3_11limbs.json b/src/Specific/CurveParameters/solinas32_2e266m3_11limbs.json index fa8779bc9..2f92b8ac4 100644 --- a/src/Specific/CurveParameters/solinas32_2e266m3_11limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e266m3_11limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "11" diff --git a/src/Specific/CurveParameters/solinas32_2e285m9_11limbs.json b/src/Specific/CurveParameters/solinas32_2e285m9_11limbs.json index 8c7efcbc8..1e3f856b8 100644 --- a/src/Specific/CurveParameters/solinas32_2e285m9_11limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e285m9_11limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "11" diff --git a/src/Specific/CurveParameters/solinas32_2e285m9_12limbs.json b/src/Specific/CurveParameters/solinas32_2e285m9_12limbs.json index 76980e16a..1aa4d3c91 100644 --- a/src/Specific/CurveParameters/solinas32_2e285m9_12limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e285m9_12limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "12" diff --git a/src/Specific/CurveParameters/solinas32_2e291m19_11limbs.json b/src/Specific/CurveParameters/solinas32_2e291m19_11limbs.json index a197adc79..bf2a4f467 100644 --- a/src/Specific/CurveParameters/solinas32_2e291m19_11limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e291m19_11limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "11" diff --git a/src/Specific/CurveParameters/solinas32_2e291m19_12limbs.json b/src/Specific/CurveParameters/solinas32_2e291m19_12limbs.json index b9d3c6296..4e811afa4 100644 --- a/src/Specific/CurveParameters/solinas32_2e291m19_12limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e291m19_12limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "12" diff --git a/src/Specific/CurveParameters/solinas32_2e321m9_12limbs.json b/src/Specific/CurveParameters/solinas32_2e321m9_12limbs.json index 9ee8403d8..5c48d4f19 100644 --- a/src/Specific/CurveParameters/solinas32_2e321m9_12limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e321m9_12limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "12" diff --git a/src/Specific/CurveParameters/solinas32_2e321m9_13limbs.json b/src/Specific/CurveParameters/solinas32_2e321m9_13limbs.json index b46eb9cb3..85166fd68 100644 --- a/src/Specific/CurveParameters/solinas32_2e321m9_13limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e321m9_13limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "13" diff --git a/src/Specific/CurveParameters/solinas32_2e322m2e161m1_12limbs.json b/src/Specific/CurveParameters/solinas32_2e322m2e161m1_12limbs.json index af5f5e053..5d8760b28 100644 --- a/src/Specific/CurveParameters/solinas32_2e322m2e161m1_12limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e322m2e161m1_12limbs.json @@ -35,6 +35,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "12" diff --git a/src/Specific/CurveParameters/solinas32_2e322m2e161m1_14limbs.json b/src/Specific/CurveParameters/solinas32_2e322m2e161m1_14limbs.json index 05808e8da..84b87bc81 100644 --- a/src/Specific/CurveParameters/solinas32_2e322m2e161m1_14limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e322m2e161m1_14limbs.json @@ -37,6 +37,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "14" diff --git a/src/Specific/CurveParameters/solinas32_2e336m17_13limbs.json b/src/Specific/CurveParameters/solinas32_2e336m17_13limbs.json index f0da53eed..3b8b1c503 100644 --- a/src/Specific/CurveParameters/solinas32_2e336m17_13limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e336m17_13limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "13" diff --git a/src/Specific/CurveParameters/solinas32_2e336m17_14limbs.json b/src/Specific/CurveParameters/solinas32_2e336m17_14limbs.json index 28475f3bc..fd1d490a1 100644 --- a/src/Specific/CurveParameters/solinas32_2e336m17_14limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e336m17_14limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "14" diff --git a/src/Specific/CurveParameters/solinas32_2e336m3_12limbs.json b/src/Specific/CurveParameters/solinas32_2e336m3_12limbs.json index 1a3f3cb04..167e79a3d 100644 --- a/src/Specific/CurveParameters/solinas32_2e336m3_12limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e336m3_12limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "12" diff --git a/src/Specific/CurveParameters/solinas32_2e336m3_13limbs.json b/src/Specific/CurveParameters/solinas32_2e336m3_13limbs.json index 5eca2a8f7..423fe608e 100644 --- a/src/Specific/CurveParameters/solinas32_2e336m3_13limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e336m3_13limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "13" diff --git a/src/Specific/CurveParameters/solinas32_2e338m15_13limbs.json b/src/Specific/CurveParameters/solinas32_2e338m15_13limbs.json index 170c92f35..599cf1517 100644 --- a/src/Specific/CurveParameters/solinas32_2e338m15_13limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e338m15_13limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "13" diff --git a/src/Specific/CurveParameters/solinas32_2e338m15_14limbs.json b/src/Specific/CurveParameters/solinas32_2e338m15_14limbs.json index 22112c079..8bd3c11d9 100644 --- a/src/Specific/CurveParameters/solinas32_2e338m15_14limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e338m15_14limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "14" diff --git a/src/Specific/CurveParameters/solinas32_2e369m25_15limbs.json b/src/Specific/CurveParameters/solinas32_2e369m25_15limbs.json index 98ffe66f1..7bf38e5e4 100644 --- a/src/Specific/CurveParameters/solinas32_2e369m25_15limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e369m25_15limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "15" diff --git a/src/Specific/CurveParameters/solinas32_2e369m25_16limbs.json b/src/Specific/CurveParameters/solinas32_2e369m25_16limbs.json index ddeee561c..cb150ee15 100644 --- a/src/Specific/CurveParameters/solinas32_2e369m25_16limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e369m25_16limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "16" diff --git a/src/Specific/CurveParameters/solinas32_2e379m19_15limbs.json b/src/Specific/CurveParameters/solinas32_2e379m19_15limbs.json index 34b4b107f..613d4abed 100644 --- a/src/Specific/CurveParameters/solinas32_2e379m19_15limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e379m19_15limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "15" diff --git a/src/Specific/CurveParameters/solinas32_2e379m19_16limbs.json b/src/Specific/CurveParameters/solinas32_2e379m19_16limbs.json index d6ad0e2b4..71ce6e94d 100644 --- a/src/Specific/CurveParameters/solinas32_2e379m19_16limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e379m19_16limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "16" diff --git a/src/Specific/CurveParameters/solinas32_2e382m105_16limbs.json b/src/Specific/CurveParameters/solinas32_2e382m105_16limbs.json index dc4e1657b..124e157d6 100644 --- a/src/Specific/CurveParameters/solinas32_2e382m105_16limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e382m105_16limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "16" diff --git a/src/Specific/CurveParameters/solinas32_2e382m105_17limbs.json b/src/Specific/CurveParameters/solinas32_2e382m105_17limbs.json index 2b6df00e9..a8d9c958c 100644 --- a/src/Specific/CurveParameters/solinas32_2e382m105_17limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e382m105_17limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "17" diff --git a/src/Specific/CurveParameters/solinas32_2e383m187_16limbs.json b/src/Specific/CurveParameters/solinas32_2e383m187_16limbs.json index ce174751d..8ad1bb3c1 100644 --- a/src/Specific/CurveParameters/solinas32_2e383m187_16limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e383m187_16limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "16" diff --git a/src/Specific/CurveParameters/solinas32_2e383m187_17limbs.json b/src/Specific/CurveParameters/solinas32_2e383m187_17limbs.json index bbc0c53f0..b6c050b38 100644 --- a/src/Specific/CurveParameters/solinas32_2e383m187_17limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e383m187_17limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "17" diff --git a/src/Specific/CurveParameters/solinas32_2e383m31_15limbs.json b/src/Specific/CurveParameters/solinas32_2e383m31_15limbs.json index bd58a5cfd..6d24f8791 100644 --- a/src/Specific/CurveParameters/solinas32_2e383m31_15limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e383m31_15limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "15" diff --git a/src/Specific/CurveParameters/solinas32_2e383m31_16limbs.json b/src/Specific/CurveParameters/solinas32_2e383m31_16limbs.json index facacaa28..c2446698b 100644 --- a/src/Specific/CurveParameters/solinas32_2e383m31_16limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e383m31_16limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "16" diff --git a/src/Specific/CurveParameters/solinas32_2e383m421_17limbs.json b/src/Specific/CurveParameters/solinas32_2e383m421_17limbs.json index 448717b9a..33757dc1a 100644 --- a/src/Specific/CurveParameters/solinas32_2e383m421_17limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e383m421_17limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "17" diff --git a/src/Specific/CurveParameters/solinas32_2e383m421_18limbs.json b/src/Specific/CurveParameters/solinas32_2e383m421_18limbs.json index 06142d4be..dda33401c 100644 --- a/src/Specific/CurveParameters/solinas32_2e383m421_18limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e383m421_18limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "18" diff --git a/src/Specific/CurveParameters/solinas32_2e384m2e128m2e96p2e32m1_18limbs.json b/src/Specific/CurveParameters/solinas32_2e384m2e128m2e96p2e32m1_18limbs.json index 6f5c3a551..11643ede4 100644 --- a/src/Specific/CurveParameters/solinas32_2e384m2e128m2e96p2e32m1_18limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e384m2e128m2e96p2e32m1_18limbs.json @@ -44,6 +44,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "18" diff --git a/src/Specific/CurveParameters/solinas32_2e384m2e128m2e96p2e32m1_19limbs.json b/src/Specific/CurveParameters/solinas32_2e384m2e128m2e96p2e32m1_19limbs.json index 3362160f7..2ca10eccf 100644 --- a/src/Specific/CurveParameters/solinas32_2e384m2e128m2e96p2e32m1_19limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e384m2e128m2e96p2e32m1_19limbs.json @@ -45,6 +45,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "19" diff --git a/src/Specific/CurveParameters/solinas32_2e384m317_17limbs.json b/src/Specific/CurveParameters/solinas32_2e384m317_17limbs.json index db04ccdea..3351ffcfe 100644 --- a/src/Specific/CurveParameters/solinas32_2e384m317_17limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e384m317_17limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "17" diff --git a/src/Specific/CurveParameters/solinas32_2e384m317_18limbs.json b/src/Specific/CurveParameters/solinas32_2e384m317_18limbs.json index c8638bad6..29926ac3f 100644 --- a/src/Specific/CurveParameters/solinas32_2e384m317_18limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e384m317_18limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "18" diff --git a/src/Specific/CurveParameters/solinas32_2e389m21_15limbs.json b/src/Specific/CurveParameters/solinas32_2e389m21_15limbs.json index 3a4570ccc..c16abc1dd 100644 --- a/src/Specific/CurveParameters/solinas32_2e389m21_15limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e389m21_15limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "15" diff --git a/src/Specific/CurveParameters/solinas32_2e389m21_16limbs.json b/src/Specific/CurveParameters/solinas32_2e389m21_16limbs.json index 2d9b0307a..276305e2f 100644 --- a/src/Specific/CurveParameters/solinas32_2e389m21_16limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e389m21_16limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "16" diff --git a/src/Specific/CurveParameters/solinas32_2e401m31_16limbs.json b/src/Specific/CurveParameters/solinas32_2e401m31_16limbs.json index 70b34f05c..06770c849 100644 --- a/src/Specific/CurveParameters/solinas32_2e401m31_16limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e401m31_16limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "16" diff --git a/src/Specific/CurveParameters/solinas32_2e401m31_17limbs.json b/src/Specific/CurveParameters/solinas32_2e401m31_17limbs.json index dd8649aa4..1a17fc34e 100644 --- a/src/Specific/CurveParameters/solinas32_2e401m31_17limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e401m31_17limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "17" diff --git a/src/Specific/CurveParameters/solinas32_2e413m21_16limbs.json b/src/Specific/CurveParameters/solinas32_2e413m21_16limbs.json index 2c3644f7b..d30f2c982 100644 --- a/src/Specific/CurveParameters/solinas32_2e413m21_16limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e413m21_16limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "16" diff --git a/src/Specific/CurveParameters/solinas32_2e413m21_17limbs.json b/src/Specific/CurveParameters/solinas32_2e413m21_17limbs.json index c1a7ea0b8..0400417c5 100644 --- a/src/Specific/CurveParameters/solinas32_2e413m21_17limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e413m21_17limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "17" diff --git a/src/Specific/CurveParameters/solinas32_2e414m17_16limbs.json b/src/Specific/CurveParameters/solinas32_2e414m17_16limbs.json index 29a883374..9a045f1a2 100644 --- a/src/Specific/CurveParameters/solinas32_2e414m17_16limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e414m17_16limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "16" diff --git a/src/Specific/CurveParameters/solinas32_2e414m17_17limbs.json b/src/Specific/CurveParameters/solinas32_2e414m17_17limbs.json index fd1606272..ec9d858af 100644 --- a/src/Specific/CurveParameters/solinas32_2e414m17_17limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e414m17_17limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "17" diff --git a/src/Specific/CurveParameters/solinas32_2e416m2e208m1_16limbs.json b/src/Specific/CurveParameters/solinas32_2e416m2e208m1_16limbs.json index 7a67e9442..f1707574c 100644 --- a/src/Specific/CurveParameters/solinas32_2e416m2e208m1_16limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e416m2e208m1_16limbs.json @@ -39,6 +39,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "16" diff --git a/src/Specific/CurveParameters/solinas32_2e416m2e208m1_18limbs.json b/src/Specific/CurveParameters/solinas32_2e416m2e208m1_18limbs.json index b9fe5f73b..3ac51f2ac 100644 --- a/src/Specific/CurveParameters/solinas32_2e416m2e208m1_18limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e416m2e208m1_18limbs.json @@ -41,6 +41,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "18" diff --git a/src/Specific/CurveParameters/solinas32_2e444m17_17limbs.json b/src/Specific/CurveParameters/solinas32_2e444m17_17limbs.json index 465fcb03e..72aacb454 100644 --- a/src/Specific/CurveParameters/solinas32_2e444m17_17limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e444m17_17limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "17" diff --git a/src/Specific/CurveParameters/solinas32_2e444m17_18limbs.json b/src/Specific/CurveParameters/solinas32_2e444m17_18limbs.json index 8fdccc232..06cfc3365 100644 --- a/src/Specific/CurveParameters/solinas32_2e444m17_18limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e444m17_18limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "18" diff --git a/src/Specific/CurveParameters/solinas32_2e448m2e224m1_16limbs.json b/src/Specific/CurveParameters/solinas32_2e448m2e224m1_16limbs.json index 88c539a6b..98b16a2af 100644 --- a/src/Specific/CurveParameters/solinas32_2e448m2e224m1_16limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e448m2e224m1_16limbs.json @@ -39,6 +39,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "16" diff --git a/src/Specific/CurveParameters/solinas32_2e448m2e224m1_18limbs.json b/src/Specific/CurveParameters/solinas32_2e448m2e224m1_18limbs.json index 051892b7f..1a00569f5 100644 --- a/src/Specific/CurveParameters/solinas32_2e448m2e224m1_18limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e448m2e224m1_18limbs.json @@ -41,6 +41,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "18" diff --git a/src/Specific/CurveParameters/solinas32_2e450m2e225m1_18limbs.json b/src/Specific/CurveParameters/solinas32_2e450m2e225m1_18limbs.json index f03761900..0e46370a4 100644 --- a/src/Specific/CurveParameters/solinas32_2e450m2e225m1_18limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e450m2e225m1_18limbs.json @@ -41,6 +41,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "18" diff --git a/src/Specific/CurveParameters/solinas32_2e450m2e225m1_20limbs.json b/src/Specific/CurveParameters/solinas32_2e450m2e225m1_20limbs.json index 0b5aca854..dd3feeca6 100644 --- a/src/Specific/CurveParameters/solinas32_2e450m2e225m1_20limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e450m2e225m1_20limbs.json @@ -43,6 +43,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "20" diff --git a/src/Specific/CurveParameters/solinas32_2e452m3_17limbs.json b/src/Specific/CurveParameters/solinas32_2e452m3_17limbs.json index 3145c4863..03f722106 100644 --- a/src/Specific/CurveParameters/solinas32_2e452m3_17limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e452m3_17limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "17" diff --git a/src/Specific/CurveParameters/solinas32_2e452m3_18limbs.json b/src/Specific/CurveParameters/solinas32_2e452m3_18limbs.json index a85ee402d..7b9429618 100644 --- a/src/Specific/CurveParameters/solinas32_2e452m3_18limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e452m3_18limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "18" diff --git a/src/Specific/CurveParameters/solinas32_2e468m17_18limbs.json b/src/Specific/CurveParameters/solinas32_2e468m17_18limbs.json index 5c12edc84..4b496767d 100644 --- a/src/Specific/CurveParameters/solinas32_2e468m17_18limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e468m17_18limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "18" diff --git a/src/Specific/CurveParameters/solinas32_2e468m17_19limbs.json b/src/Specific/CurveParameters/solinas32_2e468m17_19limbs.json index a2a37f9c5..769d3cd90 100644 --- a/src/Specific/CurveParameters/solinas32_2e468m17_19limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e468m17_19limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "19" diff --git a/src/Specific/CurveParameters/solinas32_2e480m2e240m1_18limbs.json b/src/Specific/CurveParameters/solinas32_2e480m2e240m1_18limbs.json index 154310fed..21331b2a4 100644 --- a/src/Specific/CurveParameters/solinas32_2e480m2e240m1_18limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e480m2e240m1_18limbs.json @@ -41,6 +41,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "18" diff --git a/src/Specific/CurveParameters/solinas32_2e480m2e240m1_20limbs.json b/src/Specific/CurveParameters/solinas32_2e480m2e240m1_20limbs.json index 224a758c0..bc4c9afbb 100644 --- a/src/Specific/CurveParameters/solinas32_2e480m2e240m1_20limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e480m2e240m1_20limbs.json @@ -43,6 +43,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "20" diff --git a/src/Specific/CurveParameters/solinas32_2e488m17_19limbs.json b/src/Specific/CurveParameters/solinas32_2e488m17_19limbs.json index 543f964b0..210cb31c6 100644 --- a/src/Specific/CurveParameters/solinas32_2e488m17_19limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e488m17_19limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "19" diff --git a/src/Specific/CurveParameters/solinas32_2e488m17_20limbs.json b/src/Specific/CurveParameters/solinas32_2e488m17_20limbs.json index 7affee0f7..4015eecc9 100644 --- a/src/Specific/CurveParameters/solinas32_2e488m17_20limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e488m17_20limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "20" diff --git a/src/Specific/CurveParameters/solinas32_2e489m21_19limbs.json b/src/Specific/CurveParameters/solinas32_2e489m21_19limbs.json index 0482310e5..28b75ec24 100644 --- a/src/Specific/CurveParameters/solinas32_2e489m21_19limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e489m21_19limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "19" diff --git a/src/Specific/CurveParameters/solinas32_2e489m21_20limbs.json b/src/Specific/CurveParameters/solinas32_2e489m21_20limbs.json index c1ada5690..339e587bb 100644 --- a/src/Specific/CurveParameters/solinas32_2e489m21_20limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e489m21_20limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "20" diff --git a/src/Specific/CurveParameters/solinas32_2e495m31_20limbs.json b/src/Specific/CurveParameters/solinas32_2e495m31_20limbs.json index 4a3c4bd5f..1e4ab497d 100644 --- a/src/Specific/CurveParameters/solinas32_2e495m31_20limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e495m31_20limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "20" diff --git a/src/Specific/CurveParameters/solinas32_2e495m31_21limbs.json b/src/Specific/CurveParameters/solinas32_2e495m31_21limbs.json index 67765b859..4314eaf1a 100644 --- a/src/Specific/CurveParameters/solinas32_2e495m31_21limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e495m31_21limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "21" diff --git a/src/Specific/CurveParameters/solinas32_2e511m187_22limbs.json b/src/Specific/CurveParameters/solinas32_2e511m187_22limbs.json index 3682fc105..ca1f272e5 100644 --- a/src/Specific/CurveParameters/solinas32_2e511m187_22limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e511m187_22limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "22" diff --git a/src/Specific/CurveParameters/solinas32_2e511m187_23limbs.json b/src/Specific/CurveParameters/solinas32_2e511m187_23limbs.json index 30446b75d..82b8f298d 100644 --- a/src/Specific/CurveParameters/solinas32_2e511m187_23limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e511m187_23limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "23" diff --git a/src/Specific/CurveParameters/solinas32_2e511m481_23limbs.json b/src/Specific/CurveParameters/solinas32_2e511m481_23limbs.json index aca753a6e..e6496abd3 100644 --- a/src/Specific/CurveParameters/solinas32_2e511m481_23limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e511m481_23limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "23" diff --git a/src/Specific/CurveParameters/solinas32_2e511m481_24limbs.json b/src/Specific/CurveParameters/solinas32_2e511m481_24limbs.json index 4934dee8f..404e1c8b5 100644 --- a/src/Specific/CurveParameters/solinas32_2e511m481_24limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e511m481_24limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "24" diff --git a/src/Specific/CurveParameters/solinas32_2e512m569_24limbs.json b/src/Specific/CurveParameters/solinas32_2e512m569_24limbs.json index 5e75c6b7d..0c0a57ad8 100644 --- a/src/Specific/CurveParameters/solinas32_2e512m569_24limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e512m569_24limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "24" diff --git a/src/Specific/CurveParameters/solinas32_2e512m569_25limbs.json b/src/Specific/CurveParameters/solinas32_2e512m569_25limbs.json index 23e7e2a0d..208f0e78e 100644 --- a/src/Specific/CurveParameters/solinas32_2e512m569_25limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e512m569_25limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "25" diff --git a/src/Specific/CurveParameters/solinas32_2e521m1_19limbs.json b/src/Specific/CurveParameters/solinas32_2e521m1_19limbs.json index 8ac1a66a6..761c73e76 100644 --- a/src/Specific/CurveParameters/solinas32_2e521m1_19limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e521m1_19limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "19" diff --git a/src/Specific/CurveParameters/solinas32_2e521m1_20limbs.json b/src/Specific/CurveParameters/solinas32_2e521m1_20limbs.json index b56e1c8bb..2d7cc0e5b 100644 --- a/src/Specific/CurveParameters/solinas32_2e521m1_20limbs.json +++ b/src/Specific/CurveParameters/solinas32_2e521m1_20limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "20" diff --git a/src/Specific/CurveParameters/solinas64_2e127m1_3limbs.json b/src/Specific/CurveParameters/solinas64_2e127m1_3limbs.json index 84ed92b8e..71fffcb8d 100644 --- a/src/Specific/CurveParameters/solinas64_2e127m1_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e127m1_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e129m25_3limbs.json b/src/Specific/CurveParameters/solinas64_2e129m25_3limbs.json index 12645fc11..b3eb0558f 100644 --- a/src/Specific/CurveParameters/solinas64_2e129m25_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e129m25_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e129m25_4limbs.json b/src/Specific/CurveParameters/solinas64_2e129m25_4limbs.json index e6d0846b7..c48745d11 100644 --- a/src/Specific/CurveParameters/solinas64_2e129m25_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e129m25_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e130m5_3limbs.json b/src/Specific/CurveParameters/solinas64_2e130m5_3limbs.json index 5d8b448cc..1d07c686a 100644 --- a/src/Specific/CurveParameters/solinas64_2e130m5_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e130m5_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e130m5_4limbs.json b/src/Specific/CurveParameters/solinas64_2e130m5_4limbs.json index 169ec8992..1aee236bd 100644 --- a/src/Specific/CurveParameters/solinas64_2e130m5_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e130m5_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e137m13_3limbs.json b/src/Specific/CurveParameters/solinas64_2e137m13_3limbs.json index 83b4028c7..4deaccf4d 100644 --- a/src/Specific/CurveParameters/solinas64_2e137m13_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e137m13_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e137m13_4limbs.json b/src/Specific/CurveParameters/solinas64_2e137m13_4limbs.json index 9826afaca..1110f32e6 100644 --- a/src/Specific/CurveParameters/solinas64_2e137m13_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e137m13_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e140m27_3limbs.json b/src/Specific/CurveParameters/solinas64_2e140m27_3limbs.json index bb63dd313..c82175818 100644 --- a/src/Specific/CurveParameters/solinas64_2e140m27_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e140m27_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e140m27_4limbs.json b/src/Specific/CurveParameters/solinas64_2e140m27_4limbs.json index 2a315d2c2..d1f915fbf 100644 --- a/src/Specific/CurveParameters/solinas64_2e140m27_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e140m27_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e141m9_3limbs.json b/src/Specific/CurveParameters/solinas64_2e141m9_3limbs.json index 20ce1fb92..195efb52b 100644 --- a/src/Specific/CurveParameters/solinas64_2e141m9_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e141m9_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e141m9_4limbs.json b/src/Specific/CurveParameters/solinas64_2e141m9_4limbs.json index d2a7b65b5..ee5d7c6b0 100644 --- a/src/Specific/CurveParameters/solinas64_2e141m9_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e141m9_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e150m3_3limbs.json b/src/Specific/CurveParameters/solinas64_2e150m3_3limbs.json index 018d50670..0d8e887dd 100644 --- a/src/Specific/CurveParameters/solinas64_2e150m3_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e150m3_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e150m3_4limbs.json b/src/Specific/CurveParameters/solinas64_2e150m3_4limbs.json index f522c1ae6..1de1f9778 100644 --- a/src/Specific/CurveParameters/solinas64_2e150m3_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e150m3_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e150m5_3limbs.json b/src/Specific/CurveParameters/solinas64_2e150m5_3limbs.json index 489555bd6..eb1b023a4 100644 --- a/src/Specific/CurveParameters/solinas64_2e150m5_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e150m5_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e150m5_4limbs.json b/src/Specific/CurveParameters/solinas64_2e150m5_4limbs.json index 256937f97..d4463fed3 100644 --- a/src/Specific/CurveParameters/solinas64_2e150m5_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e150m5_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e152m17_3limbs.json b/src/Specific/CurveParameters/solinas64_2e152m17_3limbs.json index 2b7ac15f3..cb1fb3b3f 100644 --- a/src/Specific/CurveParameters/solinas64_2e152m17_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e152m17_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e152m17_4limbs.json b/src/Specific/CurveParameters/solinas64_2e152m17_4limbs.json index c9f3def51..3511dc17b 100644 --- a/src/Specific/CurveParameters/solinas64_2e152m17_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e152m17_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e158m15_3limbs.json b/src/Specific/CurveParameters/solinas64_2e158m15_3limbs.json index 7c56af9da..98a99635c 100644 --- a/src/Specific/CurveParameters/solinas64_2e158m15_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e158m15_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e158m15_4limbs.json b/src/Specific/CurveParameters/solinas64_2e158m15_4limbs.json index 0f658a8ff..158a19093 100644 --- a/src/Specific/CurveParameters/solinas64_2e158m15_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e158m15_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e165m25_3limbs.json b/src/Specific/CurveParameters/solinas64_2e165m25_3limbs.json index 92849ddd7..563d9c0e5 100644 --- a/src/Specific/CurveParameters/solinas64_2e165m25_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e165m25_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e165m25_4limbs.json b/src/Specific/CurveParameters/solinas64_2e165m25_4limbs.json index 533628ddc..66e424dd3 100644 --- a/src/Specific/CurveParameters/solinas64_2e165m25_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e165m25_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e166m5_3limbs.json b/src/Specific/CurveParameters/solinas64_2e166m5_3limbs.json index dbdc4a876..3df3117bc 100644 --- a/src/Specific/CurveParameters/solinas64_2e166m5_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e166m5_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e166m5_4limbs.json b/src/Specific/CurveParameters/solinas64_2e166m5_4limbs.json index bb49c6f5b..415919f84 100644 --- a/src/Specific/CurveParameters/solinas64_2e166m5_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e166m5_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e171m19_3limbs.json b/src/Specific/CurveParameters/solinas64_2e171m19_3limbs.json index 0fb2937b6..0a1f4e135 100644 --- a/src/Specific/CurveParameters/solinas64_2e171m19_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e171m19_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e171m19_4limbs.json b/src/Specific/CurveParameters/solinas64_2e171m19_4limbs.json index 3637caccc..b30b71b02 100644 --- a/src/Specific/CurveParameters/solinas64_2e171m19_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e171m19_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e174m17_3limbs.json b/src/Specific/CurveParameters/solinas64_2e174m17_3limbs.json index ae80ead5e..ade251c7f 100644 --- a/src/Specific/CurveParameters/solinas64_2e174m17_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e174m17_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e174m17_4limbs.json b/src/Specific/CurveParameters/solinas64_2e174m17_4limbs.json index 466921be6..4a9338332 100644 --- a/src/Specific/CurveParameters/solinas64_2e174m17_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e174m17_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e174m3_3limbs.json b/src/Specific/CurveParameters/solinas64_2e174m3_3limbs.json index a665a65df..39027a3af 100644 --- a/src/Specific/CurveParameters/solinas64_2e174m3_3limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e174m3_3limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "3" diff --git a/src/Specific/CurveParameters/solinas64_2e174m3_4limbs.json b/src/Specific/CurveParameters/solinas64_2e174m3_4limbs.json index c5937511f..3dcdeaf6f 100644 --- a/src/Specific/CurveParameters/solinas64_2e174m3_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e174m3_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e189m25_4limbs.json b/src/Specific/CurveParameters/solinas64_2e189m25_4limbs.json index 085938649..0b27d93a9 100644 --- a/src/Specific/CurveParameters/solinas64_2e189m25_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e189m25_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e189m25_5limbs.json b/src/Specific/CurveParameters/solinas64_2e189m25_5limbs.json index fde6a73e8..ca7dc7628 100644 --- a/src/Specific/CurveParameters/solinas64_2e189m25_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e189m25_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e190m11_4limbs.json b/src/Specific/CurveParameters/solinas64_2e190m11_4limbs.json index e474c76ee..c95574c63 100644 --- a/src/Specific/CurveParameters/solinas64_2e190m11_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e190m11_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e190m11_5limbs.json b/src/Specific/CurveParameters/solinas64_2e190m11_5limbs.json index 87530892f..5ecedaa36 100644 --- a/src/Specific/CurveParameters/solinas64_2e190m11_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e190m11_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e191m19_4limbs.json b/src/Specific/CurveParameters/solinas64_2e191m19_4limbs.json index a925ca643..369a10e63 100644 --- a/src/Specific/CurveParameters/solinas64_2e191m19_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e191m19_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e191m19_5limbs.json b/src/Specific/CurveParameters/solinas64_2e191m19_5limbs.json index 433c1c0af..296f4ea63 100644 --- a/src/Specific/CurveParameters/solinas64_2e191m19_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e191m19_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e192m2e64m1_4limbs.json b/src/Specific/CurveParameters/solinas64_2e192m2e64m1_4limbs.json index 6ff21b39c..f02d06dfa 100644 --- a/src/Specific/CurveParameters/solinas64_2e192m2e64m1_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e192m2e64m1_4limbs.json @@ -26,6 +26,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e192m2e64m1_5limbs.json b/src/Specific/CurveParameters/solinas64_2e192m2e64m1_5limbs.json index 8cf158546..6ce063732 100644 --- a/src/Specific/CurveParameters/solinas64_2e192m2e64m1_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e192m2e64m1_5limbs.json @@ -27,6 +27,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e194m33_4limbs.json b/src/Specific/CurveParameters/solinas64_2e194m33_4limbs.json index 762e89e1e..22fd3a579 100644 --- a/src/Specific/CurveParameters/solinas64_2e194m33_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e194m33_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e194m33_5limbs.json b/src/Specific/CurveParameters/solinas64_2e194m33_5limbs.json index 74b1873c5..e894b60a2 100644 --- a/src/Specific/CurveParameters/solinas64_2e194m33_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e194m33_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e196m15_4limbs.json b/src/Specific/CurveParameters/solinas64_2e196m15_4limbs.json index 0390e5bc7..5963877c9 100644 --- a/src/Specific/CurveParameters/solinas64_2e196m15_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e196m15_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e196m15_5limbs.json b/src/Specific/CurveParameters/solinas64_2e196m15_5limbs.json index 632a6a494..b3872dbb6 100644 --- a/src/Specific/CurveParameters/solinas64_2e196m15_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e196m15_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e198m17_4limbs.json b/src/Specific/CurveParameters/solinas64_2e198m17_4limbs.json index fcdfdf66a..be38a4dad 100644 --- a/src/Specific/CurveParameters/solinas64_2e198m17_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e198m17_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e198m17_5limbs.json b/src/Specific/CurveParameters/solinas64_2e198m17_5limbs.json index 5914300de..f8f4c4e85 100644 --- a/src/Specific/CurveParameters/solinas64_2e198m17_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e198m17_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e206m5_4limbs.json b/src/Specific/CurveParameters/solinas64_2e206m5_4limbs.json index 3e2a60232..9686bf37d 100644 --- a/src/Specific/CurveParameters/solinas64_2e206m5_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e206m5_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e206m5_5limbs.json b/src/Specific/CurveParameters/solinas64_2e206m5_5limbs.json index ddf998eba..9ba151edc 100644 --- a/src/Specific/CurveParameters/solinas64_2e206m5_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e206m5_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e212m29_4limbs.json b/src/Specific/CurveParameters/solinas64_2e212m29_4limbs.json index e4eb5ffc8..4ea0af119 100644 --- a/src/Specific/CurveParameters/solinas64_2e212m29_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e212m29_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e212m29_5limbs.json b/src/Specific/CurveParameters/solinas64_2e212m29_5limbs.json index c895ffb89..44fac55d7 100644 --- a/src/Specific/CurveParameters/solinas64_2e212m29_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e212m29_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e213m3_4limbs.json b/src/Specific/CurveParameters/solinas64_2e213m3_4limbs.json index 0dc66d792..4992d0173 100644 --- a/src/Specific/CurveParameters/solinas64_2e213m3_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e213m3_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e213m3_5limbs.json b/src/Specific/CurveParameters/solinas64_2e213m3_5limbs.json index ef546ce26..d1a036df2 100644 --- a/src/Specific/CurveParameters/solinas64_2e213m3_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e213m3_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e216m2e108m1_4limbs.json b/src/Specific/CurveParameters/solinas64_2e216m2e108m1_4limbs.json index b728ac8c6..593690be6 100644 --- a/src/Specific/CurveParameters/solinas64_2e216m2e108m1_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e216m2e108m1_4limbs.json @@ -27,6 +27,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e216m2e108m1_5limbs.json b/src/Specific/CurveParameters/solinas64_2e216m2e108m1_5limbs.json index 9220783f9..b7fe74ac2 100644 --- a/src/Specific/CurveParameters/solinas64_2e216m2e108m1_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e216m2e108m1_5limbs.json @@ -28,6 +28,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e221m3_4limbs.json b/src/Specific/CurveParameters/solinas64_2e221m3_4limbs.json index 760ef60d8..5b0353859 100644 --- a/src/Specific/CurveParameters/solinas64_2e221m3_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e221m3_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e221m3_5limbs.json b/src/Specific/CurveParameters/solinas64_2e221m3_5limbs.json index 1514d6624..4783df52c 100644 --- a/src/Specific/CurveParameters/solinas64_2e221m3_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e221m3_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e222m117_4limbs.json b/src/Specific/CurveParameters/solinas64_2e222m117_4limbs.json index 343debf77..df8cced45 100644 --- a/src/Specific/CurveParameters/solinas64_2e222m117_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e222m117_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e222m117_5limbs.json b/src/Specific/CurveParameters/solinas64_2e222m117_5limbs.json index 01d8a5e91..40c0113a1 100644 --- a/src/Specific/CurveParameters/solinas64_2e222m117_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e222m117_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e224m2e96p1_5limbs.json b/src/Specific/CurveParameters/solinas64_2e224m2e96p1_5limbs.json index e8243620f..4954e22d0 100644 --- a/src/Specific/CurveParameters/solinas64_2e224m2e96p1_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e224m2e96p1_5limbs.json @@ -27,6 +27,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e224m2e96p1_6limbs.json b/src/Specific/CurveParameters/solinas64_2e224m2e96p1_6limbs.json index e2d4c3474..ff65c92f9 100644 --- a/src/Specific/CurveParameters/solinas64_2e224m2e96p1_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e224m2e96p1_6limbs.json @@ -28,6 +28,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e226m5_4limbs.json b/src/Specific/CurveParameters/solinas64_2e226m5_4limbs.json index e1a5fdb5f..459860969 100644 --- a/src/Specific/CurveParameters/solinas64_2e226m5_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e226m5_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e226m5_5limbs.json b/src/Specific/CurveParameters/solinas64_2e226m5_5limbs.json index bfc751eb9..7b717f309 100644 --- a/src/Specific/CurveParameters/solinas64_2e226m5_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e226m5_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e230m27_4limbs.json b/src/Specific/CurveParameters/solinas64_2e230m27_4limbs.json index e8e3eebfa..88847ba8e 100644 --- a/src/Specific/CurveParameters/solinas64_2e230m27_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e230m27_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e230m27_5limbs.json b/src/Specific/CurveParameters/solinas64_2e230m27_5limbs.json index 2dd1b74b0..9979db9a3 100644 --- a/src/Specific/CurveParameters/solinas64_2e230m27_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e230m27_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e235m15_4limbs.json b/src/Specific/CurveParameters/solinas64_2e235m15_4limbs.json index e1a7a4ada..890903528 100644 --- a/src/Specific/CurveParameters/solinas64_2e235m15_4limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e235m15_4limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "4" diff --git a/src/Specific/CurveParameters/solinas64_2e235m15_5limbs.json b/src/Specific/CurveParameters/solinas64_2e235m15_5limbs.json index e87ff8f4c..a1467c3d8 100644 --- a/src/Specific/CurveParameters/solinas64_2e235m15_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e235m15_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e243m9_5limbs.json b/src/Specific/CurveParameters/solinas64_2e243m9_5limbs.json index 928df3685..4e2150633 100644 --- a/src/Specific/CurveParameters/solinas64_2e243m9_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e243m9_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e243m9_6limbs.json b/src/Specific/CurveParameters/solinas64_2e243m9_6limbs.json index 9757ea121..c723fb133 100644 --- a/src/Specific/CurveParameters/solinas64_2e243m9_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e243m9_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e251m9_5limbs.json b/src/Specific/CurveParameters/solinas64_2e251m9_5limbs.json index 96d75c483..cbc05c147 100644 --- a/src/Specific/CurveParameters/solinas64_2e251m9_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e251m9_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e251m9_6limbs.json b/src/Specific/CurveParameters/solinas64_2e251m9_6limbs.json index 5f7ec3e3e..830278cc0 100644 --- a/src/Specific/CurveParameters/solinas64_2e251m9_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e251m9_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e255m19_5limbs.json b/src/Specific/CurveParameters/solinas64_2e255m19_5limbs.json index fc7474a7a..bbf3519f1 100644 --- a/src/Specific/CurveParameters/solinas64_2e255m19_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e255m19_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e255m19_6limbs.json b/src/Specific/CurveParameters/solinas64_2e255m19_6limbs.json index fbaefe20d..29dec1bca 100644 --- a/src/Specific/CurveParameters/solinas64_2e255m19_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e255m19_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e255m765_5limbs.json b/src/Specific/CurveParameters/solinas64_2e255m765_5limbs.json index 13bc14138..9befb1904 100644 --- a/src/Specific/CurveParameters/solinas64_2e255m765_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e255m765_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e255m765_6limbs.json b/src/Specific/CurveParameters/solinas64_2e255m765_6limbs.json index f48c1992f..a454baa88 100644 --- a/src/Specific/CurveParameters/solinas64_2e255m765_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e255m765_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e256m189_5limbs.json b/src/Specific/CurveParameters/solinas64_2e256m189_5limbs.json index 2db4f843e..757fd6f0b 100644 --- a/src/Specific/CurveParameters/solinas64_2e256m189_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e256m189_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e256m189_6limbs.json b/src/Specific/CurveParameters/solinas64_2e256m189_6limbs.json index 395c713c8..3a992eddd 100644 --- a/src/Specific/CurveParameters/solinas64_2e256m189_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e256m189_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e256m2e224p2e192p2e96m1_5limbs.json b/src/Specific/CurveParameters/solinas64_2e256m2e224p2e192p2e96m1_5limbs.json index 1313f235c..a66e65b91 100644 --- a/src/Specific/CurveParameters/solinas64_2e256m2e224p2e192p2e96m1_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e256m2e224p2e192p2e96m1_5limbs.json @@ -31,6 +31,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e256m2e224p2e192p2e96m1_6limbs.json b/src/Specific/CurveParameters/solinas64_2e256m2e224p2e192p2e96m1_6limbs.json index ccfa9a0a7..3145024d0 100644 --- a/src/Specific/CurveParameters/solinas64_2e256m2e224p2e192p2e96m1_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e256m2e224p2e192p2e96m1_6limbs.json @@ -32,6 +32,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e256m2e32m977_6limbs.json b/src/Specific/CurveParameters/solinas64_2e256m2e32m977_6limbs.json index d01c3caef..1c0a1b117 100644 --- a/src/Specific/CurveParameters/solinas64_2e256m2e32m977_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e256m2e32m977_6limbs.json @@ -27,6 +27,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e256m2e32m977_7limbs.json b/src/Specific/CurveParameters/solinas64_2e256m2e32m977_7limbs.json index 8dd259a2e..327828864 100644 --- a/src/Specific/CurveParameters/solinas64_2e256m2e32m977_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e256m2e32m977_7limbs.json @@ -28,6 +28,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e256m4294968273_10limbs.json b/src/Specific/CurveParameters/solinas64_2e256m4294968273_10limbs.json index f0bb669b4..bbe08f653 100644 --- a/src/Specific/CurveParameters/solinas64_2e256m4294968273_10limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e256m4294968273_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas64_2e256m4294968273_9limbs.json b/src/Specific/CurveParameters/solinas64_2e256m4294968273_9limbs.json index 13b5f1162..c0c394fdc 100644 --- a/src/Specific/CurveParameters/solinas64_2e256m4294968273_9limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e256m4294968273_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas64_2e266m3_5limbs.json b/src/Specific/CurveParameters/solinas64_2e266m3_5limbs.json index 230733ce5..9c3060bcf 100644 --- a/src/Specific/CurveParameters/solinas64_2e266m3_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e266m3_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e266m3_6limbs.json b/src/Specific/CurveParameters/solinas64_2e266m3_6limbs.json index 279f2a0fa..509580a85 100644 --- a/src/Specific/CurveParameters/solinas64_2e266m3_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e266m3_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e285m9_5limbs.json b/src/Specific/CurveParameters/solinas64_2e285m9_5limbs.json index 72b220406..d4474ac89 100644 --- a/src/Specific/CurveParameters/solinas64_2e285m9_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e285m9_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e285m9_6limbs.json b/src/Specific/CurveParameters/solinas64_2e285m9_6limbs.json index 7fd451ea1..e51fed286 100644 --- a/src/Specific/CurveParameters/solinas64_2e285m9_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e285m9_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e291m19_5limbs.json b/src/Specific/CurveParameters/solinas64_2e291m19_5limbs.json index 047934ac6..6cacfbb29 100644 --- a/src/Specific/CurveParameters/solinas64_2e291m19_5limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e291m19_5limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "5" diff --git a/src/Specific/CurveParameters/solinas64_2e291m19_6limbs.json b/src/Specific/CurveParameters/solinas64_2e291m19_6limbs.json index f9cd639bd..46de556e5 100644 --- a/src/Specific/CurveParameters/solinas64_2e291m19_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e291m19_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e321m9_6limbs.json b/src/Specific/CurveParameters/solinas64_2e321m9_6limbs.json index e6a43c679..4c05a8f8f 100644 --- a/src/Specific/CurveParameters/solinas64_2e321m9_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e321m9_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e321m9_7limbs.json b/src/Specific/CurveParameters/solinas64_2e321m9_7limbs.json index 22804802a..1504457d0 100644 --- a/src/Specific/CurveParameters/solinas64_2e321m9_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e321m9_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e322m2e161m1_6limbs.json b/src/Specific/CurveParameters/solinas64_2e322m2e161m1_6limbs.json index 369590254..3f282cb0f 100644 --- a/src/Specific/CurveParameters/solinas64_2e322m2e161m1_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e322m2e161m1_6limbs.json @@ -29,6 +29,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e322m2e161m1_7limbs.json b/src/Specific/CurveParameters/solinas64_2e322m2e161m1_7limbs.json index 0d6f4d8e8..7993353aa 100644 --- a/src/Specific/CurveParameters/solinas64_2e322m2e161m1_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e322m2e161m1_7limbs.json @@ -30,6 +30,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e336m17_6limbs.json b/src/Specific/CurveParameters/solinas64_2e336m17_6limbs.json index 08aab358b..14c8f6509 100644 --- a/src/Specific/CurveParameters/solinas64_2e336m17_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e336m17_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e336m17_7limbs.json b/src/Specific/CurveParameters/solinas64_2e336m17_7limbs.json index b242595d6..e6f529362 100644 --- a/src/Specific/CurveParameters/solinas64_2e336m17_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e336m17_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e336m3_6limbs.json b/src/Specific/CurveParameters/solinas64_2e336m3_6limbs.json index 3fa2f5b89..6de61db5e 100644 --- a/src/Specific/CurveParameters/solinas64_2e336m3_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e336m3_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e336m3_7limbs.json b/src/Specific/CurveParameters/solinas64_2e336m3_7limbs.json index 2182ac00b..241fede82 100644 --- a/src/Specific/CurveParameters/solinas64_2e336m3_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e336m3_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e338m15_6limbs.json b/src/Specific/CurveParameters/solinas64_2e338m15_6limbs.json index be1706289..bacd413c1 100644 --- a/src/Specific/CurveParameters/solinas64_2e338m15_6limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e338m15_6limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "6" diff --git a/src/Specific/CurveParameters/solinas64_2e338m15_7limbs.json b/src/Specific/CurveParameters/solinas64_2e338m15_7limbs.json index c390e8d6f..c8933defa 100644 --- a/src/Specific/CurveParameters/solinas64_2e338m15_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e338m15_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e369m25_7limbs.json b/src/Specific/CurveParameters/solinas64_2e369m25_7limbs.json index b3479f8be..5b28fff11 100644 --- a/src/Specific/CurveParameters/solinas64_2e369m25_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e369m25_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e369m25_8limbs.json b/src/Specific/CurveParameters/solinas64_2e369m25_8limbs.json index b4e820992..d4855477e 100644 --- a/src/Specific/CurveParameters/solinas64_2e369m25_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e369m25_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e379m19_7limbs.json b/src/Specific/CurveParameters/solinas64_2e379m19_7limbs.json index fd0f76927..e3bbd383c 100644 --- a/src/Specific/CurveParameters/solinas64_2e379m19_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e379m19_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e379m19_8limbs.json b/src/Specific/CurveParameters/solinas64_2e379m19_8limbs.json index 6ab231a34..168d76fee 100644 --- a/src/Specific/CurveParameters/solinas64_2e379m19_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e379m19_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e382m105_7limbs.json b/src/Specific/CurveParameters/solinas64_2e382m105_7limbs.json index db5d43404..9b6381158 100644 --- a/src/Specific/CurveParameters/solinas64_2e382m105_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e382m105_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e382m105_8limbs.json b/src/Specific/CurveParameters/solinas64_2e382m105_8limbs.json index 44a93b62f..86503f51f 100644 --- a/src/Specific/CurveParameters/solinas64_2e382m105_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e382m105_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e383m187_7limbs.json b/src/Specific/CurveParameters/solinas64_2e383m187_7limbs.json index 1e1b2078b..1dcff0be8 100644 --- a/src/Specific/CurveParameters/solinas64_2e383m187_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e383m187_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e383m187_8limbs.json b/src/Specific/CurveParameters/solinas64_2e383m187_8limbs.json index dd00cc973..38d4ce92d 100644 --- a/src/Specific/CurveParameters/solinas64_2e383m187_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e383m187_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e383m31_7limbs.json b/src/Specific/CurveParameters/solinas64_2e383m31_7limbs.json index ca0fceb7b..99b11a6e5 100644 --- a/src/Specific/CurveParameters/solinas64_2e383m31_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e383m31_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e383m31_8limbs.json b/src/Specific/CurveParameters/solinas64_2e383m31_8limbs.json index b808d3ffb..b9c82ddaf 100644 --- a/src/Specific/CurveParameters/solinas64_2e383m31_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e383m31_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e383m421_7limbs.json b/src/Specific/CurveParameters/solinas64_2e383m421_7limbs.json index 75c16511d..70adc400c 100644 --- a/src/Specific/CurveParameters/solinas64_2e383m421_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e383m421_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e383m421_8limbs.json b/src/Specific/CurveParameters/solinas64_2e383m421_8limbs.json index 6fc3bb3ee..66872b23e 100644 --- a/src/Specific/CurveParameters/solinas64_2e383m421_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e383m421_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e384m2e128m2e96p2e32m1_10limbs.json b/src/Specific/CurveParameters/solinas64_2e384m2e128m2e96p2e32m1_10limbs.json index e09796758..e7ad85164 100644 --- a/src/Specific/CurveParameters/solinas64_2e384m2e128m2e96p2e32m1_10limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e384m2e128m2e96p2e32m1_10limbs.json @@ -36,6 +36,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas64_2e384m2e128m2e96p2e32m1_9limbs.json b/src/Specific/CurveParameters/solinas64_2e384m2e128m2e96p2e32m1_9limbs.json index 61e747149..bdd33d04d 100644 --- a/src/Specific/CurveParameters/solinas64_2e384m2e128m2e96p2e32m1_9limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e384m2e128m2e96p2e32m1_9limbs.json @@ -35,6 +35,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas64_2e384m317_7limbs.json b/src/Specific/CurveParameters/solinas64_2e384m317_7limbs.json index f8f948664..7dccfdc75 100644 --- a/src/Specific/CurveParameters/solinas64_2e384m317_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e384m317_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e384m317_8limbs.json b/src/Specific/CurveParameters/solinas64_2e384m317_8limbs.json index 15c38b79b..a59890541 100644 --- a/src/Specific/CurveParameters/solinas64_2e384m317_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e384m317_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e389m21_7limbs.json b/src/Specific/CurveParameters/solinas64_2e389m21_7limbs.json index 24441cc8c..a65993227 100644 --- a/src/Specific/CurveParameters/solinas64_2e389m21_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e389m21_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e389m21_8limbs.json b/src/Specific/CurveParameters/solinas64_2e389m21_8limbs.json index 59ceac665..57f0f5ca8 100644 --- a/src/Specific/CurveParameters/solinas64_2e389m21_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e389m21_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e401m31_7limbs.json b/src/Specific/CurveParameters/solinas64_2e401m31_7limbs.json index 8a51e5f13..92816b5ba 100644 --- a/src/Specific/CurveParameters/solinas64_2e401m31_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e401m31_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e401m31_8limbs.json b/src/Specific/CurveParameters/solinas64_2e401m31_8limbs.json index c2c951fea..d291e194e 100644 --- a/src/Specific/CurveParameters/solinas64_2e401m31_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e401m31_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e413m21_7limbs.json b/src/Specific/CurveParameters/solinas64_2e413m21_7limbs.json index bef9bc7cb..25214928b 100644 --- a/src/Specific/CurveParameters/solinas64_2e413m21_7limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e413m21_7limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "7" diff --git a/src/Specific/CurveParameters/solinas64_2e413m21_8limbs.json b/src/Specific/CurveParameters/solinas64_2e413m21_8limbs.json index d32fdb772..fcd6142f3 100644 --- a/src/Specific/CurveParameters/solinas64_2e413m21_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e413m21_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e414m17_8limbs.json b/src/Specific/CurveParameters/solinas64_2e414m17_8limbs.json index 10752da45..fbd8c1015 100644 --- a/src/Specific/CurveParameters/solinas64_2e414m17_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e414m17_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e414m17_9limbs.json b/src/Specific/CurveParameters/solinas64_2e414m17_9limbs.json index 7da1fef4f..419b2cc44 100644 --- a/src/Specific/CurveParameters/solinas64_2e414m17_9limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e414m17_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas64_2e416m2e208m1_8limbs.json b/src/Specific/CurveParameters/solinas64_2e416m2e208m1_8limbs.json index ce36e69a4..02a4d002a 100644 --- a/src/Specific/CurveParameters/solinas64_2e416m2e208m1_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e416m2e208m1_8limbs.json @@ -31,6 +31,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e416m2e208m1_9limbs.json b/src/Specific/CurveParameters/solinas64_2e416m2e208m1_9limbs.json index 43d4e14a2..47c6349a8 100644 --- a/src/Specific/CurveParameters/solinas64_2e416m2e208m1_9limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e416m2e208m1_9limbs.json @@ -32,6 +32,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas64_2e444m17_8limbs.json b/src/Specific/CurveParameters/solinas64_2e444m17_8limbs.json index 69f55eade..08d72393d 100644 --- a/src/Specific/CurveParameters/solinas64_2e444m17_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e444m17_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e444m17_9limbs.json b/src/Specific/CurveParameters/solinas64_2e444m17_9limbs.json index a50cdcbc5..8ecbf3728 100644 --- a/src/Specific/CurveParameters/solinas64_2e444m17_9limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e444m17_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas64_2e448m2e224m1_10limbs.json b/src/Specific/CurveParameters/solinas64_2e448m2e224m1_10limbs.json index efdd04156..0666750ce 100644 --- a/src/Specific/CurveParameters/solinas64_2e448m2e224m1_10limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e448m2e224m1_10limbs.json @@ -33,6 +33,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas64_2e448m2e224m1_8limbs.json b/src/Specific/CurveParameters/solinas64_2e448m2e224m1_8limbs.json index fe86ac402..7c3d91646 100644 --- a/src/Specific/CurveParameters/solinas64_2e448m2e224m1_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e448m2e224m1_8limbs.json @@ -31,6 +31,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e450m2e225m1_10limbs.json b/src/Specific/CurveParameters/solinas64_2e450m2e225m1_10limbs.json index 08b573c44..60c89748b 100644 --- a/src/Specific/CurveParameters/solinas64_2e450m2e225m1_10limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e450m2e225m1_10limbs.json @@ -33,6 +33,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas64_2e450m2e225m1_8limbs.json b/src/Specific/CurveParameters/solinas64_2e450m2e225m1_8limbs.json index 31ba16aa6..872a222ee 100644 --- a/src/Specific/CurveParameters/solinas64_2e450m2e225m1_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e450m2e225m1_8limbs.json @@ -31,6 +31,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e452m3_8limbs.json b/src/Specific/CurveParameters/solinas64_2e452m3_8limbs.json index 8e4913e9c..aaf48adfd 100644 --- a/src/Specific/CurveParameters/solinas64_2e452m3_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e452m3_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e452m3_9limbs.json b/src/Specific/CurveParameters/solinas64_2e452m3_9limbs.json index ec5222ae4..263ed7665 100644 --- a/src/Specific/CurveParameters/solinas64_2e452m3_9limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e452m3_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas64_2e468m17_8limbs.json b/src/Specific/CurveParameters/solinas64_2e468m17_8limbs.json index e2bd17fc5..0847146ef 100644 --- a/src/Specific/CurveParameters/solinas64_2e468m17_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e468m17_8limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e468m17_9limbs.json b/src/Specific/CurveParameters/solinas64_2e468m17_9limbs.json index ca367ecff..32aa8c164 100644 --- a/src/Specific/CurveParameters/solinas64_2e468m17_9limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e468m17_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas64_2e480m2e240m1_10limbs.json b/src/Specific/CurveParameters/solinas64_2e480m2e240m1_10limbs.json index 7d260d2f2..7045663b2 100644 --- a/src/Specific/CurveParameters/solinas64_2e480m2e240m1_10limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e480m2e240m1_10limbs.json @@ -33,6 +33,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas64_2e480m2e240m1_8limbs.json b/src/Specific/CurveParameters/solinas64_2e480m2e240m1_8limbs.json index 199faa549..b32ef79c2 100644 --- a/src/Specific/CurveParameters/solinas64_2e480m2e240m1_8limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e480m2e240m1_8limbs.json @@ -31,6 +31,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "8" diff --git a/src/Specific/CurveParameters/solinas64_2e488m17_10limbs.json b/src/Specific/CurveParameters/solinas64_2e488m17_10limbs.json index 8dc0a1455..554fa0b7f 100644 --- a/src/Specific/CurveParameters/solinas64_2e488m17_10limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e488m17_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas64_2e488m17_9limbs.json b/src/Specific/CurveParameters/solinas64_2e488m17_9limbs.json index ea15110cb..bbac773aa 100644 --- a/src/Specific/CurveParameters/solinas64_2e488m17_9limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e488m17_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas64_2e489m21_10limbs.json b/src/Specific/CurveParameters/solinas64_2e489m21_10limbs.json index 5d9bdada8..79fd9bf79 100644 --- a/src/Specific/CurveParameters/solinas64_2e489m21_10limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e489m21_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas64_2e489m21_9limbs.json b/src/Specific/CurveParameters/solinas64_2e489m21_9limbs.json index 7ea6e38d4..ece2c7e2c 100644 --- a/src/Specific/CurveParameters/solinas64_2e489m21_9limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e489m21_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas64_2e495m31_10limbs.json b/src/Specific/CurveParameters/solinas64_2e495m31_10limbs.json index cc6a1946c..fdc5b9a82 100644 --- a/src/Specific/CurveParameters/solinas64_2e495m31_10limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e495m31_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas64_2e495m31_9limbs.json b/src/Specific/CurveParameters/solinas64_2e495m31_9limbs.json index 2ee6173c1..392d2aa09 100644 --- a/src/Specific/CurveParameters/solinas64_2e495m31_9limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e495m31_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" diff --git a/src/Specific/CurveParameters/solinas64_2e511m187_10limbs.json b/src/Specific/CurveParameters/solinas64_2e511m187_10limbs.json index f7e0519bc..9df70b152 100644 --- a/src/Specific/CurveParameters/solinas64_2e511m187_10limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e511m187_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas64_2e511m187_11limbs.json b/src/Specific/CurveParameters/solinas64_2e511m187_11limbs.json index e7366410c..9f0f4fd03 100644 --- a/src/Specific/CurveParameters/solinas64_2e511m187_11limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e511m187_11limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "11" diff --git a/src/Specific/CurveParameters/solinas64_2e511m481_10limbs.json b/src/Specific/CurveParameters/solinas64_2e511m481_10limbs.json index 894a698a1..d3cb9ed7e 100644 --- a/src/Specific/CurveParameters/solinas64_2e511m481_10limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e511m481_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas64_2e511m481_11limbs.json b/src/Specific/CurveParameters/solinas64_2e511m481_11limbs.json index c448c4d2a..c1bea653f 100644 --- a/src/Specific/CurveParameters/solinas64_2e511m481_11limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e511m481_11limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "11" diff --git a/src/Specific/CurveParameters/solinas64_2e512m569_10limbs.json b/src/Specific/CurveParameters/solinas64_2e512m569_10limbs.json index 4fadeab8b..96431eddb 100644 --- a/src/Specific/CurveParameters/solinas64_2e512m569_10limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e512m569_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas64_2e512m569_11limbs.json b/src/Specific/CurveParameters/solinas64_2e512m569_11limbs.json index 8e0d053fc..50dfce7ed 100644 --- a/src/Specific/CurveParameters/solinas64_2e512m569_11limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e512m569_11limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "11" diff --git a/src/Specific/CurveParameters/solinas64_2e521m1_10limbs.json b/src/Specific/CurveParameters/solinas64_2e521m1_10limbs.json index 006c99443..5a614d2f5 100644 --- a/src/Specific/CurveParameters/solinas64_2e521m1_10limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e521m1_10limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "10" diff --git a/src/Specific/CurveParameters/solinas64_2e521m1_9limbs.json b/src/Specific/CurveParameters/solinas64_2e521m1_9limbs.json index 7b11511a8..4969cd7d8 100644 --- a/src/Specific/CurveParameters/solinas64_2e521m1_9limbs.json +++ b/src/Specific/CurveParameters/solinas64_2e521m1_9limbs.json @@ -11,6 +11,7 @@ "feadd", "fesub", "fesquare", + "fecarry", "freeze" ], "sz": "9" |