Specific « src - fiat-crypto - fast, formally verified cryptography

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