Skip to content

Commit 3414003

Browse files
committed
rust-rustls: verify ML-DSA signatures (RFC 9881)
Enable rustls-webpki's aws-lc-rs-unstable feature so the ML-DSA-44, ML-DSA-65 and ML-DSA-87 verification algorithms join ALL_VERIFICATION_ALGS, matching the ML-DSA coverage recently added to the rustls/webpki x509_limbo test harness. The rfc9881::ml-dsa-44/65/87 testcases now validate successfully and ml-dsa-44-bad-signature fails signature verification as expected. The ml-dsa-44-key-encipherment and ml-dsa-44-key-agreement testcases succeed against an expected FAILURE, matching the known divergence recorded in rustls/webpki's exceptions (webpki does not enforce the RFC 9881 key usage restrictions).
1 parent 8f7234e commit 3414003

1 file changed

Lines changed: 5 additions & 1 deletion

File tree

harness/rust-rustls/Cargo.toml

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,5 +7,9 @@ edition = "2021"
77
limbo-harness-support = { path = "../../harness-support/rust" }
88
chrono = "0.4.44"
99
serde_json = "1.0.150"
10-
rustls-webpki = { version = "0.103.13", features = ["std", "aws-lc-rs"] }
10+
rustls-webpki = { version = "0.103.13", features = [
11+
"std",
12+
"aws-lc-rs",
13+
"aws-lc-rs-unstable",
14+
] }
1115
pki-types = { package = "rustls-pki-types", version = "1.14.1" }

0 commit comments

Comments
 (0)