Diffie-Hellman# EverCrypt: Elliptic-Curve API Reference EverCrypt_Curve25519_scalarmult() EverCrypt_Curve25519_secret_to_public() EverCrypt_Curve25519_ecdh()