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