This module exposes the EverCrypt cryptographic provider, which offers agile and multiplexing interfaces for HACL* primitives.
type bytes = SharedDefs.CBytes.tbytes is ultimately an alias for Stdlib.Bytes.t, the type of buffers currently used throughout the library
Algorithms for AEAD (authenticated encryption with additional data)
module AEAD : sig ... endAgile, multiplexing AEAD interface exposing AES128-GCM, AES256-GCM, and Chacha20-Poly1305
Multiplexing interface for Chacha20-Poly1305
Algorithms for digital signatures and key agreement
module Curve25519 : SharedDefs.Curve25519Multiplexing interface for ECDH using Curve25519
module Ed25519 : SharedDefs.EdDSAThis interface does not yet support multiplexing and is identical to the one in Hacl.Ed25519
module Hash : sig ... endAgile, multiplexing hashing interface, exposing 4 variants of SHA-2 (SHA-224, SHA-256, SHA-384, SHA-512), BLAKE2, and 2 legacy algorithms (SHA-1, MD5). It offers both direct hashing and a streaming interface.
Multiplexing interfaces for SHA-224 and SHA-256 which use Intel SHA extensions when available.
module SHA2_224 : SharedDefs.HashFunctionDirect hashing with SHA-224
module SHA2_256 : SharedDefs.HashFunctionDirect hashing with SHA-256
Message authentication codes
Portable HMAC implementations. They can use optimised assembly implementations for the underlying hash function, if such an implementation exists and Intel SHA extensions are available (see SHA-2).
module HMAC : sig ... endAgile, multiplexing interface for HMAC
Non-agile, multiplexing interfaces for each version of HMAC are also available.
module HMAC_SHA2_256 : SharedDefs.MACMultiplexing interface for HMAC-SHA-256
module HMAC_SHA2_384 : SharedDefs.MACMultiplexing interface for HMAC-SHA-384
module HMAC_SHA2_512 : SharedDefs.MACMultiplexing interface for HMAC-SHA-512
module Poly1305 : SharedDefs.MACMultiplexing interface for Poly1305
HMAC-based key derivation function
Portable HKDF implementations. They can use optimised assembly implementations for the underlying hash function, if such an implementation exists and Intel SHA extensions are available (see SHA-2).
module HKDF : sig ... endAgile, multiplexing interface for HKDF
module HKDF_SHA2_256 : SharedDefs.HKDFMultiplexing interface for HKDF using SHA2-256
module HKDF_SHA2_384 : SharedDefs.HKDFMultiplexing interface for HKDF using SHA2-384
module HKDF_SHA2_512 : SharedDefs.HKDFMultiplexing interface for HKDF using SHA2-512
Deterministic random bit generator
module DRBG : sig ... endAgile, multiplexing interface for HMAC-DRBG