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_state_s Functions EverCrypt_Hash_Incremental_update() EverCrypt_Hash_Incremental_free() EverCrypt_Hash_Incremental_hash_len() EverCrypt_Hash_Incremental_alg_of_state() Diffie-Hellman Elliptic-Curve API Reference KDF HKDF API Reference MAC HMAC API Reference Randomness DRBG API Reference