Loading...
Searching...
No Matches
HACL* High Assurance Cryptographic Library

Support for HACL* (High Assurance Cryptographic Library)

Support for HACL* (High Assurance Cryptographic Library)

HACL* RIOT package

Usage

Just add it as a package in your application:

USEPKG += hacl

And don't forget to include the header for the HACL* standard API:

#include <HACL.h>

or for HACL*'s NaCl-compatible API:

#include <haclnacl.h>
See also
https://github.com/RIOT-OS-pkgmirror/hacl-c_archived
https://hacl-star.github.io/
https://github.com/project-everest/hacl-star/