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