EverCrypt API Reference# EverCrypt: AEAD API Reference Hash Typedefs Functions Diffie-Hellman Elliptic-Curve API Reference KDF HKDF API Reference MAC HMAC API Reference Randomness DRBG API Reference