HACL is a set of formally verified cryptographic libraries in C, JavaScript, OCaml, and Rust. The libraries are based on the HACL* research project, originally developed by Inria and Microsoft Research.
The library can be used as a drop in replacement for other libraries like OpenSSL while offering higher guarantees with regard to correctness and memory safety. All of this without compromising on performance. HACL has comparable performance on most platforms.
It supports modern cryptographic primitives required to implement protocols such as TLS, WireGuard, or Signal.
