Skip to content

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

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
FiloSottile merged 15 commits into from
Mar 20, 2026
Merged

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

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
1217974
Add ML-DSA test cases with infinity norm >= gamma1 - eta*tau violations
sophieschmieg Mar 13, 2026
521df8b
Add ML-DSA verify test to catch use of strcmp
FiloSottile Mar 14, 2026
6d5aeb0
Add ML-DSA test vectors for sampleNTT edge cases (0, Q, Q-1)
FiloSottile Mar 14, 2026
1f59c34
Add ML-DSA infinity norm violations at the boundary
sophieschmieg Mar 15, 2026
afaf25f
Add ML-DSA decompose boundary test vectors
FiloSottile Mar 16, 2026
2b633ab
Add ML-DSA hint limit boundary test vectors
FiloSottile Mar 19, 2026
79cdc6b
Add ML-DSA context length encoding test vectors
FiloSottile Mar 19, 2026
ce3183f
Add ML-DSA incorrect length test vectors
FiloSottile Mar 19, 2026
5f42de9
Add ML-DSA ω+1 hint limit off-by-one verify test vectors
FiloSottile Mar 20, 2026
fd4ffde
Remove invalid hint limit vectors from sign_seed test files
FiloSottile Mar 20, 2026
9af89cc
Fix ML-DSA-87 sampleNTT Q-1 test vector
FiloSottile Mar 20, 2026
bf24bfb
Remove redundant context length vectors from sign_seed files
FiloSottile Mar 20, 2026
55ede02
Clean up ML-DSA test vector notes and flags
FiloSottile Mar 20, 2026
0fb17d8
Add ML-DSA wrong-sized private seed test vectors
FiloSottile Mar 20, 2026
7c34543
Import ML-DSA rejection path coverage vectors from leancrypto
FiloSottile Mar 20, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
330 changes: 321 additions & 9 deletions testvectors_v1/mldsa_44_sign_seed_test.json
View file
Open in desktop

Large diffs are not rendered by default.

791 changes: 790 additions & 1 deletion testvectors_v1/mldsa_44_verify_test.json
View file
Open in desktop

Large diffs are not rendered by default.

612 changes: 603 additions & 9 deletions testvectors_v1/mldsa_65_sign_seed_test.json
View file
Open in desktop

Large diffs are not rendered by default.

901 changes: 900 additions & 1 deletion testvectors_v1/mldsa_65_verify_test.json
View file
Open in desktop

Large diffs are not rendered by default.

612 changes: 603 additions & 9 deletions testvectors_v1/mldsa_87_sign_seed_test.json
View file
Open in desktop

Large diffs are not rendered by default.

1,101 changes: 1,100 additions & 1 deletion testvectors_v1/mldsa_87_verify_test.json
View file
Open in desktop

Large diffs are not rendered by default.