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.json	1403	log plain
-rw-r--r--	montgomery32_2e129m25.json	1429	log plain
-rw-r--r--	montgomery32_2e130m5.json	1429	log plain
-rw-r--r--	montgomery32_2e137m13.json	1449	log plain
-rw-r--r--	montgomery32_2e140m27.json	1449	log plain
-rw-r--r--	montgomery32_2e141m9.json	1446	log plain
-rw-r--r--	montgomery32_2e150m3.json	1466	log plain
-rw-r--r--	montgomery32_2e150m5.json	1466	log plain
-rw-r--r--	montgomery32_2e152m17.json	1469	log plain
-rw-r--r--	montgomery32_2e158m15.json	1489	log plain
-rw-r--r--	montgomery32_2e165m25.json	1515	log plain
-rw-r--r--	montgomery32_2e166m5.json	1512	log plain
-rw-r--r--	montgomery32_2e171m19.json	1535	log plain
-rw-r--r--	montgomery32_2e174m17.json	1535	log plain
-rw-r--r--	montgomery32_2e174m3.json	1532	log plain
-rw-r--r--	montgomery32_2e189m25.json	1575	log plain
-rw-r--r--	montgomery32_2e190m11.json	1575	log plain
-rw-r--r--	montgomery32_2e191m19.json	1575	log plain
-rw-r--r--	montgomery32_2e192m2e64m1.json	1607	log plain
-rw-r--r--	montgomery32_2e194m33.json	1601	log plain
-rw-r--r--	montgomery32_2e196m15.json	1601	log plain
-rw-r--r--	montgomery32_2e198m17.json	1601	log plain
-rw-r--r--	montgomery32_2e205m45x2e198m1.json	1665	log plain
-rw-r--r--	montgomery32_2e206m5.json	1618	log plain
-rw-r--r--	montgomery32_2e212m29.json	1641	log plain
-rw-r--r--	montgomery32_2e213m3.json	1638	log plain
-rw-r--r--	montgomery32_2e216m2e108m1.json	1676	log plain
-rw-r--r--	montgomery32_2e221m3.json	1658	log plain
-rw-r--r--	montgomery32_2e222m117.json	1664	log plain
-rw-r--r--	montgomery32_2e224m2e96p1.json	1696	log plain
-rw-r--r--	montgomery32_2e226m5.json	1684	log plain
-rw-r--r--	montgomery32_2e230m27.json	1687	log plain
-rw-r--r--	montgomery32_2e235m15.json	1707	log plain
-rw-r--r--	montgomery32_2e243m9.json	1724	log plain
-rw-r--r--	montgomery32_2e251m9.json	1744	log plain
-rw-r--r--	montgomery32_2e254m127x2e240m1.json	1794	log plain
-rw-r--r--	montgomery32_2e255m19.json	1750	log plain
-rw-r--r--	montgomery32_2e255m2e4m2e1m1.json	1808	log plain
-rw-r--r--	montgomery32_2e255m765.json	1750	log plain
-rw-r--r--	montgomery32_2e256m189.json	1750	log plain
-rw-r--r--	montgomery32_2e256m2e224p2e192p2e96m1.json	1858	log plain
-rw-r--r--	montgomery32_2e256m2e32m977.json	1788	log plain
-rw-r--r--	montgomery32_2e256m88x2e240m1.json	1791	log plain
-rw-r--r--	montgomery32_2e266m3.json	1790	log plain
-rw-r--r--	montgomery32_2e285m9.json	1830	log plain
-rw-r--r--	montgomery32_2e291m19.json	1862	log plain
-rw-r--r--	montgomery32_2e321m9.json	1945	log plain
-rw-r--r--	montgomery32_2e322m2e161m1.json	1983	log plain
-rw-r--r--	montgomery32_2e336m17.json	1968	log plain
-rw-r--r--	montgomery32_2e336m3.json	1965	log plain
-rw-r--r--	montgomery32_2e338m15.json	1988	log plain
-rw-r--r--	montgomery32_2e369m25.json	2074	log plain
-rw-r--r--	montgomery32_2e379m19.json	2094	log plain
-rw-r--r--	montgomery32_2e382m105.json	2097	log plain
-rw-r--r--	montgomery32_2e383m187.json	2097	log plain
-rw-r--r--	montgomery32_2e383m31.json	2094	log plain
-rw-r--r--	montgomery32_2e383m421.json	2097	log plain
-rw-r--r--	montgomery32_2e384m2e128m2e96p2e32m1.json	2202	log plain
-rw-r--r--	montgomery32_2e384m317.json	2097	log plain
-rw-r--r--	montgomery32_2e384m5x2e368m1.json	2135	log plain
-rw-r--r--	montgomery32_2e384m79x2e376m1.json	2138	log plain
-rw-r--r--	montgomery32_2e389m21.json	2120	log plain
-rw-r--r--	montgomery32_2e401m31.json	2160	log plain
-rw-r--r--	montgomery32_2e413m21.json	2180	log plain
-rw-r--r--	montgomery32_2e414m17.json	2180	log plain
-rw-r--r--	montgomery32_2e416m2e208m1.json	2215	log plain
-rw-r--r--	montgomery32_2e444m17.json	2266	log plain
-rw-r--r--	montgomery32_2e448m2e224m1.json	2304	log plain
-rw-r--r--	montgomery32_2e450m2e225m1.json	2327	log plain
-rw-r--r--	montgomery32_2e452m3.json	2289	log plain
-rw-r--r--	montgomery32_2e468m17.json	2332	log plain
-rw-r--r--	montgomery32_2e480m2e240m1.json	2390	log plain
-rw-r--r--	montgomery32_2e488m17.json	2378	log plain
-rw-r--r--	montgomery32_2e489m21.json	2398	log plain
-rw-r--r--	montgomery32_2e495m31.json	2398	log plain
-rw-r--r--	montgomery32_2e510m290x2e496m1.json	2485	log plain
-rw-r--r--	montgomery32_2e511m187.json	2441	log plain
-rw-r--r--	montgomery32_2e511m481.json	2441	log plain
-rw-r--r--	montgomery32_2e512m491x2e496m1.json	2485	log plain
-rw-r--r--	montgomery32_2e512m569.json	2441	log plain
-rw-r--r--	montgomery32_2e521m1.json	2484	log plain
d---------	montgomery64	38	log plain
-rw-r--r--	montgomery64_2e127m1.json	1391	log plain
-rw-r--r--	montgomery64_2e129m25.json	1417	log plain
-rw-r--r--	montgomery64_2e130m5.json	1417	log plain
-rw-r--r--	montgomery64_2e137m13.json	1437	log plain
-rw-r--r--	montgomery64_2e140m27.json	1437	log plain
-rw-r--r--	montgomery64_2e141m9.json	1434	log plain
-rw-r--r--	montgomery64_2e150m3.json	1454	log plain
-rw-r--r--	montgomery64_2e150m5.json	1454	log plain
-rw-r--r--	montgomery64_2e152m17.json	1457	log plain
-rw-r--r--	montgomery64_2e158m15.json	1477	log plain
-rw-r--r--	montgomery64_2e165m25.json	1497	log plain
-rw-r--r--	montgomery64_2e166m5.json	1494	log plain
-rw-r--r--	montgomery64_2e171m19.json	1517	log plain
-rw-r--r--	montgomery64_2e174m17.json	1517	log plain
-rw-r--r--	montgomery64_2e174m3.json	1514	log plain
-rw-r--r--	montgomery64_2e189m25.json	1557	log plain
-rw-r--r--	montgomery64_2e190m11.json	1557	log plain
-rw-r--r--	montgomery64_2e191m19.json	1557	log plain
-rw-r--r--	montgomery64_2e192m2e64m1.json	1589	log plain
-rw-r--r--	montgomery64_2e194m33.json	1583	log plain
-rw-r--r--	montgomery64_2e196m15.json	1583	log plain
-rw-r--r--	montgomery64_2e198m17.json	1583	log plain
-rw-r--r--	montgomery64_2e205m45x2e198m1.json	1647	log plain
-rw-r--r--	montgomery64_2e206m5.json	1600	log plain
-rw-r--r--	montgomery64_2e212m29.json	1623	log plain
-rw-r--r--	montgomery64_2e213m3.json	1620	log plain
-rw-r--r--	montgomery64_2e216m2e108m1.json	1658	log plain
-rw-r--r--	montgomery64_2e221m3.json	1640	log plain
-rw-r--r--	montgomery64_2e222m117.json	1646	log plain
-rw-r--r--	montgomery64_2e224m2e96p1.json	1678	log plain
-rw-r--r--	montgomery64_2e226m5.json	1660	log plain
-rw-r--r--	montgomery64_2e230m27.json	1663	log plain
-rw-r--r--	montgomery64_2e235m15.json	1683	log plain
-rw-r--r--	montgomery64_2e243m9.json	1700	log plain
-rw-r--r--	montgomery64_2e251m9.json	1720	log plain
-rw-r--r--	montgomery64_2e254m127x2e240m1.json	1770	log plain
-rw-r--r--	montgomery64_2e255m19.json	1726	log plain
-rw-r--r--	montgomery64_2e255m2e4m2e1m1.json	1784	log plain
-rw-r--r--	montgomery64_2e255m765.json	1726	log plain
-rw-r--r--	montgomery64_2e256m189.json	1726	log plain
-rw-r--r--	montgomery64_2e256m2e224p2e192p2e96m1.json	1834	log plain
-rw-r--r--	montgomery64_2e256m2e32m977.json	1764	log plain
-rw-r--r--	montgomery64_2e256m88x2e240m1.json	1767	log plain
-rw-r--r--	montgomery64_2e266m3.json	1766	log plain
-rw-r--r--	montgomery64_2e285m9.json	1806	log plain
-rw-r--r--	montgomery64_2e291m19.json	1829	log plain
-rw-r--r--	montgomery64_2e321m9.json	1912	log plain
-rw-r--r--	montgomery64_2e322m2e161m1.json	1950	log plain
-rw-r--r--	montgomery64_2e336m17.json	1935	log plain
-rw-r--r--	montgomery64_2e336m3.json	1932	log plain
-rw-r--r--	montgomery64_2e338m15.json	1955	log plain
-rw-r--r--	montgomery64_2e369m25.json	2035	log plain
-rw-r--r--	montgomery64_2e379m19.json	2055	log plain
-rw-r--r--	montgomery64_2e382m105.json	2058	log plain
-rw-r--r--	montgomery64_2e383m187.json	2058	log plain
-rw-r--r--	montgomery64_2e383m31.json	2055	log plain
-rw-r--r--	montgomery64_2e383m421.json	2058	log plain
-rw-r--r--	montgomery64_2e384m2e128m2e96p2e32m1.json	2163	log plain
-rw-r--r--	montgomery64_2e384m317.json	2058	log plain
-rw-r--r--	montgomery64_2e384m5x2e368m1.json	2096	log plain
-rw-r--r--	montgomery64_2e384m79x2e376m1.json	2099	log plain
-rw-r--r--	montgomery64_2e389m21.json	2081	log plain
-rw-r--r--	montgomery64_2e401m31.json	2121	log plain
-rw-r--r--	montgomery64_2e413m21.json	2141	log plain
-rw-r--r--	montgomery64_2e414m17.json	2141	log plain
-rw-r--r--	montgomery64_2e416m2e208m1.json	2176	log plain
-rw-r--r--	montgomery64_2e444m17.json	2221	log plain
-rw-r--r--	montgomery64_2e448m2e224m1.json	2259	log plain
-rw-r--r--	montgomery64_2e450m2e225m1.json	2282	log plain
-rw-r--r--	montgomery64_2e452m3.json	2244	log plain
-rw-r--r--	montgomery64_2e468m17.json	2287	log plain
-rw-r--r--	montgomery64_2e480m2e240m1.json	2345	log plain
-rw-r--r--	montgomery64_2e488m17.json	2327	log plain
-rw-r--r--	montgomery64_2e489m21.json	2347	log plain
-rw-r--r--	montgomery64_2e495m31.json	2347	log plain
-rw-r--r--	montgomery64_2e510m290x2e496m1.json	2434	log plain
-rw-r--r--	montgomery64_2e511m187.json	2390	log plain
-rw-r--r--	montgomery64_2e511m481.json	2390	log plain
-rw-r--r--	montgomery64_2e512m491x2e496m1.json	2434	log plain
-rw-r--r--	montgomery64_2e512m569.json	2390	log plain
-rw-r--r--	montgomery64_2e521m1.json	2433	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	1282	log plain
-rw-r--r--	solinas32_2e129m25.json	1298	log plain
-rw-r--r--	solinas32_2e130m5.json	1290	log plain
-rw-r--r--	solinas32_2e137m13.json	1332	log plain
-rw-r--r--	solinas32_2e140m27.json	1322	log plain
-rw-r--r--	solinas32_2e141m9.json	1315	log plain
-rw-r--r--	solinas32_2e150m3.json	1327	log plain
-rw-r--r--	solinas32_2e150m5.json	1333	log plain
-rw-r--r--	solinas32_2e152m17.json	1342	log plain
-rw-r--r--	solinas32_2e158m15.json	1362	log plain
-rw-r--r--	solinas32_2e165m25.json	1400	log plain
-rw-r--r--	solinas32_2e166m5.json	1413	log plain
-rw-r--r--	solinas32_2e171m19.json	1414	log plain
-rw-r--r--	solinas32_2e174m17.json	1420	log plain
-rw-r--r--	solinas32_2e174m3.json	1393	log plain
-rw-r--r--	solinas32_2e189m25.json	1442	log plain
-rw-r--r--	solinas32_2e190m11.json	1448	log plain
-rw-r--r--	solinas32_2e191m19.json	1465	log plain
-rw-r--r--	solinas32_2e192m2e64m1.json	1717	log plain
-rw-r--r--	solinas32_2e194m33.json	1471	log plain
-rw-r--r--	solinas32_2e196m15.json	1462	log plain
-rw-r--r--	solinas32_2e198m17.json	1474	log plain
-rw-r--r--	solinas32_2e205m45x2e198m1.json	1816	log plain
-rw-r--r--	solinas32_2e206m5.json	1518	log plain
-rw-r--r--	solinas32_2e212m29.json	1510	log plain
-rw-r--r--	solinas32_2e213m3.json	1552	log plain
-rw-r--r--	solinas32_2e216m2e108m1.json	1804	log plain
-rw-r--r--	solinas32_2e221m3.json	1542	log plain
-rw-r--r--	solinas32_2e222m117.json	1548	log plain
-rw-r--r--	solinas32_2e224m2e96p1.json	1800	log plain
-rw-r--r--	solinas32_2e226m5.json	1548	log plain
-rw-r--r--	solinas32_2e230m27.json	1563	log plain
-rw-r--r--	solinas32_2e235m15.json	1580	log plain
-rw-r--r--	solinas32_2e243m9.json	1591	log plain
-rw-r--r--	solinas32_2e251m9.json	1622	log plain
-rw-r--r--	solinas32_2e254m127x2e240m1.json	1968	log plain
-rw-r--r--	solinas32_2e255m19.json	1628	log plain
-rw-r--r--	solinas32_2e255m2e4m2e1m1.json	1948	log plain
-rw-r--r--	solinas32_2e255m765.json	1641	log plain
-rw-r--r--	solinas32_2e256m189.json	1644	log plain
-rw-r--r--	solinas32_2e256m2e224p2e192p2e96m1.json	2113	log plain
-rw-r--r--	solinas32_2e256m2e32m977.json	1982	log plain
-rw-r--r--	solinas32_2e256m88x2e240m1.json	1987	log plain
-rw-r--r--	solinas32_2e266m3.json	1678	log plain
-rw-r--r--	solinas32_2e285m9.json	1730	log plain
-rw-r--r--	solinas32_2e291m19.json	1738	log plain
-rw-r--r--	solinas32_2e321m9.json	1843	log plain
-rw-r--r--	solinas32_2e322m2e161m1.json	2218	log plain
-rw-r--r--	solinas32_2e336m17.json	1847	log plain
-rw-r--r--	solinas32_2e336m3.json	1832	log plain
-rw-r--r--	solinas32_2e338m15.json	1861	log plain
-rw-r--r--	solinas32_2e369m25.json	1966	log plain
-rw-r--r--	solinas32_2e379m19.json	1998	log plain
-rw-r--r--	solinas32_2e382m105.json	2008	log plain
-rw-r--r--	solinas32_2e384m2e128m2e96p2e32m1.json	2511	log plain
-rw-r--r--	solinas32_2e384m317.json	2000	log plain
-rw-r--r--	solinas32_2e384m5x2e368m1.json	2386	log plain
-rw-r--r--	solinas32_2e384m79x2e376m1.json	2389	log plain
-rw-r--r--	solinas32_2e401m31.json	2046	log plain
-rw-r--r--	solinas32_2e414m17.json	2071	log plain
-rw-r--r--	solinas32_2e416m2e208m1.json	2482	log plain
-rw-r--r--	solinas32_2e444m17.json	2165	log plain
-rw-r--r--	solinas32_2e448m2e224m1.json	2565	log plain
-rw-r--r--	solinas32_2e450m2e225m1.json	2560	log plain
-rw-r--r--	solinas32_2e452m3.json	2159	log plain
-rw-r--r--	solinas32_2e468m17.json	2211	log plain
-rw-r--r--	solinas32_2e480m2e240m1.json	2645	log plain
-rw-r--r--	solinas32_2e488m17.json	2293	log plain
-rw-r--r--	solinas32_2e489m21.json	2331	log plain
-rw-r--r--	solinas32_2e495m31.json	2284	log plain
-rw-r--r--	solinas32_2e510m290x2e496m1.json	2891	log plain
-rw-r--r--	solinas32_2e511m187.json	2377	log plain
-rw-r--r--	solinas32_2e511m481.json	2377	log plain
-rw-r--r--	solinas32_2e512m491x2e496m1.json	2894	log plain
-rw-r--r--	solinas32_2e512m569.json	2356	log plain
-rw-r--r--	solinas32_2e521m1.json	2370	log plain
-rw-r--r--	solinas64_2e127m1.json	1264	log plain
-rw-r--r--	solinas64_2e129m25.json	1278	log plain
-rw-r--r--	solinas64_2e130m5.json	1284	log plain
-rw-r--r--	solinas64_2e137m13.json	1307	log plain
-rw-r--r--	solinas64_2e140m27.json	1304	log plain
-rw-r--r--	solinas64_2e141m9.json	1295	log plain
-rw-r--r--	solinas64_2e150m3.json	1315	log plain
-rw-r--r--	solinas64_2e150m5.json	1315	log plain
-rw-r--r--	solinas64_2e152m17.json	1324	log plain
-rw-r--r--	solinas64_2e158m15.json	1346	log plain
-rw-r--r--	solinas64_2e165m25.json	1358	log plain
-rw-r--r--	solinas64_2e166m5.json	1361	log plain
-rw-r--r--	solinas64_2e171m19.json	1378	log plain
-rw-r--r--	solinas64_2e174m17.json	1378	log plain
-rw-r--r--	solinas64_2e174m3.json	1375	log plain
-rw-r--r--	solinas64_2e189m25.json	1427	log plain
-rw-r--r--	solinas64_2e190m11.json	1426	log plain
-rw-r--r--	solinas64_2e191m19.json	1432	log plain
-rw-r--r--	solinas64_2e192m2e64m1.json	1633	log plain
-rw-r--r--	solinas64_2e194m33.json	1446	log plain
-rw-r--r--	solinas64_2e196m15.json	1444	log plain
-rw-r--r--	solinas64_2e198m17.json	1446	log plain
-rw-r--r--	solinas64_2e205m45x2e198m1.json	1688	log plain
-rw-r--r--	solinas64_2e206m5.json	1463	log plain
-rw-r--r--	solinas64_2e212m29.json	1484	log plain
-rw-r--r--	solinas64_2e213m3.json	1484	log plain
-rw-r--r--	solinas64_2e216m2e108m1.json	1720	log plain
-rw-r--r--	solinas64_2e221m3.json	1504	log plain
-rw-r--r--	solinas64_2e222m117.json	1509	log plain
-rw-r--r--	solinas64_2e224m2e96p1.json	1716	log plain
-rw-r--r--	solinas64_2e226m5.json	1523	log plain
-rw-r--r--	solinas64_2e230m27.json	1526	log plain
-rw-r--r--	solinas64_2e235m15.json	1550	log plain
-rw-r--r--	solinas64_2e243m9.json	1575	log plain
-rw-r--r--	solinas64_2e251m9.json	1589	log plain
-rw-r--r--	solinas64_2e254m127x2e240m1.json	1856	log plain
-rw-r--r--	solinas64_2e255m19.json	1593	log plain
-rw-r--r--	solinas64_2e255m2e4m2e1m1.json	1858	log plain
-rw-r--r--	solinas64_2e255m765.json	1593	log plain
-rw-r--r--	solinas64_2e256m189.json	1595	log plain
-rw-r--r--	solinas64_2e256m2e224p2e192p2e96m1.json	1955	log plain
-rw-r--r--	solinas64_2e256m2e32m977.json	1810	log plain
-rw-r--r--	solinas64_2e256m88x2e240m1.json	1828	log plain
-rw-r--r--	solinas64_2e266m3.json	1629	log plain
-rw-r--r--	solinas64_2e285m9.json	1667	log plain
-rw-r--r--	solinas64_2e291m19.json	1692	log plain
-rw-r--r--	solinas64_2e321m9.json	1775	log plain
-rw-r--r--	solinas64_2e322m2e161m1.json	2063	log plain
-rw-r--r--	solinas64_2e336m17.json	1796	log plain
-rw-r--r--	solinas64_2e336m3.json	1793	log plain
-rw-r--r--	solinas64_2e338m15.json	1822	log plain
-rw-r--r--	solinas64_2e369m25.json	1912	log plain
-rw-r--r--	solinas64_2e379m19.json	1928	log plain
-rw-r--r--	solinas64_2e382m105.json	1948	log plain
-rw-r--r--	solinas64_2e384m2e128m2e96p2e32m1.json	2333	log plain
-rw-r--r--	solinas64_2e384m317.json	1931	log plain
-rw-r--r--	solinas64_2e384m5x2e368m1.json	2206	log plain
-rw-r--r--	solinas64_2e384m79x2e376m1.json	2209	log plain
-rw-r--r--	solinas64_2e401m31.json	1992	log plain
-rw-r--r--	solinas64_2e413m21.json	2002	log plain
-rw-r--r--	solinas64_2e414m17.json	2014	log plain
-rw-r--r--	solinas64_2e416m2e208m1.json	2304	log plain
-rw-r--r--	solinas64_2e444m17.json	2090	log plain
-rw-r--r--	solinas64_2e448m2e224m1.json	2387	log plain
-rw-r--r--	solinas64_2e450m2e225m1.json	2407	log plain
-rw-r--r--	solinas64_2e452m3.json	2107	log plain
-rw-r--r--	solinas64_2e468m17.json	2150	log plain
-rw-r--r--	solinas64_2e480m2e240m1.json	2467	log plain
-rw-r--r--	solinas64_2e488m17.json	2241	log plain
-rw-r--r--	solinas64_2e489m21.json	2220	log plain
-rw-r--r--	solinas64_2e495m31.json	2214	log plain
-rw-r--r--	solinas64_2e510m290x2e496m1.json	2577	log plain
-rw-r--r--	solinas64_2e511m187.json	2268	log plain
-rw-r--r--	solinas64_2e511m481.json	2268	log plain
-rw-r--r--	solinas64_2e512m491x2e496m1.json	2579	log plain
-rw-r--r--	solinas64_2e512m569.json	2268	log plain
-rw-r--r--	solinas64_2e521m1.json	2305	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