mirror of
https://github.com/rosenpass/rosenpass.git
synced 2026-01-02 00:00:52 -08:00
99ac3c0902
Libcrux is a library for formally verified implementations of
cryptographic primitives. It uses multiple back ends; one of which is
libjade. A cryptographic library written in the jasmin assembly
language for high assurance cryptographic implementations.
To use compile with the experiment_libcrux feature enabled:
cargo build --features experiment_libcrux