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