ML-DSA test cases for various verifier edge cases#225

Merged

FiloSottile merged 15 commits intoC2SP:mainfrom

sophieschmieg:master

Mar 20, 2026

Commits on Mar 20, 2026

Add ML-DSA test cases with infinity norm >= gamma1 - eta*tau violations

sophieschmieg
and
FiloSottile
committed
Add ML-DSA verify test to catch use of strcmp
FiloSottile
committed
Add ML-DSA test vectors for sampleNTT edge cases (0, Q, Q-1)
FiloSottile
committed
Add ML-DSA infinity norm violations at the boundary

sophieschmieg
and
FiloSottile
committed
Add ML-DSA decompose boundary test vectors

FiloSottile
and
claude
committed
Add ML-DSA hint limit boundary test vectors

FiloSottile
and
claude
committed
Add ML-DSA context length encoding test vectors

FiloSottile
and
claude
committed
Add ML-DSA incorrect length test vectors

FiloSottile
and
claude
committed
Add ML-DSA ω+1 hint limit off-by-one verify test vectors

FiloSottile
and
claude
committed
Remove invalid hint limit vectors from sign_seed test files

FiloSottile
and
claude
committed
Fix ML-DSA-87 sampleNTT Q-1 test vector

FiloSottile
and
claude
committed
Remove redundant context length vectors from sign_seed files

FiloSottile
and
claude
committed
Clean up ML-DSA test vector notes and flags

FiloSottile
and
claude
committed
Add ML-DSA wrong-sized private seed test vectors

FiloSottile
and
claude
committed
Import ML-DSA rejection path coverage vectors from leancrypto

FiloSottile
and
claude
committed