Module hacl_star_sys::chacha20poly1305

Structs

Hacl_Impl_Poly1305_64_State_poly1305_state

Statics

Hacl_Chacha20Poly1305_noncelen
Hacl_Chacha20Poly1305_keylen
Hacl_Chacha20Poly1305_maclen

Functions

Hacl_Chacha20Poly1305_encode_length⚠
Hacl_Chacha20Poly1305_aead_encrypt_⚠
Hacl_Chacha20Poly1305_aead_encrypt⚠
Hacl_Chacha20Poly1305_aead_decrypt⚠

Type Definitions

Hacl_Chacha20Poly1305_state
Hacl_Chacha20Poly1305_log_t
Prims_int
__int32_t
__uint8_t
__uint32_t
__uint64_t