index
:
fiat-crypto
master
fast, formally verified cryptography
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
Specific
Mode
Name
Size
d---------
CurveParameters
17505
log
plain
d---------
Framework
795
log
plain
-rw-r--r--
IntegrationTestSquareDisplayHandPostLinearizedCSE.log
2677
log
plain
d---------
NISTP256
107
log
plain
d---------
X2448
/
Karatsuba
/
C64
36
log
plain
d---------
X25519
152
log
plain
d---------
X2555
/
C128
31
log
plain
d---------
montgomery32_2e127m1
1023
log
plain
d---------
montgomery32_2e129m25
1023
log
plain
d---------
montgomery32_2e130m5
1023
log
plain
d---------
montgomery32_2e137m13
1023
log
plain
d---------
montgomery32_2e140m27
1023
log
plain
d---------
montgomery32_2e141m9
1023
log
plain
d---------
montgomery32_2e150m3
1023
log
plain
d---------
montgomery32_2e150m5
1023
log
plain
d---------
montgomery32_2e152m17
1023
log
plain
d---------
montgomery32_2e158m15
1023
log
plain
d---------
montgomery32_2e165m25
1023
log
plain
d---------
montgomery32_2e166m5
1023
log
plain
d---------
montgomery32_2e171m19
1023
log
plain
d---------
montgomery32_2e174m17
1023
log
plain
d---------
montgomery32_2e174m3
1023
log
plain
d---------
montgomery32_2e189m25
1023
log
plain
d---------
montgomery32_2e190m11
1023
log
plain
d---------
montgomery32_2e191m19
1023
log
plain
d---------
montgomery32_2e192m2e64m1
1023
log
plain
d---------
montgomery32_2e194m33
874
log
plain
d---------
montgomery32_2e196m15
918
log
plain
d---------
montgomery32_2e198m17
918
log
plain
d---------
montgomery32_2e205m45x2e198m1
918
log
plain
d---------
montgomery32_2e206m5
918
log
plain
d---------
montgomery32_2e212m29
918
log
plain
d---------
montgomery32_2e213m3
918
log
plain
d---------
montgomery32_2e216m2e108m1
918
log
plain
d---------
montgomery32_2e221m3
918
log
plain
d---------
montgomery32_2e222m117
918
log
plain
d---------
montgomery32_2e224m2e96p1
953
log
plain
d---------
montgomery32_2e226m5
786
log
plain
d---------
montgomery32_2e230m27
786
log
plain
d---------
montgomery32_2e235m15
786
log
plain
d---------
montgomery32_2e243m9
786
log
plain
d---------
montgomery32_2e251m9
786
log
plain
d---------
montgomery32_2e254m127x2e240m1
874
log
plain
d---------
montgomery32_2e255m19
786
log
plain
d---------
montgomery32_2e255m2e4m2e1m1
874
log
plain
d---------
montgomery32_2e255m765
786
log
plain
d---------
montgomery32_2e256m189
786
log
plain
d---------
montgomery32_2e256m2e224p2e192p2e96m1
874
log
plain
d---------
montgomery32_2e256m2e32m977
874
log
plain
d---------
montgomery32_2e256m88x2e240m1
874
log
plain
d---------
montgomery32_2e266m3
786
log
plain
d---------
montgomery32_2e285m9
786
log
plain
d---------
montgomery32_2e291m19
786
log
plain
d---------
montgomery32_2e321m9
786
log
plain
d---------
montgomery32_2e322m2e161m1
786
log
plain
d---------
montgomery32_2e336m17
786
log
plain
d---------
montgomery32_2e336m3
786
log
plain
d---------
montgomery32_2e338m15
786
log
plain
d---------
montgomery32_2e369m25
786
log
plain
d---------
montgomery32_2e379m19
786
log
plain
d---------
montgomery32_2e382m105
786
log
plain
d---------
montgomery32_2e383m187
786
log
plain
d---------
montgomery32_2e383m31
786
log
plain
d---------
montgomery32_2e383m421
786
log
plain
d---------
montgomery32_2e384m2e128m2e96p2e32m1
786
log
plain
d---------
montgomery32_2e384m317
786
log
plain
d---------
montgomery32_2e384m5x2e368m1
786
log
plain
d---------
montgomery32_2e384m79x2e376m1
786
log
plain
d---------
montgomery32_2e389m21
786
log
plain
d---------
montgomery32_2e401m31
786
log
plain
d---------
montgomery32_2e413m21
786
log
plain
d---------
montgomery32_2e414m17
786
log
plain
d---------
montgomery32_2e416m2e208m1
786
log
plain
d---------
montgomery32_2e444m17
786
log
plain
d---------
montgomery32_2e448m2e224m1
786
log
plain
d---------
montgomery32_2e450m2e225m1
786
log
plain
d---------
montgomery32_2e452m3
786
log
plain
d---------
montgomery32_2e468m17
786
log
plain
d---------
montgomery32_2e480m2e240m1
786
log
plain
d---------
montgomery32_2e488m17
786
log
plain
d---------
montgomery32_2e489m21
786
log
plain
d---------
montgomery32_2e495m31
786
log
plain
d---------
montgomery32_2e510m290x2e496m1
786
log
plain
d---------
montgomery32_2e511m187
786
log
plain
d---------
montgomery32_2e511m481
786
log
plain
d---------
montgomery32_2e512m491x2e496m1
786
log
plain
d---------
montgomery32_2e512m569
786
log
plain
d---------
montgomery32_2e521m1
786
log
plain
d---------
montgomery64_2e127m1
1023
log
plain
d---------
montgomery64_2e129m25
1023
log
plain
d---------
montgomery64_2e130m5
1023
log
plain
d---------
montgomery64_2e137m13
1023
log
plain
d---------
montgomery64_2e140m27
1023
log
plain
d---------
montgomery64_2e141m9
1023
log
plain
d---------
montgomery64_2e150m3
1023
log
plain
d---------
montgomery64_2e150m5
1023
log
plain
d---------
montgomery64_2e152m17
1023
log
plain
d---------
montgomery64_2e158m15
1023
log
plain
d---------
montgomery64_2e165m25
1023
log
plain
d---------
montgomery64_2e166m5
1023
log
plain
d---------
montgomery64_2e171m19
1023
log
plain
d---------
montgomery64_2e174m17
1023
log
plain
d---------
montgomery64_2e174m3
1023
log
plain
d---------
montgomery64_2e189m25
1023
log
plain
d---------
montgomery64_2e190m11
1023
log
plain
d---------
montgomery64_2e191m19
1023
log
plain
d---------
montgomery64_2e192m2e64m1
1023
log
plain
d---------
montgomery64_2e194m33
1023
log
plain
d---------
montgomery64_2e196m15
1023
log
plain
d---------
montgomery64_2e198m17
1023
log
plain
d---------
montgomery64_2e205m45x2e198m1
1023
log
plain
d---------
montgomery64_2e206m5
1023
log
plain
d---------
montgomery64_2e212m29
1023
log
plain
d---------
montgomery64_2e213m3
1023
log
plain
d---------
montgomery64_2e216m2e108m1
1023
log
plain
d---------
montgomery64_2e221m3
1023
log
plain
d---------
montgomery64_2e222m117
1023
log
plain
d---------
montgomery64_2e224m2e96p1
1023
log
plain
d---------
montgomery64_2e226m5
1023
log
plain
d---------
montgomery64_2e230m27
1023
log
plain
d---------
montgomery64_2e235m15
1023
log
plain
d---------
montgomery64_2e243m9
1023
log
plain
d---------
montgomery64_2e251m9
1023
log
plain
d---------
montgomery64_2e254m127x2e240m1
1023
log
plain
d---------
montgomery64_2e255m19
1023
log
plain
d---------
montgomery64_2e255m2e4m2e1m1
1023
log
plain
d---------
montgomery64_2e255m765
1023
log
plain
d---------
montgomery64_2e256m189
1023
log
plain
d---------
montgomery64_2e256m2e224p2e192p2e96m1
1023
log
plain
d---------
montgomery64_2e256m2e32m977
1023
log
plain
d---------
montgomery64_2e256m88x2e240m1
1023
log
plain
d---------
montgomery64_2e266m3
1023
log
plain
d---------
montgomery64_2e285m9
1023
log
plain
d---------
montgomery64_2e291m19
1023
log
plain
d---------
montgomery64_2e321m9
1023
log
plain
d---------
montgomery64_2e322m2e161m1
1023
log
plain
d---------
montgomery64_2e336m17
1023
log
plain
d---------
montgomery64_2e336m3
1023
log
plain
d---------
montgomery64_2e338m15
1023
log
plain
d---------
montgomery64_2e369m25
1023
log
plain
d---------
montgomery64_2e379m19
1023
log
plain
d---------
montgomery64_2e382m105
1023
log
plain
d---------
montgomery64_2e383m187
1023
log
plain
d---------
montgomery64_2e383m31
1023
log
plain
d---------
montgomery64_2e383m421
1023
log
plain
d---------
montgomery64_2e384m2e128m2e96p2e32m1
1023
log
plain
d---------
montgomery64_2e384m317
1023
log
plain
d---------
montgomery64_2e384m5x2e368m1
1023
log
plain
d---------
montgomery64_2e384m79x2e376m1
1023
log
plain
d---------
montgomery64_2e389m21
918
log
plain
d---------
montgomery64_2e401m31
918
log
plain
d---------
montgomery64_2e413m21
874
log
plain
d---------
montgomery64_2e414m17
918
log
plain
d---------
montgomery64_2e416m2e208m1
918
log
plain
d---------
montgomery64_2e444m17
918
log
plain
d---------
montgomery64_2e448m2e224m1
918
log
plain
d---------
montgomery64_2e450m2e225m1
874
log
plain
d---------
montgomery64_2e452m3
786
log
plain
d---------
montgomery64_2e468m17
874
log
plain
d---------
montgomery64_2e480m2e240m1
874
log
plain
d---------
montgomery64_2e488m17
874
log
plain
d---------
montgomery64_2e489m21
874
log
plain
d---------
montgomery64_2e495m31
874
log
plain
d---------
montgomery64_2e510m290x2e496m1
830
log
plain
d---------
montgomery64_2e511m187
874
log
plain
d---------
montgomery64_2e511m481
874
log
plain
d---------
montgomery64_2e512m491x2e496m1
830
log
plain
d---------
montgomery64_2e512m569
874
log
plain
d---------
montgomery64_2e521m1
786
log
plain
d---------
solinas32_2e127m1
1005
log
plain
d---------
solinas32_2e129m25
1005
log
plain
d---------
solinas32_2e130m5
1005
log
plain
d---------
solinas32_2e137m13
1005
log
plain
d---------
solinas32_2e140m27
1005
log
plain
d---------
solinas32_2e141m9
1005
log
plain
d---------
solinas32_2e150m3
1005
log
plain
d---------
solinas32_2e150m5
1005
log
plain
d---------
solinas32_2e152m17
1005
log
plain
d---------
solinas32_2e158m15
1005
log
plain
d---------
solinas32_2e165m25
1005
log
plain
d---------
solinas32_2e166m5
1005
log
plain
d---------
solinas32_2e171m19
1005
log
plain
d---------
solinas32_2e174m17
1005
log
plain
d---------
solinas32_2e174m3
1005
log
plain
d---------
solinas32_2e189m25
1005
log
plain
d---------
solinas32_2e190m11
1005
log
plain
d---------
solinas32_2e191m19
1005
log
plain
d---------
solinas32_2e192m2e64m1
1005
log
plain
d---------
solinas32_2e194m33
1005
log
plain
d---------
solinas32_2e196m15
1005
log
plain
d---------
solinas32_2e198m17
1005
log
plain
d---------
solinas32_2e205m45x2e198m1
841
log
plain
d---------
solinas32_2e206m5
1005
log
plain
d---------
solinas32_2e212m29
1005
log
plain
d---------
solinas32_2e213m3
1005
log
plain
d---------
solinas32_2e216m2e108m1
1005
log
plain
d---------
solinas32_2e221m3
1005
log
plain
d---------
solinas32_2e222m117
1005
log
plain
d---------
solinas32_2e224m2e96p1
762
log
plain
d---------
solinas32_2e226m5
1005
log
plain
d---------
solinas32_2e230m27
1005
log
plain
d---------
solinas32_2e235m15
1005
log
plain
d---------
solinas32_2e243m9
1005
log
plain
d---------
solinas32_2e251m9
1005
log
plain
d---------
solinas32_2e254m127x2e240m1
841
log
plain
d---------
solinas32_2e255m19
1005
log
plain
d---------
solinas32_2e255m2e4m2e1m1
1005
log
plain
d---------
solinas32_2e255m765
1005
log
plain
d---------
solinas32_2e256m189
1005
log
plain
d---------
solinas32_2e256m2e224p2e192p2e96m1
762
log
plain
d---------
solinas32_2e256m2e32m977
1005
log
plain
d---------
solinas32_2e256m88x2e240m1
841
log
plain
d---------
solinas32_2e266m3
1005
log
plain
d---------
solinas32_2e285m9
1005
log
plain
d---------
solinas32_2e291m19
1005
log
plain
d---------
solinas32_2e321m9
1005
log
plain
d---------
solinas32_2e322m2e161m1
1005
log
plain
d---------
solinas32_2e336m17
1005
log
plain
d---------
solinas32_2e336m3
1005
log
plain
d---------
solinas32_2e338m15
1005
log
plain
d---------
solinas32_2e369m25
1005
log
plain
d---------
solinas32_2e379m19
847
log
plain
d---------
solinas32_2e382m105
847
log
plain
d---------
solinas32_2e384m2e128m2e96p2e32m1
762
log
plain
d---------
solinas32_2e384m317
847
log
plain
d---------
solinas32_2e384m5x2e368m1
841
log
plain
d---------
solinas32_2e384m79x2e376m1
841
log
plain
d---------
solinas32_2e401m31
1005
log
plain
d---------
solinas32_2e414m17
847
log
plain
d---------
solinas32_2e416m2e208m1
1005
log
plain
d---------
solinas32_2e444m17
847
log
plain
d---------
solinas32_2e448m2e224m1
1005
log
plain
d---------
solinas32_2e450m2e225m1
841
log
plain
d---------
solinas32_2e452m3
1005
log
plain
d---------
solinas32_2e468m17
847
log
plain
d---------
solinas32_2e480m2e240m1
1005
log
plain
d---------
solinas32_2e488m17
768
log
plain
d---------
solinas32_2e489m21
683
log
plain
d---------
solinas32_2e495m31
847
log
plain
d---------
solinas32_2e510m290x2e496m1
683
log
plain
d---------
solinas32_2e511m187
683
log
plain
d---------
solinas32_2e511m481
683
log
plain
d---------
solinas32_2e512m491x2e496m1
683
log
plain
d---------
solinas32_2e512m569
768
log
plain
d---------
solinas32_2e521m1
847
log
plain
d---------
solinas64_2e127m1
1005
log
plain
d---------
solinas64_2e129m25
1005
log
plain
d---------
solinas64_2e130m5
1005
log
plain
d---------
solinas64_2e137m13
1005
log
plain
d---------
solinas64_2e140m27
1005
log
plain
d---------
solinas64_2e141m9
1005
log
plain
d---------
solinas64_2e150m3
1005
log
plain
d---------
solinas64_2e150m5
1005
log
plain
d---------
solinas64_2e152m17
1005
log
plain
d---------
solinas64_2e158m15
1005
log
plain
d---------
solinas64_2e165m25
1005
log
plain
d---------
solinas64_2e166m5
1005
log
plain
d---------
solinas64_2e171m19
1005
log
plain
d---------
solinas64_2e174m17
1005
log
plain
d---------
solinas64_2e174m3
1005
log
plain
d---------
solinas64_2e189m25
1005
log
plain
d---------
solinas64_2e190m11
1005
log
plain
d---------
solinas64_2e191m19
1005
log
plain
d---------
solinas64_2e192m2e64m1
1005
log
plain
d---------
solinas64_2e194m33
1005
log
plain
d---------
solinas64_2e196m15
1005
log
plain
d---------
solinas64_2e198m17
1005
log
plain
d---------
solinas64_2e205m45x2e198m1
841
log
plain
d---------
solinas64_2e206m5
1005
log
plain
d---------
solinas64_2e212m29
1005
log
plain
d---------
solinas64_2e213m3
1005
log
plain
d---------
solinas64_2e216m2e108m1
1005
log
plain
d---------
solinas64_2e221m3
1005
log
plain
d---------
solinas64_2e222m117
1005
log
plain
d---------
solinas64_2e224m2e96p1
762
log
plain
d---------
solinas64_2e226m5
1005
log
plain
d---------
solinas64_2e230m27
1005
log
plain
d---------
solinas64_2e235m15
1005
log
plain
d---------
solinas64_2e243m9
1005
log
plain
d---------
solinas64_2e251m9
1005
log
plain
d---------
solinas64_2e254m127x2e240m1
841
log
plain
d---------
solinas64_2e255m19
1005
log
plain
d---------
solinas64_2e255m2e4m2e1m1
1005
log
plain
d---------
solinas64_2e255m765
1005
log
plain
d---------
solinas64_2e256m189
1005
log
plain
d---------
solinas64_2e256m2e224p2e192p2e96m1
762
log
plain
d---------
solinas64_2e256m2e32m977
1005
log
plain
d---------
solinas64_2e256m88x2e240m1
841
log
plain
d---------
solinas64_2e266m3
1005
log
plain
d---------
solinas64_2e285m9
1005
log
plain
d---------
solinas64_2e291m19
1005
log
plain
d---------
solinas64_2e321m9
1005
log
plain
d---------
solinas64_2e322m2e161m1
841
log
plain
d---------
solinas64_2e336m17
1005
log
plain
d---------
solinas64_2e336m3
1005
log
plain
d---------
solinas64_2e338m15
1005
log
plain
d---------
solinas64_2e369m25
1005
log
plain
d---------
solinas64_2e379m19
1005
log
plain
d---------
solinas64_2e382m105
1005
log
plain
d---------
solinas64_2e384m2e128m2e96p2e32m1
762
log
plain
d---------
solinas64_2e384m317
1005
log
plain
d---------
solinas64_2e384m5x2e368m1
841
log
plain
d---------
solinas64_2e384m79x2e376m1
841
log
plain
d---------
solinas64_2e401m31
1005
log
plain
d---------
solinas64_2e413m21
1005
log
plain
d---------
solinas64_2e414m17
1005
log
plain
d---------
solinas64_2e416m2e208m1
1005
log
plain
d---------
solinas64_2e444m17
1005
log
plain
d---------
solinas64_2e448m2e224m1
1005
log
plain
d---------
solinas64_2e450m2e225m1
1005
log
plain
d---------
solinas64_2e452m3
1005
log
plain
d---------
solinas64_2e468m17
1005
log
plain
d---------
solinas64_2e480m2e240m1
1005
log
plain
d---------
solinas64_2e488m17
1005
log
plain
d---------
solinas64_2e489m21
1005
log
plain
d---------
solinas64_2e495m31
1005
log
plain
d---------
solinas64_2e510m290x2e496m1
841
log
plain
d---------
solinas64_2e511m187
1005
log
plain
d---------
solinas64_2e511m481
1005
log
plain
d---------
solinas64_2e512m491x2e496m1
841
log
plain
d---------
solinas64_2e512m569
1005
log
plain
d---------
solinas64_2e521m1
1005
log
plain