package hacl-star
Install
Dune Dependency
Authors
Maintainers
Sources
md5=fdcd7a590913428d5d3142872d7089a0
sha256=47bf253f804ec369b2fbc76c892ba89275fde17d7444d291d5eb5c179a05e174
sha512=1f2c144852566464ef72caeb21567b125fa9eb395d9e25b64bb110f116e75b7befdb3e3e190dd8a3f59c74b36d70bb4eb6dcd7ba62061fd91b4c263de0f29c4f
doc/hacl-star/Hacl_star/EverCrypt/index.html
Module Hacl_star.EverCryptSource
This module exposes the EverCrypt cryptographic provider, which offers agile and multiplexing interfaces for HACL* primitives.
bytes is ultimately an alias for Stdlib.Bytes.t, the type of buffers currently used throughout the library
AEAD
Algorithms for AEAD (authenticated encryption with additional data)
Agile interface
Agile, multiplexing AEAD interface exposing AES128-GCM, AES256-GCM, and Chacha20-Poly1305
Chacha20-Poly1305
Multiplexing interface for Chacha20-Poly1305
ECDH and EdDSA
Algorithms for digital signatures and key agreement
Curve25519
Multiplexing interface for ECDH using Curve25519
Ed25519
This interface does not yet support multiplexing and is identical to the one in Hacl.Ed25519
Hashing
Agile interface
Agile, 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.
SHA-2
Multiplexing interfaces for SHA-224 and SHA-256 which use Intel SHA extensions when available.
Direct hashing with SHA-224
Direct hashing with SHA-256
MACs
Message authentication codes
HMAC
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).
Non-agile, multiplexing interfaces for each version of HMAC are also available.
Multiplexing interface for HMAC-SHA-256
Multiplexing interface for HMAC-SHA-384
Multiplexing interface for HMAC-SHA-512
Poly1305
Multiplexing interface for Poly1305
Key derivation
HKDF
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).
Multiplexing interface for HKDF using SHA2-256
Multiplexing interface for HKDF using SHA2-384
Multiplexing interface for HKDF using SHA2-512
DRBG
Deterministic random bit generator