Skip to content

Add ML-DSA test vectors that exercise the use_hint function with (1, 0) as input #234

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

Open
gendx wants to merge 3 commits into
base: main
Choose a base branch
from
+108 −3
Open

Add ML-DSA test vectors that exercise the use_hint function with (1, 0) as input #234

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
6629d5c
Add test vectors that exercise the use_hint function with (1, 0) as i…
gendx Apr 17, 2026
4a5703e
Fix test IDs.
gendx Apr 17, 2026
22515d4
Add DER encoding of ML-DSA public keys.
gendx Apr 23, 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
37 changes: 36 additions & 1 deletion testvectors_v1/mldsa_44_verify_test.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -50,7 +50,7 @@
"description": "The signature violates an infinity norm condition."
}
},
"numberOfTests": 146,
"numberOfTests": 148,
"schema": "mldsa_verify_schema.json",
"testGroups": [
{
Expand Down Expand Up @@ -1805,6 +1805,41 @@
]
}
]
},
{
"type": "MlDsaVerify",
"publicKey": "2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
Comment thread
gendx marked this conversation as resolved.
"publicKeyDer": "30820532300b060960864801650304031103820521002b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"source": {
"name": "github/gendx",
"version": "0.1"
},
"tests": [
{
"tcId": 147,
"comment": "signature that calls use_hint(1, 0)",
"msg": "48656c6c6f20776f726c64",
"sig": "4ab77ff71dd92edff6572fe113a0232449e80716799e64e75aa852865b822527000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001010101",
"result": "valid",
"flags": [
"ValidSignature",
"BoundaryCondition",
"ZeroPublicKey"
]
},
{
"tcId": 148,
"comment": "invalid signature that calls use_hint(1, 0)",
"msg": "48656c6c6f20776f726c64",
"sig": "8a38d032a12d39b038ab947e7e4707694366a572f18ff754b78d3fbf1422f905000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000002000800200080000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001010101",
"result": "invalid",
"flags": [
"InvalidSignature",
"BoundaryCondition",
"ZeroPublicKey"
]
}
]
}
]
}
Loading