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

Mode	Name	Size
d---------	X25519_C64	40	log plain
-rw-r--r--	montgomery32_2e127m1.json	401	log plain
-rw-r--r--	montgomery32_2e129m25.json	401	log plain
-rw-r--r--	montgomery32_2e130m5.json	401	log plain
-rw-r--r--	montgomery32_2e137m13.json	401	log plain
-rw-r--r--	montgomery32_2e140m27.json	401	log plain
-rw-r--r--	montgomery32_2e141m9.json	400	log plain
-rw-r--r--	montgomery32_2e150m3.json	400	log plain
-rw-r--r--	montgomery32_2e150m5.json	400	log plain
-rw-r--r--	montgomery32_2e152m17.json	401	log plain
-rw-r--r--	montgomery32_2e158m15.json	401	log plain
-rw-r--r--	montgomery32_2e165m25.json	401	log plain
-rw-r--r--	montgomery32_2e166m5.json	400	log plain
-rw-r--r--	montgomery32_2e171m19.json	401	log plain
-rw-r--r--	montgomery32_2e174m17.json	401	log plain
-rw-r--r--	montgomery32_2e174m3.json	400	log plain
-rw-r--r--	montgomery32_2e189m25.json	401	log plain
-rw-r--r--	montgomery32_2e190m11.json	401	log plain
-rw-r--r--	montgomery32_2e191m19.json	401	log plain
-rw-r--r--	montgomery32_2e192m2e64m1.json	407	log plain
-rw-r--r--	montgomery32_2e194m33.json	401	log plain
-rw-r--r--	montgomery32_2e196m15.json	401	log plain
-rw-r--r--	montgomery32_2e198m17.json	401	log plain
-rw-r--r--	montgomery32_2e205m45x2e198m1.json	411	log plain
-rw-r--r--	montgomery32_2e206m5.json	400	log plain
-rw-r--r--	montgomery32_2e212m29.json	401	log plain
-rw-r--r--	montgomery32_2e213m3.json	400	log plain
-rw-r--r--	montgomery32_2e216m2e108m1.json	408	log plain
-rw-r--r--	montgomery32_2e221m3.json	400	log plain
-rw-r--r--	montgomery32_2e222m117.json	402	log plain
-rw-r--r--	montgomery32_2e224m2e96p1.json	408	log plain
-rw-r--r--	montgomery32_2e226m5.json	400	log plain
-rw-r--r--	montgomery32_2e230m27.json	401	log plain
-rw-r--r--	montgomery32_2e235m15.json	401	log plain
-rw-r--r--	montgomery32_2e243m9.json	400	log plain
-rw-r--r--	montgomery32_2e251m9.json	400	log plain
-rw-r--r--	montgomery32_2e255m19.json	402	log plain
-rw-r--r--	montgomery32_2e255m2e4m2e1m1.json	412	log plain
-rw-r--r--	montgomery32_2e255m765.json	402	log plain
-rw-r--r--	montgomery32_2e256m189.json	402	log plain
-rw-r--r--	montgomery32_2e256m2e224p2e192p2e96m1.json	424	log plain
-rw-r--r--	montgomery32_2e256m2e32m977.json	410	log plain
-rw-r--r--	montgomery32_2e266m3.json	400	log plain
-rw-r--r--	montgomery32_2e285m9.json	400	log plain
-rw-r--r--	montgomery32_2e291m19.json	402	log plain
-rw-r--r--	montgomery32_2e321m9.json	401	log plain
-rw-r--r--	montgomery32_2e322m2e161m1.json	409	log plain
-rw-r--r--	montgomery32_2e336m17.json	402	log plain
-rw-r--r--	montgomery32_2e336m3.json	401	log plain
-rw-r--r--	montgomery32_2e338m15.json	402	log plain
-rw-r--r--	montgomery32_2e369m25.json	402	log plain
-rw-r--r--	montgomery32_2e379m19.json	402	log plain
-rw-r--r--	montgomery32_2e382m105.json	403	log plain
-rw-r--r--	montgomery32_2e383m187.json	403	log plain
-rw-r--r--	montgomery32_2e383m31.json	402	log plain
-rw-r--r--	montgomery32_2e383m421.json	403	log plain
-rw-r--r--	montgomery32_2e384m2e128m2e96p2e32m1.json	424	log plain
-rw-r--r--	montgomery32_2e384m317.json	403	log plain
-rw-r--r--	montgomery32_2e389m21.json	402	log plain
-rw-r--r--	montgomery32_2e401m31.json	402	log plain
-rw-r--r--	montgomery32_2e413m21.json	402	log plain
-rw-r--r--	montgomery32_2e414m17.json	402	log plain
-rw-r--r--	montgomery32_2e416m2e208m1.json	409	log plain
-rw-r--r--	montgomery32_2e444m17.json	402	log plain
-rw-r--r--	montgomery32_2e448m2e224m1.json	410	log plain
-rw-r--r--	montgomery32_2e450m2e225m1.json	409	log plain
-rw-r--r--	montgomery32_2e452m3.json	401	log plain
-rw-r--r--	montgomery32_2e468m17.json	402	log plain
-rw-r--r--	montgomery32_2e480m2e240m1.json	410	log plain
-rw-r--r--	montgomery32_2e488m17.json	402	log plain
-rw-r--r--	montgomery32_2e489m21.json	402	log plain
-rw-r--r--	montgomery32_2e495m31.json	402	log plain
-rw-r--r--	montgomery32_2e511m187.json	403	log plain
-rw-r--r--	montgomery32_2e511m481.json	403	log plain
-rw-r--r--	montgomery32_2e512m569.json	403	log plain
-rw-r--r--	montgomery32_2e521m1.json	402	log plain
-rw-r--r--	montgomery64_2e127m1.json	401	log plain
-rw-r--r--	montgomery64_2e129m25.json	401	log plain
-rw-r--r--	montgomery64_2e130m5.json	401	log plain
-rw-r--r--	montgomery64_2e137m13.json	401	log plain
-rw-r--r--	montgomery64_2e140m27.json	401	log plain
-rw-r--r--	montgomery64_2e141m9.json	400	log plain
-rw-r--r--	montgomery64_2e150m3.json	400	log plain
-rw-r--r--	montgomery64_2e150m5.json	400	log plain
-rw-r--r--	montgomery64_2e152m17.json	401	log plain
-rw-r--r--	montgomery64_2e158m15.json	401	log plain
-rw-r--r--	montgomery64_2e165m25.json	401	log plain
-rw-r--r--	montgomery64_2e166m5.json	400	log plain
-rw-r--r--	montgomery64_2e171m19.json	401	log plain
-rw-r--r--	montgomery64_2e174m17.json	401	log plain
-rw-r--r--	montgomery64_2e174m3.json	400	log plain
-rw-r--r--	montgomery64_2e189m25.json	401	log plain
-rw-r--r--	montgomery64_2e190m11.json	401	log plain
-rw-r--r--	montgomery64_2e191m19.json	401	log plain
-rw-r--r--	montgomery64_2e192m2e64m1.json	407	log plain
-rw-r--r--	montgomery64_2e194m33.json	401	log plain
-rw-r--r--	montgomery64_2e196m15.json	401	log plain
-rw-r--r--	montgomery64_2e198m17.json	401	log plain
-rw-r--r--	montgomery64_2e205m45x2e198m1.json	411	log plain
-rw-r--r--	montgomery64_2e206m5.json	400	log plain
-rw-r--r--	montgomery64_2e212m29.json	401	log plain
-rw-r--r--	montgomery64_2e213m3.json	400	log plain
-rw-r--r--	montgomery64_2e216m2e108m1.json	408	log plain
-rw-r--r--	montgomery64_2e221m3.json	400	log plain
-rw-r--r--	montgomery64_2e222m117.json	402	log plain
-rw-r--r--	montgomery64_2e224m2e96p1.json	408	log plain
-rw-r--r--	montgomery64_2e226m5.json	400	log plain
-rw-r--r--	montgomery64_2e230m27.json	401	log plain
-rw-r--r--	montgomery64_2e235m15.json	401	log plain
-rw-r--r--	montgomery64_2e243m9.json	400	log plain
-rw-r--r--	montgomery64_2e251m9.json	400	log plain
-rw-r--r--	montgomery64_2e255m19.json	402	log plain
-rw-r--r--	montgomery64_2e255m2e4m2e1m1.json	412	log plain
-rw-r--r--	montgomery64_2e255m765.json	402	log plain
-rw-r--r--	montgomery64_2e256m189.json	402	log plain
-rw-r--r--	montgomery64_2e256m2e224p2e192p2e96m1.json	424	log plain
-rw-r--r--	montgomery64_2e256m2e32m977.json	410	log plain
-rw-r--r--	montgomery64_2e266m3.json	400	log plain
-rw-r--r--	montgomery64_2e285m9.json	400	log plain
-rw-r--r--	montgomery64_2e291m19.json	401	log plain
-rw-r--r--	montgomery64_2e321m9.json	400	log plain
-rw-r--r--	montgomery64_2e322m2e161m1.json	408	log plain
-rw-r--r--	montgomery64_2e336m17.json	401	log plain
-rw-r--r--	montgomery64_2e336m3.json	400	log plain
-rw-r--r--	montgomery64_2e338m15.json	401	log plain
-rw-r--r--	montgomery64_2e369m25.json	401	log plain
-rw-r--r--	montgomery64_2e379m19.json	401	log plain
-rw-r--r--	montgomery64_2e382m105.json	402	log plain
-rw-r--r--	montgomery64_2e383m187.json	402	log plain
-rw-r--r--	montgomery64_2e383m31.json	401	log plain
-rw-r--r--	montgomery64_2e383m421.json	402	log plain
-rw-r--r--	montgomery64_2e384m2e128m2e96p2e32m1.json	423	log plain
-rw-r--r--	montgomery64_2e384m317.json	402	log plain
-rw-r--r--	montgomery64_2e389m21.json	401	log plain
-rw-r--r--	montgomery64_2e401m31.json	401	log plain
-rw-r--r--	montgomery64_2e413m21.json	401	log plain
-rw-r--r--	montgomery64_2e414m17.json	401	log plain
-rw-r--r--	montgomery64_2e416m2e208m1.json	408	log plain
-rw-r--r--	montgomery64_2e444m17.json	401	log plain
-rw-r--r--	montgomery64_2e448m2e224m1.json	409	log plain
-rw-r--r--	montgomery64_2e450m2e225m1.json	408	log plain
-rw-r--r--	montgomery64_2e452m3.json	400	log plain
-rw-r--r--	montgomery64_2e468m17.json	401	log plain
-rw-r--r--	montgomery64_2e480m2e240m1.json	409	log plain
-rw-r--r--	montgomery64_2e488m17.json	401	log plain
-rw-r--r--	montgomery64_2e489m21.json	401	log plain
-rw-r--r--	montgomery64_2e495m31.json	401	log plain
-rw-r--r--	montgomery64_2e511m187.json	402	log plain
-rw-r--r--	montgomery64_2e511m481.json	402	log plain
-rw-r--r--	montgomery64_2e512m569.json	402	log plain
-rw-r--r--	montgomery64_2e521m1.json	401	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	21367	log plain
-rw-r--r--	solinas32_2e127m1.json	349	log plain
-rw-r--r--	solinas32_2e129m25.json	345	log plain
-rw-r--r--	solinas32_2e130m5.json	345	log plain
-rw-r--r--	solinas32_2e137m13.json	347	log plain
-rw-r--r--	solinas32_2e140m27.json	349	log plain
-rw-r--r--	solinas32_2e141m9.json	344	log plain
-rw-r--r--	solinas32_2e150m3.json	344	log plain
-rw-r--r--	solinas32_2e150m5.json	344	log plain
-rw-r--r--	solinas32_2e152m17.json	349	log plain
-rw-r--r--	solinas32_2e158m15.json	349	log plain
-rw-r--r--	solinas32_2e165m25.json	349	log plain
-rw-r--r--	solinas32_2e166m5.json	350	log plain
-rw-r--r--	solinas32_2e171m19.json	345	log plain
-rw-r--r--	solinas32_2e174m17.json	349	log plain
-rw-r--r--	solinas32_2e174m3.json	344	log plain
-rw-r--r--	solinas32_2e189m25.json	345	log plain
-rw-r--r--	solinas32_2e190m11.json	349	log plain
-rw-r--r--	solinas32_2e191m19.json	346	log plain
-rw-r--r--	solinas32_2e192m2e64m1.json	588	log plain
-rw-r--r--	solinas32_2e194m33.json	346	log plain
-rw-r--r--	solinas32_2e196m15.json	345	log plain
-rw-r--r--	solinas32_2e198m17.json	345	log plain
-rw-r--r--	solinas32_2e205m45x2e198m1.json	623	log plain
-rw-r--r--	solinas32_2e206m5.json	349	log plain
-rw-r--r--	solinas32_2e212m29.json	345	log plain
-rw-r--r--	solinas32_2e213m3.json	345	log plain
-rw-r--r--	solinas32_2e216m2e108m1.json	613	log plain
-rw-r--r--	solinas32_2e221m3.json	345	log plain
-rw-r--r--	solinas32_2e222m117.json	347	log plain
-rw-r--r--	solinas32_2e224m2e96p1.json	589	log plain
-rw-r--r--	solinas32_2e226m5.json	345	log plain
-rw-r--r--	solinas32_2e230m27.json	346	log plain
-rw-r--r--	solinas32_2e235m15.json	349	log plain
-rw-r--r--	solinas32_2e243m9.json	344	log plain
-rw-r--r--	solinas32_2e251m9.json	345	log plain
-rw-r--r--	solinas32_2e255m19.json	347	log plain
-rw-r--r--	solinas32_2e255m2e4m2e1m1.json	627	log plain
-rw-r--r--	solinas32_2e255m765.json	348	log plain
-rw-r--r--	solinas32_2e256m189.json	351	log plain
-rw-r--r--	solinas32_2e256m2e224p2e192p2e96m1.json	734	log plain
-rw-r--r--	solinas32_2e256m2e32m977.json	659	log plain
-rw-r--r--	solinas32_2e266m3.json	349	log plain
-rw-r--r--	solinas32_2e285m9.json	345	log plain
-rw-r--r--	solinas32_2e291m19.json	347	log plain
-rw-r--r--	solinas32_2e321m9.json	350	log plain
-rw-r--r--	solinas32_2e322m2e161m1.json	709	log plain
-rw-r--r--	solinas32_2e336m17.json	346	log plain
-rw-r--r--	solinas32_2e336m3.json	345	log plain
-rw-r--r--	solinas32_2e338m15.json	346	log plain
-rw-r--r--	solinas32_2e369m25.json	351	log plain
-rw-r--r--	solinas32_2e379m19.json	351	log plain
-rw-r--r--	solinas32_2e382m105.json	347	log plain
-rw-r--r--	solinas32_2e384m2e128m2e96p2e32m1.json	792	log plain
-rw-r--r--	solinas32_2e384m317.json	351	log plain
-rw-r--r--	solinas32_2e401m31.json	351	log plain
-rw-r--r--	solinas32_2e413m21.json	343	log plain
-rw-r--r--	solinas32_2e414m17.json	346	log plain
-rw-r--r--	solinas32_2e416m2e208m1.json	741	log plain
-rw-r--r--	solinas32_2e444m17.json	346	log plain
-rw-r--r--	solinas32_2e448m2e224m1.json	742	log plain
-rw-r--r--	solinas32_2e450m2e225m1.json	725	log plain
-rw-r--r--	solinas32_2e452m3.json	346	log plain
-rw-r--r--	solinas32_2e468m17.json	346	log plain
-rw-r--r--	solinas32_2e480m2e240m1.json	742	log plain
-rw-r--r--	solinas32_2e488m17.json	350	log plain
-rw-r--r--	solinas32_2e489m21.json	350	log plain
-rw-r--r--	solinas32_2e495m31.json	351	log plain
-rw-r--r--	solinas32_2e511m187.json	348	log plain
-rw-r--r--	solinas32_2e511m481.json	348	log plain
-rw-r--r--	solinas32_2e512m569.json	351	log plain
-rw-r--r--	solinas32_2e521m1.json	351	log plain
-rw-r--r--	solinas64_2e127m1.json	349	log plain
-rw-r--r--	solinas64_2e129m25.json	345	log plain
-rw-r--r--	solinas64_2e130m5.json	349	log plain
-rw-r--r--	solinas64_2e137m13.json	346	log plain
-rw-r--r--	solinas64_2e140m27.json	345	log plain
-rw-r--r--	solinas64_2e141m9.json	344	log plain
-rw-r--r--	solinas64_2e150m3.json	344	log plain
-rw-r--r--	solinas64_2e150m5.json	344	log plain
-rw-r--r--	solinas64_2e152m17.json	345	log plain
-rw-r--r--	solinas64_2e158m15.json	345	log plain
-rw-r--r--	solinas64_2e165m25.json	345	log plain
-rw-r--r--	solinas64_2e166m5.json	348	log plain
-rw-r--r--	solinas64_2e171m19.json	345	log plain
-rw-r--r--	solinas64_2e174m17.json	345	log plain
-rw-r--r--	solinas64_2e174m3.json	344	log plain
-rw-r--r--	solinas64_2e189m25.json	346	log plain
-rw-r--r--	solinas64_2e190m11.json	345	log plain
-rw-r--r--	solinas64_2e191m19.json	345	log plain
-rw-r--r--	solinas64_2e192m2e64m1.json	528	log plain
-rw-r--r--	solinas64_2e194m33.json	345	log plain
-rw-r--r--	solinas64_2e196m15.json	345	log plain
-rw-r--r--	solinas64_2e198m17.json	345	log plain
-rw-r--r--	solinas64_2e205m45x2e198m1.json	533	log plain
-rw-r--r--	solinas64_2e206m5.json	344	log plain
-rw-r--r--	solinas64_2e212m29.json	345	log plain
-rw-r--r--	solinas64_2e213m3.json	345	log plain
-rw-r--r--	solinas64_2e216m2e108m1.json	553	log plain
-rw-r--r--	solinas64_2e221m3.json	345	log plain
-rw-r--r--	solinas64_2e222m117.json	346	log plain
-rw-r--r--	solinas64_2e224m2e96p1.json	529	log plain
-rw-r--r--	solinas64_2e226m5.json	344	log plain
-rw-r--r--	solinas64_2e230m27.json	345	log plain
-rw-r--r--	solinas64_2e235m15.json	345	log plain
-rw-r--r--	solinas64_2e243m9.json	344	log plain
-rw-r--r--	solinas64_2e251m9.json	344	log plain
-rw-r--r--	solinas64_2e255m19.json	346	log plain
-rw-r--r--	solinas64_2e255m2e4m2e1m1.json	563	log plain
-rw-r--r--	solinas64_2e255m765.json	346	log plain
-rw-r--r--	solinas64_2e256m189.json	346	log plain
-rw-r--r--	solinas64_2e256m2e224p2e192p2e96m1.json	620	log plain
-rw-r--r--	solinas64_2e256m2e32m977.json	531	log plain
-rw-r--r--	solinas64_2e266m3.json	344	log plain
-rw-r--r--	solinas64_2e285m9.json	344	log plain
-rw-r--r--	solinas64_2e291m19.json	345	log plain
-rw-r--r--	solinas64_2e321m9.json	344	log plain
-rw-r--r--	solinas64_2e322m2e161m1.json	598	log plain
-rw-r--r--	solinas64_2e336m17.json	345	log plain
-rw-r--r--	solinas64_2e336m3.json	344	log plain
-rw-r--r--	solinas64_2e338m15.json	349	log plain
-rw-r--r--	solinas64_2e369m25.json	347	log plain
-rw-r--r--	solinas64_2e379m19.json	349	log plain
-rw-r--r--	solinas64_2e382m105.json	347	log plain
-rw-r--r--	solinas64_2e384m2e128m2e96p2e32m1.json	664	log plain
-rw-r--r--	solinas64_2e384m317.json	346	log plain
-rw-r--r--	solinas64_2e401m31.json	347	log plain
-rw-r--r--	solinas64_2e413m21.json	345	log plain
-rw-r--r--	solinas64_2e414m17.json	345	log plain
-rw-r--r--	solinas64_2e416m2e208m1.json	613	log plain
-rw-r--r--	solinas64_2e444m17.json	345	log plain
-rw-r--r--	solinas64_2e448m2e224m1.json	614	log plain
-rw-r--r--	solinas64_2e450m2e225m1.json	614	log plain
-rw-r--r--	solinas64_2e452m3.json	344	log plain
-rw-r--r--	solinas64_2e468m17.json	345	log plain
-rw-r--r--	solinas64_2e480m2e240m1.json	614	log plain
-rw-r--r--	solinas64_2e488m17.json	346	log plain
-rw-r--r--	solinas64_2e489m21.json	349	log plain
-rw-r--r--	solinas64_2e495m31.json	345	log plain
-rw-r--r--	solinas64_2e511m187.json	347	log plain
-rw-r--r--	solinas64_2e511m481.json	347	log plain
-rw-r--r--	solinas64_2e512m569.json	347	log plain
-rw-r--r--	solinas64_2e521m1.json	346	log plain
-rw-r--r--	x2448_c64_karatsuba.json	315	log plain
-rw-r--r--	x25519_c32.json	12049	log plain
-rw-r--r--	x25519_c64.json	2584	log plain
-rw-r--r--	x2555_130.json	338	log plain