Index

E

EverCrypt_AEAD_alg_of_state (C++ function) EverCrypt_AEAD_create_in (C++ function) EverCrypt_AEAD_decrypt (C++ function) EverCrypt_AEAD_encrypt (C++ function) EverCrypt_AEAD_free (C++ function) EverCrypt_AEAD_state_s (C++ type) EverCrypt_Curve25519_ecdh (C++ function) EverCrypt_Curve25519_scalarmult (C++ function) EverCrypt_Curve25519_secret_to_public (C++ function) EverCrypt_DRBG_create (C++ function) EverCrypt_DRBG_generate (C++ function) EverCrypt_DRBG_instantiate (C++ function) EverCrypt_DRBG_max_additional_input_length (C++ member) EverCrypt_DRBG_max_length (C++ member) EverCrypt_DRBG_max_output_length (C++ member) EverCrypt_DRBG_max_personalization_string_length (C++ member) EverCrypt_DRBG_min_length (C++ function)

EverCrypt_DRBG_reseed (C++ function) EverCrypt_DRBG_reseed_interval (C++ member) EverCrypt_DRBG_state_s (C++ type) EverCrypt_DRBG_supported_alg (C++ type) EverCrypt_DRBG_uninstantiate (C++ function) EverCrypt_DRBG_uu___is_SHA1_s (C++ function) EverCrypt_DRBG_uu___is_SHA2_256_s (C++ function) EverCrypt_DRBG_uu___is_SHA2_384_s (C++ function) EverCrypt_DRBG_uu___is_SHA2_512_s (C++ function) EverCrypt_Hash_Incremental_alg_of_state (C++ function) EverCrypt_Hash_Incremental_free (C++ function) EverCrypt_Hash_Incremental_hash_len (C++ function) EverCrypt_Hash_Incremental_update (C++ function) EverCrypt_Hash_state_s (C++ type) EverCrypt_HKDF_expand (C++ function) EverCrypt_HKDF_extract (C++ function) EverCrypt_HMAC_compute (C++ function) EverCrypt_HMAC_is_supported_alg (C++ function)

H

