HACL* and EverCrypt Manual

Contents:

  • HACL*, Vale, and EverCrypt
  • List of supported algorithms
  • Underlying research
  • Using the crypto library
  • Digging into the F* source code
  • HACL APIs
  • EverCrypt APIs
    • CPU autodetection (EverCrypt_AutoConfig2.h)
    • AEAD (EverCrypt_AEAD.h)
    • CTR-mode encryption (EverCrypt_CTR.h)
    • Hashing (EverCrypt_Hash.h)
    • HMAC (EverCrypt_HMAC.h)
    • HKDF (EverCrypt_HKDF.h)
    • HMAC-DRBG (EverCrypt_DRBG.h)
    • Non-agile APIs
    • Deprecated APIs
  • Which API to use
  • Verified Applications
HACL* and EverCrypt Manual
  • »
  • EverCrypt APIs

EverCrypt APIsΒΆ

  • CPU autodetection (EverCrypt_AutoConfig2.h)
  • AEAD (EverCrypt_AEAD.h)
    • State management
    • Encryption and decryption
  • CTR-mode encryption (EverCrypt_CTR.h)
    • State management
    • CTR mode of operation
  • Hashing (EverCrypt_Hash.h)
    • Block-based API
    • Streaming API
    • One-shot API
  • HMAC (EverCrypt_HMAC.h)
    • Agile API
    • Non-agile API
  • HKDF (EverCrypt_HKDF.h)
    • Agile API
    • Non-agile API
  • HMAC-DRBG (EverCrypt_DRBG.h)
    • Agile API
    • Non-agile API
  • Non-agile APIs
    • Chacha20-Poly1305
    • Curve25519
    • Poly1305
    • Ed25519
  • Deprecated APIs
    • Block cipher API (EverCrypt_Cipher.h)
    • Legacy EverCrypt headers (EverCrypt.h, EverCrypt_Hacl.h, EverCrypt_Vale.h)
Fork me on GitHub
Previous Next

© Copyright 2019, INRIA, Microsoft Research, CMU.

Built with Sphinx using a theme provided by Read the Docs.