The tweetnacl implementation can be tested on desktop via cargo test --features tweetnacl.

For the 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.