index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Specific
/
CurveParameters
Mode
Name
Size
d---------
X25519_C64
40
log
plain
-rw-r--r--
montgomery32_2e127m1.json
401
log
plain
-rw-r--r--
montgomery32_2e129m25.json
401
log
plain
-rw-r--r--
montgomery32_2e130m5.json
401
log
plain
-rw-r--r--
montgomery32_2e137m13.json
401
log
plain
-rw-r--r--
montgomery32_2e140m27.json
401
log
plain
-rw-r--r--
montgomery32_2e141m9.json
400
log
plain
-rw-r--r--
montgomery32_2e150m3.json
400
log
plain
-rw-r--r--
montgomery32_2e150m5.json
400
log
plain
-rw-r--r--
montgomery32_2e152m17.json
401
log
plain
-rw-r--r--
montgomery32_2e158m15.json
401
log
plain
-rw-r--r--
montgomery32_2e165m25.json
401
log
plain
-rw-r--r--
montgomery32_2e166m5.json
400
log
plain
-rw-r--r--
montgomery32_2e171m19.json
401
log
plain
-rw-r--r--
montgomery32_2e174m17.json
401
log
plain
-rw-r--r--
montgomery32_2e174m3.json
400
log
plain
-rw-r--r--
montgomery32_2e189m25.json
401
log
plain
-rw-r--r--
montgomery32_2e190m11.json
401
log
plain
-rw-r--r--
montgomery32_2e191m19.json
401
log
plain
-rw-r--r--
montgomery32_2e192m2e64m1.json
407
log
plain
-rw-r--r--
montgomery32_2e194m33.json
401
log
plain
-rw-r--r--
montgomery32_2e196m15.json
401
log
plain
-rw-r--r--
montgomery32_2e198m17.json
401
log
plain
-rw-r--r--
montgomery32_2e205m45x2e198m1.json
411
log
plain
-rw-r--r--
montgomery32_2e206m5.json
400
log
plain
-rw-r--r--
montgomery32_2e212m29.json
401
log
plain
-rw-r--r--
montgomery32_2e213m3.json
400
log
plain
-rw-r--r--
montgomery32_2e216m2e108m1.json
408
log
plain
-rw-r--r--
montgomery32_2e221m3.json
400
log
plain
-rw-r--r--
montgomery32_2e222m117.json
402
log
plain
-rw-r--r--
montgomery32_2e224m2e96p1.json
408
log
plain
-rw-r--r--
montgomery32_2e226m5.json
400
log
plain
-rw-r--r--
montgomery32_2e230m27.json
401
log
plain
-rw-r--r--
montgomery32_2e235m15.json
401
log
plain
-rw-r--r--
montgomery32_2e243m9.json
400
log
plain
-rw-r--r--
montgomery32_2e251m9.json
400
log
plain
-rw-r--r--
montgomery32_2e254m127x2e240m1.json
412
log
plain
-rw-r--r--
montgomery32_2e255m19.json
402
log
plain
-rw-r--r--
montgomery32_2e255m2e4m2e1m1.json
412
log
plain
-rw-r--r--
montgomery32_2e255m765.json
402
log
plain
-rw-r--r--
montgomery32_2e256m189.json
402
log
plain
-rw-r--r--
montgomery32_2e256m2e224p2e192p2e96m1.json
424
log
plain
-rw-r--r--
montgomery32_2e256m2e32m977.json
410
log
plain
-rw-r--r--
montgomery32_2e256m88x2e240m1.json
411
log
plain
-rw-r--r--
montgomery32_2e266m3.json
400
log
plain
-rw-r--r--
montgomery32_2e285m9.json
400
log
plain
-rw-r--r--
montgomery32_2e291m19.json
402
log
plain
-rw-r--r--
montgomery32_2e321m9.json
401
log
plain
-rw-r--r--
montgomery32_2e322m2e161m1.json
409
log
plain
-rw-r--r--
montgomery32_2e336m17.json
402
log
plain
-rw-r--r--
montgomery32_2e336m3.json
401
log
plain
-rw-r--r--
montgomery32_2e338m15.json
402
log
plain
-rw-r--r--
montgomery32_2e369m25.json
402
log
plain
-rw-r--r--
montgomery32_2e379m19.json
402
log
plain
-rw-r--r--
montgomery32_2e382m105.json
403
log
plain
-rw-r--r--
montgomery32_2e383m187.json
403
log
plain
-rw-r--r--
montgomery32_2e383m31.json
402
log
plain
-rw-r--r--
montgomery32_2e383m421.json
403
log
plain
-rw-r--r--
montgomery32_2e384m2e128m2e96p2e32m1.json
424
log
plain
-rw-r--r--
montgomery32_2e384m317.json
403
log
plain
-rw-r--r--
montgomery32_2e384m5x2e368m1.json
411
log
plain
-rw-r--r--
montgomery32_2e384m79x2e376m1.json
412
log
plain
-rw-r--r--
montgomery32_2e389m21.json
402
log
plain
-rw-r--r--
montgomery32_2e401m31.json
402
log
plain
-rw-r--r--
montgomery32_2e413m21.json
402
log
plain
-rw-r--r--
montgomery32_2e414m17.json
402
log
plain
-rw-r--r--
montgomery32_2e416m2e208m1.json
409
log
plain
-rw-r--r--
montgomery32_2e444m17.json
402
log
plain
-rw-r--r--
montgomery32_2e448m2e224m1.json
410
log
plain
-rw-r--r--
montgomery32_2e450m2e225m1.json
409
log
plain
-rw-r--r--
montgomery32_2e452m3.json
401
log
plain
-rw-r--r--
montgomery32_2e468m17.json
402
log
plain
-rw-r--r--
montgomery32_2e480m2e240m1.json
410
log
plain
-rw-r--r--
montgomery32_2e488m17.json
402
log
plain
-rw-r--r--
montgomery32_2e489m21.json
402
log
plain
-rw-r--r--
montgomery32_2e495m31.json
402
log
plain
-rw-r--r--
montgomery32_2e510m290x2e496m1.json
413
log
plain
-rw-r--r--
montgomery32_2e511m187.json
403
log
plain
-rw-r--r--
montgomery32_2e511m481.json
403
log
plain
-rw-r--r--
montgomery32_2e512m491x2e496m1.json
413
log
plain
-rw-r--r--
montgomery32_2e512m569.json
403
log
plain
-rw-r--r--
montgomery32_2e521m1.json
402
log
plain
-rw-r--r--
montgomery64_2e127m1.json
401
log
plain
-rw-r--r--
montgomery64_2e129m25.json
401
log
plain
-rw-r--r--
montgomery64_2e130m5.json
401
log
plain
-rw-r--r--
montgomery64_2e137m13.json
401
log
plain
-rw-r--r--
montgomery64_2e140m27.json
401
log
plain
-rw-r--r--
montgomery64_2e141m9.json
400
log
plain
-rw-r--r--
montgomery64_2e150m3.json
400
log
plain
-rw-r--r--
montgomery64_2e150m5.json
400
log
plain
-rw-r--r--
montgomery64_2e152m17.json
401
log
plain
-rw-r--r--
montgomery64_2e158m15.json
401
log
plain
-rw-r--r--
montgomery64_2e165m25.json
401
log
plain
-rw-r--r--
montgomery64_2e166m5.json
400
log
plain
-rw-r--r--
montgomery64_2e171m19.json
401
log
plain
-rw-r--r--
montgomery64_2e174m17.json
401
log
plain
-rw-r--r--
montgomery64_2e174m3.json
400
log
plain
-rw-r--r--
montgomery64_2e189m25.json
401
log
plain
-rw-r--r--
montgomery64_2e190m11.json
401
log
plain
-rw-r--r--
montgomery64_2e191m19.json
401
log
plain
-rw-r--r--
montgomery64_2e192m2e64m1.json
407
log
plain
-rw-r--r--
montgomery64_2e194m33.json
401
log
plain
-rw-r--r--
montgomery64_2e196m15.json
401
log
plain
-rw-r--r--
montgomery64_2e198m17.json
401
log
plain
-rw-r--r--
montgomery64_2e205m45x2e198m1.json
411
log
plain
-rw-r--r--
montgomery64_2e206m5.json
400
log
plain
-rw-r--r--
montgomery64_2e212m29.json
401
log
plain
-rw-r--r--
montgomery64_2e213m3.json
400
log
plain
-rw-r--r--
montgomery64_2e216m2e108m1.json
408
log
plain
-rw-r--r--
montgomery64_2e221m3.json
400
log
plain
-rw-r--r--
montgomery64_2e222m117.json
402
log
plain
-rw-r--r--
montgomery64_2e224m2e96p1.json
408
log
plain
-rw-r--r--
montgomery64_2e226m5.json
400
log
plain
-rw-r--r--
montgomery64_2e230m27.json
401
log
plain
-rw-r--r--
montgomery64_2e235m15.json
401
log
plain
-rw-r--r--
montgomery64_2e243m9.json
400
log
plain
-rw-r--r--
montgomery64_2e251m9.json
400
log
plain
-rw-r--r--
montgomery64_2e254m127x2e240m1.json
412
log
plain
-rw-r--r--
montgomery64_2e255m19.json
402
log
plain
-rw-r--r--
montgomery64_2e255m2e4m2e1m1.json
412
log
plain
-rw-r--r--
montgomery64_2e255m765.json
402
log
plain
-rw-r--r--
montgomery64_2e256m189.json
402
log
plain
-rw-r--r--
montgomery64_2e256m2e224p2e192p2e96m1.json
424
log
plain
-rw-r--r--
montgomery64_2e256m2e32m977.json
410
log
plain
-rw-r--r--
montgomery64_2e256m88x2e240m1.json
411
log
plain
-rw-r--r--
montgomery64_2e266m3.json
400
log
plain
-rw-r--r--
montgomery64_2e285m9.json
400
log
plain
-rw-r--r--
montgomery64_2e291m19.json
401
log
plain
-rw-r--r--
montgomery64_2e321m9.json
400
log
plain
-rw-r--r--
montgomery64_2e322m2e161m1.json
408
log
plain
-rw-r--r--
montgomery64_2e336m17.json
401
log
plain
-rw-r--r--
montgomery64_2e336m3.json
400
log
plain
-rw-r--r--
montgomery64_2e338m15.json
401
log
plain
-rw-r--r--
montgomery64_2e369m25.json
401
log
plain
-rw-r--r--
montgomery64_2e379m19.json
401
log
plain
-rw-r--r--
montgomery64_2e382m105.json
402
log
plain
-rw-r--r--
montgomery64_2e383m187.json
402
log
plain
-rw-r--r--
montgomery64_2e383m31.json
401
log
plain
-rw-r--r--
montgomery64_2e383m421.json
402
log
plain
-rw-r--r--
montgomery64_2e384m2e128m2e96p2e32m1.json
423
log
plain
-rw-r--r--
montgomery64_2e384m317.json
402
log
plain
-rw-r--r--
montgomery64_2e384m5x2e368m1.json
410
log
plain
-rw-r--r--
montgomery64_2e384m79x2e376m1.json
411
log
plain
-rw-r--r--
montgomery64_2e389m21.json
401
log
plain
-rw-r--r--
montgomery64_2e401m31.json
401
log
plain
-rw-r--r--
montgomery64_2e413m21.json
401
log
plain
-rw-r--r--
montgomery64_2e414m17.json
401
log
plain
-rw-r--r--
montgomery64_2e416m2e208m1.json
408
log
plain
-rw-r--r--
montgomery64_2e444m17.json
401
log
plain
-rw-r--r--
montgomery64_2e448m2e224m1.json
409
log
plain
-rw-r--r--
montgomery64_2e450m2e225m1.json
408
log
plain
-rw-r--r--
montgomery64_2e452m3.json
400
log
plain
-rw-r--r--
montgomery64_2e468m17.json
401
log
plain
-rw-r--r--
montgomery64_2e480m2e240m1.json
409
log
plain
-rw-r--r--
montgomery64_2e488m17.json
401
log
plain
-rw-r--r--
montgomery64_2e489m21.json
401
log
plain
-rw-r--r--
montgomery64_2e495m31.json
401
log
plain
-rw-r--r--
montgomery64_2e510m290x2e496m1.json
412
log
plain
-rw-r--r--
montgomery64_2e511m187.json
402
log
plain
-rw-r--r--
montgomery64_2e511m481.json
402
log
plain
-rw-r--r--
montgomery64_2e512m491x2e496m1.json
412
log
plain
-rw-r--r--
montgomery64_2e512m569.json
402
log
plain
-rw-r--r--
montgomery64_2e521m1.json
401
log
plain
-rw-r--r--
nistp256_amd128.json
493
log
plain
-rw-r--r--
nistp256_amd64.json
491
log
plain
-rwxr-xr-x
remake_curves.sh
21307
log
plain
-rw-r--r--
solinas32_2e127m1.json
349
log
plain
-rw-r--r--
solinas32_2e129m25.json
345
log
plain
-rw-r--r--
solinas32_2e130m5.json
343
log
plain
-rw-r--r--
solinas32_2e137m13.json
347
log
plain
-rw-r--r--
solinas32_2e140m27.json
349
log
plain
-rw-r--r--
solinas32_2e141m9.json
344
log
plain
-rw-r--r--
solinas32_2e150m3.json
342
log
plain
-rw-r--r--
solinas32_2e150m5.json
342
log
plain
-rw-r--r--
solinas32_2e152m17.json
349
log
plain
-rw-r--r--
solinas32_2e158m15.json
349
log
plain
-rw-r--r--
solinas32_2e165m25.json
349
log
plain
-rw-r--r--
solinas32_2e166m5.json
350
log
plain
-rw-r--r--
solinas32_2e171m19.json
343
log
plain
-rw-r--r--
solinas32_2e174m17.json
349
log
plain
-rw-r--r--
solinas32_2e174m3.json
342
log
plain
-rw-r--r--
solinas32_2e189m25.json
343
log
plain
-rw-r--r--
solinas32_2e190m11.json
349
log
plain
-rw-r--r--
solinas32_2e191m19.json
346
log
plain
-rw-r--r--
solinas32_2e192m2e64m1.json
586
log
plain
-rw-r--r--
solinas32_2e194m33.json
346
log
plain
-rw-r--r--
solinas32_2e196m15.json
343
log
plain
-rw-r--r--
solinas32_2e198m17.json
343
log
plain
-rw-r--r--
solinas32_2e205m45x2e198m1.json
623
log
plain
-rw-r--r--
solinas32_2e206m5.json
349
log
plain
-rw-r--r--
solinas32_2e212m29.json
345
log
plain
-rw-r--r--
solinas32_2e213m3.json
345
log
plain
-rw-r--r--
solinas32_2e216m2e108m1.json
611
log
plain
-rw-r--r--
solinas32_2e221m3.json
345
log
plain
-rw-r--r--
solinas32_2e222m117.json
347
log
plain
-rw-r--r--
solinas32_2e224m2e96p1.json
587
log
plain
-rw-r--r--
solinas32_2e226m5.json
345
log
plain
-rw-r--r--
solinas32_2e230m27.json
344
log
plain
-rw-r--r--
solinas32_2e235m15.json
349
log
plain
-rw-r--r--
solinas32_2e243m9.json
342
log
plain
-rw-r--r--
solinas32_2e251m9.json
345
log
plain
-rw-r--r--
solinas32_2e254m127x2e240m1.json
647
log
plain
-rw-r--r--
solinas32_2e255m19.json
347
log
plain
-rw-r--r--
solinas32_2e255m2e4m2e1m1.json
627
log
plain
-rw-r--r--
solinas32_2e255m765.json
348
log
plain
-rw-r--r--
solinas32_2e256m189.json
351
log
plain
-rw-r--r--
solinas32_2e256m2e224p2e192p2e96m1.json
734
log
plain
-rw-r--r--
solinas32_2e256m2e32m977.json
659
log
plain
-rw-r--r--
solinas32_2e256m88x2e240m1.json
662
log
plain
-rw-r--r--
solinas32_2e266m3.json
349
log
plain
-rw-r--r--
solinas32_2e285m9.json
343
log
plain
-rw-r--r--
solinas32_2e291m19.json
347
log
plain
-rw-r--r--
solinas32_2e321m9.json
350
log
plain
-rw-r--r--
solinas32_2e322m2e161m1.json
707
log
plain
-rw-r--r--
solinas32_2e336m17.json
344
log
plain
-rw-r--r--
solinas32_2e336m3.json
343
log
plain
-rw-r--r--
solinas32_2e338m15.json
344
log
plain
-rw-r--r--
solinas32_2e369m25.json
351
log
plain
-rw-r--r--
solinas32_2e379m19.json
351
log
plain
-rw-r--r--
solinas32_2e382m105.json
347
log
plain
-rw-r--r--
solinas32_2e384m2e128m2e96p2e32m1.json
790
log
plain
-rw-r--r--
solinas32_2e384m317.json
351
log
plain
-rw-r--r--
solinas32_2e384m5x2e368m1.json
719
log
plain
-rw-r--r--
solinas32_2e384m79x2e376m1.json
720
log
plain
-rw-r--r--
solinas32_2e401m31.json
351
log
plain
-rw-r--r--
solinas32_2e414m17.json
344
log
plain
-rw-r--r--
solinas32_2e416m2e208m1.json
739
log
plain
-rw-r--r--
solinas32_2e444m17.json
346
log
plain
-rw-r--r--
solinas32_2e448m2e224m1.json
740
log
plain
-rw-r--r--
solinas32_2e450m2e225m1.json
723
log
plain
-rw-r--r--
solinas32_2e452m3.json
346
log
plain
-rw-r--r--
solinas32_2e468m17.json
344
log
plain
-rw-r--r--
solinas32_2e480m2e240m1.json
740
log
plain
-rw-r--r--
solinas32_2e488m17.json
350
log
plain
-rw-r--r--
solinas32_2e489m21.json
350
log
plain
-rw-r--r--
solinas32_2e495m31.json
351
log
plain
-rw-r--r--
solinas32_2e510m290x2e496m1.json
852
log
plain
-rw-r--r--
solinas32_2e511m187.json
348
log
plain
-rw-r--r--
solinas32_2e511m481.json
348
log
plain
-rw-r--r--
solinas32_2e512m491x2e496m1.json
855
log
plain
-rw-r--r--
solinas32_2e512m569.json
351
log
plain
-rw-r--r--
solinas32_2e521m1.json
351
log
plain
-rw-r--r--
solinas64_2e127m1.json
349
log
plain
-rw-r--r--
solinas64_2e129m25.json
343
log
plain
-rw-r--r--
solinas64_2e130m5.json
349
log
plain
-rw-r--r--
solinas64_2e137m13.json
346
log
plain
-rw-r--r--
solinas64_2e140m27.json
343
log
plain
-rw-r--r--
solinas64_2e141m9.json
342
log
plain
-rw-r--r--
solinas64_2e150m3.json
342
log
plain
-rw-r--r--
solinas64_2e150m5.json
342
log
plain
-rw-r--r--
solinas64_2e152m17.json
343
log
plain
-rw-r--r--
solinas64_2e158m15.json
345
log
plain
-rw-r--r--
solinas64_2e165m25.json
343
log
plain
-rw-r--r--
solinas64_2e166m5.json
348
log
plain
-rw-r--r--
solinas64_2e171m19.json
343
log
plain
-rw-r--r--
solinas64_2e174m17.json
343
log
plain
-rw-r--r--
solinas64_2e174m3.json
342
log
plain
-rw-r--r--
solinas64_2e189m25.json
346
log
plain
-rw-r--r--
solinas64_2e190m11.json
345
log
plain
-rw-r--r--
solinas64_2e191m19.json
345
log
plain
-rw-r--r--
solinas64_2e192m2e64m1.json
526
log
plain
-rw-r--r--
solinas64_2e194m33.json
345
log
plain
-rw-r--r--
solinas64_2e196m15.json
343
log
plain
-rw-r--r--
solinas64_2e198m17.json
345
log
plain
-rw-r--r--
solinas64_2e205m45x2e198m1.json
533
log
plain
-rw-r--r--
solinas64_2e206m5.json
344
log
plain
-rw-r--r--
solinas64_2e212m29.json
343
log
plain
-rw-r--r--
solinas64_2e213m3.json
345
log
plain
-rw-r--r--
solinas64_2e216m2e108m1.json
551
log
plain
-rw-r--r--
solinas64_2e221m3.json
345
log
plain
-rw-r--r--
solinas64_2e222m117.json
346
log
plain
-rw-r--r--
solinas64_2e224m2e96p1.json
527
log
plain
-rw-r--r--
solinas64_2e226m5.json
344
log
plain
-rw-r--r--
solinas64_2e230m27.json
345
log
plain
-rw-r--r--
solinas64_2e235m15.json
343
log
plain
-rw-r--r--
solinas64_2e243m9.json
344
log
plain
-rw-r--r--
solinas64_2e251m9.json
344
log
plain
-rw-r--r--
solinas64_2e254m127x2e240m1.json
567
log
plain
-rw-r--r--
solinas64_2e255m19.json
344
log
plain
-rw-r--r--
solinas64_2e255m2e4m2e1m1.json
561
log
plain
-rw-r--r--
solinas64_2e255m765.json
344
log
plain
-rw-r--r--
solinas64_2e256m189.json
346
log
plain
-rw-r--r--
solinas64_2e256m2e224p2e192p2e96m1.json
620
log
plain
-rw-r--r--
solinas64_2e256m2e32m977.json
531
log
plain
-rw-r--r--
solinas64_2e256m88x2e240m1.json
547
log
plain
-rw-r--r--
solinas64_2e266m3.json
344
log
plain
-rw-r--r--
solinas64_2e285m9.json
342
log
plain
-rw-r--r--
solinas64_2e291m19.json
345
log
plain
-rw-r--r--
solinas64_2e321m9.json
344
log
plain
-rw-r--r--
solinas64_2e322m2e161m1.json
596
log
plain
-rw-r--r--
solinas64_2e336m17.json
343
log
plain
-rw-r--r--
solinas64_2e336m3.json
342
log
plain
-rw-r--r--
solinas64_2e338m15.json
349
log
plain
-rw-r--r--
solinas64_2e369m25.json
347
log
plain
-rw-r--r--
solinas64_2e379m19.json
349
log
plain
-rw-r--r--
solinas64_2e382m105.json
347
log
plain
-rw-r--r--
solinas64_2e384m2e128m2e96p2e32m1.json
662
log
plain
-rw-r--r--
solinas64_2e384m317.json
344
log
plain
-rw-r--r--
solinas64_2e384m5x2e368m1.json
589
log
plain
-rw-r--r--
solinas64_2e384m79x2e376m1.json
590
log
plain
-rw-r--r--
solinas64_2e401m31.json
347
log
plain
-rw-r--r--
solinas64_2e413m21.json
343
log
plain
-rw-r--r--
solinas64_2e414m17.json
343
log
plain
-rw-r--r--
solinas64_2e416m2e208m1.json
611
log
plain
-rw-r--r--
solinas64_2e444m17.json
345
log
plain
-rw-r--r--
solinas64_2e448m2e224m1.json
612
log
plain
-rw-r--r--
solinas64_2e450m2e225m1.json
614
log
plain
-rw-r--r--
solinas64_2e452m3.json
344
log
plain
-rw-r--r--
solinas64_2e468m17.json
345
log
plain
-rw-r--r--
solinas64_2e480m2e240m1.json
612
log
plain
-rw-r--r--
solinas64_2e488m17.json
346
log
plain
-rw-r--r--
solinas64_2e489m21.json
349
log
plain
-rw-r--r--
solinas64_2e495m31.json
343
log
plain
-rw-r--r--
solinas64_2e510m290x2e496m1.json
622
log
plain
-rw-r--r--
solinas64_2e511m187.json
347
log
plain
-rw-r--r--
solinas64_2e511m481.json
347
log
plain
-rw-r--r--
solinas64_2e512m491x2e496m1.json
624
log
plain
-rw-r--r--
solinas64_2e512m569.json
347
log
plain
-rw-r--r--
solinas64_2e521m1.json
346
log
plain
-rw-r--r--
x2448_c64_karatsuba.json
315
log
plain
-rw-r--r--
x25519_c32.json
12078
log
plain
-rw-r--r--
x25519_c64.json
2613
log
plain
-rw-r--r--
x2555_130.json
338
log
plain