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

Mode	Name	Size
d---------	X25519_C64	40	log plain
-rw-r--r--	montgomery32_2e127m1.json	1039	log plain
-rw-r--r--	montgomery32_2e129m25.json	1055	log plain
-rw-r--r--	montgomery32_2e130m5.json	1055	log plain
-rw-r--r--	montgomery32_2e137m13.json	1065	log plain
-rw-r--r--	montgomery32_2e140m27.json	1065	log plain
-rw-r--r--	montgomery32_2e141m9.json	1062	log plain
-rw-r--r--	montgomery32_2e150m3.json	1072	log plain
-rw-r--r--	montgomery32_2e150m5.json	1072	log plain
-rw-r--r--	montgomery32_2e152m17.json	1075	log plain
-rw-r--r--	montgomery32_2e158m15.json	1085	log plain
-rw-r--r--	montgomery32_2e165m25.json	1101	log plain
-rw-r--r--	montgomery32_2e166m5.json	1098	log plain
-rw-r--r--	montgomery32_2e171m19.json	1111	log plain
-rw-r--r--	montgomery32_2e174m17.json	1111	log plain
-rw-r--r--	montgomery32_2e174m3.json	1108	log plain
-rw-r--r--	montgomery32_2e189m25.json	1131	log plain
-rw-r--r--	montgomery32_2e190m11.json	1131	log plain
-rw-r--r--	montgomery32_2e191m19.json	1131	log plain
-rw-r--r--	montgomery32_2e192m2e64m1.json	1163	log plain
-rw-r--r--	montgomery32_2e194m33.json	1147	log plain
-rw-r--r--	montgomery32_2e196m15.json	1147	log plain
-rw-r--r--	montgomery32_2e198m17.json	1147	log plain
-rw-r--r--	montgomery32_2e205m45x2e198m1.json	1201	log plain
-rw-r--r--	montgomery32_2e206m5.json	1154	log plain
-rw-r--r--	montgomery32_2e212m29.json	1167	log plain
-rw-r--r--	montgomery32_2e213m3.json	1164	log plain
-rw-r--r--	montgomery32_2e216m2e108m1.json	1202	log plain
-rw-r--r--	montgomery32_2e221m3.json	1174	log plain
-rw-r--r--	montgomery32_2e222m117.json	1180	log plain
-rw-r--r--	montgomery32_2e224m2e96p1.json	1212	log plain
-rw-r--r--	montgomery32_2e226m5.json	1190	log plain
-rw-r--r--	montgomery32_2e230m27.json	1193	log plain
-rw-r--r--	montgomery32_2e235m15.json	1203	log plain
-rw-r--r--	montgomery32_2e243m9.json	1210	log plain
-rw-r--r--	montgomery32_2e251m9.json	1220	log plain
-rw-r--r--	montgomery32_2e254m127x2e240m1.json	1270	log plain
-rw-r--r--	montgomery32_2e255m19.json	1226	log plain
-rw-r--r--	montgomery32_2e255m2e4m2e1m1.json	1284	log plain
-rw-r--r--	montgomery32_2e255m765.json	1226	log plain
-rw-r--r--	montgomery32_2e256m189.json	1226	log plain
-rw-r--r--	montgomery32_2e256m2e224p2e192p2e96m1.json	1334	log plain
-rw-r--r--	montgomery32_2e256m2e32m977.json	1264	log plain
-rw-r--r--	montgomery32_2e256m88x2e240m1.json	1267	log plain
-rw-r--r--	montgomery32_2e266m3.json	1246	log plain
-rw-r--r--	montgomery32_2e285m9.json	1266	log plain
-rw-r--r--	montgomery32_2e291m19.json	1288	log plain
-rw-r--r--	montgomery32_2e321m9.json	1331	log plain
-rw-r--r--	montgomery32_2e322m2e161m1.json	1369	log plain
-rw-r--r--	montgomery32_2e336m17.json	1344	log plain
-rw-r--r--	montgomery32_2e336m3.json	1341	log plain
-rw-r--r--	montgomery32_2e338m15.json	1354	log plain
-rw-r--r--	montgomery32_2e369m25.json	1400	log plain
-rw-r--r--	montgomery32_2e379m19.json	1410	log plain
-rw-r--r--	montgomery32_2e382m105.json	1413	log plain
-rw-r--r--	montgomery32_2e383m187.json	1413	log plain
-rw-r--r--	montgomery32_2e383m31.json	1410	log plain
-rw-r--r--	montgomery32_2e383m421.json	1413	log plain
-rw-r--r--	montgomery32_2e384m2e128m2e96p2e32m1.json	1518	log plain
-rw-r--r--	montgomery32_2e384m317.json	1413	log plain
-rw-r--r--	montgomery32_2e384m5x2e368m1.json	1451	log plain
-rw-r--r--	montgomery32_2e384m79x2e376m1.json	1454	log plain
-rw-r--r--	montgomery32_2e389m21.json	1426	log plain
-rw-r--r--	montgomery32_2e401m31.json	1446	log plain
-rw-r--r--	montgomery32_2e413m21.json	1456	log plain
-rw-r--r--	montgomery32_2e414m17.json	1456	log plain
-rw-r--r--	montgomery32_2e416m2e208m1.json	1491	log plain
-rw-r--r--	montgomery32_2e444m17.json	1502	log plain
-rw-r--r--	montgomery32_2e448m2e224m1.json	1540	log plain
-rw-r--r--	montgomery32_2e450m2e225m1.json	1553	log plain
-rw-r--r--	montgomery32_2e452m3.json	1515	log plain
-rw-r--r--	montgomery32_2e468m17.json	1538	log plain
-rw-r--r--	montgomery32_2e480m2e240m1.json	1586	log plain
-rw-r--r--	montgomery32_2e488m17.json	1564	log plain
-rw-r--r--	montgomery32_2e489m21.json	1574	log plain
-rw-r--r--	montgomery32_2e495m31.json	1574	log plain
-rw-r--r--	montgomery32_2e510m290x2e496m1.json	1641	log plain
-rw-r--r--	montgomery32_2e511m187.json	1597	log plain
-rw-r--r--	montgomery32_2e511m481.json	1597	log plain
-rw-r--r--	montgomery32_2e512m491x2e496m1.json	1641	log plain
-rw-r--r--	montgomery32_2e512m569.json	1597	log plain
-rw-r--r--	montgomery32_2e521m1.json	1620	log plain
-rw-r--r--	montgomery64_2e127m1.json	1027	log plain
-rw-r--r--	montgomery64_2e129m25.json	1043	log plain
-rw-r--r--	montgomery64_2e130m5.json	1043	log plain
-rw-r--r--	montgomery64_2e137m13.json	1053	log plain
-rw-r--r--	montgomery64_2e140m27.json	1053	log plain
-rw-r--r--	montgomery64_2e141m9.json	1050	log plain
-rw-r--r--	montgomery64_2e150m3.json	1060	log plain
-rw-r--r--	montgomery64_2e150m5.json	1060	log plain
-rw-r--r--	montgomery64_2e152m17.json	1063	log plain
-rw-r--r--	montgomery64_2e158m15.json	1073	log plain
-rw-r--r--	montgomery64_2e165m25.json	1083	log plain
-rw-r--r--	montgomery64_2e166m5.json	1080	log plain
-rw-r--r--	montgomery64_2e171m19.json	1093	log plain
-rw-r--r--	montgomery64_2e174m17.json	1093	log plain
-rw-r--r--	montgomery64_2e174m3.json	1090	log plain
-rw-r--r--	montgomery64_2e189m25.json	1113	log plain
-rw-r--r--	montgomery64_2e190m11.json	1113	log plain
-rw-r--r--	montgomery64_2e191m19.json	1113	log plain
-rw-r--r--	montgomery64_2e192m2e64m1.json	1145	log plain
-rw-r--r--	montgomery64_2e194m33.json	1129	log plain
-rw-r--r--	montgomery64_2e196m15.json	1129	log plain
-rw-r--r--	montgomery64_2e198m17.json	1129	log plain
-rw-r--r--	montgomery64_2e205m45x2e198m1.json	1183	log plain
-rw-r--r--	montgomery64_2e206m5.json	1136	log plain
-rw-r--r--	montgomery64_2e212m29.json	1149	log plain
-rw-r--r--	montgomery64_2e213m3.json	1146	log plain
-rw-r--r--	montgomery64_2e216m2e108m1.json	1184	log plain
-rw-r--r--	montgomery64_2e221m3.json	1156	log plain
-rw-r--r--	montgomery64_2e222m117.json	1162	log plain
-rw-r--r--	montgomery64_2e224m2e96p1.json	1194	log plain
-rw-r--r--	montgomery64_2e226m5.json	1166	log plain
-rw-r--r--	montgomery64_2e230m27.json	1169	log plain
-rw-r--r--	montgomery64_2e235m15.json	1179	log plain
-rw-r--r--	montgomery64_2e243m9.json	1186	log plain
-rw-r--r--	montgomery64_2e251m9.json	1196	log plain
-rw-r--r--	montgomery64_2e254m127x2e240m1.json	1246	log plain
-rw-r--r--	montgomery64_2e255m19.json	1202	log plain
-rw-r--r--	montgomery64_2e255m2e4m2e1m1.json	1260	log plain
-rw-r--r--	montgomery64_2e255m765.json	1202	log plain
-rw-r--r--	montgomery64_2e256m189.json	1202	log plain
-rw-r--r--	montgomery64_2e256m2e224p2e192p2e96m1.json	1310	log plain
-rw-r--r--	montgomery64_2e256m2e32m977.json	1240	log plain
-rw-r--r--	montgomery64_2e256m88x2e240m1.json	1243	log plain
-rw-r--r--	montgomery64_2e266m3.json	1222	log plain
-rw-r--r--	montgomery64_2e285m9.json	1242	log plain
-rw-r--r--	montgomery64_2e291m19.json	1255	log plain
-rw-r--r--	montgomery64_2e321m9.json	1298	log plain
-rw-r--r--	montgomery64_2e322m2e161m1.json	1336	log plain
-rw-r--r--	montgomery64_2e336m17.json	1311	log plain
-rw-r--r--	montgomery64_2e336m3.json	1308	log plain
-rw-r--r--	montgomery64_2e338m15.json	1321	log plain
-rw-r--r--	montgomery64_2e369m25.json	1361	log plain
-rw-r--r--	montgomery64_2e379m19.json	1371	log plain
-rw-r--r--	montgomery64_2e382m105.json	1374	log plain
-rw-r--r--	montgomery64_2e383m187.json	1374	log plain
-rw-r--r--	montgomery64_2e383m31.json	1371	log plain
-rw-r--r--	montgomery64_2e383m421.json	1374	log plain
-rw-r--r--	montgomery64_2e384m2e128m2e96p2e32m1.json	1479	log plain
-rw-r--r--	montgomery64_2e384m317.json	1374	log plain
-rw-r--r--	montgomery64_2e384m5x2e368m1.json	1412	log plain
-rw-r--r--	montgomery64_2e384m79x2e376m1.json	1415	log plain
-rw-r--r--	montgomery64_2e389m21.json	1387	log plain
-rw-r--r--	montgomery64_2e401m31.json	1407	log plain
-rw-r--r--	montgomery64_2e413m21.json	1417	log plain
-rw-r--r--	montgomery64_2e414m17.json	1417	log plain
-rw-r--r--	montgomery64_2e416m2e208m1.json	1452	log plain
-rw-r--r--	montgomery64_2e444m17.json	1457	log plain
-rw-r--r--	montgomery64_2e448m2e224m1.json	1495	log plain
-rw-r--r--	montgomery64_2e450m2e225m1.json	1508	log plain
-rw-r--r--	montgomery64_2e452m3.json	1470	log plain
-rw-r--r--	montgomery64_2e468m17.json	1493	log plain
-rw-r--r--	montgomery64_2e480m2e240m1.json	1541	log plain
-rw-r--r--	montgomery64_2e488m17.json	1513	log plain
-rw-r--r--	montgomery64_2e489m21.json	1523	log plain
-rw-r--r--	montgomery64_2e495m31.json	1523	log plain
-rw-r--r--	montgomery64_2e510m290x2e496m1.json	1590	log plain
-rw-r--r--	montgomery64_2e511m187.json	1546	log plain
-rw-r--r--	montgomery64_2e511m481.json	1546	log plain
-rw-r--r--	montgomery64_2e512m491x2e496m1.json	1590	log plain
-rw-r--r--	montgomery64_2e512m569.json	1546	log plain
-rw-r--r--	montgomery64_2e521m1.json	1569	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	992	log plain
-rw-r--r--	solinas32_2e129m25.json	990	log plain
-rw-r--r--	solinas32_2e130m5.json	978	log plain
-rw-r--r--	solinas32_2e137m13.json	1018	log plain
-rw-r--r--	solinas32_2e140m27.json	1012	log plain
-rw-r--r--	solinas32_2e141m9.json	997	log plain
-rw-r--r--	solinas32_2e150m3.json	995	log plain
-rw-r--r--	solinas32_2e150m5.json	1001	log plain
-rw-r--r--	solinas32_2e152m17.json	1022	log plain
-rw-r--r--	solinas32_2e158m15.json	1032	log plain
-rw-r--r--	solinas32_2e165m25.json	1060	log plain
-rw-r--r--	solinas32_2e166m5.json	1075	log plain
-rw-r--r--	solinas32_2e171m19.json	1052	log plain
-rw-r--r--	solinas32_2e174m17.json	1070	log plain
-rw-r--r--	solinas32_2e174m3.json	1031	log plain
-rw-r--r--	solinas32_2e189m25.json	1060	log plain
-rw-r--r--	solinas32_2e190m11.json	1078	log plain
-rw-r--r--	solinas32_2e191m19.json	1087	log plain
-rw-r--r--	solinas32_2e192m2e64m1.json	1335	log plain
-rw-r--r--	solinas32_2e194m33.json	1085	log plain
-rw-r--r--	solinas32_2e196m15.json	1070	log plain
-rw-r--r--	solinas32_2e198m17.json	1082	log plain
-rw-r--r--	solinas32_2e205m45x2e198m1.json	1418	log plain
-rw-r--r--	solinas32_2e206m5.json	1128	log plain
-rw-r--r--	solinas32_2e212m29.json	1102	log plain
-rw-r--r--	solinas32_2e213m3.json	1144	log plain
-rw-r--r--	solinas32_2e216m2e108m1.json	1392	log plain
-rw-r--r--	solinas32_2e221m3.json	1124	log plain
-rw-r--r--	solinas32_2e222m117.json	1130	log plain
-rw-r--r--	solinas32_2e224m2e96p1.json	1378	log plain
-rw-r--r--	solinas32_2e226m5.json	1122	log plain
-rw-r--r--	solinas32_2e230m27.json	1131	log plain
-rw-r--r--	solinas32_2e235m15.json	1150	log plain
-rw-r--r--	solinas32_2e243m9.json	1139	log plain
-rw-r--r--	solinas32_2e251m9.json	1164	log plain
-rw-r--r--	solinas32_2e254m127x2e240m1.json	1520	log plain
-rw-r--r--	solinas32_2e255m19.json	1170	log plain
-rw-r--r--	solinas32_2e255m2e4m2e1m1.json	1498	log plain
-rw-r--r--	solinas32_2e255m765.json	1185	log plain
-rw-r--r--	solinas32_2e256m189.json	1194	log plain
-rw-r--r--	solinas32_2e256m2e224p2e192p2e96m1.json	1663	log plain
-rw-r--r--	solinas32_2e256m2e32m977.json	1532	log plain
-rw-r--r--	solinas32_2e256m88x2e240m1.json	1537	log plain
-rw-r--r--	solinas32_2e266m3.json	1208	log plain
-rw-r--r--	solinas32_2e285m9.json	1228	log plain
-rw-r--r--	solinas32_2e291m19.json	1232	log plain
-rw-r--r--	solinas32_2e321m9.json	1305	log plain
-rw-r--r--	solinas32_2e322m2e161m1.json	1666	log plain
-rw-r--r--	solinas32_2e336m17.json	1285	log plain
-rw-r--r--	solinas32_2e336m3.json	1270	log plain
-rw-r--r--	solinas32_2e338m15.json	1289	log plain
-rw-r--r--	solinas32_2e369m25.json	1368	log plain
-rw-r--r--	solinas32_2e379m19.json	1390	log plain
-rw-r--r--	solinas32_2e382m105.json	1390	log plain
-rw-r--r--	solinas32_2e384m2e128m2e96p2e32m1.json	1889	log plain
-rw-r--r--	solinas32_2e384m317.json	1390	log plain
-rw-r--r--	solinas32_2e384m5x2e368m1.json	1764	log plain
-rw-r--r--	solinas32_2e384m79x2e376m1.json	1767	log plain
-rw-r--r--	solinas32_2e401m31.json	1408	log plain
-rw-r--r--	solinas32_2e414m17.json	1409	log plain
-rw-r--r--	solinas32_2e416m2e208m1.json	1820	log plain
-rw-r--r--	solinas32_2e444m17.json	1467	log plain
-rw-r--r--	solinas32_2e448m2e224m1.json	1863	log plain
-rw-r--r--	solinas32_2e450m2e225m1.json	1848	log plain
-rw-r--r--	solinas32_2e452m3.json	1453	log plain
-rw-r--r--	solinas32_2e468m17.json	1479	log plain
-rw-r--r--	solinas32_2e480m2e240m1.json	1903	log plain
-rw-r--r--	solinas32_2e488m17.json	1553	log plain
-rw-r--r--	solinas32_2e489m21.json	1581	log plain
-rw-r--r--	solinas32_2e495m31.json	1536	log plain
-rw-r--r--	solinas32_2e510m290x2e496m1.json	2115	log plain
-rw-r--r--	solinas32_2e511m187.json	1601	log plain
-rw-r--r--	solinas32_2e511m481.json	1601	log plain
-rw-r--r--	solinas32_2e512m491x2e496m1.json	2124	log plain
-rw-r--r--	solinas32_2e512m569.json	1586	log plain
-rw-r--r--	solinas32_2e521m1.json	1582	log plain
-rw-r--r--	solinas64_2e127m1.json	974	log plain
-rw-r--r--	solinas64_2e129m25.json	966	log plain
-rw-r--r--	solinas64_2e130m5.json	984	log plain
-rw-r--r--	solinas64_2e137m13.json	991	log plain
-rw-r--r--	solinas64_2e140m27.json	982	log plain
-rw-r--r--	solinas64_2e141m9.json	973	log plain
-rw-r--r--	solinas64_2e150m3.json	983	log plain
-rw-r--r--	solinas64_2e150m5.json	983	log plain
-rw-r--r--	solinas64_2e152m17.json	992	log plain
-rw-r--r--	solinas64_2e158m15.json	1008	log plain
-rw-r--r--	solinas64_2e165m25.json	1006	log plain
-rw-r--r--	solinas64_2e166m5.json	1021	log plain
-rw-r--r--	solinas64_2e171m19.json	1016	log plain
-rw-r--r--	solinas64_2e174m17.json	1016	log plain
-rw-r--r--	solinas64_2e174m3.json	1013	log plain
-rw-r--r--	solinas64_2e189m25.json	1051	log plain
-rw-r--r--	solinas64_2e190m11.json	1048	log plain
-rw-r--r--	solinas64_2e191m19.json	1054	log plain
-rw-r--r--	solinas64_2e192m2e64m1.json	1251	log plain
-rw-r--r--	solinas64_2e194m33.json	1058	log plain
-rw-r--r--	solinas64_2e196m15.json	1052	log plain
-rw-r--r--	solinas64_2e198m17.json	1058	log plain
-rw-r--r--	solinas64_2e205m45x2e198m1.json	1292	log plain
-rw-r--r--	solinas64_2e206m5.json	1065	log plain
-rw-r--r--	solinas64_2e212m29.json	1072	log plain
-rw-r--r--	solinas64_2e213m3.json	1078	log plain
-rw-r--r--	solinas64_2e216m2e108m1.json	1308	log plain
-rw-r--r--	solinas64_2e221m3.json	1088	log plain
-rw-r--r--	solinas64_2e222m117.json	1091	log plain
-rw-r--r--	solinas64_2e224m2e96p1.json	1294	log plain
-rw-r--r--	solinas64_2e226m5.json	1095	log plain
-rw-r--r--	solinas64_2e230m27.json	1098	log plain
-rw-r--r--	solinas64_2e235m15.json	1108	log plain
-rw-r--r--	solinas64_2e243m9.json	1127	log plain
-rw-r--r--	solinas64_2e251m9.json	1131	log plain
-rw-r--r--	solinas64_2e254m127x2e240m1.json	1406	log plain
-rw-r--r--	solinas64_2e255m19.json	1131	log plain
-rw-r--r--	solinas64_2e255m2e4m2e1m1.json	1396	log plain
-rw-r--r--	solinas64_2e255m765.json	1131	log plain
-rw-r--r--	solinas64_2e256m189.json	1137	log plain
-rw-r--r--	solinas64_2e256m2e224p2e192p2e96m1.json	1497	log plain
-rw-r--r--	solinas64_2e256m2e32m977.json	1352	log plain
-rw-r--r--	solinas64_2e256m88x2e240m1.json	1370	log plain
-rw-r--r--	solinas64_2e266m3.json	1151	log plain
-rw-r--r--	solinas64_2e285m9.json	1165	log plain
-rw-r--r--	solinas64_2e291m19.json	1184	log plain
-rw-r--r--	solinas64_2e321m9.json	1227	log plain
-rw-r--r--	solinas64_2e322m2e161m1.json	1511	log plain
-rw-r--r--	solinas64_2e336m17.json	1234	log plain
-rw-r--r--	solinas64_2e336m3.json	1231	log plain
-rw-r--r--	solinas64_2e338m15.json	1262	log plain
-rw-r--r--	solinas64_2e369m25.json	1308	log plain
-rw-r--r--	solinas64_2e379m19.json	1318	log plain
-rw-r--r--	solinas64_2e382m105.json	1330	log plain
-rw-r--r--	solinas64_2e384m2e128m2e96p2e32m1.json	1711	log plain
-rw-r--r--	solinas64_2e384m317.json	1309	log plain
-rw-r--r--	solinas64_2e384m5x2e368m1.json	1584	log plain
-rw-r--r--	solinas64_2e384m79x2e376m1.json	1587	log plain
-rw-r--r--	solinas64_2e401m31.json	1348	log plain
-rw-r--r--	solinas64_2e413m21.json	1340	log plain
-rw-r--r--	solinas64_2e414m17.json	1352	log plain
-rw-r--r--	solinas64_2e416m2e208m1.json	1642	log plain
-rw-r--r--	solinas64_2e444m17.json	1392	log plain
-rw-r--r--	solinas64_2e448m2e224m1.json	1685	log plain
-rw-r--r--	solinas64_2e450m2e225m1.json	1701	log plain
-rw-r--r--	solinas64_2e452m3.json	1399	log plain
-rw-r--r--	solinas64_2e468m17.json	1422	log plain
-rw-r--r--	solinas64_2e480m2e240m1.json	1725	log plain
-rw-r--r--	solinas64_2e488m17.json	1493	log plain
-rw-r--r--	solinas64_2e489m21.json	1470	log plain
-rw-r--r--	solinas64_2e495m31.json	1452	log plain
-rw-r--r--	solinas64_2e510m290x2e496m1.json	1795	log plain
-rw-r--r--	solinas64_2e511m187.json	1490	log plain
-rw-r--r--	solinas64_2e511m481.json	1490	log plain
-rw-r--r--	solinas64_2e512m491x2e496m1.json	1801	log plain
-rw-r--r--	solinas64_2e512m569.json	1490	log plain
-rw-r--r--	solinas64_2e521m1.json	1507	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