Install

opam pin add hacl_func.~dev https://gitlab.com/functori/dev/hacl

Functionalities

• Hash functions: sha2_256 (and hmac), sha2_512 (and hmac), blake2b
• Ed25519: generate, expand, neuterize, sign, verify
• Secretbox: create, open