1 files changed, 128 insertions, 0 deletions

diff --git a/src/regress/lib/libcrypto/mlkem/mlkem1024_decap_tests.c b/src/regress/lib/libcrypto/mlkem/mlkem1024_decap_tests.c
new file mode 100644
index 0000000000..816bc154ab
--- /dev/null
+++ b/src/regress/lib/libcrypto/mlkem/mlkem1024_decap_tests.c
@@ -0,0 +1,128 @@
+/* Copyright (c) 2024, Google Inc.
+ * Copyright (c) 2024, Bob Beck <beck@obtuse.com>
+ *
+ * Permission to use, copy, modify, and/or distribute this software for any
+ * purpose with or without fee is hereby granted, provided that the above
+ * copyright notice and this permission notice appear in all copies.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
+ * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
+ * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
+ * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
+ * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
+ * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
+ * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. */
+
+#include <err.h>
+#include <stdlib.h>
+#include <stdio.h>
+#include <string.h>
+
+#include <openssl/evp.h>
+
+#include "bytestring.h"
+#include "mlkem.h"
+#include "mlkem_internal.h"
+#include "sha3_internal.h"
+#include "mlkem_tests_util.h"
+
+static void
+MlkemDecapFileTest(CBS *c, CBS *k, CBS *dk, int should_fail)
+{
+        uint8_t shared_secret[MLKEM_SHARED_SECRET_BYTES];
+        struct MLKEM1024_private_key priv;
+        int parse_ok, decap_ok;
+
+        parse_ok = MLKEM1024_parse_private_key(&priv, dk);
+        if (!parse_ok) {
+                TEST(!should_fail, "parse_private_key");
+                return;
+        }
+        decap_ok = MLKEM1024_decap(shared_secret, CBS_data(c), CBS_len(c),
+            &priv);
+        if (!decap_ok) {
+                TEST(!should_fail, "decap");
+                return;
+        }
+        TEST_DATAEQ(shared_secret, CBS_data(k),
+            MLKEM_SHARED_SECRET_BYTES, "shared_secret");
+}
+
+#define S_START 0
+#define S_COMMENT 1
+#define S_PRIVATE_KEY 2
+#define S_CIPHERTEXT 3
+#define S_RESULT 4
+#define S_SHARED_SECRET  5
+
+int
+main(int argc, char **argv)
+{
+        CBS ciphertext, shared_secret, private_key;
+        const uint8_t *p = NULL;
+        int should_fail = 0;
+        char *buf;
+        FILE *fp;
+        int state;
+
+        fprintf(stderr, "Testing decap test vectors in %s\n", argv[1]);
+        TEST((fp = fopen(argv[1], "r")) == NULL, "can't open test file");
+        MALLOC(buf, 16*1024);
+        state = S_COMMENT;
+        test_number = 1;
+        while (fgets(buf, 16*1024, fp) != NULL) {
+                switch (state) {
+                case S_START:
+                        if (strcmp(buf, "\n") != 0)
+                                break;
+                        state = S_COMMENT;
+                        break;
+                case S_COMMENT:
+                        if (strncmp(buf, "#", 1) != 0)
+                                break;
+                        state = S_PRIVATE_KEY;
+                        break;
+                case S_PRIVATE_KEY:
+                        if (strncmp(buf, "private_key: ",
+                            strlen("private_key: ")) != 0)
+                                break;
+                        grab_data(&private_key, buf, strlen("private_key: "));
+                        p = CBS_data(&private_key);
+                        state = S_CIPHERTEXT;
+                        break;
+                case S_CIPHERTEXT:
+                        if (strncmp(buf, "ciphertext: ",
+                            strlen("ciphertext: ")) != 0)
+                                break;
+                        grab_data(&ciphertext, buf, strlen("ciphertext: "));
+                        state = S_RESULT;
+                        break;
+                case S_RESULT:
+                        if (strncmp(buf, "result: pass",
+                            strlen("result: pass")) != 0)
+                                should_fail = 1;
+                        else
+                                should_fail = 0;
+                        state = S_SHARED_SECRET;
+                        break;
+                case S_SHARED_SECRET:
+                        if (strncmp(buf, "shared_secret: ",
+                            strlen("shared_secret: ")) != 0)
+                                break;
+                        grab_data(&shared_secret, buf,
+                            strlen("shared_secret: "));
+                        MlkemDecapFileTest(&ciphertext, &shared_secret,
+                            &private_key, should_fail);
+                        free((void *)CBS_data(&ciphertext));
+                        free((void *)CBS_data(&shared_secret));
+                        free((void *)p);
+
+                        test_number++;
+                        state = S_START;
+                        break;
+                }
+        }
+
+        free(buf);
+        exit(failure);
+}