public class MLDSAWycheproofTest
extends junit.framework.TestCase
These complement the ACVP and NIST KAT batteries driven from MLDSATest: where those
confirm the specified paths, the majority of these cases are invalid by construction - signatures
violating the infinity norm bound, malformed hint encodings, wrong-length keys and signatures,
zero public keys and out-of-range contexts - and the point of them is that verification says no.
A verifier is allowed to reject at any stage, so a case the file marks invalid passes here whether the key is refused when it is constructed, the signer refuses it at init, or verification returns false. A case marked valid has to construct, initialise and verify cleanly.
| Constructor and Description |
|---|
MLDSAWycheproofTest() |
| Modifier and Type | Method and Description |
|---|---|
void |
testMLDSA44Verify() |
void |
testMLDSA65Verify() |
void |
testMLDSA87Verify() |
assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, setUp, tearDown, toStringpublic void testMLDSA44Verify()
throws java.lang.Exception
java.lang.Exceptionpublic void testMLDSA65Verify()
throws java.lang.Exception
java.lang.Exceptionpublic void testMLDSA87Verify()
throws java.lang.Exception
java.lang.Exception