Hacl_Bignum256_32_add (C++ function) Hacl_Bignum256_32_add_mod (C++ function) Hacl_Bignum256_32_bn_to_bytes_be (C++ function) Hacl_Bignum256_32_bn_to_bytes_le (C++ function) Hacl_Bignum256_32_eq_mask (C++ function) Hacl_Bignum256_32_lt_mask (C++ function) Hacl_Bignum256_32_mod (C++ function) Hacl_Bignum256_32_mod_exp_consttime (C++ function) Hacl_Bignum256_32_mod_exp_consttime_precomp (C++ function) Hacl_Bignum256_32_mod_exp_vartime (C++ function) Hacl_Bignum256_32_mod_exp_vartime_precomp (C++ function) Hacl_Bignum256_32_mod_inv_prime_vartime (C++ function) Hacl_Bignum256_32_mod_inv_prime_vartime_precomp (C++ function) Hacl_Bignum256_32_mod_precomp (C++ function) Hacl_Bignum256_32_mont_ctx_free (C++ function) Hacl_Bignum256_32_mont_ctx_init (C++ function) Hacl_Bignum256_32_mul (C++ function) Hacl_Bignum256_32_new_bn_from_bytes_be (C++ function) Hacl_Bignum256_32_new_bn_from_bytes_le (C++ function) Hacl_Bignum256_32_sqr (C++ function) Hacl_Bignum256_32_sub (C++ function) Hacl_Bignum256_32_sub_mod (C++ function) Hacl_Bignum256_add (C++ function) Hacl_Bignum256_add_mod (C++ function) Hacl_Bignum256_bn_to_bytes_be (C++ function) Hacl_Bignum256_bn_to_bytes_le (C++ function) Hacl_Bignum256_eq_mask (C++ function) Hacl_Bignum256_lt_mask (C++ function) Hacl_Bignum256_mod (C++ function) Hacl_Bignum256_mod_exp_consttime (C++ function) Hacl_Bignum256_mod_exp_consttime_precomp (C++ function) Hacl_Bignum256_mod_exp_vartime (C++ function) Hacl_Bignum256_mod_exp_vartime_precomp (C++ function) Hacl_Bignum256_mod_inv_prime_vartime (C++ function) Hacl_Bignum256_mod_inv_prime_vartime_precomp (C++ function) Hacl_Bignum256_mod_precomp (C++ function) Hacl_Bignum256_mont_ctx_free (C++ function) Hacl_Bignum256_mont_ctx_init (C++ function) Hacl_Bignum256_mul (C++ function) Hacl_Bignum256_new_bn_from_bytes_be (C++ function) Hacl_Bignum256_new_bn_from_bytes_le (C++ function) Hacl_Bignum256_sqr (C++ function) Hacl_Bignum256_sub (C++ function) Hacl_Bignum256_sub_mod (C++ function) Hacl_Bignum32_add (C++ function) Hacl_Bignum32_add_mod (C++ function) Hacl_Bignum32_bn_to_bytes_be (C++ function) Hacl_Bignum32_bn_to_bytes_le (C++ function) Hacl_Bignum32_eq_mask (C++ function) Hacl_Bignum32_lt_mask (C++ function) Hacl_Bignum32_mod (C++ function) Hacl_Bignum32_mod_exp_consttime (C++ function) Hacl_Bignum32_mod_exp_consttime_precomp (C++ function) Hacl_Bignum32_mod_exp_vartime (C++ function) Hacl_Bignum32_mod_exp_vartime_precomp (C++ function) Hacl_Bignum32_mod_inv_prime_vartime (C++ function) Hacl_Bignum32_mod_inv_prime_vartime_precomp (C++ function) Hacl_Bignum32_mod_precomp (C++ function) Hacl_Bignum32_mont_ctx_free (C++ function) Hacl_Bignum32_mont_ctx_init (C++ function) Hacl_Bignum32_mul (C++ function) Hacl_Bignum32_new_bn_from_bytes_be (C++ function) Hacl_Bignum32_new_bn_from_bytes_le (C++ function) Hacl_Bignum32_pbn_mont_ctx_u32 (C++ type) Hacl_Bignum32_sqr (C++ function) Hacl_Bignum32_sub (C++ function) Hacl_Bignum32_sub_mod (C++ function) Hacl_Bignum4096_32_add (C++ function) Hacl_Bignum4096_32_add_mod (C++ function) Hacl_Bignum4096_32_bn_to_bytes_be (C++ function) Hacl_Bignum4096_32_bn_to_bytes_le (C++ function) Hacl_Bignum4096_32_eq_mask (C++ function) Hacl_Bignum4096_32_lt_mask (C++ function) Hacl_Bignum4096_32_mod (C++ function) Hacl_Bignum4096_32_mod_exp_consttime (C++ function) Hacl_Bignum4096_32_mod_exp_consttime_precomp (C++ function) Hacl_Bignum4096_32_mod_exp_vartime (C++ function) Hacl_Bignum4096_32_mod_exp_vartime_precomp (C++ function) Hacl_Bignum4096_32_mod_inv_prime_vartime (C++ function) Hacl_Bignum4096_32_mod_inv_prime_vartime_precomp (C++ function) Hacl_Bignum4096_32_mod_precomp (C++ function) Hacl_Bignum4096_32_mont_ctx_free (C++ function) Hacl_Bignum4096_32_mont_ctx_init (C++ function) Hacl_Bignum4096_32_mul (C++ function) Hacl_Bignum4096_32_new_bn_from_bytes_be (C++ function) Hacl_Bignum4096_32_new_bn_from_bytes_le (C++ function) Hacl_Bignum4096_32_sqr (C++ function) Hacl_Bignum4096_32_sub (C++ function) Hacl_Bignum4096_32_sub_mod (C++ function) Hacl_Bignum4096_add (C++ function) Hacl_Bignum4096_add_mod (C++ function) Hacl_Bignum4096_bn_to_bytes_be (C++ function) Hacl_Bignum4096_bn_to_bytes_le (C++ function) Hacl_Bignum4096_eq_mask (C++ function) Hacl_Bignum4096_lt_mask (C++ function) Hacl_Bignum4096_mod (C++ function) Hacl_Bignum4096_mod_exp_consttime (C++ function) Hacl_Bignum4096_mod_exp_consttime_precomp (C++ function) Hacl_Bignum4096_mod_exp_vartime (C++ function) Hacl_Bignum4096_mod_exp_vartime_precomp (C++ function) Hacl_Bignum4096_mod_inv_prime_vartime (C++ function) Hacl_Bignum4096_mod_inv_prime_vartime_precomp (C++ function) Hacl_Bignum4096_mod_precomp (C++ function) Hacl_Bignum4096_mont_ctx_free (C++ function) Hacl_Bignum4096_mont_ctx_init (C++ function) Hacl_Bignum4096_mul (C++ function) Hacl_Bignum4096_new_bn_from_bytes_be (C++ function) Hacl_Bignum4096_new_bn_from_bytes_le (C++ function) Hacl_Bignum4096_sqr (C++ function) Hacl_Bignum4096_sub (C++ function) Hacl_Bignum4096_sub_mod (C++ function) Hacl_Bignum64_add (C++ function) Hacl_Bignum64_add_mod (C++ function) Hacl_Bignum64_bn_to_bytes_be (C++ function) Hacl_Bignum64_bn_to_bytes_le (C++ function) Hacl_Bignum64_eq_mask (C++ function) Hacl_Bignum64_lt_mask (C++ function) Hacl_Bignum64_mod (C++ function) Hacl_Bignum64_mod_exp_consttime (C++ function) Hacl_Bignum64_mod_exp_consttime_precomp (C++ function) Hacl_Bignum64_mod_exp_vartime (C++ function) Hacl_Bignum64_mod_exp_vartime_precomp (C++ function) Hacl_Bignum64_mod_inv_prime_vartime (C++ function) Hacl_Bignum64_mod_inv_prime_vartime_precomp (C++ function) Hacl_Bignum64_mod_precomp (C++ function) Hacl_Bignum64_mont_ctx_free (C++ function) Hacl_Bignum64_mont_ctx_init (C++ function) Hacl_Bignum64_mul (C++ function) Hacl_Bignum64_new_bn_from_bytes_be (C++ function) Hacl_Bignum64_new_bn_from_bytes_le (C++ function) Hacl_Bignum64_pbn_mont_ctx_u64 (C++ type) Hacl_Bignum64_sqr (C++ function) Hacl_Bignum64_sub (C++ function) Hacl_Bignum64_sub_mod (C++ function) Hacl_Curve25519_51_ecdh (C++ function) Hacl_Curve25519_51_scalarmult (C++ function) Hacl_Curve25519_51_secret_to_public (C++ function) Hacl_Curve25519_64_ecdh (C++ function) Hacl_Curve25519_64_scalarmult (C++ function) Hacl_Curve25519_64_secret_to_public (C++ function)

Hacl_EC_K256_felem_add (C++ function) Hacl_EC_K256_felem_inv (C++ function) Hacl_EC_K256_felem_load (C++ function) Hacl_EC_K256_felem_mul (C++ function) Hacl_EC_K256_felem_sqr (C++ function) Hacl_EC_K256_felem_store (C++ function) Hacl_EC_K256_felem_sub (C++ function) Hacl_EC_K256_mk_base_point (C++ function) Hacl_EC_K256_mk_felem_one (C++ function) Hacl_EC_K256_mk_felem_zero (C++ function) Hacl_EC_K256_mk_point_at_inf (C++ function) Hacl_EC_K256_point_add (C++ function) Hacl_EC_K256_point_double (C++ function) Hacl_EC_K256_point_mul (C++ function) Hacl_EC_K256_point_negate (C++ function) Hacl_Ed25519_expand_keys (C++ function) Hacl_Ed25519_secret_to_public (C++ function) Hacl_Ed25519_sign (C++ function) Hacl_Ed25519_sign_expanded (C++ function) Hacl_Ed25519_verify (C++ function) Hacl_FFDHE_ffdhe_len (C++ function) Hacl_FFDHE_ffdhe_secret_to_public (C++ function) Hacl_FFDHE_ffdhe_secret_to_public_precomp (C++ function) Hacl_FFDHE_ffdhe_shared_secret (C++ function) Hacl_FFDHE_ffdhe_shared_secret_precomp (C++ function) Hacl_FFDHE_new_ffdhe_precomp_p (C++ function) Hacl_GenericField32_add (C++ function) Hacl_GenericField32_exp_consttime (C++ function) Hacl_GenericField32_exp_vartime (C++ function) Hacl_GenericField32_field_free (C++ function) Hacl_GenericField32_field_get_len (C++ function) Hacl_GenericField32_field_init (C++ function) Hacl_GenericField32_field_modulus_check (C++ function) Hacl_GenericField32_from_field (C++ function) Hacl_GenericField32_inverse (C++ function) Hacl_GenericField32_mul (C++ function) Hacl_GenericField32_one (C++ function) Hacl_GenericField32_pbn_mont_ctx_u32 (C++ type) Hacl_GenericField32_sqr (C++ function) Hacl_GenericField32_sub (C++ function) Hacl_GenericField32_to_field (C++ function) Hacl_GenericField64_add (C++ function) Hacl_GenericField64_exp_consttime (C++ function) Hacl_GenericField64_exp_vartime (C++ function) Hacl_GenericField64_field_free (C++ function) Hacl_GenericField64_field_get_len (C++ function) Hacl_GenericField64_field_init (C++ function) Hacl_GenericField64_field_modulus_check (C++ function) Hacl_GenericField64_from_field (C++ function) Hacl_GenericField64_inverse (C++ function) Hacl_GenericField64_mul (C++ function) Hacl_GenericField64_one (C++ function) Hacl_GenericField64_pbn_mont_ctx_u64 (C++ type) Hacl_GenericField64_sqr (C++ function) Hacl_GenericField64_sub (C++ function) Hacl_GenericField64_to_field (C++ function) Hacl_Hash_SHA2_hash_224 (C++ function) Hacl_Hash_SHA2_hash_256 (C++ function) Hacl_Hash_SHA2_hash_384 (C++ function) Hacl_Hash_SHA2_hash_512 (C++ function) Hacl_HKDF_Blake2b_256_expand_blake2b_256 (C++ function) Hacl_HKDF_Blake2b_256_extract_blake2b_256 (C++ function) Hacl_HKDF_Blake2s_128_expand_blake2s_128 (C++ function) Hacl_HKDF_Blake2s_128_extract_blake2s_128 (C++ function) Hacl_HKDF_expand_blake2b_32 (C++ function) Hacl_HKDF_expand_blake2s_32 (C++ function) Hacl_HKDF_expand_sha2_256 (C++ function) Hacl_HKDF_expand_sha2_512 (C++ function) Hacl_HKDF_extract_blake2b_32 (C++ function) Hacl_HKDF_extract_blake2s_32 (C++ function) Hacl_HKDF_extract_sha2_256 (C++ function) Hacl_HKDF_extract_sha2_512 (C++ function) Hacl_HMAC_Blake2b_256_compute_blake2b_256 (C++ function) Hacl_HMAC_Blake2s_128_compute_blake2s_128 (C++ function) Hacl_HMAC_compute_blake2b_32 (C++ function) Hacl_HMAC_compute_blake2s_32 (C++ function) Hacl_HMAC_compute_sha2_256 (C++ function) Hacl_HMAC_compute_sha2_384 (C++ function) Hacl_HMAC_compute_sha2_512 (C++ function) Hacl_HMAC_DRBG_create_in (C++ function) Hacl_HMAC_DRBG_generate (C++ function) Hacl_HMAC_DRBG_instantiate (C++ function) Hacl_HMAC_DRBG_max_additional_input_length (C++ member) Hacl_HMAC_DRBG_max_length (C++ member) Hacl_HMAC_DRBG_max_output_length (C++ member) Hacl_HMAC_DRBG_max_personalization_string_length (C++ member) Hacl_HMAC_DRBG_min_length (C++ function) Hacl_HMAC_DRBG_reseed (C++ function) Hacl_HMAC_DRBG_reseed_interval (C++ member) Hacl_HMAC_DRBG_state (C++ type) Hacl_HMAC_DRBG_supported_alg (C++ type) Hacl_K256_ECDSA_ecdsa_sign_hashed_msg (C++ function) Hacl_K256_ECDSA_ecdsa_sign_sha256 (C++ function) Hacl_K256_ECDSA_ecdsa_verify_hashed_msg (C++ function) Hacl_K256_ECDSA_ecdsa_verify_sha256 (C++ function) Hacl_K256_ECDSA_public_key_compressed_from_raw (C++ function) Hacl_K256_ECDSA_public_key_compressed_to_raw (C++ function) Hacl_K256_ECDSA_public_key_uncompressed_from_raw (C++ function) Hacl_K256_ECDSA_public_key_uncompressed_to_raw (C++ function) Hacl_K256_ECDSA_secp256k1_ecdsa_is_signature_normalized (C++ function) Hacl_K256_ECDSA_secp256k1_ecdsa_sign_hashed_msg (C++ function) Hacl_K256_ECDSA_secp256k1_ecdsa_sign_sha256 (C++ function) Hacl_K256_ECDSA_secp256k1_ecdsa_signature_normalize (C++ function) Hacl_K256_ECDSA_secp256k1_ecdsa_verify_hashed_msg (C++ function) Hacl_K256_ECDSA_secp256k1_ecdsa_verify_sha256 (C++ function) Hacl_NaCl_crypto_box_beforenm (C++ function) Hacl_NaCl_crypto_box_detached (C++ function) Hacl_NaCl_crypto_box_detached_afternm (C++ function) Hacl_NaCl_crypto_box_easy (C++ function) Hacl_NaCl_crypto_box_easy_afternm (C++ function) Hacl_NaCl_crypto_box_open_detached (C++ function) Hacl_NaCl_crypto_box_open_detached_afternm (C++ function) Hacl_NaCl_crypto_box_open_easy (C++ function) Hacl_NaCl_crypto_box_open_easy_afternm (C++ function) Hacl_NaCl_crypto_secretbox_detached (C++ function) Hacl_NaCl_crypto_secretbox_easy (C++ function) Hacl_NaCl_crypto_secretbox_open_detached (C++ function) Hacl_NaCl_crypto_secretbox_open_easy (C++ function) Hacl_P256_compressed_to_raw (C++ function) Hacl_P256_dh_initiator (C++ function) Hacl_P256_dh_responder (C++ function) Hacl_P256_ecdsa_sign_p256_sha2 (C++ function) Hacl_P256_ecdsa_sign_p256_sha384 (C++ function) Hacl_P256_ecdsa_sign_p256_sha512 (C++ function) Hacl_P256_ecdsa_sign_p256_without_hash (C++ function) Hacl_P256_ecdsa_verif_p256_sha2 (C++ function) Hacl_P256_ecdsa_verif_p256_sha384 (C++ function) Hacl_P256_ecdsa_verif_p256_sha512 (C++ function) Hacl_P256_ecdsa_verif_without_hash (C++ function) Hacl_P256_raw_to_compressed (C++ function) Hacl_P256_raw_to_uncompressed (C++ function) Hacl_P256_uncompressed_to_raw (C++ function) Hacl_P256_validate_private_key (C++ function) Hacl_P256_validate_public_key (C++ function) Hacl_RSAPSS_new_rsapss_load_pkey (C++ function) Hacl_RSAPSS_new_rsapss_load_skey (C++ function) Hacl_RSAPSS_rsapss_pkey_verify (C++ function) Hacl_RSAPSS_rsapss_sign (C++ function) Hacl_RSAPSS_rsapss_skey_sign (C++ function) Hacl_RSAPSS_rsapss_verify (C++ function)

S

Spec_Hash_Definitions_Blake2B (C macro) Spec_Hash_Definitions_Blake2S (C macro) Spec_Hash_Definitions_hash_alg (C++ type) Spec_Hash_Definitions_MD5 (C macro)

Spec_Hash_Definitions_SHA1 (C macro) Spec_Hash_Definitions_SHA2_224 (C macro) Spec_Hash_Definitions_SHA2_256 (C macro) Spec_Hash_Definitions_SHA2_384 (C macro) Spec_Hash_Definitions_SHA2_512 (C macro)