Merge pull request #214 from GaloisInc/add-mldsa-versions

ML-DSA: add missing parameter sets

Primitive/Asymmetric/Signature/ML_DSA/Instantiations/ML_DSA_65.cry

@@ -0,0 +1,23 @@
+/**
+ * Instantiation of the ML-DSA-65 parameter set.
+ * [FIPS-204] Section 4, Table 1.
+ *
+ * This is in security strength category 3.
+ *
+ * @copyright Galois Inc
+ * @author Marcella Hastings <[email protected]>
+ */
+module Primitive::Asymmetric::Signature::ML_DSA::Instantiations::ML_DSA_65 =
+    Primitive::Asymmetric::Signature::ML_DSA::ML_DSA where
+
+        type q = 8380417
+        type τ = 49
+        type λ = 192
+        type γ1 = 2 ^^ 19
+        type γ2 = (q - 1) / 32
+        type k = 6
+        type ell = 5
+        type η = 4
+        type ω = 55
+
+

Primitive/Asymmetric/Signature/ML_DSA/Instantiations/ML_DSA_87.cry

@@ -0,0 +1,22 @@
+/**
+ * Instantiation of the ML-DSA-87 parameter set.
+ * [FIPS-204] Section 4, Table 1.
+ *
+ * This is in security strength category 5.
+ *
+ * @copyright Galois Inc
+ * @author Marcella Hastings <[email protected]>
+ */
+module Primitive::Asymmetric::Signature::ML_DSA::Instantiations::ML_DSA_87 =
+    Primitive::Asymmetric::Signature::ML_DSA::ML_DSA where
+
+        type q = 8380417
+        type τ = 60
+        type λ = 256
+        type γ1 = 2 ^^ 19
+        type γ2 = (q - 1) / 32
+        type k = 8
+        type ell = 7
+        type η = 2
+        type ω = 75
+