@@ -55,6 +55,11 @@ def test_sign_verify(self, backend):
5555 sig = key .sign (b"test data" )
5656 key .public_key ().verify (sig , b"test data" )
5757
58+ def test_sign_verify_empty_message (self , backend ):
59+ key = MlDsa65PrivateKey .generate ()
60+ sig = key .sign (b"" )
61+ key .public_key ().verify (sig , b"" )
62+
5863 @pytest .mark .parametrize (
5964 "ctx" ,
6065 [
@@ -96,10 +101,19 @@ def test_kat_vectors(self, backend, subtests):
96101
97102 # Sigver: known-good signature verifies
98103 pub = MlDsa65PublicKey .from_public_bytes (pk )
99- if ctx :
100- pub .verify_with_context (expected_sig , msg , ctx )
101- else :
102- pub .verify (expected_sig , msg )
104+ pub .verify_with_context (expected_sig , msg , ctx )
105+
106+ def test_kat_verify_no_context (self , backend ):
107+ vectors = load_vectors_from_file (
108+ os .path .join ("asymmetric" , "MLDSA" , "kat_MLDSA_65_det_pure.rsp" ),
109+ load_nist_vectors ,
110+ )
111+ vector = vectors [0 ]
112+ xi = binascii .unhexlify (vector ["xi" ])
113+ key = MlDsa65PrivateKey .from_seed_bytes (xi )
114+ pub = key .public_key ()
115+ sig = key .sign (b"test" )
116+ pub .verify (sig , b"test" )
103117
104118 def test_private_bytes_raw_round_trip (self , backend ):
105119 key = MlDsa65PrivateKey .generate ()
0 commit comments