[−] List of all items
Structs
- aead_poly1305::Hacl_Impl_Poly1305_64_State_poly1305_state
- chacha20poly1305::Hacl_Impl_Poly1305_64_State_poly1305_state
- poly1305::Hacl_Impl_Poly1305_64_State_poly1305_state
Functions
- aead_poly1305::AEAD_Poly1305_64_mk_state
- aead_poly1305::AEAD_Poly1305_64_mul_div_16
- aead_poly1305::AEAD_Poly1305_64_pad_last
- aead_poly1305::AEAD_Poly1305_64_poly1305_blocks_continue
- aead_poly1305::AEAD_Poly1305_64_poly1305_blocks_finish
- aead_poly1305::AEAD_Poly1305_64_poly1305_blocks_finish_
- aead_poly1305::AEAD_Poly1305_64_poly1305_blocks_init
- aead_poly1305::AEAD_Poly1305_64_selem
- aead_poly1305::AEAD_Poly1305_64_seval
- chacha20::Hacl_Chacha20_chacha20
- chacha20::Hacl_Chacha20_chacha20_key_block
- chacha20poly1305::Hacl_Chacha20Poly1305_aead_decrypt
- chacha20poly1305::Hacl_Chacha20Poly1305_aead_encrypt
- chacha20poly1305::Hacl_Chacha20Poly1305_aead_encrypt_
- chacha20poly1305::Hacl_Chacha20Poly1305_encode_length
- curve25519::Hacl_Curve25519_crypto_scalarmult
- ed25519::Hacl_Ed25519_secret_to_public
- ed25519::Hacl_Ed25519_sign
- ed25519::Hacl_Ed25519_verify
- hacl_policies::Hacl_Policies_cmp_bytes
- hacl_policies::Hacl_Policies_cmp_bytes_
- hacl_policies::Hacl_Policies_declassify_u128
- hacl_policies::Hacl_Policies_declassify_u32
- hacl_policies::Hacl_Policies_declassify_u64
- hacl_policies::Hacl_Policies_declassify_u8
- hmac_sha2_256::hmac
- hmac_sha2_256::hmac_core
- nacl::NaCl_crypto_box_beforenm
- nacl::NaCl_crypto_box_detached
- nacl::NaCl_crypto_box_detached_afternm
- nacl::NaCl_crypto_box_easy
- nacl::NaCl_crypto_box_easy_afternm
- nacl::NaCl_crypto_box_open_detached
- nacl::NaCl_crypto_box_open_detached_afternm
- nacl::NaCl_crypto_box_open_easy
- nacl::NaCl_crypto_box_open_easy_afternm
- nacl::NaCl_crypto_secretbox_detached
- nacl::NaCl_crypto_secretbox_easy
- nacl::NaCl_crypto_secretbox_open_detached
- nacl::NaCl_crypto_secretbox_open_easy
- poly1305::Hacl_Poly1305_64_crypto_onetimeauth
- poly1305::Hacl_Poly1305_64_finish
- poly1305::Hacl_Poly1305_64_init
- poly1305::Hacl_Poly1305_64_mk_state
- poly1305::Hacl_Poly1305_64_update
- poly1305::Hacl_Poly1305_64_update_block
- poly1305::Hacl_Poly1305_64_update_last
- salsa20::Hacl_Salsa20_hsalsa20
- salsa20::Hacl_Salsa20_salsa20
- sha2_256::Hacl_SHA2_256_finish
- sha2_256::Hacl_SHA2_256_hash
- sha2_256::Hacl_SHA2_256_init
- sha2_256::Hacl_SHA2_256_update
- sha2_256::Hacl_SHA2_256_update_last
- sha2_256::Hacl_SHA2_256_update_multi
- sha2_384::Hacl_SHA2_384_finish
- sha2_384::Hacl_SHA2_384_hash
- sha2_384::Hacl_SHA2_384_init
- sha2_384::Hacl_SHA2_384_update
- sha2_384::Hacl_SHA2_384_update_last
- sha2_384::Hacl_SHA2_384_update_multi
- sha2_512::Hacl_SHA2_512_finish
- sha2_512::Hacl_SHA2_512_hash
- sha2_512::Hacl_SHA2_512_init
- sha2_512::Hacl_SHA2_512_update
- sha2_512::Hacl_SHA2_512_update_last
- sha2_512::Hacl_SHA2_512_update_multi
Typedefs
- aead_poly1305::AEAD_Poly1305_64_key
- aead_poly1305::AEAD_Poly1305_64_state
- aead_poly1305::AEAD_Poly1305_64_uint8_p
- aead_poly1305::Prims_int
- aead_poly1305::Prims_nat
- aead_poly1305::__int32_t
- aead_poly1305::__uint32_t
- aead_poly1305::__uint64_t
- aead_poly1305::__uint8_t
- chacha20::Hacl_Chacha20_uint32_t
- chacha20::Hacl_Chacha20_uint8_p
- chacha20::__uint32_t
- chacha20::__uint8_t
- chacha20poly1305::Hacl_Chacha20Poly1305_log_t
- chacha20poly1305::Hacl_Chacha20Poly1305_state
- chacha20poly1305::Prims_int
- chacha20poly1305::__int32_t
- chacha20poly1305::__uint32_t
- chacha20poly1305::__uint64_t
- chacha20poly1305::__uint8_t
- curve25519::Hacl_Curve25519_uint8_p
- curve25519::__uint8_t
- ed25519::Hacl_Ed25519_hint8_p
- ed25519::Hacl_Ed25519_uint8_p
- ed25519::__uint32_t
- ed25519::__uint8_t
- hacl_policies::FStar_UInt128_t
- hacl_policies::__uint32_t
- hacl_policies::__uint64_t
- hacl_policies::__uint8_t
- hmac_sha2_256::__uint32_t
- hmac_sha2_256::__uint8_t
- nacl::Prims_int
- nacl::__int32_t
- nacl::__uint32_t
- nacl::__uint64_t
- nacl::__uint8_t
- poly1305::Hacl_Poly1305_64_key
- poly1305::Hacl_Poly1305_64_state
- poly1305::Hacl_Poly1305_64_uint64_t
- poly1305::Hacl_Poly1305_64_uint8_p
- poly1305::__uint32_t
- poly1305::__uint64_t
- poly1305::__uint8_t
- salsa20::Hacl_Salsa20_state
- salsa20::Hacl_Salsa20_uint32_t
- salsa20::Hacl_Salsa20_uint8_p
- salsa20::__uint32_t
- salsa20::__uint64_t
- salsa20::__uint8_t
- sha2_256::Hacl_SHA2_256_uint32_ht
- sha2_256::Hacl_SHA2_256_uint32_p
- sha2_256::Hacl_SHA2_256_uint32_t
- sha2_256::Hacl_SHA2_256_uint64_t
- sha2_256::Hacl_SHA2_256_uint8_ht
- sha2_256::Hacl_SHA2_256_uint8_p
- sha2_256::Hacl_SHA2_256_uint8_t
- sha2_256::__uint32_t
- sha2_256::__uint64_t
- sha2_256::__uint8_t
- sha2_384::Hacl_SHA2_384_uint32_t
- sha2_384::Hacl_SHA2_384_uint64_ht
- sha2_384::Hacl_SHA2_384_uint64_p
- sha2_384::Hacl_SHA2_384_uint64_t
- sha2_384::Hacl_SHA2_384_uint8_ht
- sha2_384::Hacl_SHA2_384_uint8_p
- sha2_384::Hacl_SHA2_384_uint8_t
- sha2_384::__uint32_t
- sha2_384::__uint64_t
- sha2_384::__uint8_t
- sha2_512::FStar_UInt128_t
- sha2_512::Hacl_SHA2_512_uint128_ht
- sha2_512::Hacl_SHA2_512_uint32_ht
- sha2_512::Hacl_SHA2_512_uint32_t
- sha2_512::Hacl_SHA2_512_uint64_ht
- sha2_512::Hacl_SHA2_512_uint64_p
- sha2_512::Hacl_SHA2_512_uint64_t
- sha2_512::Hacl_SHA2_512_uint8_ht
- sha2_512::Hacl_SHA2_512_uint8_p
- sha2_512::Hacl_SHA2_512_uint8_t
- sha2_512::__uint32_t
- sha2_512::__uint64_t
- sha2_512::__uint8_t
Statics
- chacha20poly1305::Hacl_Chacha20Poly1305_keylen
- chacha20poly1305::Hacl_Chacha20Poly1305_maclen
- chacha20poly1305::Hacl_Chacha20Poly1305_noncelen
- nacl::NaCl_crypto_box_MACBYTES
- nacl::NaCl_crypto_box_NONCEBYTES
- nacl::NaCl_crypto_box_PUBLICKEYBYTES
- nacl::NaCl_crypto_box_SECRETKEYBYTES
- nacl::NaCl_crypto_secretbox_KEYBYTES
- nacl::NaCl_crypto_secretbox_MACBYTES
- nacl::NaCl_crypto_secretbox_NONCEBYTES
- sha2_256::Hacl_SHA2_256_size_block
- sha2_256::Hacl_SHA2_256_size_hash
- sha2_256::Hacl_SHA2_256_size_state
- sha2_384::Hacl_SHA2_384_size_block
- sha2_384::Hacl_SHA2_384_size_hash
- sha2_384::Hacl_SHA2_384_size_state
- sha2_512::Hacl_SHA2_512_pos_count_w
- sha2_512::Hacl_SHA2_512_pos_k_w
- sha2_512::Hacl_SHA2_512_pos_whash_w
- sha2_512::Hacl_SHA2_512_pos_ws_w
- sha2_512::Hacl_SHA2_512_size_block
- sha2_512::Hacl_SHA2_512_size_block_w
- sha2_512::Hacl_SHA2_512_size_count_w
- sha2_512::Hacl_SHA2_512_size_hash
- sha2_512::Hacl_SHA2_512_size_hash_w
- sha2_512::Hacl_SHA2_512_size_k_w
- sha2_512::Hacl_SHA2_512_size_len_8
- sha2_512::Hacl_SHA2_512_size_state
- sha2_512::Hacl_SHA2_512_size_whash_w
- sha2_512::Hacl_SHA2_512_size_word
- sha2_512::Hacl_SHA2_512_size_ws_w