An IoT friendly, formally verified, crypto library based on libcrux.

The nucleo-l4r5zi crate is based on the app template found at [https://github.com/knurling-rs/app-template].

$ cargo install flip-link

You need the following target toolchains installed, by board:

$ # make sure to install v0.2.0 or later
$ cargo install probe-rs --features cli

With the device attached, run

$ cargo rrb mlkem

for a crude benchmark of ML-KEM 1024 and

$ cargo rrb mldsa

for a crude benchmark of ML-DSA 87.

Other parameter sets are available behind mldsa44/65 and mlkem512/768 features.