Libcrux is a cryptographic library written almost entirely in Rust, a modern programming language that is known for its safety and performance. It provides a wide range of cryptographic primitives, including symmetric encryption, asymmetric encryption, digital signatures, hash functions, post-quantum KEMs and post-quantum signatures.
Many of the algorithm implementations in libcrux are compiled from the F* code in the HACL* project, which verifies the source F* code for memory safety, functional correctness, and a side-channel mitigation strategy called secret independence. Other algorithms in libcrux, notably for post-quantum cryptography, are verified for runtime safety and functional correctness using our hax toolchain. Our eventual goal is to fully verify all the algorithms in libcrux using hax.
Libcrux is still in pre-release. If you are looking for a secure, fast, and portable cryptographic library, get in touch, and we can help you understand if libcrux is a good fit for your use-case.
Features & Benefits
- High Assurance: libcrux uses formal verification to eliminate runtime safety and functional correctness bugs from large sections of its codebase.
- Speed: libcrux has been optimized for performance, so you can be sure that your applications will not be slowed down by cryptography.
- Portability: libcrux runs on all platforms, including Linux, macOS, Windows, and Android. This makes it ideal for developing applications that run everywhere.
- Flexibility: libcrux provides a wide range of cryptographic primitives, so you don’t need multiple dependencies for your application.
- Open source: libcrux is open source with an Apache 2.0 license, so you can inspect the source code and modify it to your specific needs for integration.
- Maintenance: Cryspen offers support for libcrux to ensure that it still works and is safe to use for years to come.
Contact Us
To learn more about libcrux, please contact us today.
