hacl 0.0.1-dev.1

Crypto library using formally verified code from the HACL project
1
2
3
4
5
6
7
# HACL API

This module contains the raw HACL API for use in other cryptographic libraries.

The functions don't perform any feature detection at runtime.
By default no optimized implementations are compiled.
They can be enabled with `--cfg simd128` and `--cfg simd256` at compile time.