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

Mode	Name	Size
d---------	X25519_C64	40	log plain
d---------	montgomery32	38	log plain
-rw-r--r--	montgomery32_2e127m1_4limbs.json	1392	log plain
-rw-r--r--	montgomery32_2e129m25_5limbs.json	1421	log plain
-rw-r--r--	montgomery32_2e130m5_5limbs.json	1418	log plain
-rw-r--r--	montgomery32_2e137m13_5limbs.json	1441	log plain
-rw-r--r--	montgomery32_2e140m27_5limbs.json	1441	log plain
-rw-r--r--	montgomery32_2e141m9_5limbs.json	1438	log plain
-rw-r--r--	montgomery32_2e150m3_5limbs.json	1458	log plain
-rw-r--r--	montgomery32_2e150m5_5limbs.json	1458	log plain
-rw-r--r--	montgomery32_2e152m17_5limbs.json	1461	log plain
-rw-r--r--	montgomery32_2e158m15_5limbs.json	1481	log plain
-rw-r--r--	montgomery32_2e165m25_6limbs.json	1507	log plain
-rw-r--r--	montgomery32_2e166m5_6limbs.json	1504	log plain
-rw-r--r--	montgomery32_2e171m19_6limbs.json	1527	log plain
-rw-r--r--	montgomery32_2e174m17_6limbs.json	1527	log plain
-rw-r--r--	montgomery32_2e174m3_6limbs.json	1524	log plain
-rw-r--r--	montgomery32_2e189m25_6limbs.json	1567	log plain
-rw-r--r--	montgomery32_2e190m11_6limbs.json	1567	log plain
-rw-r--r--	montgomery32_2e191m19_6limbs.json	1567	log plain
-rw-r--r--	montgomery32_2e192m2e64m1_6limbs.json	1599	log plain
-rw-r--r--	montgomery32_2e194m33_7limbs.json	1593	log plain
-rw-r--r--	montgomery32_2e196m15_7limbs.json	1593	log plain
-rw-r--r--	montgomery32_2e198m17_7limbs.json	1593	log plain
-rw-r--r--	montgomery32_2e205m45x2e198m1_7limbs.json	1657	log plain
-rw-r--r--	montgomery32_2e206m5_7limbs.json	1610	log plain
-rw-r--r--	montgomery32_2e212m29_7limbs.json	1633	log plain
-rw-r--r--	montgomery32_2e213m3_7limbs.json	1630	log plain
-rw-r--r--	montgomery32_2e216m2e108m1_7limbs.json	1668	log plain
-rw-r--r--	montgomery32_2e221m3_7limbs.json	1650	log plain
-rw-r--r--	montgomery32_2e222m117_7limbs.json	1656	log plain
-rw-r--r--	montgomery32_2e224m2e96p1_7limbs.json	1685	log plain
-rw-r--r--	montgomery32_2e226m5_8limbs.json	1676	log plain
-rw-r--r--	montgomery32_2e230m27_8limbs.json	1679	log plain
-rw-r--r--	montgomery32_2e235m15_8limbs.json	1699	log plain
-rw-r--r--	montgomery32_2e243m9_8limbs.json	1716	log plain
-rw-r--r--	montgomery32_2e251m9_8limbs.json	1736	log plain
-rw-r--r--	montgomery32_2e254m127x2e240m1_8limbs.json	1786	log plain
-rw-r--r--	montgomery32_2e255m19_8limbs.json	1739	log plain
-rw-r--r--	montgomery32_2e255m765_8limbs.json	1742	log plain
-rw-r--r--	montgomery32_2e256m189_8limbs.json	1742	log plain
-rw-r--r--	montgomery32_2e256m2e224p2e192p2e96m1_8limbs.json	1847	log plain
-rw-r--r--	montgomery32_2e256m2e32m977_8limbs.json	1777	log plain
-rw-r--r--	montgomery32_2e256m4294968273_8limbs.json	1763	log plain
-rw-r--r--	montgomery32_2e256m88x2e240m1_8limbs.json	1783	log plain
-rw-r--r--	montgomery32_2e266m3_9limbs.json	1782	log plain
-rw-r--r--	montgomery32_2e285m9_9limbs.json	1822	log plain
-rw-r--r--	montgomery32_2e291m19_10limbs.json	1854	log plain
-rw-r--r--	montgomery32_2e321m9_11limbs.json	1937	log plain
-rw-r--r--	montgomery32_2e322m2e161m1_11limbs.json	1975	log plain
-rw-r--r--	montgomery32_2e336m17_11limbs.json	1960	log plain
-rw-r--r--	montgomery32_2e336m3_11limbs.json	1957	log plain
-rw-r--r--	montgomery32_2e338m15_11limbs.json	1980	log plain
-rw-r--r--	montgomery32_2e369m25_12limbs.json	2066	log plain
-rw-r--r--	montgomery32_2e379m19_12limbs.json	2086	log plain
-rw-r--r--	montgomery32_2e382m105_12limbs.json	2089	log plain
-rw-r--r--	montgomery32_2e383m187_12limbs.json	2089	log plain
-rw-r--r--	montgomery32_2e383m31_12limbs.json	2086	log plain
-rw-r--r--	montgomery32_2e383m421_12limbs.json	2089	log plain
-rw-r--r--	montgomery32_2e384m2e128m2e96p2e32m1_12limbs.json	2191	log plain
-rw-r--r--	montgomery32_2e384m317_12limbs.json	2089	log plain
-rw-r--r--	montgomery32_2e384m5x2e368m1_12limbs.json	2127	log plain
-rw-r--r--	montgomery32_2e384m79x2e376m1_12limbs.json	2130	log plain
-rw-r--r--	montgomery32_2e389m21_13limbs.json	2112	log plain
-rw-r--r--	montgomery32_2e401m31_13limbs.json	2152	log plain
-rw-r--r--	montgomery32_2e413m21_13limbs.json	2172	log plain
-rw-r--r--	montgomery32_2e414m17_13limbs.json	2172	log plain
-rw-r--r--	montgomery32_2e416m2e208m1_13limbs.json	2207	log plain
-rw-r--r--	montgomery32_2e444m17_14limbs.json	2258	log plain
-rw-r--r--	montgomery32_2e448m2e224m1_14limbs.json	2293	log plain
-rw-r--r--	montgomery32_2e450m2e225m1_15limbs.json	2319	log plain
-rw-r--r--	montgomery32_2e452m3_15limbs.json	2281	log plain
-rw-r--r--	montgomery32_2e468m17_15limbs.json	2324	log plain
-rw-r--r--	montgomery32_2e480m2e240m1_15limbs.json	2379	log plain
-rw-r--r--	montgomery32_2e488m17_16limbs.json	2370	log plain
-rw-r--r--	montgomery32_2e489m21_16limbs.json	2390	log plain
-rw-r--r--	montgomery32_2e495m31_16limbs.json	2390	log plain
-rw-r--r--	montgomery32_2e510m290x2e496m1_16limbs.json	2477	log plain
-rw-r--r--	montgomery32_2e511m187_16limbs.json	2433	log plain
-rw-r--r--	montgomery32_2e511m481_16limbs.json	2433	log plain
-rw-r--r--	montgomery32_2e512m491x2e496m1_16limbs.json	2477	log plain
-rw-r--r--	montgomery32_2e512m569_16limbs.json	2433	log plain
-rw-r--r--	montgomery32_2e521m1_17limbs.json	2473	log plain
d---------	montgomery64	38	log plain
-rw-r--r--	montgomery64_2e127m1_2limbs.json	1380	log plain
-rw-r--r--	montgomery64_2e129m25_3limbs.json	1409	log plain
-rw-r--r--	montgomery64_2e130m5_3limbs.json	1406	log plain
-rw-r--r--	montgomery64_2e137m13_3limbs.json	1429	log plain
-rw-r--r--	montgomery64_2e140m27_3limbs.json	1429	log plain
-rw-r--r--	montgomery64_2e141m9_3limbs.json	1426	log plain
-rw-r--r--	montgomery64_2e150m3_3limbs.json	1446	log plain
-rw-r--r--	montgomery64_2e150m5_3limbs.json	1446	log plain
-rw-r--r--	montgomery64_2e152m17_3limbs.json	1449	log plain
-rw-r--r--	montgomery64_2e158m15_3limbs.json	1469	log plain
-rw-r--r--	montgomery64_2e165m25_3limbs.json	1489	log plain
-rw-r--r--	montgomery64_2e166m5_3limbs.json	1486	log plain
-rw-r--r--	montgomery64_2e171m19_3limbs.json	1509	log plain
-rw-r--r--	montgomery64_2e174m17_3limbs.json	1509	log plain
-rw-r--r--	montgomery64_2e174m3_3limbs.json	1506	log plain
-rw-r--r--	montgomery64_2e189m25_3limbs.json	1549	log plain
-rw-r--r--	montgomery64_2e190m11_3limbs.json	1549	log plain
-rw-r--r--	montgomery64_2e191m19_3limbs.json	1549	log plain
-rw-r--r--	montgomery64_2e192m2e64m1_3limbs.json	1581	log plain
-rw-r--r--	montgomery64_2e194m33_4limbs.json	1575	log plain
-rw-r--r--	montgomery64_2e196m15_4limbs.json	1575	log plain
-rw-r--r--	montgomery64_2e198m17_4limbs.json	1575	log plain
-rw-r--r--	montgomery64_2e205m45x2e198m1_4limbs.json	1639	log plain
-rw-r--r--	montgomery64_2e206m5_4limbs.json	1592	log plain
-rw-r--r--	montgomery64_2e212m29_4limbs.json	1615	log plain
-rw-r--r--	montgomery64_2e213m3_4limbs.json	1612	log plain
-rw-r--r--	montgomery64_2e216m2e108m1_4limbs.json	1650	log plain
-rw-r--r--	montgomery64_2e221m3_4limbs.json	1632	log plain
-rw-r--r--	montgomery64_2e222m117_4limbs.json	1638	log plain
-rw-r--r--	montgomery64_2e224m2e96p1_4limbs.json	1667	log plain
-rw-r--r--	montgomery64_2e226m5_4limbs.json	1652	log plain
-rw-r--r--	montgomery64_2e230m27_4limbs.json	1655	log plain
-rw-r--r--	montgomery64_2e235m15_4limbs.json	1675	log plain
-rw-r--r--	montgomery64_2e243m9_4limbs.json	1692	log plain
-rw-r--r--	montgomery64_2e251m9_4limbs.json	1712	log plain
-rw-r--r--	montgomery64_2e254m127x2e240m1_4limbs.json	1762	log plain
-rw-r--r--	montgomery64_2e255m19_4limbs.json	1715	log plain
-rw-r--r--	montgomery64_2e255m765_4limbs.json	1718	log plain
-rw-r--r--	montgomery64_2e256m189_4limbs.json	1718	log plain
-rw-r--r--	montgomery64_2e256m2e224p2e192p2e96m1_4limbs.json	1823	log plain
-rw-r--r--	montgomery64_2e256m2e32m977_4limbs.json	1753	log plain
-rw-r--r--	montgomery64_2e256m4294968273_4limbs.json	1739	log plain
-rw-r--r--	montgomery64_2e256m88x2e240m1_4limbs.json	1759	log plain
-rw-r--r--	montgomery64_2e266m3_5limbs.json	1758	log plain
-rw-r--r--	montgomery64_2e285m9_5limbs.json	1798	log plain
-rw-r--r--	montgomery64_2e291m19_5limbs.json	1821	log plain
-rw-r--r--	montgomery64_2e321m9_6limbs.json	1904	log plain
-rw-r--r--	montgomery64_2e322m2e161m1_6limbs.json	1942	log plain
-rw-r--r--	montgomery64_2e336m17_6limbs.json	1927	log plain
-rw-r--r--	montgomery64_2e336m3_6limbs.json	1924	log plain
-rw-r--r--	montgomery64_2e338m15_6limbs.json	1947	log plain
-rw-r--r--	montgomery64_2e369m25_6limbs.json	2027	log plain
-rw-r--r--	montgomery64_2e379m19_6limbs.json	2047	log plain
-rw-r--r--	montgomery64_2e382m105_6limbs.json	2050	log plain
-rw-r--r--	montgomery64_2e383m187_6limbs.json	2050	log plain
-rw-r--r--	montgomery64_2e383m31_6limbs.json	2047	log plain
-rw-r--r--	montgomery64_2e383m421_6limbs.json	2050	log plain
-rw-r--r--	montgomery64_2e384m2e128m2e96p2e32m1_6limbs.json	2152	log plain
-rw-r--r--	montgomery64_2e384m317_6limbs.json	2050	log plain
-rw-r--r--	montgomery64_2e384m5x2e368m1_6limbs.json	2088	log plain
-rw-r--r--	montgomery64_2e384m79x2e376m1_6limbs.json	2091	log plain
-rw-r--r--	montgomery64_2e389m21_7limbs.json	2073	log plain
-rw-r--r--	montgomery64_2e401m31_7limbs.json	2113	log plain
-rw-r--r--	montgomery64_2e413m21_7limbs.json	2133	log plain
-rw-r--r--	montgomery64_2e414m17_7limbs.json	2133	log plain
-rw-r--r--	montgomery64_2e416m2e208m1_7limbs.json	2168	log plain
-rw-r--r--	montgomery64_2e444m17_7limbs.json	2213	log plain
-rw-r--r--	montgomery64_2e448m2e224m1_7limbs.json	2248	log plain
-rw-r--r--	montgomery64_2e450m2e225m1_8limbs.json	2274	log plain
-rw-r--r--	montgomery64_2e452m3_8limbs.json	2236	log plain
-rw-r--r--	montgomery64_2e468m17_8limbs.json	2279	log plain
-rw-r--r--	montgomery64_2e480m2e240m1_8limbs.json	2334	log plain
-rw-r--r--	montgomery64_2e488m17_8limbs.json	2319	log plain
-rw-r--r--	montgomery64_2e489m21_8limbs.json	2339	log plain
-rw-r--r--	montgomery64_2e495m31_8limbs.json	2339	log plain
-rw-r--r--	montgomery64_2e510m290x2e496m1_8limbs.json	2426	log plain
-rw-r--r--	montgomery64_2e511m187_8limbs.json	2382	log plain
-rw-r--r--	montgomery64_2e511m481_8limbs.json	2382	log plain
-rw-r--r--	montgomery64_2e512m491x2e496m1_8limbs.json	2426	log plain
-rw-r--r--	montgomery64_2e512m569_8limbs.json	2382	log plain
-rw-r--r--	montgomery64_2e521m1_9limbs.json	2422	log plain
-rw-r--r--	nistp256_amd128.json	500	log plain
-rw-r--r--	nistp256_amd64.json	498	log plain
-rwxr-xr-x	remake_curves.sh	36538	log plain
-rw-r--r--	solinas32_2e127m1_5limbs.json	1418	log plain
-rw-r--r--	solinas32_2e127m1_6limbs.json	1428	log plain
-rw-r--r--	solinas32_2e129m25_5limbs.json	1441	log plain
-rw-r--r--	solinas32_2e129m25_6limbs.json	1447	log plain
-rw-r--r--	solinas32_2e130m5_5limbs.json	1436	log plain
-rw-r--r--	solinas32_2e130m5_6limbs.json	1448	log plain
-rw-r--r--	solinas32_2e137m13_5limbs.json	1461	log plain
-rw-r--r--	solinas32_2e137m13_6limbs.json	1471	log plain
-rw-r--r--	solinas32_2e140m27_6limbs.json	1471	log plain
-rw-r--r--	solinas32_2e140m27_7limbs.json	1471	log plain
-rw-r--r--	solinas32_2e141m9_6limbs.json	1464	log plain
-rw-r--r--	solinas32_2e141m9_7limbs.json	1474	log plain
-rw-r--r--	solinas32_2e150m3_6limbs.json	1482	log plain
-rw-r--r--	solinas32_2e150m3_7limbs.json	1494	log plain
-rw-r--r--	solinas32_2e150m5_6limbs.json	1482	log plain
-rw-r--r--	solinas32_2e150m5_7limbs.json	1494	log plain
-rw-r--r--	solinas32_2e152m17_6limbs.json	1491	log plain
-rw-r--r--	solinas32_2e152m17_7limbs.json	1497	log plain
-rw-r--r--	solinas32_2e158m15_6limbs.json	1511	log plain
-rw-r--r--	solinas32_2e158m15_7limbs.json	1517	log plain
-rw-r--r--	solinas32_2e165m25_7limbs.json	1537	log plain
-rw-r--r--	solinas32_2e165m25_8limbs.json	1541	log plain
-rw-r--r--	solinas32_2e166m5_6limbs.json	1528	log plain
-rw-r--r--	solinas32_2e166m5_7limbs.json	1534	log plain
-rw-r--r--	solinas32_2e171m19_7limbs.json	1557	log plain
-rw-r--r--	solinas32_2e171m19_8limbs.json	1561	log plain
-rw-r--r--	solinas32_2e174m17_7limbs.json	1557	log plain
-rw-r--r--	solinas32_2e174m17_8limbs.json	1560	log plain
-rw-r--r--	solinas32_2e174m3_7limbs.json	1554	log plain
-rw-r--r--	solinas32_2e174m3_8limbs.json	1557	log plain
-rw-r--r--	solinas32_2e189m25_7limbs.json	1591	log plain
-rw-r--r--	solinas32_2e189m25_8limbs.json	1601	log plain
-rw-r--r--	solinas32_2e190m11_7limbs.json	1597	log plain
-rw-r--r--	solinas32_2e190m11_8limbs.json	1600	log plain
-rw-r--r--	solinas32_2e191m19_8limbs.json	1601	log plain
-rw-r--r--	solinas32_2e191m19_9limbs.json	1609	log plain
-rw-r--r--	solinas32_2e192m2e64m1_10limbs.json	1913	log plain
-rw-r--r--	solinas32_2e192m2e64m1_9limbs.json	1893	log plain
-rw-r--r--	solinas32_2e194m33_8limbs.json	1620	log plain
-rw-r--r--	solinas32_2e194m33_9limbs.json	1629	log plain
-rw-r--r--	solinas32_2e196m15_8limbs.json	1619	log plain
-rw-r--r--	solinas32_2e196m15_9limbs.json	1629	log plain
-rw-r--r--	solinas32_2e198m17_8limbs.json	1620	log plain
-rw-r--r--	solinas32_2e198m17_9limbs.json	1623	log plain
-rw-r--r--	solinas32_2e206m5_8limbs.json	1637	log plain
-rw-r--r--	solinas32_2e206m5_9limbs.json	1646	log plain
-rw-r--r--	solinas32_2e212m29_8limbs.json	1659	log plain
-rw-r--r--	solinas32_2e212m29_9limbs.json	1669	log plain
-rw-r--r--	solinas32_2e213m3_8limbs.json	1658	log plain
-rw-r--r--	solinas32_2e213m3_9limbs.json	1666	log plain
-rw-r--r--	solinas32_2e216m2e108m1_10limbs.json	2000	log plain
-rw-r--r--	solinas32_2e216m2e108m1_8limbs.json	1953	log plain
-rw-r--r--	solinas32_2e221m3_8limbs.json	1678	log plain
-rw-r--r--	solinas32_2e221m3_9limbs.json	1686	log plain
-rw-r--r--	solinas32_2e222m117_10limbs.json	1697	log plain
-rw-r--r--	solinas32_2e222m117_9limbs.json	1692	log plain
-rw-r--r--	solinas32_2e224m2e96p1_10limbs.json	1993	log plain
-rw-r--r--	solinas32_2e224m2e96p1_11limbs.json	2021	log plain
-rw-r--r--	solinas32_2e226m5_10limbs.json	1711	log plain
-rw-r--r--	solinas32_2e226m5_9limbs.json	1706	log plain
-rw-r--r--	solinas32_2e230m27_10limbs.json	1712	log plain
-rw-r--r--	solinas32_2e230m27_9limbs.json	1709	log plain
-rw-r--r--	solinas32_2e235m15_10limbs.json	1734	log plain
-rw-r--r--	solinas32_2e235m15_9limbs.json	1729	log plain
-rw-r--r--	solinas32_2e243m9_10limbs.json	1751	log plain
-rw-r--r--	solinas32_2e243m9_9limbs.json	1740	log plain
-rw-r--r--	solinas32_2e251m9_10limbs.json	1771	log plain
-rw-r--r--	solinas32_2e251m9_11limbs.json	1782	log plain
-rw-r--r--	solinas32_2e255m19_10limbs.json	1774	log plain
-rw-r--r--	solinas32_2e255m19_10limbs_donna.json	13403	log plain
-rw-r--r--	solinas32_2e255m19_11limbs.json	1785	log plain
-rw-r--r--	solinas32_2e255m765_12limbs.json	1790	log plain
-rw-r--r--	solinas32_2e255m765_13limbs.json	1800	log plain
-rw-r--r--	solinas32_2e256m189_11limbs.json	1788	log plain
-rw-r--r--	solinas32_2e256m189_12limbs.json	1793	log plain
-rw-r--r--	solinas32_2e256m2e224p2e192p2e96m1_11limbs.json	2237	log plain
-rw-r--r--	solinas32_2e256m2e224p2e192p2e96m1_12limbs.json	2259	log plain
-rw-r--r--	solinas32_2e256m2e32m977_12limbs.json	2128	log plain
-rw-r--r--	solinas32_2e256m2e32m977_13limbs.json	2151	log plain
-rw-r--r--	solinas32_2e266m3_10limbs.json	1811	log plain
-rw-r--r--	solinas32_2e266m3_11limbs.json	1822	log plain
-rw-r--r--	solinas32_2e285m9_11limbs.json	1863	log plain
-rw-r--r--	solinas32_2e285m9_12limbs.json	1864	log plain
-rw-r--r--	solinas32_2e291m19_11limbs.json	1885	log plain
-rw-r--r--	solinas32_2e291m19_12limbs.json	1887	log plain
-rw-r--r--	solinas32_2e321m9_12limbs.json	1964	log plain
-rw-r--r--	solinas32_2e321m9_13limbs.json	1974	log plain
-rw-r--r--	solinas32_2e322m2e161m1_12limbs.json	2329	log plain
-rw-r--r--	solinas32_2e322m2e161m1_14limbs.json	2367	log plain
-rw-r--r--	solinas32_2e336m17_13limbs.json	1998	log plain
-rw-r--r--	solinas32_2e336m17_14limbs.json	1996	log plain
-rw-r--r--	solinas32_2e336m3_12limbs.json	1981	log plain
-rw-r--r--	solinas32_2e336m3_13limbs.json	1995	log plain
-rw-r--r--	solinas32_2e338m15_13limbs.json	2010	log plain
-rw-r--r--	solinas32_2e338m15_14limbs.json	2022	log plain
-rw-r--r--	solinas32_2e369m25_15limbs.json	2104	log plain
-rw-r--r--	solinas32_2e369m25_16limbs.json	2115	log plain
-rw-r--r--	solinas32_2e379m19_15limbs.json	2129	log plain
-rw-r--r--	solinas32_2e379m19_16limbs.json	2136	log plain
-rw-r--r--	solinas32_2e382m105_16limbs.json	2135	log plain
-rw-r--r--	solinas32_2e382m105_17limbs.json	2144	log plain
-rw-r--r--	solinas32_2e383m187_16limbs.json	2139	log plain
-rw-r--r--	solinas32_2e383m187_17limbs.json	2144	log plain
-rw-r--r--	solinas32_2e383m31_15limbs.json	2129	log plain
-rw-r--r--	solinas32_2e383m31_16limbs.json	2136	log plain
-rw-r--r--	solinas32_2e383m421_17limbs.json	2144	log plain
-rw-r--r--	solinas32_2e383m421_18limbs.json	2150	log plain
-rw-r--r--	solinas32_2e384m2e128m2e96p2e32m1_18limbs.json	2707	log plain
-rw-r--r--	solinas32_2e384m2e128m2e96p2e32m1_19limbs.json	2730	log plain
-rw-r--r--	solinas32_2e384m317_17limbs.json	2145	log plain
-rw-r--r--	solinas32_2e384m317_18limbs.json	2149	log plain
-rw-r--r--	solinas32_2e389m21_15limbs.json	2150	log plain
-rw-r--r--	solinas32_2e389m21_16limbs.json	2155	log plain
-rw-r--r--	solinas32_2e401m31_16limbs.json	2195	log plain
-rw-r--r--	solinas32_2e401m31_17limbs.json	2202	log plain
-rw-r--r--	solinas32_2e413m21_16limbs.json	2216	log plain
-rw-r--r--	solinas32_2e413m21_17limbs.json	2221	log plain
-rw-r--r--	solinas32_2e414m17_16limbs.json	2212	log plain
-rw-r--r--	solinas32_2e414m17_17limbs.json	2221	log plain
-rw-r--r--	solinas32_2e416m2e208m1_16limbs.json	2631	log plain
-rw-r--r--	solinas32_2e416m2e208m1_18limbs.json	2681	log plain
-rw-r--r--	solinas32_2e444m17_17limbs.json	2301	log plain
-rw-r--r--	solinas32_2e444m17_18limbs.json	2306	log plain
-rw-r--r--	solinas32_2e448m2e224m1_16limbs.json	2711	log plain
-rw-r--r--	solinas32_2e448m2e224m1_18limbs.json	2761	log plain
-rw-r--r--	solinas32_2e450m2e225m1_18limbs.json	2775	log plain
-rw-r--r--	solinas32_2e450m2e225m1_20limbs.json	2822	log plain
-rw-r--r--	solinas32_2e452m3_17limbs.json	2319	log plain
-rw-r--r--	solinas32_2e452m3_18limbs.json	2323	log plain
-rw-r--r--	solinas32_2e468m17_18limbs.json	2360	log plain
-rw-r--r--	solinas32_2e468m17_19limbs.json	2374	log plain
-rw-r--r--	solinas32_2e480m2e240m1_18limbs.json	2841	log plain
-rw-r--r--	solinas32_2e480m2e240m1_20limbs.json	2880	log plain
-rw-r--r--	solinas32_2e488m17_19limbs.json	2414	log plain
-rw-r--r--	solinas32_2e488m17_20limbs.json	2414	log plain
-rw-r--r--	solinas32_2e489m21_19limbs.json	2434	log plain
-rw-r--r--	solinas32_2e489m21_20limbs.json	2439	log plain
-rw-r--r--	solinas32_2e495m31_20limbs.json	2435	log plain
-rw-r--r--	solinas32_2e495m31_21limbs.json	2444	log plain
-rw-r--r--	solinas32_2e511m187_22limbs.json	2494	log plain
-rw-r--r--	solinas32_2e511m187_23limbs.json	2500	log plain
-rw-r--r--	solinas32_2e511m481_23limbs.json	2500	log plain
-rw-r--r--	solinas32_2e511m481_24limbs.json	2506	log plain
-rw-r--r--	solinas32_2e512m569_24limbs.json	2505	log plain
-rw-r--r--	solinas32_2e512m569_25limbs.json	2513	log plain
-rw-r--r--	solinas32_2e521m1_19limbs.json	2510	log plain
-rw-r--r--	solinas32_2e521m1_20limbs.json	2516	log plain
-rw-r--r--	solinas64_2e127m1_3limbs.json	1410	log plain
-rw-r--r--	solinas64_2e129m25_3limbs.json	1427	log plain
-rw-r--r--	solinas64_2e129m25_4limbs.json	1436	log plain
-rw-r--r--	solinas64_2e130m5_3limbs.json	1430	log plain
-rw-r--r--	solinas64_2e130m5_4limbs.json	1432	log plain
-rw-r--r--	solinas64_2e137m13_3limbs.json	1453	log plain
-rw-r--r--	solinas64_2e137m13_4limbs.json	1456	log plain
-rw-r--r--	solinas64_2e140m27_3limbs.json	1453	log plain
-rw-r--r--	solinas64_2e140m27_4limbs.json	1453	log plain
-rw-r--r--	solinas64_2e141m9_3limbs.json	1444	log plain
-rw-r--r--	solinas64_2e141m9_4limbs.json	1453	log plain
-rw-r--r--	solinas64_2e150m3_3limbs.json	1464	log plain
-rw-r--r--	solinas64_2e150m3_4limbs.json	1472	log plain
-rw-r--r--	solinas64_2e150m5_3limbs.json	1464	log plain
-rw-r--r--	solinas64_2e150m5_4limbs.json	1472	log plain
-rw-r--r--	solinas64_2e152m17_3limbs.json	1473	log plain
-rw-r--r--	solinas64_2e152m17_4limbs.json	1473	log plain
-rw-r--r--	solinas64_2e158m15_3limbs.json	1493	log plain
-rw-r--r--	solinas64_2e158m15_4limbs.json	1495	log plain
-rw-r--r--	solinas64_2e165m25_3limbs.json	1507	log plain
-rw-r--r--	solinas64_2e165m25_4limbs.json	1516	log plain
-rw-r--r--	solinas64_2e166m5_3limbs.json	1510	log plain
-rw-r--r--	solinas64_2e166m5_4limbs.json	1512	log plain
-rw-r--r--	solinas64_2e171m19_3limbs.json	1527	log plain
-rw-r--r--	solinas64_2e171m19_4limbs.json	1536	log plain
-rw-r--r--	solinas64_2e174m17_3limbs.json	1527	log plain
-rw-r--r--	solinas64_2e174m17_4limbs.json	1535	log plain
-rw-r--r--	solinas64_2e174m3_3limbs.json	1524	log plain
-rw-r--r--	solinas64_2e174m3_4limbs.json	1532	log plain
-rw-r--r--	solinas64_2e189m25_4limbs.json	1576	log plain
-rw-r--r--	solinas64_2e189m25_5limbs.json	1581	log plain
-rw-r--r--	solinas64_2e190m11_4limbs.json	1575	log plain
-rw-r--r--	solinas64_2e190m11_5limbs.json	1579	log plain
-rw-r--r--	solinas64_2e191m19_4limbs.json	1576	log plain
-rw-r--r--	solinas64_2e191m19_5limbs.json	1581	log plain
-rw-r--r--	solinas64_2e192m2e64m1_4limbs.json	1782	log plain
-rw-r--r--	solinas64_2e192m2e64m1_5limbs.json	1805	log plain
-rw-r--r--	solinas64_2e194m33_4limbs.json	1595	log plain
-rw-r--r--	solinas64_2e194m33_5limbs.json	1601	log plain
-rw-r--r--	solinas64_2e196m15_4limbs.json	1593	log plain
-rw-r--r--	solinas64_2e196m15_5limbs.json	1601	log plain
-rw-r--r--	solinas64_2e198m17_4limbs.json	1595	log plain
-rw-r--r--	solinas64_2e198m17_5limbs.json	1601	log plain
-rw-r--r--	solinas64_2e206m5_4limbs.json	1612	log plain
-rw-r--r--	solinas64_2e206m5_5limbs.json	1618	log plain
-rw-r--r--	solinas64_2e212m29_4limbs.json	1633	log plain
-rw-r--r--	solinas64_2e212m29_5limbs.json	1641	log plain
-rw-r--r--	solinas64_2e213m3_4limbs.json	1633	log plain
-rw-r--r--	solinas64_2e213m3_5limbs.json	1638	log plain
-rw-r--r--	solinas64_2e216m2e108m1_4limbs.json	1869	log plain
-rw-r--r--	solinas64_2e216m2e108m1_5limbs.json	1892	log plain
-rw-r--r--	solinas64_2e221m3_4limbs.json	1653	log plain
-rw-r--r--	solinas64_2e221m3_5limbs.json	1658	log plain
-rw-r--r--	solinas64_2e222m117_4limbs.json	1658	log plain
-rw-r--r--	solinas64_2e222m117_5limbs.json	1664	log plain
-rw-r--r--	solinas64_2e224m2e96p1_5limbs.json	1885	log plain
-rw-r--r--	solinas64_2e224m2e96p1_6limbs.json	1910	log plain
-rw-r--r--	solinas64_2e226m5_4limbs.json	1672	log plain
-rw-r--r--	solinas64_2e226m5_5limbs.json	1678	log plain
-rw-r--r--	solinas64_2e230m27_4limbs.json	1675	log plain
-rw-r--r--	solinas64_2e230m27_5limbs.json	1679	log plain
-rw-r--r--	solinas64_2e235m15_4limbs.json	1696	log plain
-rw-r--r--	solinas64_2e235m15_5limbs.json	1699	log plain
-rw-r--r--	solinas64_2e243m9_5limbs.json	1718	log plain
-rw-r--r--	solinas64_2e243m9_6limbs.json	1724	log plain
-rw-r--r--	solinas64_2e251m9_5limbs.json	1738	log plain
-rw-r--r--	solinas64_2e251m9_6limbs.json	1748	log plain
-rw-r--r--	solinas64_2e255m19_5limbs.json	1739	log plain
-rw-r--r--	solinas64_2e255m19_5limbs_donna.json	3838	log plain
-rw-r--r--	solinas64_2e255m19_6limbs.json	1747	log plain
-rw-r--r--	solinas64_2e255m765_5limbs.json	1742	log plain
-rw-r--r--	solinas64_2e255m765_6limbs.json	1750	log plain
-rw-r--r--	solinas64_2e256m189_5limbs.json	1744	log plain
-rw-r--r--	solinas64_2e256m189_6limbs.json	1754	log plain
-rw-r--r--	solinas64_2e256m2e224p2e192p2e96m1_5limbs.json	2101	log plain
-rw-r--r--	solinas64_2e256m2e224p2e192p2e96m1_6limbs.json	2126	log plain
-rw-r--r--	solinas64_2e256m2e32m977_6limbs.json	1981	log plain
-rw-r--r--	solinas64_2e256m2e32m977_7limbs.json	2002	log plain
-rw-r--r--	solinas64_2e256m4294968273_10limbs.json	1798	log plain
-rw-r--r--	solinas64_2e256m4294968273_9limbs.json	1793	log plain
-rw-r--r--	solinas64_2e266m3_5limbs.json	1778	log plain
-rw-r--r--	solinas64_2e266m3_6limbs.json	1788	log plain
-rw-r--r--	solinas64_2e285m9_5limbs.json	1816	log plain
-rw-r--r--	solinas64_2e285m9_6limbs.json	1824	log plain
-rw-r--r--	solinas64_2e291m19_5limbs.json	1841	log plain
-rw-r--r--	solinas64_2e291m19_6limbs.json	1847	log plain
-rw-r--r--	solinas64_2e321m9_6limbs.json	1924	log plain
-rw-r--r--	solinas64_2e321m9_7limbs.json	1934	log plain
-rw-r--r--	solinas64_2e322m2e161m1_6limbs.json	2197	log plain
-rw-r--r--	solinas64_2e322m2e161m1_7limbs.json	2212	log plain
-rw-r--r--	solinas64_2e336m17_6limbs.json	1945	log plain
-rw-r--r--	solinas64_2e336m17_7limbs.json	1951	log plain
-rw-r--r--	solinas64_2e336m3_6limbs.json	1942	log plain
-rw-r--r--	solinas64_2e336m3_7limbs.json	1948	log plain
-rw-r--r--	solinas64_2e338m15_6limbs.json	1971	log plain
-rw-r--r--	solinas64_2e338m15_7limbs.json	1977	log plain
-rw-r--r--	solinas64_2e369m25_7limbs.json	2057	log plain
-rw-r--r--	solinas64_2e369m25_8limbs.json	2061	log plain
-rw-r--r--	solinas64_2e379m19_7limbs.json	2077	log plain
-rw-r--r--	solinas64_2e379m19_8limbs.json	2081	log plain
-rw-r--r--	solinas64_2e382m105_7limbs.json	2080	log plain
-rw-r--r--	solinas64_2e382m105_8limbs.json	2083	log plain
-rw-r--r--	solinas64_2e383m187_7limbs.json	2080	log plain
-rw-r--r--	solinas64_2e383m187_8limbs.json	2084	log plain
-rw-r--r--	solinas64_2e383m31_7limbs.json	2077	log plain
-rw-r--r--	solinas64_2e383m31_8limbs.json	2081	log plain
-rw-r--r--	solinas64_2e383m421_7limbs.json	2080	log plain
-rw-r--r--	solinas64_2e383m421_8limbs.json	2084	log plain
-rw-r--r--	solinas64_2e384m2e128m2e96p2e32m1_10limbs.json	2526	log plain
-rw-r--r--	solinas64_2e384m2e128m2e96p2e32m1_9limbs.json	2506	log plain
-rw-r--r--	solinas64_2e384m317_7limbs.json	2080	log plain
-rw-r--r--	solinas64_2e384m317_8limbs.json	2080	log plain
-rw-r--r--	solinas64_2e389m21_7limbs.json	2097	log plain
-rw-r--r--	solinas64_2e389m21_8limbs.json	2101	log plain
-rw-r--r--	solinas64_2e401m31_7limbs.json	2137	log plain
-rw-r--r--	solinas64_2e401m31_8limbs.json	2141	log plain
-rw-r--r--	solinas64_2e413m21_7limbs.json	2151	log plain
-rw-r--r--	solinas64_2e413m21_8limbs.json	2161	log plain
-rw-r--r--	solinas64_2e414m17_8limbs.json	2160	log plain
-rw-r--r--	solinas64_2e414m17_9limbs.json	2163	log plain
-rw-r--r--	solinas64_2e416m2e208m1_8limbs.json	2453	log plain
-rw-r--r--	solinas64_2e416m2e208m1_9limbs.json	2480	log plain
-rw-r--r--	solinas64_2e444m17_8limbs.json	2239	log plain
-rw-r--r--	solinas64_2e444m17_9limbs.json	2249	log plain
-rw-r--r--	solinas64_2e448m2e224m1_10limbs.json	2580	log plain
-rw-r--r--	solinas64_2e448m2e224m1_8limbs.json	2533	log plain
-rw-r--r--	solinas64_2e450m2e225m1_10limbs.json	2598	log plain
-rw-r--r--	solinas64_2e450m2e225m1_8limbs.json	2556	log plain
-rw-r--r--	solinas64_2e452m3_8limbs.json	2256	log plain
-rw-r--r--	solinas64_2e452m3_9limbs.json	2266	log plain
-rw-r--r--	solinas64_2e468m17_8limbs.json	2299	log plain
-rw-r--r--	solinas64_2e468m17_9limbs.json	2303	log plain
-rw-r--r--	solinas64_2e480m2e240m1_10limbs.json	2658	log plain
-rw-r--r--	solinas64_2e480m2e240m1_8limbs.json	2613	log plain
-rw-r--r--	solinas64_2e488m17_10limbs.json	2354	log plain
-rw-r--r--	solinas64_2e488m17_9limbs.json	2349	log plain
-rw-r--r--	solinas64_2e489m21_10limbs.json	2374	log plain
-rw-r--r--	solinas64_2e489m21_9limbs.json	2369	log plain
-rw-r--r--	solinas64_2e495m31_10limbs.json	2374	log plain
-rw-r--r--	solinas64_2e495m31_9limbs.json	2363	log plain
-rw-r--r--	solinas64_2e511m187_10limbs.json	2417	log plain
-rw-r--r--	solinas64_2e511m187_11limbs.json	2428	log plain
-rw-r--r--	solinas64_2e511m481_10limbs.json	2417	log plain
-rw-r--r--	solinas64_2e511m481_11limbs.json	2428	log plain
-rw-r--r--	solinas64_2e512m569_10limbs.json	2417	log plain
-rw-r--r--	solinas64_2e512m569_11limbs.json	2428	log plain
-rw-r--r--	solinas64_2e521m1_10limbs.json	2451	log plain
-rw-r--r--	solinas64_2e521m1_9limbs.json	2446	log plain
-rw-r--r--	x2448_c64_karatsuba.json	315	log plain
-rw-r--r--	x25519_c32.json	12085	log plain
-rw-r--r--	x25519_c64.json	2620	log plain
-rw-r--r--	x2555_130.json	338	log plain