Definitions of NIST elliptic curves.
If you’re looking for curve25519, see the x25519 and ed25519 modules.
x25519
ed25519