HACL Packages v0.6 - Initial release

[franziskuskiefer]

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)

---

This discussion was created from the release HACL Packages.