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

Mode	Name	Size
d---------	X25519_C64	40	log plain
-rw-r--r--	montgomery32_2e127m1.json	1267	log plain
-rw-r--r--	montgomery32_2e129m25.json	1293	log plain
-rw-r--r--	montgomery32_2e130m5.json	1293	log plain
-rw-r--r--	montgomery32_2e137m13.json	1313	log plain
-rw-r--r--	montgomery32_2e140m27.json	1313	log plain
-rw-r--r--	montgomery32_2e141m9.json	1310	log plain
-rw-r--r--	montgomery32_2e150m3.json	1330	log plain
-rw-r--r--	montgomery32_2e150m5.json	1330	log plain
-rw-r--r--	montgomery32_2e152m17.json	1333	log plain
-rw-r--r--	montgomery32_2e158m15.json	1353	log plain
-rw-r--r--	montgomery32_2e165m25.json	1379	log plain
-rw-r--r--	montgomery32_2e166m5.json	1376	log plain
-rw-r--r--	montgomery32_2e171m19.json	1399	log plain
-rw-r--r--	montgomery32_2e174m17.json	1399	log plain
-rw-r--r--	montgomery32_2e174m3.json	1396	log plain
-rw-r--r--	montgomery32_2e189m25.json	1439	log plain
-rw-r--r--	montgomery32_2e190m11.json	1439	log plain
-rw-r--r--	montgomery32_2e191m19.json	1439	log plain
-rw-r--r--	montgomery32_2e192m2e64m1.json	1471	log plain
-rw-r--r--	montgomery32_2e194m33.json	1465	log plain
-rw-r--r--	montgomery32_2e196m15.json	1465	log plain
-rw-r--r--	montgomery32_2e198m17.json	1465	log plain
-rw-r--r--	montgomery32_2e205m45x2e198m1.json	1529	log plain
-rw-r--r--	montgomery32_2e206m5.json	1482	log plain
-rw-r--r--	montgomery32_2e212m29.json	1505	log plain
-rw-r--r--	montgomery32_2e213m3.json	1502	log plain
-rw-r--r--	montgomery32_2e216m2e108m1.json	1540	log plain
-rw-r--r--	montgomery32_2e221m3.json	1522	log plain
-rw-r--r--	montgomery32_2e222m117.json	1528	log plain
-rw-r--r--	montgomery32_2e224m2e96p1.json	1560	log plain
-rw-r--r--	montgomery32_2e226m5.json	1548	log plain
-rw-r--r--	montgomery32_2e230m27.json	1551	log plain
-rw-r--r--	montgomery32_2e235m15.json	1571	log plain
-rw-r--r--	montgomery32_2e243m9.json	1588	log plain
-rw-r--r--	montgomery32_2e251m9.json	1608	log plain
-rw-r--r--	montgomery32_2e254m127x2e240m1.json	1658	log plain
-rw-r--r--	montgomery32_2e255m19.json	1614	log plain
-rw-r--r--	montgomery32_2e255m2e4m2e1m1.json	1672	log plain
-rw-r--r--	montgomery32_2e255m765.json	1614	log plain
-rw-r--r--	montgomery32_2e256m189.json	1614	log plain
-rw-r--r--	montgomery32_2e256m2e224p2e192p2e96m1.json	1722	log plain
-rw-r--r--	montgomery32_2e256m2e32m977.json	1652	log plain
-rw-r--r--	montgomery32_2e256m88x2e240m1.json	1655	log plain
-rw-r--r--	montgomery32_2e266m3.json	1654	log plain
-rw-r--r--	montgomery32_2e285m9.json	1694	log plain
-rw-r--r--	montgomery32_2e291m19.json	1726	log plain
-rw-r--r--	montgomery32_2e321m9.json	1809	log plain
-rw-r--r--	montgomery32_2e322m2e161m1.json	1847	log plain
-rw-r--r--	montgomery32_2e336m17.json	1832	log plain
-rw-r--r--	montgomery32_2e336m3.json	1829	log plain
-rw-r--r--	montgomery32_2e338m15.json	1852	log plain
-rw-r--r--	montgomery32_2e369m25.json	1938	log plain
-rw-r--r--	montgomery32_2e379m19.json	1958	log plain
-rw-r--r--	montgomery32_2e382m105.json	1961	log plain
-rw-r--r--	montgomery32_2e383m187.json	1961	log plain
-rw-r--r--	montgomery32_2e383m31.json	1958	log plain
-rw-r--r--	montgomery32_2e383m421.json	1961	log plain
-rw-r--r--	montgomery32_2e384m2e128m2e96p2e32m1.json	2066	log plain
-rw-r--r--	montgomery32_2e384m317.json	1961	log plain
-rw-r--r--	montgomery32_2e384m5x2e368m1.json	1999	log plain
-rw-r--r--	montgomery32_2e384m79x2e376m1.json	2002	log plain
-rw-r--r--	montgomery32_2e389m21.json	1984	log plain
-rw-r--r--	montgomery32_2e401m31.json	2024	log plain
-rw-r--r--	montgomery32_2e413m21.json	2044	log plain
-rw-r--r--	montgomery32_2e414m17.json	2044	log plain
-rw-r--r--	montgomery32_2e416m2e208m1.json	2079	log plain
-rw-r--r--	montgomery32_2e444m17.json	2130	log plain
-rw-r--r--	montgomery32_2e448m2e224m1.json	2168	log plain
-rw-r--r--	montgomery32_2e450m2e225m1.json	2191	log plain
-rw-r--r--	montgomery32_2e452m3.json	2153	log plain
-rw-r--r--	montgomery32_2e468m17.json	2196	log plain
-rw-r--r--	montgomery32_2e480m2e240m1.json	2254	log plain
-rw-r--r--	montgomery32_2e488m17.json	2242	log plain
-rw-r--r--	montgomery32_2e489m21.json	2262	log plain
-rw-r--r--	montgomery32_2e495m31.json	2262	log plain
-rw-r--r--	montgomery32_2e510m290x2e496m1.json	2349	log plain
-rw-r--r--	montgomery32_2e511m187.json	2305	log plain
-rw-r--r--	montgomery32_2e511m481.json	2305	log plain
-rw-r--r--	montgomery32_2e512m491x2e496m1.json	2349	log plain
-rw-r--r--	montgomery32_2e512m569.json	2305	log plain
-rw-r--r--	montgomery32_2e521m1.json	2348	log plain
-rw-r--r--	montgomery64_2e127m1.json	1255	log plain
-rw-r--r--	montgomery64_2e129m25.json	1281	log plain
-rw-r--r--	montgomery64_2e130m5.json	1281	log plain
-rw-r--r--	montgomery64_2e137m13.json	1301	log plain
-rw-r--r--	montgomery64_2e140m27.json	1301	log plain
-rw-r--r--	montgomery64_2e141m9.json	1298	log plain
-rw-r--r--	montgomery64_2e150m3.json	1318	log plain
-rw-r--r--	montgomery64_2e150m5.json	1318	log plain
-rw-r--r--	montgomery64_2e152m17.json	1321	log plain
-rw-r--r--	montgomery64_2e158m15.json	1341	log plain
-rw-r--r--	montgomery64_2e165m25.json	1361	log plain
-rw-r--r--	montgomery64_2e166m5.json	1358	log plain
-rw-r--r--	montgomery64_2e171m19.json	1381	log plain
-rw-r--r--	montgomery64_2e174m17.json	1381	log plain
-rw-r--r--	montgomery64_2e174m3.json	1378	log plain
-rw-r--r--	montgomery64_2e189m25.json	1421	log plain
-rw-r--r--	montgomery64_2e190m11.json	1421	log plain
-rw-r--r--	montgomery64_2e191m19.json	1421	log plain
-rw-r--r--	montgomery64_2e192m2e64m1.json	1453	log plain
-rw-r--r--	montgomery64_2e194m33.json	1447	log plain
-rw-r--r--	montgomery64_2e196m15.json	1447	log plain
-rw-r--r--	montgomery64_2e198m17.json	1447	log plain
-rw-r--r--	montgomery64_2e205m45x2e198m1.json	1511	log plain
-rw-r--r--	montgomery64_2e206m5.json	1464	log plain
-rw-r--r--	montgomery64_2e212m29.json	1487	log plain
-rw-r--r--	montgomery64_2e213m3.json	1484	log plain
-rw-r--r--	montgomery64_2e216m2e108m1.json	1522	log plain
-rw-r--r--	montgomery64_2e221m3.json	1504	log plain
-rw-r--r--	montgomery64_2e222m117.json	1510	log plain
-rw-r--r--	montgomery64_2e224m2e96p1.json	1542	log plain
-rw-r--r--	montgomery64_2e226m5.json	1524	log plain
-rw-r--r--	montgomery64_2e230m27.json	1527	log plain
-rw-r--r--	montgomery64_2e235m15.json	1547	log plain
-rw-r--r--	montgomery64_2e243m9.json	1564	log plain
-rw-r--r--	montgomery64_2e251m9.json	1584	log plain
-rw-r--r--	montgomery64_2e254m127x2e240m1.json	1634	log plain
-rw-r--r--	montgomery64_2e255m19.json	1590	log plain
-rw-r--r--	montgomery64_2e255m2e4m2e1m1.json	1648	log plain
-rw-r--r--	montgomery64_2e255m765.json	1590	log plain
-rw-r--r--	montgomery64_2e256m189.json	1590	log plain
-rw-r--r--	montgomery64_2e256m2e224p2e192p2e96m1.json	1698	log plain
-rw-r--r--	montgomery64_2e256m2e32m977.json	1628	log plain
-rw-r--r--	montgomery64_2e256m88x2e240m1.json	1631	log plain
-rw-r--r--	montgomery64_2e266m3.json	1630	log plain
-rw-r--r--	montgomery64_2e285m9.json	1670	log plain
-rw-r--r--	montgomery64_2e291m19.json	1693	log plain
-rw-r--r--	montgomery64_2e321m9.json	1776	log plain
-rw-r--r--	montgomery64_2e322m2e161m1.json	1814	log plain
-rw-r--r--	montgomery64_2e336m17.json	1799	log plain
-rw-r--r--	montgomery64_2e336m3.json	1796	log plain
-rw-r--r--	montgomery64_2e338m15.json	1819	log plain
-rw-r--r--	montgomery64_2e369m25.json	1899	log plain
-rw-r--r--	montgomery64_2e379m19.json	1919	log plain
-rw-r--r--	montgomery64_2e382m105.json	1922	log plain
-rw-r--r--	montgomery64_2e383m187.json	1922	log plain
-rw-r--r--	montgomery64_2e383m31.json	1919	log plain
-rw-r--r--	montgomery64_2e383m421.json	1922	log plain
-rw-r--r--	montgomery64_2e384m2e128m2e96p2e32m1.json	2027	log plain
-rw-r--r--	montgomery64_2e384m317.json	1922	log plain
-rw-r--r--	montgomery64_2e384m5x2e368m1.json	1960	log plain
-rw-r--r--	montgomery64_2e384m79x2e376m1.json	1963	log plain
-rw-r--r--	montgomery64_2e389m21.json	1945	log plain
-rw-r--r--	montgomery64_2e401m31.json	1985	log plain
-rw-r--r--	montgomery64_2e413m21.json	2005	log plain
-rw-r--r--	montgomery64_2e414m17.json	2005	log plain
-rw-r--r--	montgomery64_2e416m2e208m1.json	2040	log plain
-rw-r--r--	montgomery64_2e444m17.json	2085	log plain
-rw-r--r--	montgomery64_2e448m2e224m1.json	2123	log plain
-rw-r--r--	montgomery64_2e450m2e225m1.json	2146	log plain
-rw-r--r--	montgomery64_2e452m3.json	2108	log plain
-rw-r--r--	montgomery64_2e468m17.json	2151	log plain
-rw-r--r--	montgomery64_2e480m2e240m1.json	2209	log plain
-rw-r--r--	montgomery64_2e488m17.json	2191	log plain
-rw-r--r--	montgomery64_2e489m21.json	2211	log plain
-rw-r--r--	montgomery64_2e495m31.json	2211	log plain
-rw-r--r--	montgomery64_2e510m290x2e496m1.json	2298	log plain
-rw-r--r--	montgomery64_2e511m187.json	2254	log plain
-rw-r--r--	montgomery64_2e511m481.json	2254	log plain
-rw-r--r--	montgomery64_2e512m491x2e496m1.json	2298	log plain
-rw-r--r--	montgomery64_2e512m569.json	2254	log plain
-rw-r--r--	montgomery64_2e521m1.json	2297	log plain
-rw-r--r--	nistp256_amd128.json	493	log plain
-rw-r--r--	nistp256_amd64.json	491	log plain
-rwxr-xr-x	remake_curves.sh	21307	log plain
-rw-r--r--	solinas32_2e127m1.json	1208	log plain
-rw-r--r--	solinas32_2e129m25.json	1224	log plain
-rw-r--r--	solinas32_2e130m5.json	1216	log plain
-rw-r--r--	solinas32_2e137m13.json	1258	log plain
-rw-r--r--	solinas32_2e140m27.json	1248	log plain
-rw-r--r--	solinas32_2e141m9.json	1241	log plain
-rw-r--r--	solinas32_2e150m3.json	1253	log plain
-rw-r--r--	solinas32_2e150m5.json	1259	log plain
-rw-r--r--	solinas32_2e152m17.json	1268	log plain
-rw-r--r--	solinas32_2e158m15.json	1288	log plain
-rw-r--r--	solinas32_2e165m25.json	1326	log plain
-rw-r--r--	solinas32_2e166m5.json	1339	log plain
-rw-r--r--	solinas32_2e171m19.json	1340	log plain
-rw-r--r--	solinas32_2e174m17.json	1346	log plain
-rw-r--r--	solinas32_2e174m3.json	1319	log plain
-rw-r--r--	solinas32_2e189m25.json	1368	log plain
-rw-r--r--	solinas32_2e190m11.json	1374	log plain
-rw-r--r--	solinas32_2e191m19.json	1391	log plain
-rw-r--r--	solinas32_2e192m2e64m1.json	1643	log plain
-rw-r--r--	solinas32_2e194m33.json	1397	log plain
-rw-r--r--	solinas32_2e196m15.json	1388	log plain
-rw-r--r--	solinas32_2e198m17.json	1400	log plain
-rw-r--r--	solinas32_2e205m45x2e198m1.json	1742	log plain
-rw-r--r--	solinas32_2e206m5.json	1444	log plain
-rw-r--r--	solinas32_2e212m29.json	1436	log plain
-rw-r--r--	solinas32_2e213m3.json	1478	log plain
-rw-r--r--	solinas32_2e216m2e108m1.json	1730	log plain
-rw-r--r--	solinas32_2e221m3.json	1468	log plain
-rw-r--r--	solinas32_2e222m117.json	1474	log plain
-rw-r--r--	solinas32_2e224m2e96p1.json	1726	log plain
-rw-r--r--	solinas32_2e226m5.json	1474	log plain
-rw-r--r--	solinas32_2e230m27.json	1489	log plain
-rw-r--r--	solinas32_2e235m15.json	1506	log plain
-rw-r--r--	solinas32_2e243m9.json	1517	log plain
-rw-r--r--	solinas32_2e251m9.json	1548	log plain
-rw-r--r--	solinas32_2e254m127x2e240m1.json	1894	log plain
-rw-r--r--	solinas32_2e255m19.json	1554	log plain
-rw-r--r--	solinas32_2e255m2e4m2e1m1.json	1874	log plain
-rw-r--r--	solinas32_2e255m765.json	1567	log plain
-rw-r--r--	solinas32_2e256m189.json	1570	log plain
-rw-r--r--	solinas32_2e256m2e224p2e192p2e96m1.json	2039	log plain
-rw-r--r--	solinas32_2e256m2e32m977.json	1908	log plain
-rw-r--r--	solinas32_2e256m88x2e240m1.json	1913	log plain
-rw-r--r--	solinas32_2e266m3.json	1604	log plain
-rw-r--r--	solinas32_2e285m9.json	1656	log plain
-rw-r--r--	solinas32_2e291m19.json	1664	log plain
-rw-r--r--	solinas32_2e321m9.json	1769	log plain
-rw-r--r--	solinas32_2e322m2e161m1.json	2144	log plain
-rw-r--r--	solinas32_2e336m17.json	1773	log plain
-rw-r--r--	solinas32_2e336m3.json	1758	log plain
-rw-r--r--	solinas32_2e338m15.json	1787	log plain
-rw-r--r--	solinas32_2e369m25.json	1892	log plain
-rw-r--r--	solinas32_2e379m19.json	1924	log plain
-rw-r--r--	solinas32_2e382m105.json	1934	log plain
-rw-r--r--	solinas32_2e384m2e128m2e96p2e32m1.json	2437	log plain
-rw-r--r--	solinas32_2e384m317.json	1926	log plain
-rw-r--r--	solinas32_2e384m5x2e368m1.json	2312	log plain
-rw-r--r--	solinas32_2e384m79x2e376m1.json	2315	log plain
-rw-r--r--	solinas32_2e401m31.json	1972	log plain
-rw-r--r--	solinas32_2e414m17.json	1997	log plain
-rw-r--r--	solinas32_2e416m2e208m1.json	2408	log plain
-rw-r--r--	solinas32_2e444m17.json	2091	log plain
-rw-r--r--	solinas32_2e448m2e224m1.json	2491	log plain
-rw-r--r--	solinas32_2e450m2e225m1.json	2486	log plain
-rw-r--r--	solinas32_2e452m3.json	2085	log plain
-rw-r--r--	solinas32_2e468m17.json	2137	log plain
-rw-r--r--	solinas32_2e480m2e240m1.json	2571	log plain
-rw-r--r--	solinas32_2e488m17.json	2219	log plain
-rw-r--r--	solinas32_2e489m21.json	2257	log plain
-rw-r--r--	solinas32_2e495m31.json	2210	log plain
-rw-r--r--	solinas32_2e510m290x2e496m1.json	2817	log plain
-rw-r--r--	solinas32_2e511m187.json	2303	log plain
-rw-r--r--	solinas32_2e511m481.json	2303	log plain
-rw-r--r--	solinas32_2e512m491x2e496m1.json	2820	log plain
-rw-r--r--	solinas32_2e512m569.json	2282	log plain
-rw-r--r--	solinas32_2e521m1.json	2296	log plain
-rw-r--r--	solinas64_2e127m1.json	1190	log plain
-rw-r--r--	solinas64_2e129m25.json	1204	log plain
-rw-r--r--	solinas64_2e130m5.json	1210	log plain
-rw-r--r--	solinas64_2e137m13.json	1233	log plain
-rw-r--r--	solinas64_2e140m27.json	1230	log plain
-rw-r--r--	solinas64_2e141m9.json	1221	log plain
-rw-r--r--	solinas64_2e150m3.json	1241	log plain
-rw-r--r--	solinas64_2e150m5.json	1241	log plain
-rw-r--r--	solinas64_2e152m17.json	1250	log plain
-rw-r--r--	solinas64_2e158m15.json	1272	log plain
-rw-r--r--	solinas64_2e165m25.json	1284	log plain
-rw-r--r--	solinas64_2e166m5.json	1287	log plain
-rw-r--r--	solinas64_2e171m19.json	1304	log plain
-rw-r--r--	solinas64_2e174m17.json	1304	log plain
-rw-r--r--	solinas64_2e174m3.json	1301	log plain
-rw-r--r--	solinas64_2e189m25.json	1353	log plain
-rw-r--r--	solinas64_2e190m11.json	1352	log plain
-rw-r--r--	solinas64_2e191m19.json	1358	log plain
-rw-r--r--	solinas64_2e192m2e64m1.json	1559	log plain
-rw-r--r--	solinas64_2e194m33.json	1372	log plain
-rw-r--r--	solinas64_2e196m15.json	1370	log plain
-rw-r--r--	solinas64_2e198m17.json	1372	log plain
-rw-r--r--	solinas64_2e205m45x2e198m1.json	1614	log plain
-rw-r--r--	solinas64_2e206m5.json	1389	log plain
-rw-r--r--	solinas64_2e212m29.json	1410	log plain
-rw-r--r--	solinas64_2e213m3.json	1410	log plain
-rw-r--r--	solinas64_2e216m2e108m1.json	1646	log plain
-rw-r--r--	solinas64_2e221m3.json	1430	log plain
-rw-r--r--	solinas64_2e222m117.json	1435	log plain
-rw-r--r--	solinas64_2e224m2e96p1.json	1642	log plain
-rw-r--r--	solinas64_2e226m5.json	1449	log plain
-rw-r--r--	solinas64_2e230m27.json	1452	log plain
-rw-r--r--	solinas64_2e235m15.json	1476	log plain
-rw-r--r--	solinas64_2e243m9.json	1501	log plain
-rw-r--r--	solinas64_2e251m9.json	1515	log plain
-rw-r--r--	solinas64_2e254m127x2e240m1.json	1782	log plain
-rw-r--r--	solinas64_2e255m19.json	1519	log plain
-rw-r--r--	solinas64_2e255m2e4m2e1m1.json	1784	log plain
-rw-r--r--	solinas64_2e255m765.json	1519	log plain
-rw-r--r--	solinas64_2e256m189.json	1521	log plain
-rw-r--r--	solinas64_2e256m2e224p2e192p2e96m1.json	1881	log plain
-rw-r--r--	solinas64_2e256m2e32m977.json	1736	log plain
-rw-r--r--	solinas64_2e256m88x2e240m1.json	1754	log plain
-rw-r--r--	solinas64_2e266m3.json	1555	log plain
-rw-r--r--	solinas64_2e285m9.json	1593	log plain
-rw-r--r--	solinas64_2e291m19.json	1618	log plain
-rw-r--r--	solinas64_2e321m9.json	1701	log plain
-rw-r--r--	solinas64_2e322m2e161m1.json	1989	log plain
-rw-r--r--	solinas64_2e336m17.json	1722	log plain
-rw-r--r--	solinas64_2e336m3.json	1719	log plain
-rw-r--r--	solinas64_2e338m15.json	1748	log plain
-rw-r--r--	solinas64_2e369m25.json	1838	log plain
-rw-r--r--	solinas64_2e379m19.json	1854	log plain
-rw-r--r--	solinas64_2e382m105.json	1874	log plain
-rw-r--r--	solinas64_2e384m2e128m2e96p2e32m1.json	2259	log plain
-rw-r--r--	solinas64_2e384m317.json	1857	log plain
-rw-r--r--	solinas64_2e384m5x2e368m1.json	2132	log plain
-rw-r--r--	solinas64_2e384m79x2e376m1.json	2135	log plain
-rw-r--r--	solinas64_2e401m31.json	1918	log plain
-rw-r--r--	solinas64_2e413m21.json	1928	log plain
-rw-r--r--	solinas64_2e414m17.json	1940	log plain
-rw-r--r--	solinas64_2e416m2e208m1.json	2230	log plain
-rw-r--r--	solinas64_2e444m17.json	2016	log plain
-rw-r--r--	solinas64_2e448m2e224m1.json	2313	log plain
-rw-r--r--	solinas64_2e450m2e225m1.json	2333	log plain
-rw-r--r--	solinas64_2e452m3.json	2033	log plain
-rw-r--r--	solinas64_2e468m17.json	2076	log plain
-rw-r--r--	solinas64_2e480m2e240m1.json	2393	log plain
-rw-r--r--	solinas64_2e488m17.json	2167	log plain
-rw-r--r--	solinas64_2e489m21.json	2146	log plain
-rw-r--r--	solinas64_2e495m31.json	2140	log plain
-rw-r--r--	solinas64_2e510m290x2e496m1.json	2503	log plain
-rw-r--r--	solinas64_2e511m187.json	2194	log plain
-rw-r--r--	solinas64_2e511m481.json	2194	log plain
-rw-r--r--	solinas64_2e512m491x2e496m1.json	2505	log plain
-rw-r--r--	solinas64_2e512m569.json	2194	log plain
-rw-r--r--	solinas64_2e521m1.json	2231	log plain
-rw-r--r--	x2448_c64_karatsuba.json	315	log plain
-rw-r--r--	x25519_c32.json	12078	log plain
-rw-r--r--	x25519_c64.json	2613	log plain
-rw-r--r--	x2555_130.json	338	log plain