The High Assurance Crypto Library
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 …
The Formally Verified Crypto Library
Libcrux is a formally verified cryptographic library that brings together verified artifacts from different sources. It uses hacspec as a common language for the specifications underlying the …
Today, we announce the first release of the HACL Packages libraries. 🎉 This release of HACL packages includes the first release of the HACL C library and a new release of the hacl-star OCaml …
A user-friendly high-assurance cryptographic library
Earlier this year, Tezos and Nomadic Labs started to work with Cryspen to improve HACL* and ensure that it is a viable long-term solution for Tezos' cryptographic needs. HACL is a set of high …
