-
Notifications
You must be signed in to change notification settings - Fork 6
/
curve25519_isogenies
300 lines (300 loc) · 3.79 KB
/
curve25519_isogenies
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
18250753526955890374
3431703125903537667
15402216077906893037
3268992335890600570
13280733386837440049
8025111811263743599
2155338667403011594
8084818981551498536
1
0
0
0
13280733386837440049
8025111811263743599
2155338667403011594
8084818981551498536
1
0
0
0
13988032677850752633
3405040797357317185
17557625663834405809
3627356277144699518
5088831315445513753
867270965838147534
12888396179951232214
6108128196867531812
1
0
0
0
5088831315445513753
867270965838147534
12888396179951232214
6108128196867531812
1
0
0
0
3460629074383107097
11596093038108756185
12252849755156509843
5293252798013863836
2061584853165631577
15160946875896142717
13201820957508304983
5983057767941958592
1
0
0
0
2061584853165631577
15160946875896142717
13201820957508304983
5983057767941958592
1
0
0
0
3506784914664150896
4577896222734806803
16910116971431611479
7208280856766391509
7697946304796749489
1886580025145639742
13994825257071670471
6178861941383745066
1
0
0
0
7697946304796749489
1886580025145639742
13994825257071670471
6178861941383745066
1
0
0
0
17935226452538035921
1371425479461507299
800673883954308537
5996827390664755035
5581939838366809596
8836319426390445837
18418034832512162616
7458859483996927954
1
0
0
0
5581939838366809596
8836319426390445837
18418034832512162616
7458859483996927954
1
0
0
0
12249249633422166199
2944335715359061693
8013229132642202922
4702773634747109447
5051465317776499721
3023072373907489444
9549044171287303895
770085118603800451
1
0
0
0
5051465317776499721
3023072373907489444
9549044171287303895
770085118603800451
1
0
0
0
3939547621768140960
9318688003897565113
7615713160045779131
7095246151228311755
5638968565136109135
6661881412868591479
12618078979978240652
1545642533508266215
1
0
0
0
5638968565136109135
6661881412868591479
12618078979978240652
1545642533508266215
1
0
0
0
936144587796917484
3180196862151665757
11731361653214014303
7560922247195029747
8163153901739529131
7514846908210010678
4460884577132751796
7897495809706014420
1
0
0
0
8163153901739529131
7514846908210010678
4460884577132751796
7897495809706014420
1
0
0
0
16183048265987989632
404188677782900007
8793443123573247567
276964536823584193
15282238391053763379
770032220178647876
17468034931924312949
1331779446341047334
1
0
0
0
15282238391053763379
770032220178647876
17468034931924312949
1331779446341047334
1
0
0
0
15742282521559883706
5142197949451316312
12256032812940121595
6041958765955045909
5139443376761881938
14500676489964581499
15190192606243821224
2764486858992725404
1
0
0
0
5139443376761881938
14500676489964581499
15190192606243821224
2764486858992725404
1
0
0
0
11665931354335512913
4163327265794331971
1587905529060105880
6385175905196867118
7112619987346182284
9538393238901028310
7330802162001586203
6997400698406799481
1
0
0
0
7112619987346182284
9538393238901028310
7330802162001586203
6997400698406799481
1
0
0
0
440859382812983676
13263634456547363460
2843380326767550817
2246481593061454925
6843308389272014864
17573459978444679137
9607587987388132471
6107098248203640919
1
0
0
0
6843308389272014864
17573459978444679137
9607587987388132471
6107098248203640919
1
0
0
0
2843209345878618899
12187158007177273730
6631331053902469362
2598999973123072897
3649798095907742354
16203758127337955920
4006782705514563825
4759146586393229551
1
0
0
0
3649798095907742354
16203758127337955920
4006782705514563825
4759146586393229551
1
0
0
0
16282143466422643478
3879929017130651767
7820727319359763989
2056188985745148280
16637356634947125645
10006043581239987343
6698695429675629455
1856146740272988716
1
0
0
0
16637356634947125645
10006043581239987343
6698695429675629455
1856146740272988716
1
0
0
0
13549990745049515663
11055704921160714433
14336809372416130412
7104431271070208359
1687399986665692738
12733095527298667534
14740736045835730062
6513025558337979689
1
0
0
0
1687399986665692738
12733095527298667534
14740736045835730062
6513025558337979689
1
0
0
0