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	1396	log plain
-rw-r--r--	montgomery32_2e129m25.json	1425	log plain
-rw-r--r--	montgomery32_2e130m5.json	1422	log plain
-rw-r--r--	montgomery32_2e137m13.json	1445	log plain
-rw-r--r--	montgomery32_2e140m27.json	1445	log plain
-rw-r--r--	montgomery32_2e141m9.json	1442	log plain
-rw-r--r--	montgomery32_2e150m3.json	1462	log plain
-rw-r--r--	montgomery32_2e150m5.json	1462	log plain
-rw-r--r--	montgomery32_2e152m17.json	1465	log plain
-rw-r--r--	montgomery32_2e158m15.json	1485	log plain
-rw-r--r--	montgomery32_2e165m25.json	1511	log plain
-rw-r--r--	montgomery32_2e166m5.json	1508	log plain
-rw-r--r--	montgomery32_2e171m19.json	1531	log plain
-rw-r--r--	montgomery32_2e174m17.json	1531	log plain
-rw-r--r--	montgomery32_2e174m3.json	1528	log plain
-rw-r--r--	montgomery32_2e189m25.json	1571	log plain
-rw-r--r--	montgomery32_2e190m11.json	1571	log plain
-rw-r--r--	montgomery32_2e191m19.json	1571	log plain
-rw-r--r--	montgomery32_2e192m2e64m1.json	1603	log plain
-rw-r--r--	montgomery32_2e194m33.json	1597	log plain
-rw-r--r--	montgomery32_2e196m15.json	1597	log plain
-rw-r--r--	montgomery32_2e198m17.json	1597	log plain
-rw-r--r--	montgomery32_2e205m45x2e198m1.json	1661	log plain
-rw-r--r--	montgomery32_2e206m5.json	1614	log plain
-rw-r--r--	montgomery32_2e212m29.json	1637	log plain
-rw-r--r--	montgomery32_2e213m3.json	1634	log plain
-rw-r--r--	montgomery32_2e216m2e108m1.json	1672	log plain
-rw-r--r--	montgomery32_2e221m3.json	1654	log plain
-rw-r--r--	montgomery32_2e222m117.json	1660	log plain
-rw-r--r--	montgomery32_2e224m2e96p1.json	1689	log plain
-rw-r--r--	montgomery32_2e226m5.json	1680	log plain
-rw-r--r--	montgomery32_2e230m27.json	1683	log plain
-rw-r--r--	montgomery32_2e235m15.json	1703	log plain
-rw-r--r--	montgomery32_2e243m9.json	1720	log plain
-rw-r--r--	montgomery32_2e251m9.json	1740	log plain
-rw-r--r--	montgomery32_2e254m127x2e240m1.json	1790	log plain
-rw-r--r--	montgomery32_2e255m19.json	1743	log plain
-rw-r--r--	montgomery32_2e255m2e4m2e1m1.json	1804	log plain
-rw-r--r--	montgomery32_2e255m765.json	1746	log plain
-rw-r--r--	montgomery32_2e256m189.json	1746	log plain
-rw-r--r--	montgomery32_2e256m2e224p2e192p2e96m1.json	1851	log plain
-rw-r--r--	montgomery32_2e256m2e32m977.json	1781	log plain
-rw-r--r--	montgomery32_2e256m88x2e240m1.json	1787	log plain
-rw-r--r--	montgomery32_2e266m3.json	1786	log plain
-rw-r--r--	montgomery32_2e285m9.json	1826	log plain
-rw-r--r--	montgomery32_2e291m19.json	1858	log plain
-rw-r--r--	montgomery32_2e321m9.json	1941	log plain
-rw-r--r--	montgomery32_2e322m2e161m1.json	1979	log plain
-rw-r--r--	montgomery32_2e336m17.json	1964	log plain
-rw-r--r--	montgomery32_2e336m3.json	1961	log plain
-rw-r--r--	montgomery32_2e338m15.json	1984	log plain
-rw-r--r--	montgomery32_2e369m25.json	2070	log plain
-rw-r--r--	montgomery32_2e379m19.json	2090	log plain
-rw-r--r--	montgomery32_2e382m105.json	2093	log plain
-rw-r--r--	montgomery32_2e383m187.json	2093	log plain
-rw-r--r--	montgomery32_2e383m31.json	2090	log plain
-rw-r--r--	montgomery32_2e383m421.json	2093	log plain
-rw-r--r--	montgomery32_2e384m2e128m2e96p2e32m1.json	2195	log plain
-rw-r--r--	montgomery32_2e384m317.json	2093	log plain
-rw-r--r--	montgomery32_2e384m5x2e368m1.json	2131	log plain
-rw-r--r--	montgomery32_2e384m79x2e376m1.json	2134	log plain
-rw-r--r--	montgomery32_2e389m21.json	2116	log plain
-rw-r--r--	montgomery32_2e401m31.json	2156	log plain
-rw-r--r--	montgomery32_2e413m21.json	2176	log plain
-rw-r--r--	montgomery32_2e414m17.json	2176	log plain
-rw-r--r--	montgomery32_2e416m2e208m1.json	2211	log plain
-rw-r--r--	montgomery32_2e444m17.json	2262	log plain
-rw-r--r--	montgomery32_2e448m2e224m1.json	2297	log plain
-rw-r--r--	montgomery32_2e450m2e225m1.json	2323	log plain
-rw-r--r--	montgomery32_2e452m3.json	2285	log plain
-rw-r--r--	montgomery32_2e468m17.json	2328	log plain
-rw-r--r--	montgomery32_2e480m2e240m1.json	2383	log plain
-rw-r--r--	montgomery32_2e488m17.json	2374	log plain
-rw-r--r--	montgomery32_2e489m21.json	2394	log plain
-rw-r--r--	montgomery32_2e495m31.json	2394	log plain
-rw-r--r--	montgomery32_2e510m290x2e496m1.json	2481	log plain
-rw-r--r--	montgomery32_2e511m187.json	2437	log plain
-rw-r--r--	montgomery32_2e511m481.json	2437	log plain
-rw-r--r--	montgomery32_2e512m491x2e496m1.json	2481	log plain
-rw-r--r--	montgomery32_2e512m569.json	2437	log plain
-rw-r--r--	montgomery32_2e521m1.json	2477	log plain
d---------	montgomery64	38	log plain
-rw-r--r--	montgomery64_2e127m1.json	1384	log plain
-rw-r--r--	montgomery64_2e129m25.json	1413	log plain
-rw-r--r--	montgomery64_2e130m5.json	1410	log plain
-rw-r--r--	montgomery64_2e137m13.json	1433	log plain
-rw-r--r--	montgomery64_2e140m27.json	1433	log plain
-rw-r--r--	montgomery64_2e141m9.json	1430	log plain
-rw-r--r--	montgomery64_2e150m3.json	1450	log plain
-rw-r--r--	montgomery64_2e150m5.json	1450	log plain
-rw-r--r--	montgomery64_2e152m17.json	1453	log plain
-rw-r--r--	montgomery64_2e158m15.json	1473	log plain
-rw-r--r--	montgomery64_2e165m25.json	1493	log plain
-rw-r--r--	montgomery64_2e166m5.json	1490	log plain
-rw-r--r--	montgomery64_2e171m19.json	1513	log plain
-rw-r--r--	montgomery64_2e174m17.json	1513	log plain
-rw-r--r--	montgomery64_2e174m3.json	1510	log plain
-rw-r--r--	montgomery64_2e189m25.json	1553	log plain
-rw-r--r--	montgomery64_2e190m11.json	1553	log plain
-rw-r--r--	montgomery64_2e191m19.json	1553	log plain
-rw-r--r--	montgomery64_2e192m2e64m1.json	1585	log plain
-rw-r--r--	montgomery64_2e194m33.json	1579	log plain
-rw-r--r--	montgomery64_2e196m15.json	1579	log plain
-rw-r--r--	montgomery64_2e198m17.json	1579	log plain
-rw-r--r--	montgomery64_2e205m45x2e198m1.json	1643	log plain
-rw-r--r--	montgomery64_2e206m5.json	1596	log plain
-rw-r--r--	montgomery64_2e212m29.json	1619	log plain
-rw-r--r--	montgomery64_2e213m3.json	1616	log plain
-rw-r--r--	montgomery64_2e216m2e108m1.json	1654	log plain
-rw-r--r--	montgomery64_2e221m3.json	1636	log plain
-rw-r--r--	montgomery64_2e222m117.json	1642	log plain
-rw-r--r--	montgomery64_2e224m2e96p1.json	1671	log plain
-rw-r--r--	montgomery64_2e226m5.json	1656	log plain
-rw-r--r--	montgomery64_2e230m27.json	1659	log plain
-rw-r--r--	montgomery64_2e235m15.json	1679	log plain
-rw-r--r--	montgomery64_2e243m9.json	1696	log plain
-rw-r--r--	montgomery64_2e251m9.json	1716	log plain
-rw-r--r--	montgomery64_2e254m127x2e240m1.json	1766	log plain
-rw-r--r--	montgomery64_2e255m19.json	1719	log plain
-rw-r--r--	montgomery64_2e255m2e4m2e1m1.json	1780	log plain
-rw-r--r--	montgomery64_2e255m765.json	1722	log plain
-rw-r--r--	montgomery64_2e256m189.json	1722	log plain
-rw-r--r--	montgomery64_2e256m2e224p2e192p2e96m1.json	1827	log plain
-rw-r--r--	montgomery64_2e256m2e32m977.json	1757	log plain
-rw-r--r--	montgomery64_2e256m88x2e240m1.json	1763	log plain
-rw-r--r--	montgomery64_2e266m3.json	1762	log plain
-rw-r--r--	montgomery64_2e285m9.json	1802	log plain
-rw-r--r--	montgomery64_2e291m19.json	1825	log plain
-rw-r--r--	montgomery64_2e321m9.json	1908	log plain
-rw-r--r--	montgomery64_2e322m2e161m1.json	1946	log plain
-rw-r--r--	montgomery64_2e336m17.json	1931	log plain
-rw-r--r--	montgomery64_2e336m3.json	1928	log plain
-rw-r--r--	montgomery64_2e338m15.json	1951	log plain
-rw-r--r--	montgomery64_2e369m25.json	2031	log plain
-rw-r--r--	montgomery64_2e379m19.json	2051	log plain
-rw-r--r--	montgomery64_2e382m105.json	2054	log plain
-rw-r--r--	montgomery64_2e383m187.json	2054	log plain
-rw-r--r--	montgomery64_2e383m31.json	2051	log plain
-rw-r--r--	montgomery64_2e383m421.json	2054	log plain
-rw-r--r--	montgomery64_2e384m2e128m2e96p2e32m1.json	2156	log plain
-rw-r--r--	montgomery64_2e384m317.json	2054	log plain
-rw-r--r--	montgomery64_2e384m5x2e368m1.json	2092	log plain
-rw-r--r--	montgomery64_2e384m79x2e376m1.json	2095	log plain
-rw-r--r--	montgomery64_2e389m21.json	2077	log plain
-rw-r--r--	montgomery64_2e401m31.json	2117	log plain
-rw-r--r--	montgomery64_2e413m21.json	2137	log plain
-rw-r--r--	montgomery64_2e414m17.json	2137	log plain
-rw-r--r--	montgomery64_2e416m2e208m1.json	2172	log plain
-rw-r--r--	montgomery64_2e444m17.json	2217	log plain
-rw-r--r--	montgomery64_2e448m2e224m1.json	2252	log plain
-rw-r--r--	montgomery64_2e450m2e225m1.json	2278	log plain
-rw-r--r--	montgomery64_2e452m3.json	2240	log plain
-rw-r--r--	montgomery64_2e468m17.json	2283	log plain
-rw-r--r--	montgomery64_2e480m2e240m1.json	2338	log plain
-rw-r--r--	montgomery64_2e488m17.json	2323	log plain
-rw-r--r--	montgomery64_2e489m21.json	2343	log plain
-rw-r--r--	montgomery64_2e495m31.json	2343	log plain
-rw-r--r--	montgomery64_2e510m290x2e496m1.json	2430	log plain
-rw-r--r--	montgomery64_2e511m187.json	2386	log plain
-rw-r--r--	montgomery64_2e511m481.json	2386	log plain
-rw-r--r--	montgomery64_2e512m491x2e496m1.json	2430	log plain
-rw-r--r--	montgomery64_2e512m569.json	2386	log plain
-rw-r--r--	montgomery64_2e521m1.json	2426	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	1275	log plain
-rw-r--r--	solinas32_2e129m25.json	1294	log plain
-rw-r--r--	solinas32_2e130m5.json	1283	log plain
-rw-r--r--	solinas32_2e137m13.json	1328	log plain
-rw-r--r--	solinas32_2e140m27.json	1318	log plain
-rw-r--r--	solinas32_2e141m9.json	1311	log plain
-rw-r--r--	solinas32_2e150m3.json	1323	log plain
-rw-r--r--	solinas32_2e150m5.json	1329	log plain
-rw-r--r--	solinas32_2e152m17.json	1338	log plain
-rw-r--r--	solinas32_2e158m15.json	1358	log plain
-rw-r--r--	solinas32_2e165m25.json	1396	log plain
-rw-r--r--	solinas32_2e166m5.json	1409	log plain
-rw-r--r--	solinas32_2e171m19.json	1410	log plain
-rw-r--r--	solinas32_2e174m17.json	1416	log plain
-rw-r--r--	solinas32_2e174m3.json	1389	log plain
-rw-r--r--	solinas32_2e189m25.json	1438	log plain
-rw-r--r--	solinas32_2e190m11.json	1444	log plain
-rw-r--r--	solinas32_2e191m19.json	1461	log plain
-rw-r--r--	solinas32_2e192m2e64m1.json	1713	log plain
-rw-r--r--	solinas32_2e194m33.json	1467	log plain
-rw-r--r--	solinas32_2e196m15.json	1458	log plain
-rw-r--r--	solinas32_2e198m17.json	1470	log plain
-rw-r--r--	solinas32_2e205m45x2e198m1.json	1812	log plain
-rw-r--r--	solinas32_2e206m5.json	1514	log plain
-rw-r--r--	solinas32_2e212m29.json	1506	log plain
-rw-r--r--	solinas32_2e213m3.json	1548	log plain
-rw-r--r--	solinas32_2e216m2e108m1.json	1800	log plain
-rw-r--r--	solinas32_2e221m3.json	1538	log plain
-rw-r--r--	solinas32_2e222m117.json	1544	log plain
-rw-r--r--	solinas32_2e224m2e96p1.json	1793	log plain
-rw-r--r--	solinas32_2e226m5.json	1544	log plain
-rw-r--r--	solinas32_2e230m27.json	1559	log plain
-rw-r--r--	solinas32_2e235m15.json	1576	log plain
-rw-r--r--	solinas32_2e243m9.json	1587	log plain
-rw-r--r--	solinas32_2e251m9.json	1618	log plain
-rw-r--r--	solinas32_2e254m127x2e240m1.json	1964	log plain
-rw-r--r--	solinas32_2e255m19.json	1621	log plain
-rw-r--r--	solinas32_2e255m2e4m2e1m1.json	1944	log plain
-rw-r--r--	solinas32_2e255m765.json	1637	log plain
-rw-r--r--	solinas32_2e256m189.json	1640	log plain
-rw-r--r--	solinas32_2e256m2e224p2e192p2e96m1.json	2106	log plain
-rw-r--r--	solinas32_2e256m2e32m977.json	1975	log plain
-rw-r--r--	solinas32_2e256m88x2e240m1.json	1983	log plain
-rw-r--r--	solinas32_2e266m3.json	1674	log plain
-rw-r--r--	solinas32_2e285m9.json	1726	log plain
-rw-r--r--	solinas32_2e291m19.json	1734	log plain
-rw-r--r--	solinas32_2e321m9.json	1839	log plain
-rw-r--r--	solinas32_2e322m2e161m1.json	2214	log plain
-rw-r--r--	solinas32_2e336m17.json	1843	log plain
-rw-r--r--	solinas32_2e336m3.json	1828	log plain
-rw-r--r--	solinas32_2e338m15.json	1857	log plain
-rw-r--r--	solinas32_2e369m25.json	1962	log plain
-rw-r--r--	solinas32_2e379m19.json	1994	log plain
-rw-r--r--	solinas32_2e382m105.json	2004	log plain
-rw-r--r--	solinas32_2e384m2e128m2e96p2e32m1.json	2504	log plain
-rw-r--r--	solinas32_2e384m317.json	1996	log plain
-rw-r--r--	solinas32_2e384m5x2e368m1.json	2382	log plain
-rw-r--r--	solinas32_2e384m79x2e376m1.json	2385	log plain
-rw-r--r--	solinas32_2e401m31.json	2042	log plain
-rw-r--r--	solinas32_2e414m17.json	2067	log plain
-rw-r--r--	solinas32_2e416m2e208m1.json	2478	log plain
-rw-r--r--	solinas32_2e444m17.json	2161	log plain
-rw-r--r--	solinas32_2e448m2e224m1.json	2558	log plain
-rw-r--r--	solinas32_2e450m2e225m1.json	2556	log plain
-rw-r--r--	solinas32_2e452m3.json	2155	log plain
-rw-r--r--	solinas32_2e468m17.json	2207	log plain
-rw-r--r--	solinas32_2e480m2e240m1.json	2638	log plain
-rw-r--r--	solinas32_2e488m17.json	2289	log plain
-rw-r--r--	solinas32_2e489m21.json	2327	log plain
-rw-r--r--	solinas32_2e495m31.json	2280	log plain
-rw-r--r--	solinas32_2e510m290x2e496m1.json	2887	log plain
-rw-r--r--	solinas32_2e511m187.json	2373	log plain
-rw-r--r--	solinas32_2e511m481.json	2373	log plain
-rw-r--r--	solinas32_2e512m491x2e496m1.json	2890	log plain
-rw-r--r--	solinas32_2e512m569.json	2352	log plain
-rw-r--r--	solinas32_2e521m1.json	2363	log plain
-rw-r--r--	solinas64_2e127m1.json	1257	log plain
-rw-r--r--	solinas64_2e129m25.json	1274	log plain
-rw-r--r--	solinas64_2e130m5.json	1277	log plain
-rw-r--r--	solinas64_2e137m13.json	1303	log plain
-rw-r--r--	solinas64_2e140m27.json	1300	log plain
-rw-r--r--	solinas64_2e141m9.json	1291	log plain
-rw-r--r--	solinas64_2e150m3.json	1311	log plain
-rw-r--r--	solinas64_2e150m5.json	1311	log plain
-rw-r--r--	solinas64_2e152m17.json	1320	log plain
-rw-r--r--	solinas64_2e158m15.json	1342	log plain
-rw-r--r--	solinas64_2e165m25.json	1354	log plain
-rw-r--r--	solinas64_2e166m5.json	1357	log plain
-rw-r--r--	solinas64_2e171m19.json	1374	log plain
-rw-r--r--	solinas64_2e174m17.json	1374	log plain
-rw-r--r--	solinas64_2e174m3.json	1371	log plain
-rw-r--r--	solinas64_2e189m25.json	1423	log plain
-rw-r--r--	solinas64_2e190m11.json	1422	log plain
-rw-r--r--	solinas64_2e191m19.json	1428	log plain
-rw-r--r--	solinas64_2e192m2e64m1.json	1629	log plain
-rw-r--r--	solinas64_2e194m33.json	1442	log plain
-rw-r--r--	solinas64_2e196m15.json	1440	log plain
-rw-r--r--	solinas64_2e198m17.json	1442	log plain
-rw-r--r--	solinas64_2e205m45x2e198m1.json	1684	log plain
-rw-r--r--	solinas64_2e206m5.json	1459	log plain
-rw-r--r--	solinas64_2e212m29.json	1480	log plain
-rw-r--r--	solinas64_2e213m3.json	1480	log plain
-rw-r--r--	solinas64_2e216m2e108m1.json	1716	log plain
-rw-r--r--	solinas64_2e221m3.json	1500	log plain
-rw-r--r--	solinas64_2e222m117.json	1505	log plain
-rw-r--r--	solinas64_2e224m2e96p1.json	1709	log plain
-rw-r--r--	solinas64_2e226m5.json	1519	log plain
-rw-r--r--	solinas64_2e230m27.json	1522	log plain
-rw-r--r--	solinas64_2e235m15.json	1546	log plain
-rw-r--r--	solinas64_2e243m9.json	1571	log plain
-rw-r--r--	solinas64_2e251m9.json	1585	log plain
-rw-r--r--	solinas64_2e254m127x2e240m1.json	1852	log plain
-rw-r--r--	solinas64_2e255m19.json	1586	log plain
-rw-r--r--	solinas64_2e255m2e4m2e1m1.json	1854	log plain
-rw-r--r--	solinas64_2e255m765.json	1589	log plain
-rw-r--r--	solinas64_2e256m189.json	1591	log plain
-rw-r--r--	solinas64_2e256m2e224p2e192p2e96m1.json	1948	log plain
-rw-r--r--	solinas64_2e256m2e32m977.json	1803	log plain
-rw-r--r--	solinas64_2e256m88x2e240m1.json	1824	log plain
-rw-r--r--	solinas64_2e266m3.json	1625	log plain
-rw-r--r--	solinas64_2e285m9.json	1663	log plain
-rw-r--r--	solinas64_2e291m19.json	1688	log plain
-rw-r--r--	solinas64_2e321m9.json	1771	log plain
-rw-r--r--	solinas64_2e322m2e161m1.json	2059	log plain
-rw-r--r--	solinas64_2e336m17.json	1792	log plain
-rw-r--r--	solinas64_2e336m3.json	1789	log plain
-rw-r--r--	solinas64_2e338m15.json	1818	log plain
-rw-r--r--	solinas64_2e369m25.json	1908	log plain
-rw-r--r--	solinas64_2e379m19.json	1924	log plain
-rw-r--r--	solinas64_2e382m105.json	1944	log plain
-rw-r--r--	solinas64_2e384m2e128m2e96p2e32m1.json	2326	log plain
-rw-r--r--	solinas64_2e384m317.json	1927	log plain
-rw-r--r--	solinas64_2e384m5x2e368m1.json	2202	log plain
-rw-r--r--	solinas64_2e384m79x2e376m1.json	2205	log plain
-rw-r--r--	solinas64_2e401m31.json	1988	log plain
-rw-r--r--	solinas64_2e413m21.json	1998	log plain
-rw-r--r--	solinas64_2e414m17.json	2010	log plain
-rw-r--r--	solinas64_2e416m2e208m1.json	2300	log plain
-rw-r--r--	solinas64_2e444m17.json	2086	log plain
-rw-r--r--	solinas64_2e448m2e224m1.json	2380	log plain
-rw-r--r--	solinas64_2e450m2e225m1.json	2403	log plain
-rw-r--r--	solinas64_2e452m3.json	2103	log plain
-rw-r--r--	solinas64_2e468m17.json	2146	log plain
-rw-r--r--	solinas64_2e480m2e240m1.json	2460	log plain
-rw-r--r--	solinas64_2e488m17.json	2237	log plain
-rw-r--r--	solinas64_2e489m21.json	2216	log plain
-rw-r--r--	solinas64_2e495m31.json	2210	log plain
-rw-r--r--	solinas64_2e510m290x2e496m1.json	2573	log plain
-rw-r--r--	solinas64_2e511m187.json	2264	log plain
-rw-r--r--	solinas64_2e511m481.json	2264	log plain
-rw-r--r--	solinas64_2e512m491x2e496m1.json	2575	log plain
-rw-r--r--	solinas64_2e512m569.json	2264	log plain
-rw-r--r--	solinas64_2e521m1.json	2298	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