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

Mode	Name	Size
d---------	X25519_C64	40	log plain
-rw-r--r--	montgomery32_2e127m1.json	881	log plain
-rw-r--r--	montgomery32_2e129m25.json	891	log plain
-rw-r--r--	montgomery32_2e130m5.json	891	log plain
-rw-r--r--	montgomery32_2e137m13.json	901	log plain
-rw-r--r--	montgomery32_2e140m27.json	901	log plain
-rw-r--r--	montgomery32_2e141m9.json	898	log plain
-rw-r--r--	montgomery32_2e150m3.json	908	log plain
-rw-r--r--	montgomery32_2e150m5.json	908	log plain
-rw-r--r--	montgomery32_2e152m17.json	911	log plain
-rw-r--r--	montgomery32_2e158m15.json	921	log plain
-rw-r--r--	montgomery32_2e165m25.json	931	log plain
-rw-r--r--	montgomery32_2e166m5.json	928	log plain
-rw-r--r--	montgomery32_2e171m19.json	941	log plain
-rw-r--r--	montgomery32_2e174m17.json	941	log plain
-rw-r--r--	montgomery32_2e174m3.json	938	log plain
-rw-r--r--	montgomery32_2e189m25.json	961	log plain
-rw-r--r--	montgomery32_2e190m11.json	961	log plain
-rw-r--r--	montgomery32_2e191m19.json	961	log plain
-rw-r--r--	montgomery32_2e192m2e64m1.json	993	log plain
-rw-r--r--	montgomery32_2e194m33.json	971	log plain
-rw-r--r--	montgomery32_2e196m15.json	971	log plain
-rw-r--r--	montgomery32_2e198m17.json	971	log plain
-rw-r--r--	montgomery32_2e205m45x2e198m1.json	1025	log plain
-rw-r--r--	montgomery32_2e206m5.json	978	log plain
-rw-r--r--	montgomery32_2e212m29.json	991	log plain
-rw-r--r--	montgomery32_2e213m3.json	988	log plain
-rw-r--r--	montgomery32_2e216m2e108m1.json	1026	log plain
-rw-r--r--	montgomery32_2e221m3.json	998	log plain
-rw-r--r--	montgomery32_2e222m117.json	1004	log plain
-rw-r--r--	montgomery32_2e224m2e96p1.json	1036	log plain
-rw-r--r--	montgomery32_2e226m5.json	1008	log plain
-rw-r--r--	montgomery32_2e230m27.json	1011	log plain
-rw-r--r--	montgomery32_2e235m15.json	1021	log plain
-rw-r--r--	montgomery32_2e243m9.json	1028	log plain
-rw-r--r--	montgomery32_2e251m9.json	1038	log plain
-rw-r--r--	montgomery32_2e254m127x2e240m1.json	1088	log plain
-rw-r--r--	montgomery32_2e255m19.json	1044	log plain
-rw-r--r--	montgomery32_2e255m2e4m2e1m1.json	1102	log plain
-rw-r--r--	montgomery32_2e255m765.json	1044	log plain
-rw-r--r--	montgomery32_2e256m189.json	1044	log plain
-rw-r--r--	montgomery32_2e256m2e224p2e192p2e96m1.json	1152	log plain
-rw-r--r--	montgomery32_2e256m2e32m977.json	1082	log plain
-rw-r--r--	montgomery32_2e256m88x2e240m1.json	1085	log plain
-rw-r--r--	montgomery32_2e266m3.json	1058	log plain
-rw-r--r--	montgomery32_2e285m9.json	1078	log plain
-rw-r--r--	montgomery32_2e291m19.json	1092	log plain
-rw-r--r--	montgomery32_2e321m9.json	1129	log plain
-rw-r--r--	montgomery32_2e322m2e161m1.json	1167	log plain
-rw-r--r--	montgomery32_2e336m17.json	1142	log plain
-rw-r--r--	montgomery32_2e336m3.json	1139	log plain
-rw-r--r--	montgomery32_2e338m15.json	1152	log plain
-rw-r--r--	montgomery32_2e369m25.json	1192	log plain
-rw-r--r--	montgomery32_2e379m19.json	1202	log plain
-rw-r--r--	montgomery32_2e382m105.json	1205	log plain
-rw-r--r--	montgomery32_2e383m187.json	1205	log plain
-rw-r--r--	montgomery32_2e383m31.json	1202	log plain
-rw-r--r--	montgomery32_2e383m421.json	1205	log plain
-rw-r--r--	montgomery32_2e384m2e128m2e96p2e32m1.json	1310	log plain
-rw-r--r--	montgomery32_2e384m317.json	1205	log plain
-rw-r--r--	montgomery32_2e384m5x2e368m1.json	1243	log plain
-rw-r--r--	montgomery32_2e384m79x2e376m1.json	1246	log plain
-rw-r--r--	montgomery32_2e389m21.json	1212	log plain
-rw-r--r--	montgomery32_2e401m31.json	1232	log plain
-rw-r--r--	montgomery32_2e413m21.json	1242	log plain
-rw-r--r--	montgomery32_2e414m17.json	1242	log plain
-rw-r--r--	montgomery32_2e416m2e208m1.json	1277	log plain
-rw-r--r--	montgomery32_2e444m17.json	1282	log plain
-rw-r--r--	montgomery32_2e448m2e224m1.json	1320	log plain
-rw-r--r--	montgomery32_2e450m2e225m1.json	1327	log plain
-rw-r--r--	montgomery32_2e452m3.json	1289	log plain
-rw-r--r--	montgomery32_2e468m17.json	1312	log plain
-rw-r--r--	montgomery32_2e480m2e240m1.json	1360	log plain
-rw-r--r--	montgomery32_2e488m17.json	1332	log plain
-rw-r--r--	montgomery32_2e489m21.json	1342	log plain
-rw-r--r--	montgomery32_2e495m31.json	1342	log plain
-rw-r--r--	montgomery32_2e510m290x2e496m1.json	1409	log plain
-rw-r--r--	montgomery32_2e511m187.json	1365	log plain
-rw-r--r--	montgomery32_2e511m481.json	1365	log plain
-rw-r--r--	montgomery32_2e512m491x2e496m1.json	1409	log plain
-rw-r--r--	montgomery32_2e512m569.json	1365	log plain
-rw-r--r--	montgomery32_2e521m1.json	1382	log plain
-rw-r--r--	montgomery64_2e127m1.json	881	log plain
-rw-r--r--	montgomery64_2e129m25.json	891	log plain
-rw-r--r--	montgomery64_2e130m5.json	891	log plain
-rw-r--r--	montgomery64_2e137m13.json	901	log plain
-rw-r--r--	montgomery64_2e140m27.json	901	log plain
-rw-r--r--	montgomery64_2e141m9.json	898	log plain
-rw-r--r--	montgomery64_2e150m3.json	908	log plain
-rw-r--r--	montgomery64_2e150m5.json	908	log plain
-rw-r--r--	montgomery64_2e152m17.json	911	log plain
-rw-r--r--	montgomery64_2e158m15.json	921	log plain
-rw-r--r--	montgomery64_2e165m25.json	931	log plain
-rw-r--r--	montgomery64_2e166m5.json	928	log plain
-rw-r--r--	montgomery64_2e171m19.json	941	log plain
-rw-r--r--	montgomery64_2e174m17.json	941	log plain
-rw-r--r--	montgomery64_2e174m3.json	938	log plain
-rw-r--r--	montgomery64_2e189m25.json	961	log plain
-rw-r--r--	montgomery64_2e190m11.json	961	log plain
-rw-r--r--	montgomery64_2e191m19.json	961	log plain
-rw-r--r--	montgomery64_2e192m2e64m1.json	993	log plain
-rw-r--r--	montgomery64_2e194m33.json	971	log plain
-rw-r--r--	montgomery64_2e196m15.json	971	log plain
-rw-r--r--	montgomery64_2e198m17.json	971	log plain
-rw-r--r--	montgomery64_2e205m45x2e198m1.json	1025	log plain
-rw-r--r--	montgomery64_2e206m5.json	978	log plain
-rw-r--r--	montgomery64_2e212m29.json	991	log plain
-rw-r--r--	montgomery64_2e213m3.json	988	log plain
-rw-r--r--	montgomery64_2e216m2e108m1.json	1026	log plain
-rw-r--r--	montgomery64_2e221m3.json	998	log plain
-rw-r--r--	montgomery64_2e222m117.json	1004	log plain
-rw-r--r--	montgomery64_2e224m2e96p1.json	1036	log plain
-rw-r--r--	montgomery64_2e226m5.json	1008	log plain
-rw-r--r--	montgomery64_2e230m27.json	1011	log plain
-rw-r--r--	montgomery64_2e235m15.json	1021	log plain
-rw-r--r--	montgomery64_2e243m9.json	1028	log plain
-rw-r--r--	montgomery64_2e251m9.json	1038	log plain
-rw-r--r--	montgomery64_2e254m127x2e240m1.json	1088	log plain
-rw-r--r--	montgomery64_2e255m19.json	1044	log plain
-rw-r--r--	montgomery64_2e255m2e4m2e1m1.json	1102	log plain
-rw-r--r--	montgomery64_2e255m765.json	1044	log plain
-rw-r--r--	montgomery64_2e256m189.json	1044	log plain
-rw-r--r--	montgomery64_2e256m2e224p2e192p2e96m1.json	1152	log plain
-rw-r--r--	montgomery64_2e256m2e32m977.json	1082	log plain
-rw-r--r--	montgomery64_2e256m88x2e240m1.json	1085	log plain
-rw-r--r--	montgomery64_2e266m3.json	1058	log plain
-rw-r--r--	montgomery64_2e285m9.json	1078	log plain
-rw-r--r--	montgomery64_2e291m19.json	1091	log plain
-rw-r--r--	montgomery64_2e321m9.json	1128	log plain
-rw-r--r--	montgomery64_2e322m2e161m1.json	1166	log plain
-rw-r--r--	montgomery64_2e336m17.json	1141	log plain
-rw-r--r--	montgomery64_2e336m3.json	1138	log plain
-rw-r--r--	montgomery64_2e338m15.json	1151	log plain
-rw-r--r--	montgomery64_2e369m25.json	1191	log plain
-rw-r--r--	montgomery64_2e379m19.json	1201	log plain
-rw-r--r--	montgomery64_2e382m105.json	1204	log plain
-rw-r--r--	montgomery64_2e383m187.json	1204	log plain
-rw-r--r--	montgomery64_2e383m31.json	1201	log plain
-rw-r--r--	montgomery64_2e383m421.json	1204	log plain
-rw-r--r--	montgomery64_2e384m2e128m2e96p2e32m1.json	1309	log plain
-rw-r--r--	montgomery64_2e384m317.json	1204	log plain
-rw-r--r--	montgomery64_2e384m5x2e368m1.json	1242	log plain
-rw-r--r--	montgomery64_2e384m79x2e376m1.json	1245	log plain
-rw-r--r--	montgomery64_2e389m21.json	1211	log plain
-rw-r--r--	montgomery64_2e401m31.json	1231	log plain
-rw-r--r--	montgomery64_2e413m21.json	1241	log plain
-rw-r--r--	montgomery64_2e414m17.json	1241	log plain
-rw-r--r--	montgomery64_2e416m2e208m1.json	1276	log plain
-rw-r--r--	montgomery64_2e444m17.json	1281	log plain
-rw-r--r--	montgomery64_2e448m2e224m1.json	1319	log plain
-rw-r--r--	montgomery64_2e450m2e225m1.json	1326	log plain
-rw-r--r--	montgomery64_2e452m3.json	1288	log plain
-rw-r--r--	montgomery64_2e468m17.json	1311	log plain
-rw-r--r--	montgomery64_2e480m2e240m1.json	1359	log plain
-rw-r--r--	montgomery64_2e488m17.json	1331	log plain
-rw-r--r--	montgomery64_2e489m21.json	1341	log plain
-rw-r--r--	montgomery64_2e495m31.json	1341	log plain
-rw-r--r--	montgomery64_2e510m290x2e496m1.json	1408	log plain
-rw-r--r--	montgomery64_2e511m187.json	1364	log plain
-rw-r--r--	montgomery64_2e511m481.json	1364	log plain
-rw-r--r--	montgomery64_2e512m491x2e496m1.json	1408	log plain
-rw-r--r--	montgomery64_2e512m569.json	1364	log plain
-rw-r--r--	montgomery64_2e521m1.json	1381	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	788	log plain
-rw-r--r--	solinas32_2e129m25.json	786	log plain
-rw-r--r--	solinas32_2e130m5.json	780	log plain
-rw-r--r--	solinas32_2e137m13.json	802	log plain
-rw-r--r--	solinas32_2e140m27.json	808	log plain
-rw-r--r--	solinas32_2e141m9.json	793	log plain
-rw-r--r--	solinas32_2e150m3.json	797	log plain
-rw-r--r--	solinas32_2e150m5.json	797	log plain
-rw-r--r--	solinas32_2e152m17.json	818	log plain
-rw-r--r--	solinas32_2e158m15.json	828	log plain
-rw-r--r--	solinas32_2e165m25.json	838	log plain
-rw-r--r--	solinas32_2e166m5.json	839	log plain
-rw-r--r--	solinas32_2e171m19.json	830	log plain
-rw-r--r--	solinas32_2e174m17.json	848	log plain
-rw-r--r--	solinas32_2e174m3.json	827	log plain
-rw-r--r--	solinas32_2e189m25.json	850	log plain
-rw-r--r--	solinas32_2e190m11.json	868	log plain
-rw-r--r--	solinas32_2e191m19.json	857	log plain
-rw-r--r--	solinas32_2e192m2e64m1.json	1119	log plain
-rw-r--r--	solinas32_2e194m33.json	869	log plain
-rw-r--r--	solinas32_2e196m15.json	860	log plain
-rw-r--r--	solinas32_2e198m17.json	860	log plain
-rw-r--r--	solinas32_2e205m45x2e198m1.json	1188	log plain
-rw-r--r--	solinas32_2e206m5.json	886	log plain
-rw-r--r--	solinas32_2e212m29.json	886	log plain
-rw-r--r--	solinas32_2e213m3.json	884	log plain
-rw-r--r--	solinas32_2e216m2e108m1.json	1176	log plain
-rw-r--r--	solinas32_2e221m3.json	894	log plain
-rw-r--r--	solinas32_2e222m117.json	900	log plain
-rw-r--r--	solinas32_2e224m2e96p1.json	1162	log plain
-rw-r--r--	solinas32_2e226m5.json	906	log plain
-rw-r--r--	solinas32_2e230m27.json	901	log plain
-rw-r--r--	solinas32_2e235m15.json	928	log plain
-rw-r--r--	solinas32_2e243m9.json	917	log plain
-rw-r--r--	solinas32_2e251m9.json	934	log plain
-rw-r--r--	solinas32_2e254m127x2e240m1.json	1284	log plain
-rw-r--r--	solinas32_2e255m19.json	940	log plain
-rw-r--r--	solinas32_2e255m2e4m2e1m1.json	1276	log plain
-rw-r--r--	solinas32_2e255m765.json	943	log plain
-rw-r--r--	solinas32_2e256m189.json	952	log plain
-rw-r--r--	solinas32_2e256m2e224p2e192p2e96m1.json	1421	log plain
-rw-r--r--	solinas32_2e256m2e32m977.json	1290	log plain
-rw-r--r--	solinas32_2e256m88x2e240m1.json	1295	log plain
-rw-r--r--	solinas32_2e266m3.json	966	log plain
-rw-r--r--	solinas32_2e285m9.json	968	log plain
-rw-r--r--	solinas32_2e291m19.json	990	log plain
-rw-r--r--	solinas32_2e321m9.json	1039	log plain
-rw-r--r--	solinas32_2e322m2e161m1.json	1412	log plain
-rw-r--r--	solinas32_2e336m17.json	1031	log plain
-rw-r--r--	solinas32_2e336m3.json	1028	log plain
-rw-r--r--	solinas32_2e338m15.json	1041	log plain
-rw-r--r--	solinas32_2e369m25.json	1102	log plain
-rw-r--r--	solinas32_2e379m19.json	1112	log plain
-rw-r--r--	solinas32_2e382m105.json	1100	log plain
-rw-r--r--	solinas32_2e384m2e128m2e96p2e32m1.json	1623	log plain
-rw-r--r--	solinas32_2e384m317.json	1112	log plain
-rw-r--r--	solinas32_2e384m5x2e368m1.json	1498	log plain
-rw-r--r--	solinas32_2e384m79x2e376m1.json	1501	log plain
-rw-r--r--	solinas32_2e401m31.json	1142	log plain
-rw-r--r--	solinas32_2e414m17.json	1131	log plain
-rw-r--r--	solinas32_2e416m2e208m1.json	1554	log plain
-rw-r--r--	solinas32_2e444m17.json	1177	log plain
-rw-r--r--	solinas32_2e448m2e224m1.json	1597	log plain
-rw-r--r--	solinas32_2e450m2e225m1.json	1588	log plain
-rw-r--r--	solinas32_2e452m3.json	1187	log plain
-rw-r--r--	solinas32_2e468m17.json	1201	log plain
-rw-r--r--	solinas32_2e480m2e240m1.json	1637	log plain
-rw-r--r--	solinas32_2e488m17.json	1239	log plain
-rw-r--r--	solinas32_2e489m21.json	1249	log plain
-rw-r--r--	solinas32_2e495m31.json	1252	log plain
-rw-r--r--	solinas32_2e510m290x2e496m1.json	1801	log plain
-rw-r--r--	solinas32_2e511m187.json	1263	log plain
-rw-r--r--	solinas32_2e511m481.json	1263	log plain
-rw-r--r--	solinas32_2e512m491x2e496m1.json	1810	log plain
-rw-r--r--	solinas32_2e512m569.json	1272	log plain
-rw-r--r--	solinas32_2e521m1.json	1292	log plain
-rw-r--r--	solinas64_2e127m1.json	788	log plain
-rw-r--r--	solinas64_2e129m25.json	780	log plain
-rw-r--r--	solinas64_2e130m5.json	798	log plain
-rw-r--r--	solinas64_2e137m13.json	799	log plain
-rw-r--r--	solinas64_2e140m27.json	790	log plain
-rw-r--r--	solinas64_2e141m9.json	787	log plain
-rw-r--r--	solinas64_2e150m3.json	797	log plain
-rw-r--r--	solinas64_2e150m5.json	797	log plain
-rw-r--r--	solinas64_2e152m17.json	800	log plain
-rw-r--r--	solinas64_2e158m15.json	816	log plain
-rw-r--r--	solinas64_2e165m25.json	820	log plain
-rw-r--r--	solinas64_2e166m5.json	835	log plain
-rw-r--r--	solinas64_2e171m19.json	830	log plain
-rw-r--r--	solinas64_2e174m17.json	830	log plain
-rw-r--r--	solinas64_2e174m3.json	827	log plain
-rw-r--r--	solinas64_2e189m25.json	859	log plain
-rw-r--r--	solinas64_2e190m11.json	856	log plain
-rw-r--r--	solinas64_2e191m19.json	856	log plain
-rw-r--r--	solinas64_2e192m2e64m1.json	1059	log plain
-rw-r--r--	solinas64_2e194m33.json	866	log plain
-rw-r--r--	solinas64_2e196m15.json	860	log plain
-rw-r--r--	solinas64_2e198m17.json	866	log plain
-rw-r--r--	solinas64_2e205m45x2e198m1.json	1100	log plain
-rw-r--r--	solinas64_2e206m5.json	873	log plain
-rw-r--r--	solinas64_2e212m29.json	880	log plain
-rw-r--r--	solinas64_2e213m3.json	886	log plain
-rw-r--r--	solinas64_2e216m2e108m1.json	1116	log plain
-rw-r--r--	solinas64_2e221m3.json	896	log plain
-rw-r--r--	solinas64_2e222m117.json	899	log plain
-rw-r--r--	solinas64_2e224m2e96p1.json	1102	log plain
-rw-r--r--	solinas64_2e226m5.json	903	log plain
-rw-r--r--	solinas64_2e230m27.json	906	log plain
-rw-r--r--	solinas64_2e235m15.json	910	log plain
-rw-r--r--	solinas64_2e243m9.json	923	log plain
-rw-r--r--	solinas64_2e251m9.json	933	log plain
-rw-r--r--	solinas64_2e254m127x2e240m1.json	1202	log plain
-rw-r--r--	solinas64_2e255m19.json	933	log plain
-rw-r--r--	solinas64_2e255m2e4m2e1m1.json	1198	log plain
-rw-r--r--	solinas64_2e255m765.json	933	log plain
-rw-r--r--	solinas64_2e256m189.json	939	log plain
-rw-r--r--	solinas64_2e256m2e224p2e192p2e96m1.json	1299	log plain
-rw-r--r--	solinas64_2e256m2e32m977.json	1154	log plain
-rw-r--r--	solinas64_2e256m88x2e240m1.json	1172	log plain
-rw-r--r--	solinas64_2e266m3.json	953	log plain
-rw-r--r--	solinas64_2e285m9.json	967	log plain
-rw-r--r--	solinas64_2e291m19.json	986	log plain
-rw-r--r--	solinas64_2e321m9.json	1023	log plain
-rw-r--r--	solinas64_2e322m2e161m1.json	1301	log plain
-rw-r--r--	solinas64_2e336m17.json	1030	log plain
-rw-r--r--	solinas64_2e336m3.json	1027	log plain
-rw-r--r--	solinas64_2e338m15.json	1058	log plain
-rw-r--r--	solinas64_2e369m25.json	1092	log plain
-rw-r--r--	solinas64_2e379m19.json	1108	log plain
-rw-r--r--	solinas64_2e382m105.json	1100	log plain
-rw-r--r--	solinas64_2e384m2e128m2e96p2e32m1.json	1495	log plain
-rw-r--r--	solinas64_2e384m317.json	1093	log plain
-rw-r--r--	solinas64_2e384m5x2e368m1.json	1368	log plain
-rw-r--r--	solinas64_2e384m79x2e376m1.json	1371	log plain
-rw-r--r--	solinas64_2e401m31.json	1132	log plain
-rw-r--r--	solinas64_2e413m21.json	1130	log plain
-rw-r--r--	solinas64_2e414m17.json	1130	log plain
-rw-r--r--	solinas64_2e416m2e208m1.json	1426	log plain
-rw-r--r--	solinas64_2e444m17.json	1176	log plain
-rw-r--r--	solinas64_2e448m2e224m1.json	1469	log plain
-rw-r--r--	solinas64_2e450m2e225m1.json	1485	log plain
-rw-r--r--	solinas64_2e452m3.json	1183	log plain
-rw-r--r--	solinas64_2e468m17.json	1206	log plain
-rw-r--r--	solinas64_2e480m2e240m1.json	1509	log plain
-rw-r--r--	solinas64_2e488m17.json	1227	log plain
-rw-r--r--	solinas64_2e489m21.json	1248	log plain
-rw-r--r--	solinas64_2e495m31.json	1230	log plain
-rw-r--r--	solinas64_2e510m290x2e496m1.json	1565	log plain
-rw-r--r--	solinas64_2e511m187.json	1260	log plain
-rw-r--r--	solinas64_2e511m481.json	1260	log plain
-rw-r--r--	solinas64_2e512m491x2e496m1.json	1571	log plain
-rw-r--r--	solinas64_2e512m569.json	1260	log plain
-rw-r--r--	solinas64_2e521m1.json	1277	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