AEAD

Authenticated Encryption (AE) with Associated Data (AD), i.e., AEAD, is provided in HACL Packages via two integrated schemes, i.e., …

• ChaCha20Poly1305, and

• AES-GCM.

AES-GCM is only supported via EverCrypt.

Algorithms

• Chacha20-Poly1305
  • Available Implementations
  • API Reference
    • Hacl_AEAD_Chacha20Poly1305_encrypt()
    • Hacl_AEAD_Chacha20Poly1305_decrypt()
    • Hacl_AEAD_Chacha20Poly1305_Simd128_encrypt()
    • Hacl_AEAD_Chacha20Poly1305_Simd128_decrypt()
    • Hacl_AEAD_Chacha20Poly1305_Simd256_encrypt()
    • Hacl_AEAD_Chacha20Poly1305_Simd256_decrypt()
• AES-GCM