NaCl# HACL Packages’ implementation of a NaCl: Networking and Cryptography library compatible API. Public-key Authenticated Encryption API Reference Secret-key Authenticated Encryption API Reference