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	1378	log plain
-rw-r--r--	montgomery32_2e129m25.json	1407	log plain
-rw-r--r--	montgomery32_2e130m5.json	1404	log plain
-rw-r--r--	montgomery32_2e137m13.json	1427	log plain
-rw-r--r--	montgomery32_2e140m27.json	1427	log plain
-rw-r--r--	montgomery32_2e141m9.json	1424	log plain
-rw-r--r--	montgomery32_2e150m3.json	1444	log plain
-rw-r--r--	montgomery32_2e150m5.json	1444	log plain
-rw-r--r--	montgomery32_2e152m17.json	1447	log plain
-rw-r--r--	montgomery32_2e158m15.json	1467	log plain
-rw-r--r--	montgomery32_2e165m25.json	1493	log plain
-rw-r--r--	montgomery32_2e166m5.json	1490	log plain
-rw-r--r--	montgomery32_2e171m19.json	1513	log plain
-rw-r--r--	montgomery32_2e174m17.json	1513	log plain
-rw-r--r--	montgomery32_2e174m3.json	1510	log plain
-rw-r--r--	montgomery32_2e189m25.json	1553	log plain
-rw-r--r--	montgomery32_2e190m11.json	1553	log plain
-rw-r--r--	montgomery32_2e191m19.json	1553	log plain
-rw-r--r--	montgomery32_2e192m2e64m1.json	1585	log plain
-rw-r--r--	montgomery32_2e194m33.json	1579	log plain
-rw-r--r--	montgomery32_2e196m15.json	1579	log plain
-rw-r--r--	montgomery32_2e198m17.json	1579	log plain
-rw-r--r--	montgomery32_2e205m45x2e198m1.json	1643	log plain
-rw-r--r--	montgomery32_2e206m5.json	1596	log plain
-rw-r--r--	montgomery32_2e212m29.json	1619	log plain
-rw-r--r--	montgomery32_2e213m3.json	1616	log plain
-rw-r--r--	montgomery32_2e216m2e108m1.json	1654	log plain
-rw-r--r--	montgomery32_2e221m3.json	1636	log plain
-rw-r--r--	montgomery32_2e222m117.json	1642	log plain
-rw-r--r--	montgomery32_2e224m2e96p1.json	1671	log plain
-rw-r--r--	montgomery32_2e226m5.json	1662	log plain
-rw-r--r--	montgomery32_2e230m27.json	1665	log plain
-rw-r--r--	montgomery32_2e235m15.json	1685	log plain
-rw-r--r--	montgomery32_2e243m9.json	1702	log plain
-rw-r--r--	montgomery32_2e251m9.json	1722	log plain
-rw-r--r--	montgomery32_2e254m127x2e240m1.json	1772	log plain
-rw-r--r--	montgomery32_2e255m19.json	1725	log plain
-rw-r--r--	montgomery32_2e255m2e4m2e1m1.json	1786	log plain
-rw-r--r--	montgomery32_2e255m765.json	1728	log plain
-rw-r--r--	montgomery32_2e256m189.json	1728	log plain
-rw-r--r--	montgomery32_2e256m2e224p2e192p2e96m1.json	1833	log plain
-rw-r--r--	montgomery32_2e256m2e32m977.json	1763	log plain
-rw-r--r--	montgomery32_2e256m88x2e240m1.json	1769	log plain
-rw-r--r--	montgomery32_2e266m3.json	1768	log plain
-rw-r--r--	montgomery32_2e285m9.json	1808	log plain
-rw-r--r--	montgomery32_2e291m19.json	1840	log plain
-rw-r--r--	montgomery32_2e321m9.json	1923	log plain
-rw-r--r--	montgomery32_2e322m2e161m1.json	1961	log plain
-rw-r--r--	montgomery32_2e336m17.json	1946	log plain
-rw-r--r--	montgomery32_2e336m3.json	1943	log plain
-rw-r--r--	montgomery32_2e338m15.json	1966	log plain
-rw-r--r--	montgomery32_2e369m25.json	2052	log plain
-rw-r--r--	montgomery32_2e379m19.json	2072	log plain
-rw-r--r--	montgomery32_2e382m105.json	2075	log plain
-rw-r--r--	montgomery32_2e383m187.json	2075	log plain
-rw-r--r--	montgomery32_2e383m31.json	2072	log plain
-rw-r--r--	montgomery32_2e383m421.json	2075	log plain
-rw-r--r--	montgomery32_2e384m2e128m2e96p2e32m1.json	2177	log plain
-rw-r--r--	montgomery32_2e384m317.json	2075	log plain
-rw-r--r--	montgomery32_2e384m5x2e368m1.json	2113	log plain
-rw-r--r--	montgomery32_2e384m79x2e376m1.json	2116	log plain
-rw-r--r--	montgomery32_2e389m21.json	2098	log plain
-rw-r--r--	montgomery32_2e401m31.json	2138	log plain
-rw-r--r--	montgomery32_2e413m21.json	2158	log plain
-rw-r--r--	montgomery32_2e414m17.json	2158	log plain
-rw-r--r--	montgomery32_2e416m2e208m1.json	2193	log plain
-rw-r--r--	montgomery32_2e444m17.json	2244	log plain
-rw-r--r--	montgomery32_2e448m2e224m1.json	2279	log plain
-rw-r--r--	montgomery32_2e450m2e225m1.json	2305	log plain
-rw-r--r--	montgomery32_2e452m3.json	2267	log plain
-rw-r--r--	montgomery32_2e468m17.json	2310	log plain
-rw-r--r--	montgomery32_2e480m2e240m1.json	2365	log plain
-rw-r--r--	montgomery32_2e488m17.json	2356	log plain
-rw-r--r--	montgomery32_2e489m21.json	2376	log plain
-rw-r--r--	montgomery32_2e495m31.json	2376	log plain
-rw-r--r--	montgomery32_2e510m290x2e496m1.json	2463	log plain
-rw-r--r--	montgomery32_2e511m187.json	2419	log plain
-rw-r--r--	montgomery32_2e511m481.json	2419	log plain
-rw-r--r--	montgomery32_2e512m491x2e496m1.json	2463	log plain
-rw-r--r--	montgomery32_2e512m569.json	2419	log plain
-rw-r--r--	montgomery32_2e521m1.json	2459	log plain
d---------	montgomery64	38	log plain
-rw-r--r--	montgomery64_2e127m1.json	1366	log plain
-rw-r--r--	montgomery64_2e129m25.json	1395	log plain
-rw-r--r--	montgomery64_2e130m5.json	1392	log plain
-rw-r--r--	montgomery64_2e137m13.json	1415	log plain
-rw-r--r--	montgomery64_2e140m27.json	1415	log plain
-rw-r--r--	montgomery64_2e141m9.json	1412	log plain
-rw-r--r--	montgomery64_2e150m3.json	1432	log plain
-rw-r--r--	montgomery64_2e150m5.json	1432	log plain
-rw-r--r--	montgomery64_2e152m17.json	1435	log plain
-rw-r--r--	montgomery64_2e158m15.json	1455	log plain
-rw-r--r--	montgomery64_2e165m25.json	1475	log plain
-rw-r--r--	montgomery64_2e166m5.json	1472	log plain
-rw-r--r--	montgomery64_2e171m19.json	1495	log plain
-rw-r--r--	montgomery64_2e174m17.json	1495	log plain
-rw-r--r--	montgomery64_2e174m3.json	1492	log plain
-rw-r--r--	montgomery64_2e189m25.json	1535	log plain
-rw-r--r--	montgomery64_2e190m11.json	1535	log plain
-rw-r--r--	montgomery64_2e191m19.json	1535	log plain
-rw-r--r--	montgomery64_2e192m2e64m1.json	1567	log plain
-rw-r--r--	montgomery64_2e194m33.json	1561	log plain
-rw-r--r--	montgomery64_2e196m15.json	1561	log plain
-rw-r--r--	montgomery64_2e198m17.json	1561	log plain
-rw-r--r--	montgomery64_2e205m45x2e198m1.json	1625	log plain
-rw-r--r--	montgomery64_2e206m5.json	1578	log plain
-rw-r--r--	montgomery64_2e212m29.json	1601	log plain
-rw-r--r--	montgomery64_2e213m3.json	1598	log plain
-rw-r--r--	montgomery64_2e216m2e108m1.json	1636	log plain
-rw-r--r--	montgomery64_2e221m3.json	1618	log plain
-rw-r--r--	montgomery64_2e222m117.json	1624	log plain
-rw-r--r--	montgomery64_2e224m2e96p1.json	1653	log plain
-rw-r--r--	montgomery64_2e226m5.json	1638	log plain
-rw-r--r--	montgomery64_2e230m27.json	1641	log plain
-rw-r--r--	montgomery64_2e235m15.json	1661	log plain
-rw-r--r--	montgomery64_2e243m9.json	1678	log plain
-rw-r--r--	montgomery64_2e251m9.json	1698	log plain
-rw-r--r--	montgomery64_2e254m127x2e240m1.json	1748	log plain
-rw-r--r--	montgomery64_2e255m19.json	1701	log plain
-rw-r--r--	montgomery64_2e255m2e4m2e1m1.json	1762	log plain
-rw-r--r--	montgomery64_2e255m765.json	1704	log plain
-rw-r--r--	montgomery64_2e256m189.json	1704	log plain
-rw-r--r--	montgomery64_2e256m2e224p2e192p2e96m1.json	1809	log plain
-rw-r--r--	montgomery64_2e256m2e32m977.json	1739	log plain
-rw-r--r--	montgomery64_2e256m88x2e240m1.json	1745	log plain
-rw-r--r--	montgomery64_2e266m3.json	1744	log plain
-rw-r--r--	montgomery64_2e285m9.json	1784	log plain
-rw-r--r--	montgomery64_2e291m19.json	1807	log plain
-rw-r--r--	montgomery64_2e321m9.json	1890	log plain
-rw-r--r--	montgomery64_2e322m2e161m1.json	1928	log plain
-rw-r--r--	montgomery64_2e336m17.json	1913	log plain
-rw-r--r--	montgomery64_2e336m3.json	1910	log plain
-rw-r--r--	montgomery64_2e338m15.json	1933	log plain
-rw-r--r--	montgomery64_2e369m25.json	2013	log plain
-rw-r--r--	montgomery64_2e379m19.json	2033	log plain
-rw-r--r--	montgomery64_2e382m105.json	2036	log plain
-rw-r--r--	montgomery64_2e383m187.json	2036	log plain
-rw-r--r--	montgomery64_2e383m31.json	2033	log plain
-rw-r--r--	montgomery64_2e383m421.json	2036	log plain
-rw-r--r--	montgomery64_2e384m2e128m2e96p2e32m1.json	2138	log plain
-rw-r--r--	montgomery64_2e384m317.json	2036	log plain
-rw-r--r--	montgomery64_2e384m5x2e368m1.json	2074	log plain
-rw-r--r--	montgomery64_2e384m79x2e376m1.json	2077	log plain
-rw-r--r--	montgomery64_2e389m21.json	2059	log plain
-rw-r--r--	montgomery64_2e401m31.json	2099	log plain
-rw-r--r--	montgomery64_2e413m21.json	2119	log plain
-rw-r--r--	montgomery64_2e414m17.json	2119	log plain
-rw-r--r--	montgomery64_2e416m2e208m1.json	2154	log plain
-rw-r--r--	montgomery64_2e444m17.json	2199	log plain
-rw-r--r--	montgomery64_2e448m2e224m1.json	2234	log plain
-rw-r--r--	montgomery64_2e450m2e225m1.json	2260	log plain
-rw-r--r--	montgomery64_2e452m3.json	2222	log plain
-rw-r--r--	montgomery64_2e468m17.json	2265	log plain
-rw-r--r--	montgomery64_2e480m2e240m1.json	2320	log plain
-rw-r--r--	montgomery64_2e488m17.json	2305	log plain
-rw-r--r--	montgomery64_2e489m21.json	2325	log plain
-rw-r--r--	montgomery64_2e495m31.json	2325	log plain
-rw-r--r--	montgomery64_2e510m290x2e496m1.json	2412	log plain
-rw-r--r--	montgomery64_2e511m187.json	2368	log plain
-rw-r--r--	montgomery64_2e511m481.json	2368	log plain
-rw-r--r--	montgomery64_2e512m491x2e496m1.json	2412	log plain
-rw-r--r--	montgomery64_2e512m569.json	2368	log plain
-rw-r--r--	montgomery64_2e521m1.json	2408	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	1395	log plain
-rw-r--r--	solinas32_2e129m25.json	1414	log plain
-rw-r--r--	solinas32_2e130m5.json	1403	log plain
-rw-r--r--	solinas32_2e137m13.json	1448	log plain
-rw-r--r--	solinas32_2e140m27.json	1438	log plain
-rw-r--r--	solinas32_2e141m9.json	1431	log plain
-rw-r--r--	solinas32_2e150m3.json	1443	log plain
-rw-r--r--	solinas32_2e150m5.json	1449	log plain
-rw-r--r--	solinas32_2e152m17.json	1458	log plain
-rw-r--r--	solinas32_2e158m15.json	1478	log plain
-rw-r--r--	solinas32_2e165m25.json	1516	log plain
-rw-r--r--	solinas32_2e166m5.json	1529	log plain
-rw-r--r--	solinas32_2e171m19.json	1530	log plain
-rw-r--r--	solinas32_2e174m17.json	1536	log plain
-rw-r--r--	solinas32_2e174m3.json	1509	log plain
-rw-r--r--	solinas32_2e189m25.json	1558	log plain
-rw-r--r--	solinas32_2e190m11.json	1564	log plain
-rw-r--r--	solinas32_2e191m19.json	1581	log plain
-rw-r--r--	solinas32_2e192m2e64m1.json	1833	log plain
-rw-r--r--	solinas32_2e194m33.json	1587	log plain
-rw-r--r--	solinas32_2e196m15.json	1578	log plain
-rw-r--r--	solinas32_2e198m17.json	1590	log plain
-rw-r--r--	solinas32_2e205m45x2e198m1.json	1932	log plain
-rw-r--r--	solinas32_2e206m5.json	1634	log plain
-rw-r--r--	solinas32_2e212m29.json	1626	log plain
-rw-r--r--	solinas32_2e213m3.json	1668	log plain
-rw-r--r--	solinas32_2e216m2e108m1.json	1920	log plain
-rw-r--r--	solinas32_2e221m3.json	1658	log plain
-rw-r--r--	solinas32_2e222m117.json	1664	log plain
-rw-r--r--	solinas32_2e224m2e96p1.json	1913	log plain
-rw-r--r--	solinas32_2e226m5.json	1664	log plain
-rw-r--r--	solinas32_2e230m27.json	1679	log plain
-rw-r--r--	solinas32_2e235m15.json	1696	log plain
-rw-r--r--	solinas32_2e243m9.json	1707	log plain
-rw-r--r--	solinas32_2e251m9.json	1738	log plain
-rw-r--r--	solinas32_2e254m127x2e240m1.json	2084	log plain
-rw-r--r--	solinas32_2e255m19.json	1741	log plain
-rw-r--r--	solinas32_2e255m2e4m2e1m1.json	2064	log plain
-rw-r--r--	solinas32_2e255m765.json	1757	log plain
-rw-r--r--	solinas32_2e256m189.json	1760	log plain
-rw-r--r--	solinas32_2e256m2e224p2e192p2e96m1.json	2226	log plain
-rw-r--r--	solinas32_2e256m2e32m977.json	2095	log plain
-rw-r--r--	solinas32_2e256m88x2e240m1.json	2103	log plain
-rw-r--r--	solinas32_2e266m3.json	1794	log plain
-rw-r--r--	solinas32_2e285m9.json	1846	log plain
-rw-r--r--	solinas32_2e291m19.json	1854	log plain
-rw-r--r--	solinas32_2e321m9.json	1959	log plain
-rw-r--r--	solinas32_2e322m2e161m1.json	2334	log plain
-rw-r--r--	solinas32_2e336m17.json	1963	log plain
-rw-r--r--	solinas32_2e336m3.json	1948	log plain
-rw-r--r--	solinas32_2e338m15.json	1977	log plain
-rw-r--r--	solinas32_2e369m25.json	2082	log plain
-rw-r--r--	solinas32_2e379m19.json	2114	log plain
-rw-r--r--	solinas32_2e382m105.json	2124	log plain
-rw-r--r--	solinas32_2e384m2e128m2e96p2e32m1.json	2624	log plain
-rw-r--r--	solinas32_2e384m317.json	2116	log plain
-rw-r--r--	solinas32_2e384m5x2e368m1.json	2502	log plain
-rw-r--r--	solinas32_2e384m79x2e376m1.json	2505	log plain
-rw-r--r--	solinas32_2e401m31.json	2162	log plain
-rw-r--r--	solinas32_2e414m17.json	2187	log plain
-rw-r--r--	solinas32_2e416m2e208m1.json	2598	log plain
-rw-r--r--	solinas32_2e444m17.json	2281	log plain
-rw-r--r--	solinas32_2e448m2e224m1.json	2678	log plain
-rw-r--r--	solinas32_2e450m2e225m1.json	2676	log plain
-rw-r--r--	solinas32_2e452m3.json	2275	log plain
-rw-r--r--	solinas32_2e468m17.json	2327	log plain
-rw-r--r--	solinas32_2e480m2e240m1.json	2758	log plain
-rw-r--r--	solinas32_2e488m17.json	2409	log plain
-rw-r--r--	solinas32_2e489m21.json	2447	log plain
-rw-r--r--	solinas32_2e495m31.json	2400	log plain
-rw-r--r--	solinas32_2e510m290x2e496m1.json	3007	log plain
-rw-r--r--	solinas32_2e511m187.json	2493	log plain
-rw-r--r--	solinas32_2e511m481.json	2493	log plain
-rw-r--r--	solinas32_2e512m491x2e496m1.json	3010	log plain
-rw-r--r--	solinas32_2e512m569.json	2472	log plain
-rw-r--r--	solinas32_2e521m1.json	2483	log plain
-rw-r--r--	solinas64_2e127m1.json	1377	log plain
-rw-r--r--	solinas64_2e129m25.json	1394	log plain
-rw-r--r--	solinas64_2e130m5.json	1397	log plain
-rw-r--r--	solinas64_2e137m13.json	1423	log plain
-rw-r--r--	solinas64_2e140m27.json	1420	log plain
-rw-r--r--	solinas64_2e141m9.json	1411	log plain
-rw-r--r--	solinas64_2e150m3.json	1431	log plain
-rw-r--r--	solinas64_2e150m5.json	1431	log plain
-rw-r--r--	solinas64_2e152m17.json	1440	log plain
-rw-r--r--	solinas64_2e158m15.json	1462	log plain
-rw-r--r--	solinas64_2e165m25.json	1474	log plain
-rw-r--r--	solinas64_2e166m5.json	1477	log plain
-rw-r--r--	solinas64_2e171m19.json	1494	log plain
-rw-r--r--	solinas64_2e174m17.json	1494	log plain
-rw-r--r--	solinas64_2e174m3.json	1491	log plain
-rw-r--r--	solinas64_2e189m25.json	1543	log plain
-rw-r--r--	solinas64_2e190m11.json	1542	log plain
-rw-r--r--	solinas64_2e191m19.json	1548	log plain
-rw-r--r--	solinas64_2e192m2e64m1.json	1749	log plain
-rw-r--r--	solinas64_2e194m33.json	1562	log plain
-rw-r--r--	solinas64_2e196m15.json	1560	log plain
-rw-r--r--	solinas64_2e198m17.json	1562	log plain
-rw-r--r--	solinas64_2e205m45x2e198m1.json	1804	log plain
-rw-r--r--	solinas64_2e206m5.json	1579	log plain
-rw-r--r--	solinas64_2e212m29.json	1600	log plain
-rw-r--r--	solinas64_2e213m3.json	1600	log plain
-rw-r--r--	solinas64_2e216m2e108m1.json	1836	log plain
-rw-r--r--	solinas64_2e221m3.json	1620	log plain
-rw-r--r--	solinas64_2e222m117.json	1625	log plain
-rw-r--r--	solinas64_2e224m2e96p1.json	1829	log plain
-rw-r--r--	solinas64_2e226m5.json	1639	log plain
-rw-r--r--	solinas64_2e230m27.json	1642	log plain
-rw-r--r--	solinas64_2e235m15.json	1666	log plain
-rw-r--r--	solinas64_2e243m9.json	1691	log plain
-rw-r--r--	solinas64_2e251m9.json	1705	log plain
-rw-r--r--	solinas64_2e254m127x2e240m1.json	1972	log plain
-rw-r--r--	solinas64_2e255m19.json	1706	log plain
-rw-r--r--	solinas64_2e255m2e4m2e1m1.json	1974	log plain
-rw-r--r--	solinas64_2e255m765.json	1709	log plain
-rw-r--r--	solinas64_2e256m189.json	1711	log plain
-rw-r--r--	solinas64_2e256m2e224p2e192p2e96m1.json	2068	log plain
-rw-r--r--	solinas64_2e256m2e32m977.json	1923	log plain
-rw-r--r--	solinas64_2e256m88x2e240m1.json	1944	log plain
-rw-r--r--	solinas64_2e266m3.json	1745	log plain
-rw-r--r--	solinas64_2e285m9.json	1783	log plain
-rw-r--r--	solinas64_2e291m19.json	1808	log plain
-rw-r--r--	solinas64_2e321m9.json	1891	log plain
-rw-r--r--	solinas64_2e322m2e161m1.json	2179	log plain
-rw-r--r--	solinas64_2e336m17.json	1912	log plain
-rw-r--r--	solinas64_2e336m3.json	1909	log plain
-rw-r--r--	solinas64_2e338m15.json	1938	log plain
-rw-r--r--	solinas64_2e369m25.json	2028	log plain
-rw-r--r--	solinas64_2e379m19.json	2044	log plain
-rw-r--r--	solinas64_2e382m105.json	2064	log plain
-rw-r--r--	solinas64_2e384m2e128m2e96p2e32m1.json	2446	log plain
-rw-r--r--	solinas64_2e384m317.json	2047	log plain
-rw-r--r--	solinas64_2e384m5x2e368m1.json	2322	log plain
-rw-r--r--	solinas64_2e384m79x2e376m1.json	2325	log plain
-rw-r--r--	solinas64_2e401m31.json	2108	log plain
-rw-r--r--	solinas64_2e413m21.json	2118	log plain
-rw-r--r--	solinas64_2e414m17.json	2130	log plain
-rw-r--r--	solinas64_2e416m2e208m1.json	2420	log plain
-rw-r--r--	solinas64_2e444m17.json	2206	log plain
-rw-r--r--	solinas64_2e448m2e224m1.json	2500	log plain
-rw-r--r--	solinas64_2e450m2e225m1.json	2523	log plain
-rw-r--r--	solinas64_2e452m3.json	2223	log plain
-rw-r--r--	solinas64_2e468m17.json	2266	log plain
-rw-r--r--	solinas64_2e480m2e240m1.json	2580	log plain
-rw-r--r--	solinas64_2e488m17.json	2357	log plain
-rw-r--r--	solinas64_2e489m21.json	2336	log plain
-rw-r--r--	solinas64_2e495m31.json	2330	log plain
-rw-r--r--	solinas64_2e510m290x2e496m1.json	2693	log plain
-rw-r--r--	solinas64_2e511m187.json	2384	log plain
-rw-r--r--	solinas64_2e511m481.json	2384	log plain
-rw-r--r--	solinas64_2e512m491x2e496m1.json	2695	log plain
-rw-r--r--	solinas64_2e512m569.json	2384	log plain
-rw-r--r--	solinas64_2e521m1.json	2418	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