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	1005	log plain
d---------	solinas32_2e129m25	1005	log plain
d---------	solinas32_2e130m5	1005	log plain
d---------	solinas32_2e137m13	847	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	847	log plain
d---------	solinas32_2e166m5	847	log plain
d---------	solinas32_2e171m19	847	log plain
d---------	solinas32_2e174m17	847	log plain
d---------	solinas32_2e174m3	1005	log plain
d---------	solinas32_2e189m25	1005	log plain
d---------	solinas32_2e190m11	1005	log plain
d---------	solinas32_2e191m19	847	log plain
d---------	solinas32_2e192m2e64m1	847	log plain
d---------	solinas32_2e194m33	847	log plain
d---------	solinas32_2e196m15	1005	log plain
d---------	solinas32_2e198m17	847	log plain
d---------	solinas32_2e205m45x2e198m1	683	log plain
d---------	solinas32_2e206m5	847	log plain
d---------	solinas32_2e212m29	847	log plain
d---------	solinas32_2e213m3	847	log plain
d---------	solinas32_2e216m2e108m1	847	log plain
d---------	solinas32_2e221m3	847	log plain
d---------	solinas32_2e222m117	847	log plain
d---------	solinas32_2e224m2e96p1	683	log plain
d---------	solinas32_2e226m5	847	log plain
d---------	solinas32_2e230m27	847	log plain
d---------	solinas32_2e235m15	847	log plain
d---------	solinas32_2e243m9	847	log plain
d---------	solinas32_2e251m9	847	log plain
d---------	solinas32_2e254m127x2e240m1	683	log plain
d---------	solinas32_2e255m19	847	log plain
d---------	solinas32_2e255m2e4m2e1m1	847	log plain
d---------	solinas32_2e255m765	847	log plain
d---------	solinas32_2e256m189	847	log plain
d---------	solinas32_2e256m2e224p2e192p2e96m1	683	log plain
d---------	solinas32_2e256m2e32m977	847	log plain
d---------	solinas32_2e256m88x2e240m1	683	log plain
d---------	solinas32_2e266m3	847	log plain
d---------	solinas32_2e285m9	847	log plain
d---------	solinas32_2e291m19	847	log plain
d---------	solinas32_2e321m9	847	log plain
d---------	solinas32_2e322m2e161m1	847	log plain
d---------	solinas32_2e336m17	847	log plain
d---------	solinas32_2e336m3	847	log plain
d---------	solinas32_2e338m15	847	log plain
d---------	solinas32_2e369m25	847	log plain
d---------	solinas32_2e379m19	847	log plain
d---------	solinas32_2e382m105	847	log plain
d---------	solinas32_2e384m2e128m2e96p2e32m1	683	log plain
d---------	solinas32_2e384m317	847	log plain
d---------	solinas32_2e384m5x2e368m1	683	log plain
d---------	solinas32_2e384m79x2e376m1	683	log plain
d---------	solinas32_2e401m31	847	log plain
d---------	solinas32_2e414m17	847	log plain
d---------	solinas32_2e416m2e208m1	847	log plain
d---------	solinas32_2e444m17	847	log plain
d---------	solinas32_2e448m2e224m1	847	log plain
d---------	solinas32_2e450m2e225m1	683	log plain
d---------	solinas32_2e452m3	847	log plain
d---------	solinas32_2e468m17	847	log plain
d---------	solinas32_2e480m2e240m1	847	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	847	log plain
d---------	solinas64_2e379m19	1005	log plain
d---------	solinas64_2e382m105	847	log plain
d---------	solinas64_2e384m2e128m2e96p2e32m1	683	log plain
d---------	solinas64_2e384m317	847	log plain
d---------	solinas64_2e384m5x2e368m1	683	log plain
d---------	solinas64_2e384m79x2e376m1	683	log plain
d---------	solinas64_2e401m31	847	log plain
d---------	solinas64_2e413m21	1005	log plain
d---------	solinas64_2e414m17	847	log plain
d---------	solinas64_2e416m2e208m1	847	log plain
d---------	solinas64_2e444m17	847	log plain
d---------	solinas64_2e448m2e224m1	847	log plain
d---------	solinas64_2e450m2e225m1	847	log plain
d---------	solinas64_2e452m3	847	log plain
d---------	solinas64_2e468m17	847	log plain
d---------	solinas64_2e480m2e240m1	847	log plain
d---------	solinas64_2e488m17	847	log plain
d---------	solinas64_2e489m21	847	log plain
d---------	solinas64_2e495m31	847	log plain
d---------	solinas64_2e510m290x2e496m1	683	log plain
d---------	solinas64_2e511m187	847	log plain
d---------	solinas64_2e511m481	847	log plain
d---------	solinas64_2e512m491x2e496m1	683	log plain
d---------	solinas64_2e512m569	847	log plain
d---------	solinas64_2e521m1	847	log plain