This is Cryspen's first release of HACL Packages! 🎉
HACL Packages provides modern cryptographic algorithms based on almost a decade of (research) work in formally verified cryptography.
This release was produced in close collaboration with the HACL* team at Inria and Microsoft Research with funding from Nomadic Labs, the Tezos foundation, and the ERC.
With this release, we make the work available to a broader audience.
Several months of work on a new build system, tests, and documentation went into this.
And we will keep on improving HACL Packages -- stay tuned for more updates!
Links:
https://github.com/cryspen/hacl-packages (GitHub repository)
https://tech.cryspen.com/hacl-packages/ (Documentation)
https://www.cryspen.com/ (Cryspen website)