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
    • AEAD: Chacha20-Poly1305
    • Hashing: SHA-2, SHA-3
    • ECDH: X25519
    • Signatures: Ed25519
    • NaCl API: Box and SecretBox
    • Randomness
  • EverCrypt APIs
  • Which API to use
  • Verified Applications
HACL* and EverCrypt Manual
  • »
  • HACL APIs

HACL APIsΒΆ

  • AEAD: Chacha20-Poly1305
    • AEAD Encryption
    • AEAD Decryption
    • Chacha20 and Poly1305
  • Hashing: SHA-2, SHA-3
    • SHA-2
    • SHA-3
    • SHAKE
    • Other Hash Functions: Blake-2, MD5, SHA-1
  • ECDH: X25519
    • Key Generation
    • ECDH Shared Secret
    • Other Curves: P-256
  • Signatures: Ed25519
    • Key Generation
    • EdDSA Signing
    • EdDSA Verify
    • EdDSA Sign Expanded
    • Other Signature Algorithms: ECDSA with P-256
  • NaCl API: Box and SecretBox
    • Public-Key Encryption: Box
    • Symmetric Encryption: SecretBox
  • Randomness
Fork me on GitHub
Previous Next

© Copyright 2019, INRIA, Microsoft Research, CMU.

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