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_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_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_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_2e511m187.json
403
log
plain
-rw-r--r--
montgomery32_2e511m481.json
403
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_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_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_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_2e511m187.json
402
log
plain
-rw-r--r--
montgomery64_2e511m481.json
402
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
19455
log
plain
-rw-r--r--
solinas32_2e127m1.json
345
log
plain
-rw-r--r--
solinas32_2e129m25.json
345
log
plain
-rw-r--r--
solinas32_2e130m5.json
345
log
plain
-rw-r--r--
solinas32_2e137m13.json
345
log
plain
-rw-r--r--
solinas32_2e140m27.json
345
log
plain
-rw-r--r--
solinas32_2e141m9.json
344
log
plain
-rw-r--r--
solinas32_2e150m3.json
344
log
plain
-rw-r--r--
solinas32_2e150m5.json
345
log
plain
-rw-r--r--
solinas32_2e152m17.json
345
log
plain
-rw-r--r--
solinas32_2e158m15.json
346
log
plain
-rw-r--r--
solinas32_2e165m25.json
345
log
plain
-rw-r--r--
solinas32_2e166m5.json
345
log
plain
-rw-r--r--
solinas32_2e171m19.json
345
log
plain
-rw-r--r--
solinas32_2e174m17.json
345
log
plain
-rw-r--r--
solinas32_2e174m3.json
344
log
plain
-rw-r--r--
solinas32_2e189m25.json
345
log
plain
-rw-r--r--
solinas32_2e190m11.json
345
log
plain
-rw-r--r--
solinas32_2e191m19.json
346
log
plain
-rw-r--r--
solinas32_2e192m2e64m1.json
351
log
plain
-rw-r--r--
solinas32_2e194m33.json
346
log
plain
-rw-r--r--
solinas32_2e196m15.json
345
log
plain
-rw-r--r--
solinas32_2e198m17.json
345
log
plain
-rw-r--r--
solinas32_2e205m45x2e198m1.json
356
log
plain
-rw-r--r--
solinas32_2e206m5.json
345
log
plain
-rw-r--r--
solinas32_2e212m29.json
346
log
plain
-rw-r--r--
solinas32_2e213m3.json
345
log
plain
-rw-r--r--
solinas32_2e216m2e108m1.json
376
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
352
log
plain
-rw-r--r--
solinas32_2e226m5.json
344
log
plain
-rw-r--r--
solinas32_2e230m27.json
346
log
plain
-rw-r--r--
solinas32_2e235m15.json
346
log
plain
-rw-r--r--
solinas32_2e243m9.json
345
log
plain
-rw-r--r--
solinas32_2e251m9.json
345
log
plain
-rw-r--r--
solinas32_2e255m19.json
347
log
plain
-rw-r--r--
solinas32_2e255m2e4m2e1m1.json
356
log
plain
-rw-r--r--
solinas32_2e255m765.json
347
log
plain
-rw-r--r--
solinas32_2e256m189.json
347
log
plain
-rw-r--r--
solinas32_2e256m2e224p2e192p2e96m1.json
369
log
plain
-rw-r--r--
solinas32_2e256m2e32m977.json
355
log
plain
-rw-r--r--
solinas32_2e266m3.json
345
log
plain
-rw-r--r--
solinas32_2e285m9.json
345
log
plain
-rw-r--r--
solinas32_2e291m19.json
346
log
plain
-rw-r--r--
solinas32_2e321m9.json
345
log
plain
-rw-r--r--
solinas32_2e322m2e161m1.json
377
log
plain
-rw-r--r--
solinas32_2e336m17.json
346
log
plain
-rw-r--r--
solinas32_2e336m3.json
345
log
plain
-rw-r--r--
solinas32_2e338m15.json
346
log
plain
-rw-r--r--
solinas32_2e369m25.json
346
log
plain
-rw-r--r--
solinas32_2e379m19.json
346
log
plain
-rw-r--r--
solinas32_2e382m105.json
347
log
plain
-rw-r--r--
solinas32_2e384m2e128m2e96p2e32m1.json
368
log
plain
-rw-r--r--
solinas32_2e384m317.json
347
log
plain
-rw-r--r--
solinas32_2e401m31.json
346
log
plain
-rw-r--r--
solinas32_2e413m21.json
346
log
plain
-rw-r--r--
solinas32_2e414m17.json
346
log
plain
-rw-r--r--
solinas32_2e416m2e208m1.json
377
log
plain
-rw-r--r--
solinas32_2e444m17.json
346
log
plain
-rw-r--r--
solinas32_2e448m2e224m1.json
378
log
plain
-rw-r--r--
solinas32_2e450m2e225m1.json
377
log
plain
-rw-r--r--
solinas32_2e452m3.json
345
log
plain
-rw-r--r--
solinas32_2e468m17.json
346
log
plain
-rw-r--r--
solinas32_2e480m2e240m1.json
378
log
plain
-rw-r--r--
solinas32_2e488m17.json
346
log
plain
-rw-r--r--
solinas32_2e489m21.json
346
log
plain
-rw-r--r--
solinas32_2e495m31.json
346
log
plain
-rw-r--r--
solinas32_2e511m187.json
347
log
plain
-rw-r--r--
solinas32_2e511m481.json
347
log
plain
-rw-r--r--
solinas32_2e512m569.json
347
log
plain
-rw-r--r--
solinas32_2e521m1.json
346
log
plain
-rw-r--r--
solinas64_2e127m1.json
345
log
plain
-rw-r--r--
solinas64_2e129m25.json
345
log
plain
-rw-r--r--
solinas64_2e130m5.json
345
log
plain
-rw-r--r--
solinas64_2e137m13.json
345
log
plain
-rw-r--r--
solinas64_2e140m27.json
345
log
plain
-rw-r--r--
solinas64_2e141m9.json
344
log
plain
-rw-r--r--
solinas64_2e150m3.json
344
log
plain
-rw-r--r--
solinas64_2e150m5.json
344
log
plain
-rw-r--r--
solinas64_2e152m17.json
345
log
plain
-rw-r--r--
solinas64_2e158m15.json
345
log
plain
-rw-r--r--
solinas64_2e165m25.json
345
log
plain
-rw-r--r--
solinas64_2e166m5.json
344
log
plain
-rw-r--r--
solinas64_2e171m19.json
345
log
plain
-rw-r--r--
solinas64_2e174m17.json
345
log
plain
-rw-r--r--
solinas64_2e174m3.json
344
log
plain
-rw-r--r--
solinas64_2e189m25.json
345
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
351
log
plain
-rw-r--r--
solinas64_2e194m33.json
345
log
plain
-rw-r--r--
solinas64_2e196m15.json
345
log
plain
-rw-r--r--
solinas64_2e198m17.json
345
log
plain
-rw-r--r--
solinas64_2e205m45x2e198m1.json
355
log
plain
-rw-r--r--
solinas64_2e206m5.json
344
log
plain
-rw-r--r--
solinas64_2e212m29.json
345
log
plain
-rw-r--r--
solinas64_2e213m3.json
344
log
plain
-rw-r--r--
solinas64_2e216m2e108m1.json
376
log
plain
-rw-r--r--
solinas64_2e221m3.json
344
log
plain
-rw-r--r--
solinas64_2e222m117.json
346
log
plain
-rw-r--r--
solinas64_2e224m2e96p1.json
352
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
345
log
plain
-rw-r--r--
solinas64_2e243m9.json
344
log
plain
-rw-r--r--
solinas64_2e251m9.json
345
log
plain
-rw-r--r--
solinas64_2e255m19.json
346
log
plain
-rw-r--r--
solinas64_2e255m2e4m2e1m1.json
356
log
plain
-rw-r--r--
solinas64_2e255m765.json
346
log
plain
-rw-r--r--
solinas64_2e256m189.json
346
log
plain
-rw-r--r--
solinas64_2e256m2e224p2e192p2e96m1.json
368
log
plain
-rw-r--r--
solinas64_2e256m2e32m977.json
354
log
plain
-rw-r--r--
solinas64_2e266m3.json
344
log
plain
-rw-r--r--
solinas64_2e285m9.json
344
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
376
log
plain
-rw-r--r--
solinas64_2e336m17.json
345
log
plain
-rw-r--r--
solinas64_2e336m3.json
344
log
plain
-rw-r--r--
solinas64_2e338m15.json
345
log
plain
-rw-r--r--
solinas64_2e369m25.json
345
log
plain
-rw-r--r--
solinas64_2e379m19.json
345
log
plain
-rw-r--r--
solinas64_2e382m105.json
347
log
plain
-rw-r--r--
solinas64_2e384m2e128m2e96p2e32m1.json
367
log
plain
-rw-r--r--
solinas64_2e384m317.json
346
log
plain
-rw-r--r--
solinas64_2e401m31.json
345
log
plain
-rw-r--r--
solinas64_2e413m21.json
346
log
plain
-rw-r--r--
solinas64_2e414m17.json
345
log
plain
-rw-r--r--
solinas64_2e416m2e208m1.json
376
log
plain
-rw-r--r--
solinas64_2e444m17.json
345
log
plain
-rw-r--r--
solinas64_2e448m2e224m1.json
377
log
plain
-rw-r--r--
solinas64_2e450m2e225m1.json
376
log
plain
-rw-r--r--
solinas64_2e452m3.json
345
log
plain
-rw-r--r--
solinas64_2e468m17.json
345
log
plain
-rw-r--r--
solinas64_2e480m2e240m1.json
377
log
plain
-rw-r--r--
solinas64_2e488m17.json
346
log
plain
-rw-r--r--
solinas64_2e489m21.json
346
log
plain
-rw-r--r--
solinas64_2e495m31.json
346
log
plain
-rw-r--r--
solinas64_2e511m187.json
347
log
plain
-rw-r--r--
solinas64_2e511m481.json
347
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
12049
log
plain
-rw-r--r--
x25519_c64.json
2584
log
plain
-rw-r--r--
x2555_130.json
338
log
plain