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

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