1 files changed, 110 insertions, 0 deletions
diff --git a/regress/lib/libcrypto/mlkem/mlkem1024_nist_decap_tests.c b/regress/lib/libcrypto/mlkem/mlkem1024_nist_decap_tests.c
new file mode 100644
index 00000000000..3f71a79dc76
--- /dev/null
+++ b/regress/lib/libcrypto/mlkem/mlkem1024_nist_decap_tests.c
@@ -0,0 +1,110 @@
+/* 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
+MlkemNistDecapFileTest(CBS *c, CBS *k, CBS *dk)
+{
+	uint8_t shared_secret[MLKEM_SHARED_SECRET_BYTES];
+	struct MLKEM1024_private_key priv;
+
+	TEST(CBS_len(dk) != MLKEM1024_PRIVATE_KEY_BYTES,
+	    "private key len bogus");
+	TEST(CBS_len(k) != MLKEM_SHARED_SECRET_BYTES,
+	    "shared secret len bogus");
+
+	TEST(!MLKEM1024_parse_private_key(&priv, dk), "parse_private_key");
+	TEST(!MLKEM1024_decap(shared_secret, CBS_data(c), CBS_len(c), &priv),
+	    "decap");
+	TEST_DATAEQ(shared_secret, CBS_data(k),
+	    MLKEM_SHARED_SECRET_BYTES, "shared_secret");
+}
+
+#define S_START 0
+#define S_CIPHERTEXT 1
+#define S_SHARED_SECRET  2
+#define S_PRIVATE_KEY 3
+
+int
+main(int argc, char **argv)
+{
+	CBS ciphertext, shared_secret, private_key;
+	const uint8_t *p;
+	char *buf;
+	FILE *fp;
+	int state;
+
+	fprintf(stderr, "Testing NIST 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_CIPHERTEXT;
+	test_number = 1;
+	while (fgets(buf, 16*1024, fp) != NULL) {
+		switch (state) {
+		case S_START:
+			if (strcmp(buf, "\n") != 0)
+				break;
+			state = S_CIPHERTEXT;
+			break;
+		case S_CIPHERTEXT:
+			if (strncmp(buf, "ciphertext: ",
+			    strlen("ciphertext: ")) != 0) {
+				break;
+			}
+			grab_data(&ciphertext, buf, strlen("ciphertext: "));
+			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: "));
+			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);
+
+			MlkemNistDecapFileTest(&ciphertext, &shared_secret,
+			    &private_key);
+			free((void *)CBS_data(&ciphertext));
+			free((void *)CBS_data(&shared_secret));
+			free((void *)p);
+
+			state = S_START;
+			test_number++;
+			break;
+		}
+	}
+
+	free(buf);
+	exit(failure);
+}