Skip to content

Latest commit

 

History

History
30 lines (20 loc) · 1.35 KB

readme.md

File metadata and controls

30 lines (20 loc) · 1.35 KB
Raw

Testing

Without any feature flags cargo test will run through the key exchange functions and some doctests for the selected security level and mode. Running the Known Answer Tests require deterministic rng buffers from the test vector files. These files are quite large, you will need to generate them yourself. Instructions for building the KAT files are here. Otherwise you can run:

cd KAT
./build_kats.sh

Which will clone the C reference repo, generate the KAT files, then rename and put them in the correct folder for testing.

To run the known answer tests you will need to use the KAT feature flag. To check different Kyber levels or 90's mode you will need to include those flags also. eg:

cargo test --features "KAT kyber1024 90s"

For applicible x86 architectures you must export the avx2 RUSTFLAGS if you don't want to test on reference

To run a matrix of all possible tests use the helper script from this folder:

./run_all_tests.sh

Test files:

  • kat.rs - Runs a battery of test vectors using the Known Answer Test file of the selected security level and mode. There are 10,000 KATs per file.

  • kex.rs - Goes through a full key exchange procedure for both the UAKE and AKE functions.

  • kem.rs - A single run of random key generation, encapsulation and decapsulation.