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 bindings.
We have joined forces with our friends from Phoenix R&D to improve OpenMLS. The MLS protocol draft is in the IETF working group’s last call and is thus on track to become an RFC soon.
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.
Cryspen builds high assurance cryptography. But what does this actually mean? Before focusing on cryptography it is interesting to look at high assurance software in general.
HPKE, published as RFC 9180, describes a scheme for hybrid public key encryption. 📚 Please go and read our TL;DR on HPKE if you nee more background on HPKE.
HPKE, defined in RFC 9180, is a CFRG standard that describes a scheme for hybrid public key encryption. It is co-authored by my Cryspen co-founder Karthikeyan Bhargavan and one of his PhD students Benjamin Lipp as part of his research at Inria.