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

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