The Formally Verified Crypto Library
Libcrux is a formally verified cryptographic library that brings together verified artifacts from different sources. It is verified using our hax toolchain. Libcrux is written in Rust, a modern …
HPKE, published as RFC 9180, describes a scheme for hybrid public key encryption. 📚 Read our TL;DR on HPKE if you need more background on HPKE.