Add ML-DSA-87 tests to CI.

formosa-crypto · Dec 5, 2024 · 3400d17 · 3400d17
1 parent 31aeeee
commit 3400d17
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 10 deletions.
diff --git a/.github/workflows/constant_time.yml b/.github/workflows/constant_time.yml
@@ -1,4 +1,4 @@
-name: "Constant-time and speculative-constant-time checks"
+name: "Ensure the code is constant-time and speculative-constant-time."
 on:
   pull_request:
   push:
@@ -10,7 +10,7 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        parameter_set: ["44", "65"]
+        parameter_set: ["44", "65", "87"]
     steps:
     - uses: actions/checkout@v4
     - uses: cachix/install-nix-action@v25

diff --git a/.github/workflows/kat.yml b/.github/workflows/kat.yml
@@ -10,7 +10,7 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        parameter_set: ["44", "65"]
+        parameter_set: ["44", "65", "87"]
     steps:
     - uses: actions/checkout@v4
     - uses: cachix/install-nix-action@v25

diff --git a/.github/workflows/safety.yml b/.github/workflows/safety.yml
@@ -10,7 +10,7 @@ jobs:
     strategy:
       fail-fast: true
       matrix:
-        parameter_set: ["44", "65"]
+        parameter_set: ["44", "65", "87"]
     steps:
     - uses: actions/checkout@v4
     - uses: cachix/install-nix-action@v25

diff --git a/ref/ml_dsa_87/test/execute.jazz b/ref/ml_dsa_87/test/execute.jazz
@@ -12,9 +12,9 @@
 require "runner.jazz"
 
 exec test_consistency (
-  0x1000:1952,
-  0x2000:4032,
-  0x3000:3309,
+  0x1000:2592,
+  0x2000:4896,
+  0x3000:4627,
   0x4000:64, // Message size
   0x5000:64 // Total randomness
 )
diff --git a/ref/ml_dsa_87/test/runner.jazz b/ref/ml_dsa_87/test/runner.jazz
@@ -41,11 +41,11 @@ fn test_consistency() -> reg bool {
     }
 
     #[inline]
-    ml_dsa_65_keygen(verification_key, signing_key, keygen_randomness);
+    ml_dsa_87_keygen(verification_key, signing_key, keygen_randomness);
     #[inline]
-    ml_dsa_65_sign(signature, signing_key, message, message_size, signing_randomness);
+    ml_dsa_87_sign(signature, signing_key, message, message_size, signing_randomness);
     #[inline]
-    verify_result = ml_dsa_65_verify(verification_key, message, message_size, signature);
+    verify_result = ml_dsa_87_verify(verification_key, message, message_size, signature);
 
     reg bool result;
     if (verify_result == 0) {