Open Source
Code
Open-source cryptography and security infrastructure we build and maintain — high-performance, production-ready implementations, formally verified where correctness matters most.
cryspen/hpke-rsRust
A high-assurance Rust implementation of HPKE (Hybrid Public Key Encryption, RFC 9180), built on libcrux's verified cryptographic primitives.
cryspen/libcruxRust
A high-assurance cryptographic library: formally verified, high-performance implementations of post-quantum and classical primitives.
cryspen/libcrux-iotRust
Post-quantum cryptography for resource-constrained and embedded devices — ML-KEM, ML-DSA, and SHA-3 optimized for IoT.
openmls/openmlsRust
A Rust implementation of the Messaging Layer Security (MLS) protocol for secure group messaging.