Files
Lukas Zobernig 58ce150e60 ml-dsa: fix hardcoded MlDsa44 in Wycheproof verification tests (#1382)
The mldsa_verify_test macro previously hardcoded MlDsa44 for decoding both verifying keys and signatures. Due to public key length mismatches, this caused tests for ML-DSA-65 and ML-DSA-87 to fail type conversion and be silently skipped.

Using $params ensures test vectors for all parameter sets are properly decoded and verified.
2026-06-17 08:03:34 -06:00
..
2025-01-19 14:00:26 -07:00
2025-01-19 14:00:26 -07:00
2025-01-19 14:00:26 -07:00
2025-01-19 14:00:26 -07:00

ML-DSA Test Vectors

The tests in this directory validate that our ML-RSA implementation successfully validates the NIST test vectors. The JSON test vector files are taken from the NIST ACVP repository. Specifically, key-gen.json, sig-gen.json and sig-ver.json are the "internal projection" files from the ML-KEM key generation test directory, signature generation test directory, and signature verification test directory, respectively.

The current copies of these files were taken from commit 65370b8 of that repo.

The actual tests to be performed are described in the ACVP documentation.