EverCrypt API Reference# EverCrypt: AEAD API Reference EverCrypt_AEAD_state_s EverCrypt_AEAD_create_in() EverCrypt_AEAD_alg_of_state() EverCrypt_AEAD_free() EverCrypt_AEAD_encrypt() EverCrypt_AEAD_decrypt() Hash Typedefs EverCrypt_Hash_Incremental_state_t Functions EverCrypt_Hash_Incremental_hash() EverCrypt_Hash_Incremental_malloc() EverCrypt_Hash_Incremental_reset() EverCrypt_Hash_Incremental_update() EverCrypt_Hash_Incremental_digest() EverCrypt_Hash_Incremental_free() EverCrypt_Hash_Incremental_hash_len() EverCrypt_Hash_Incremental_alg_of_state() Diffie-Hellman Elliptic-Curve Available Implementations API Reference KDF HKDF API Reference MAC HMAC API Reference Randomness DRBG Available Implementations API Reference