cryspen / libcrux-iot

An IoT friendly, formally verified, crypto library based on libcrux
GNU Affero General Public License v3.0
1 stars 1 forks source link

libcrux-iot

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

The libcrux-nrf*/nucleo-l4r5zi crates are based on the app template found at [https://github.com/knurling-rs/app-template].

Dependencies

1. flip-link:

$ cargo install flip-link

2. Install the target resp. toolchain

You need the following target toolchains installed, by board:

Board Target toolchain
nRF52810 thumbv7em-none-eabi
nRF52832 thumbv7em-none-eabihf
nRF52840 thumbv7em-none-eabihf
nRF52340 thumbv8m.main-none-eabihf
nucleo-L4R5ZI thumbv7em-none-eabihf

3. probe-rs:

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

Running Benchmarks

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.