-
Notifications
You must be signed in to change notification settings - Fork 6
/
bls12-381_isogenies
420 lines (420 loc) · 5.31 KB
/
bls12-381_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
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
10019441515960201495
12251399044645995793
7883452005439278481
3897211416163680810
8043153036852132201
1186559139229239160
18408465965524393751
3564319996663308883
13167227810984103763
8032970197714385118
8421743250879330653
1103305576847362107
1
0
0
0
0
0
18408465965524393751
3564319996663308883
13167227810984103763
8032970197714385118
8421743250879330653
1103305576847362107
1
0
0
0
0
0
13678759592201433294
7212231931081816801
13939722725754492816
15679769740714150805
16565475032941244217
891488198288952439
8415037976522685706
12113802800809865373
4067517103865493524
15920382160741277527
8821010936823862759
816212698230445693
1
0
0
0
0
0
8415037976522685706
12113802800809865373
4067517103865493524
15920382160741277527
8821010936823862759
816212698230445693
1
0
0
0
0
0
13768373587079970966
13591594964998628308
11178607828469245715
3060472346903200247
8346352947899793137
1860792228028368058
3403132453064507928
8122084302822309408
4971172301415635176
13220861153717094963
7761311440560808440
35926331685087957
1
0
0
0
0
0
3403132453064507928
8122084302822309408
4971172301415635176
13220861153717094963
7761311440560808440
35926331685087957
1
0
0
0
0
0
566485086674003112
10187503009177743248
9345006422218436079
12734529998390021717
11567377276498953531
97678424578032445
1186682694471157069
6107789994524334675
9133442492608412237
8147765463811928875
1355074038519925617
1253714296581697377
1
0
0
0
0
0
1186682694471157069
6107789994524334675
9133442492608412237
8147765463811928875
1355074038519925617
1253714296581697377
1
0
0
0
0
0
13025817563280527790
15920148317486223917
12801517570586670286
1922711738545966269
10704932973124122547
321394180905222044
14566861664576700502
12973876367195432274
1418888884721148034
17150838641415633577
4699759852038321975
1046820335619678563
1
0
0
0
0
0
14566861664576700502
12973876367195432274
1418888884721148034
17150838641415633577
4699759852038321975
1046820335619678563
1
0
0
0
0
0
7993931490129472369
10601192167037019644
16815745131951906247
10733987016552542896
473650001482363551
365676021772025507
12435878616468314442
9592527262028060717
9293767993320450822
11603568297149905469
6020889616964660073
649386649976797097
1
0
0
0
0
0
12435878616468314442
9592527262028060717
9293767993320450822
11603568297149905469
6020889616964660073
649386649976797097
1
0
0
0
0
0
12282959806770580550
14945098567201422304
5359494249081411916
14202274564053305871
15004318381881814972
658188031532117710
7539088966942017100
10356420454760621507
7991306242111168070
6980015071688390035
2801017018180153473
608425349230303388
1
0
0
0
0
0
7539088966942017100
10356420454760621507
7991306242111168070
6980015071688390035
2801017018180153473
608425349230303388
1
0
0
0
0
0
1110213206524052260
17147540021768853624
10522108666391736184
15793035521351469169
17190157918361592644
868297539334359189
2009332547071032703
10094293667211589087
7436546710477361989
6624298660655466892
2736872736578462299
1406718177212056576
1
0
0
0
0
0
2009332547071032703
10094293667211589087
7436546710477361989
6624298660655466892
2736872736578462299
1406718177212056576
1
0
0
0
0
0
2167052047193392018
10208022710033770678
9145639589359088601
514108235292001788
14308022258035305221
1386012061215610702
4695806414304454529
9358947986483791058
14594381182976433485
2827816235374517627
4669483425530013101
1393805669968593041
1
0
0
0
0
0
4695806414304454529
9358947986483791058
14594381182976433485
2827816235374517627
4669483425530013101
1393805669968593041
1
0
0
0
0
0
10961714003972025645
9242111797547619
3821482454964077504
16591439486289384871
18204972621547608888
314495175912527816
10515575031066601338
9432276892068769168
17248241826232363055
5498057551951818293
5965541952762474285
1825141558858618931
1
0
0
0
0
0
10515575031066601338
9432276892068769168
17248241826232363055
5498057551951818293
5965541952762474285
1825141558858618931
1
0
0
0
0
0
11670562620781309789
5249836007435377455
14263120024033478734
7205003033382913599
4325381513385695615
958103570245919355
2997839840814596947
16688034164447826378
1939323879791141621
3049580938742080707
10092061693501524143
1307363670701959350
1
0
0
0
0
0
2997839840814596947
16688034164447826378
1939323879791141621
3049580938742080707
10092061693501524143
1307363670701959350
1
0
0
0
0
0
13084925592415542744
8196833794247957739
14947799882832925094
8188098974291774777
2249813432251635351
1454035010094322039
16165154560604004703
12793512026030073843
3913346827688866655
12355833684887840311
15752072201265304985
343855986661811343
1
0
0
0
0
0
16165154560604004703
12793512026030073843
3913346827688866655
12355833684887840311
15752072201265304985
343855986661811343
1
0
0
0
0
0
18397483683703704173
15893543488937901180
450223839400632586
6237663134144300753
901181374539311993
1052029291739469258
12333475341755350910
10029807894899527344
15779433125277103514
9795291872279951797
12287543020096150844
1793143453620295079
1
0
0
0
0
0
12333475341755350910
10029807894899527344
15779433125277103514
9795291872279951797
12287543020096150844
1793143453620295079
1
0
0
0
0
0
4678611711544242813
10982920136564552910
17516689699596113657
570299229325703871
6592690586405349750
994172016823770572
3668227902052337010
13316392548080074521
10816899007679548060
11172902568253762335
7545024823586310754
1015629472623351456
1
0
0
0
0
0
3668227902052337010
13316392548080074521
10816899007679548060
11172902568253762335
7545024823586310754
1015629472623351456
1
0
0
0
0
0