tweetnacl implementation can be tested on desktop via
cargo test --features tweetnacl.
haase feature, we make use of the
musca-b1 Cortex-M33 microcontroller,
which is emulated in QEMU starting with version 4.
The subdirectory qemu-tests
contains tests for all the RFC 8032 test vectors, they can be run via
cargo run --features haase --release.
All of these tests run as part of continuous integration.
In the future, we intend to test for timing side-channels.
The C API has its own tests.