Welcome to HACL Packages’ documentation!

HACL Packages provides ready-to-use crypto algorithms based on the formally verified code from the HACL* repository.

This manual describes the HACL* and EverCrypt C APIs. The HACL* API provides a lightweight and direct interface to all supported algorithms and their different implementations. To use the most efficient implementation, you must be aware of the platform you intend to run HACL* on.

EverCrypt, on the other hand, is a cryptographic provider. The EverCrypt API provides a unified interface to all supported algorithms. It always selects the most efficient implementation that is available at runtime.

Contents:

• HACL API Reference
  • AEAD
  • Hash
  • HPKE
  • Signature
  • Diffie-Hellman
  • MAC
  • KDF
  • Randomness
  • Hazmat
  • NaCl
• EverCrypt API Reference
  • AEAD
  • Hash
  • Diffie-Hellman
  • KDF
  • MAC
  • Randomness