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