At Real World Crypto 2023 in Tokyo, we gave a talk on the hacspec language, the hax tool, and the libcrux crypto library.
Cryspen collaborates with the Prosecco team at Inria to develop a usable, robust, development environment and verification toolchain for security critical software.
Enhance the reliability and security of your Rust code with hax.
With hax, you can achieve a new level of confidence in the safety, security, and reliability of your software. Try it online Key benefits of Hax:
