[PATCH v1 2/4] app/crypto-perf: extend mlkem support

[Pratik Senapati]

Add MLKEM-768 and MLKEM-1024 to test-crypto-perf
and modify option parsing logic from if/else to
switch/case.

Signed-off-by: Pratik Senapati <psenapati at marvell.com>
---
 app/test-crypto-perf/cperf_ops.c             |   12 +-
 app/test-crypto-perf/cperf_options.h         |    2 +
 app/test-crypto-perf/cperf_options_parsing.c |   32 +-
 app/test-crypto-perf/cperf_test_common.c     |    2 +
 app/test-crypto-perf/cperf_test_vectors.c    | 1500 +++++++++++++++++-
 app/test-crypto-perf/cperf_test_vectors.h    |    4 +-
 app/test-crypto-perf/main.c                  |   22 +-
 7 files changed, 1555 insertions(+), 19 deletions(-)

diff --git a/app/test-crypto-perf/cperf_ops.c b/app/test-crypto-perf/cperf_ops.c
index a97400953e..00cc6ed4de 100644
--- a/app/test-crypto-perf/cperf_ops.c
+++ b/app/test-crypto-perf/cperf_ops.c
@@ -1338,10 +1338,13 @@ cperf_create_session(struct rte_mempool *sess_mp,
 		return asym_sess;
 	}
 
-	if (options->op_type == CPERF_ASYM_MLKEM512) {
+	switch (options->op_type) {
+	case CPERF_ASYM_MLKEM512:
+	case CPERF_ASYM_MLKEM768:
+	case CPERF_ASYM_MLKEM1024:
 		xform.next = NULL;
 		xform.xform_type = RTE_CRYPTO_ASYM_XFORM_ML_KEM;
-		xform.mlkem.type = RTE_CRYPTO_ML_KEM_512;
+		xform.mlkem.type = options->mlkem_data->type;
 
 		ret = rte_cryptodev_asym_session_create(dev_id, &xform, sess_mp, &asym_sess);
 		if (ret < 0 || asym_sess == NULL) {
@@ -1349,9 +1352,10 @@ cperf_create_session(struct rte_mempool *sess_mp,
 			return NULL;
 		}
 		return asym_sess;
+	default:
+		break;
 	}
 
-
 #ifdef RTE_LIB_SECURITY
 	/*
 	 * security only
@@ -1672,6 +1676,8 @@ cperf_get_op_functions(const struct cperf_options *options,
 		op_fns->populate_ops = cperf_set_ops_asym_mldsa;
 		break;
 	case CPERF_ASYM_MLKEM512:
+	case CPERF_ASYM_MLKEM768:
+	case CPERF_ASYM_MLKEM1024:
 		op_fns->populate_ops = cperf_set_ops_asym_mlkem;
 		break;
 #ifdef RTE_LIB_SECURITY
diff --git a/app/test-crypto-perf/cperf_options.h b/app/test-crypto-perf/cperf_options.h
index 6e1de3d7ae..9733f343a8 100644
--- a/app/test-crypto-perf/cperf_options.h
+++ b/app/test-crypto-perf/cperf_options.h
@@ -105,6 +105,8 @@ enum cperf_op_type {
 	CPERF_ASYM_SM2,
 	CPERF_ASYM_MLDSA44,
 	CPERF_ASYM_MLKEM512,
+	CPERF_ASYM_MLKEM768,
+	CPERF_ASYM_MLKEM1024,
 	CPERF_TLS,
 };
 
diff --git a/app/test-crypto-perf/cperf_options_parsing.c b/app/test-crypto-perf/cperf_options_parsing.c
index a00d9a131b..e6f5143aaf 100644
--- a/app/test-crypto-perf/cperf_options_parsing.c
+++ b/app/test-crypto-perf/cperf_options_parsing.c
@@ -41,7 +41,7 @@ usage(char *progname)
 		" --optype cipher-only / auth-only / cipher-then-auth / auth-then-cipher /\n"
 		"        aead / pdcp / docsis / ipsec / modex / rsa / secp192r1 /\n"
 		"        secp224r1 / secp256r1 / secp384r1 / secp521r1 / eddsa / sm2 /\n"
-		"        mlkem_512 / mldsa_44 /\n"
+		"        mlkem_512 / mlkem_768 / mlkem_1024 / mldsa_44 /\n"
 		"        tls-record : set operation type\n"
 		" --sessionless: enable session-less crypto operations\n"
 		" --shared-session: share 1 session across all queue pairs on crypto device\n"
@@ -569,6 +569,14 @@ parse_op_type(struct cperf_options *opts, const char *arg)
 			cperf_op_type_strs[CPERF_ASYM_MLKEM512],
 			CPERF_ASYM_MLKEM512
 		},
+		{
+			cperf_op_type_strs[CPERF_ASYM_MLKEM768],
+			CPERF_ASYM_MLKEM768
+		},
+		{
+			cperf_op_type_strs[CPERF_ASYM_MLKEM1024],
+			CPERF_ASYM_MLKEM1024
+		},
 		{
 			cperf_op_type_strs[CPERF_TLS],
 			CPERF_TLS
@@ -1705,12 +1713,11 @@ cperf_options_check(struct cperf_options *options)
 		}
 	}
 
-	if (options->op_type == CPERF_ASYM_MLKEM512) {
-		if (options->asym_op_type == RTE_CRYPTO_ASYM_OP_ENCRYPT)
-			options->mlkem_data = &mlkem_encap_perf_data[0];
-		else if (options->asym_op_type == RTE_CRYPTO_ASYM_OP_DECRYPT)
-			options->mlkem_data = &mlkem_decap_perf_data[0];
-		else {
+	if (options->op_type == CPERF_ASYM_MLKEM512 ||
+		options->op_type == CPERF_ASYM_MLKEM768 ||
+		options->op_type == CPERF_ASYM_MLKEM1024) {
+		if (options->asym_op_type != RTE_CRYPTO_ASYM_OP_ENCRYPT &&
+			options->asym_op_type != RTE_CRYPTO_ASYM_OP_DECRYPT) {
 			RTE_LOG(ERR, USER1,
 				"ML-KEM operations only support encrypt (encapsulate) and decrypt (decapsulate)\n");
 			return -EINVAL;
@@ -1818,8 +1825,15 @@ cperf_options_dump(struct cperf_options *opts)
 			if (opts->asym_op_type == RTE_CRYPTO_ASYM_OP_SIGN)
 				printf("# mldsa sign iterations: %u\n", opts->mldsa_sign_iter);
 		}
-		if (opts->op_type == CPERF_ASYM_MLKEM512)
-			printf("# mlkem test name: %s\n", opts->mlkem_data->name);
+		switch (opts->op_type) {
+		case CPERF_ASYM_MLKEM512:
+		case CPERF_ASYM_MLKEM768:
+		case CPERF_ASYM_MLKEM1024:
+			printf("# mlkem algorithm: %s\n", cperf_op_type_strs[opts->op_type]);
+			break;
+		default:
+			break;
+		}
 	}
 	printf("# sessionless: %s\n", opts->sessionless ? "yes" : "no");
 	printf("# shared session: %s\n", opts->shared_session ? "yes" : "no");
diff --git a/app/test-crypto-perf/cperf_test_common.c b/app/test-crypto-perf/cperf_test_common.c
index 0bcaa6dfd8..284ca6db40 100644
--- a/app/test-crypto-perf/cperf_test_common.c
+++ b/app/test-crypto-perf/cperf_test_common.c
@@ -315,6 +315,8 @@ cperf_is_asym_test(const struct cperf_options *options)
 	    options->op_type == CPERF_ASYM_ED25519 ||
 	    options->op_type == CPERF_ASYM_SM2 ||
 		options->op_type == CPERF_ASYM_MLKEM512 ||
+		options->op_type == CPERF_ASYM_MLKEM768 ||
+		options->op_type == CPERF_ASYM_MLKEM1024 ||
 		options->op_type == CPERF_ASYM_MLDSA44)
 		return true;
 
diff --git a/app/test-crypto-perf/cperf_test_vectors.c b/app/test-crypto-perf/cperf_test_vectors.c
index c5e342a19d..9249595cd8 100644
--- a/app/test-crypto-perf/cperf_test_vectors.c
+++ b/app/test-crypto-perf/cperf_test_vectors.c
@@ -6504,6 +6504,1424 @@ uint8_t mldsa_44_sign_10_iter[] = {
 
 };
 
+uint8_t mlkem_768_dk[] = {
+	0x29, 0x18, 0xA0, 0x56, 0x30, 0x51, 0x93, 0xF1,
+	0x80, 0xB9, 0xCB, 0xAE, 0xD3, 0x97, 0x02, 0x73,
+	0xAB, 0x7D, 0x7C, 0xEB, 0x44, 0x03, 0x60, 0x06,
+	0xF0, 0xD5, 0x2D, 0x21, 0x46, 0xBC, 0x98, 0x91,
+	0x89, 0x59, 0x45, 0xCF, 0x99, 0xC3, 0x49, 0xE6,
+	0x71, 0x80, 0x2A, 0x6B, 0x49, 0xCA, 0x8A, 0xC7,
+	0x3A, 0x60, 0x5F, 0x3A, 0x77, 0xA9, 0x82, 0x41,
+	0xCB, 0x6A, 0x03, 0xC8, 0xFD, 0xF4, 0x68, 0x52,
+	0x20, 0x51, 0x04, 0x30, 0x1E, 0x40, 0x27, 0x99,
+	0x94, 0xD9, 0x89, 0x0D, 0x66, 0x80, 0x69, 0x94,
+	0xB3, 0xA1, 0xD0, 0x8B, 0xD4, 0xBB, 0x96, 0x13,
+	0x30, 0x94, 0x12, 0xE3, 0x26, 0xCA, 0x80, 0x62,
+	0x0F, 0xE9, 0x79, 0x64, 0x44, 0x3B, 0xA3, 0xCA,
+	0x69, 0x9D, 0xBA, 0x3B, 0x91, 0x0C, 0x84, 0x7C,
+	0x7B, 0x12, 0x5B, 0x95, 0x66, 0x8A, 0x75, 0x4F,
+	0xF7, 0x95, 0x68, 0xD2, 0xB4, 0x78, 0xE4, 0x12,
+	0xAA, 0xB2, 0xB1, 0xA5, 0xB2, 0xC9, 0x41, 0x19,
+	0x14, 0x73, 0x28, 0x77, 0x19, 0x3A, 0xC8, 0x45,
+	0x4F, 0x40, 0x50, 0x2E, 0x46, 0x8F, 0xFB, 0x76,
+	0x57, 0x6A, 0xFC, 0x3A, 0x13, 0x09, 0x67, 0xA4,
+	0x32, 0x1D, 0x4C, 0x0B, 0x5A, 0xE2, 0x3B, 0xA0,
+	0xC7, 0x99, 0x9F, 0xAF, 0xD5, 0x53, 0xA9, 0x3A,
+	0x0C, 0x5E, 0x68, 0x8E, 0x50, 0x70, 0xB8, 0xFF,
+	0x66, 0x74, 0x18, 0x6A, 0x20, 0x5F, 0x29, 0x01,
+	0x77, 0xDC, 0xA4, 0x38, 0x95, 0x1F, 0xD1, 0xE8,
+	0x11, 0x4A, 0xB0, 0x49, 0x71, 0x73, 0x2E, 0xD0,
+	0x16, 0x92, 0x6C, 0x0C, 0x18, 0x06, 0x8A, 0xC7,
+	0x34, 0x80, 0x68, 0x82, 0x99, 0x83, 0x89, 0x43,
+	0x65, 0xD8, 0xF9, 0xB8, 0x73, 0x67, 0x49, 0x28,
+	0x92, 0x3A, 0x12, 0xA1, 0xB7, 0x7C, 0x84, 0x3C,
+	0x19, 0x9A, 0x24, 0x99, 0xC7, 0x5C, 0xD5, 0x65,
+	0x85, 0x87, 0xA7, 0xB4, 0xE5, 0xE2, 0x48, 0xA5,
+	0x85, 0x3C, 0x6A, 0x86, 0x42, 0xF8, 0xE6, 0x0C,
+	0x7C, 0xA2, 0x01, 0x5C, 0xA7, 0x45, 0x15, 0xB6,
+	0x35, 0x60, 0x99, 0x3E, 0xD4, 0x30, 0x82, 0xAE,
+	0xFB, 0xCD, 0x24, 0x20, 0x32, 0xFC, 0xF3, 0x51,
+	0x2C, 0xFA, 0x29, 0xE1, 0x83, 0x96, 0x56, 0x8A,
+	0x7B, 0x84, 0xCC, 0x08, 0x10, 0x16, 0x45, 0x88,
+	0xA4, 0x06, 0xC7, 0x46, 0x35, 0x83, 0xCC, 0x5B,
+	0xA9, 0x8C, 0x92, 0x64, 0xE9, 0x16, 0x0C, 0x73,
+	0x6C, 0x2B, 0x4C, 0x50, 0x77, 0x44, 0xA4, 0x19,
+	0xC7, 0x91, 0xD7, 0x12, 0x95, 0x31, 0x9A, 0x55,
+	0x29, 0x61, 0x45, 0x02, 0x47, 0x94, 0x06, 0x00,
+	0x8F, 0xF5, 0xA8, 0x08, 0xAD, 0xA1, 0x5E, 0x9F,
+	0x58, 0x70, 0x30, 0x80, 0x84, 0xFF, 0xC6, 0xCB,
+	0x45, 0x21, 0xB1, 0x53, 0x89, 0x1B, 0x48, 0x93,
+	0x6A, 0xFE, 0x92, 0x86, 0xB8, 0x08, 0x71, 0xFF,
+	0x03, 0x6D, 0x17, 0xF2, 0x9F, 0x84, 0xB8, 0x87,
+	0x03, 0xA0, 0x7F, 0x89, 0xD3, 0xCE, 0xE5, 0x08,
+	0x5A, 0xB7, 0x8C, 0x86, 0x9B, 0x98, 0x65, 0xCE,
+	0x43, 0x7E, 0x9C, 0x24, 0x37, 0x97, 0xB0, 0xBF,
+	0x4F, 0xB0, 0xC1, 0x79, 0x97, 0x13, 0xC6, 0xAB,
+	0x6C, 0x17, 0x86, 0x8E, 0xEE, 0xE1, 0x34, 0x5B,
+	0xF9, 0x38, 0xD8, 0x79, 0x03, 0xA3, 0x26, 0x5B,
+	0x2D, 0xD7, 0x63, 0xE3, 0x19, 0x4B, 0x5B, 0xA8,
+	0x75, 0xFF, 0x36, 0x54, 0x3B, 0x02, 0x57, 0xFD,
+	0xCA, 0x25, 0x19, 0x5A, 0xC3, 0x8A, 0x03, 0xCC,
+	0x84, 0x0B, 0xCF, 0x64, 0x68, 0x2D, 0x7A, 0x54,
+	0xB0, 0x60, 0x9B, 0x15, 0x0F, 0xDC, 0xC0, 0x25,
+	0xE1, 0x02, 0xF1, 0x7C, 0xAE, 0xBB, 0x28, 0x7C,
+	0x17, 0xA9, 0x17, 0x2E, 0x86, 0x7A, 0xB5, 0x7C,
+	0x28, 0xC2, 0x98, 0x86, 0x3A, 0x26, 0x91, 0x0A,
+	0x74, 0x76, 0x7B, 0xDC, 0x8E, 0x49, 0x7A, 0x46,
+	0xFA, 0x19, 0x69, 0x5B, 0x23, 0x77, 0xB3, 0xEA,
+	0x90, 0xDF, 0x50, 0xAA, 0xCE, 0xA6, 0x30, 0xEA,
+	0x82, 0x5A, 0xE1, 0x87, 0xA1, 0x96, 0x87, 0xB4,
+	0x6F, 0x92, 0x25, 0x59, 0xFC, 0x1F, 0x3A, 0x3B,
+	0x41, 0xED, 0xC5, 0x05, 0xFF, 0x17, 0x38, 0x41,
+	0xBB, 0xB3, 0xFB, 0xEC, 0x13, 0x78, 0xA2, 0x7B,
+	0x13, 0xB2, 0x3C, 0x56, 0x26, 0x99, 0x91, 0x0B,
+	0x9E, 0x9C, 0xFB, 0x4E, 0xC1, 0x42, 0x78, 0x7B,
+	0xF9, 0x38, 0x06, 0x1C, 0x8D, 0x5E, 0x59, 0x0B,
+	0x3C, 0x6C, 0xA0, 0x2A, 0xD0, 0x80, 0x90, 0xAA,
+	0xA0, 0x89, 0x4A, 0x5C, 0x72, 0x35, 0x63, 0x46,
+	0x56, 0xA4, 0xD2, 0x1B, 0x0E, 0x1B, 0x16, 0x07,
+	0x10, 0xF0, 0x7D, 0xB5, 0x27, 0x7F, 0x87, 0x27,
+	0x21, 0x57, 0x10, 0x03, 0x54, 0x13, 0x73, 0xFA,
+	0xB9, 0x7B, 0x51, 0x50, 0x68, 0x22, 0x79, 0x36,
+	0x4C, 0x68, 0x6D, 0x3D, 0x46, 0x5C, 0xA1, 0xE9,
+	0x0A, 0x74, 0x7B, 0x53, 0x81, 0x5C, 0x0B, 0x22,
+	0xC3, 0x2E, 0x7A, 0x97, 0x44, 0xC9, 0xA1, 0xC7,
+	0xBE, 0xAC, 0x31, 0x6D, 0xA1, 0x18, 0x0D, 0xF6,
+	0x74, 0x53, 0x24, 0x0C, 0xD6, 0xFA, 0x89, 0x7B,
+	0xD4, 0x2A, 0x26, 0x1A, 0x6B, 0x59, 0x0B, 0x7F,
+	0x2E, 0x47, 0x48, 0xA2, 0x64, 0xA6, 0x6A, 0xB2,
+	0xC3, 0x68, 0xD2, 0xC3, 0x76, 0x52, 0x36, 0xBE,
+	0xF6, 0xC9, 0x6E, 0x0C, 0x9B, 0x9E, 0xB4, 0x64,
+	0x56, 0x34, 0x5A, 0xD1, 0xDA, 0x53, 0x94, 0xEA,
+	0x5C, 0x6F, 0x58, 0x88, 0x78, 0x5A, 0x8A, 0x92,
+	0x81, 0x07, 0x7E, 0x36, 0x1F, 0x2E, 0xE8, 0xBB,
+	0x21, 0x57, 0x42, 0xCF, 0xF3, 0xA5, 0x10, 0x88,
+	0x3F, 0x18, 0x07, 0x25, 0x9A, 0x35, 0x99, 0x2A,
+	0x20, 0x38, 0xBD, 0x50, 0xBC, 0xBC, 0x42, 0xB0,
+	0x65, 0xB3, 0x7E, 0x46, 0x2B, 0x7E, 0x80, 0xB0,
+	0x3E, 0xE7, 0xC8, 0x30, 0xE5, 0x78, 0x32, 0x91,
+	0x5C, 0x2A, 0x44, 0x4A, 0xC4, 0xB5, 0x20, 0x1A,
+	0xBF, 0xEC, 0x9B, 0x6B, 0x05, 0x6A, 0x20, 0x11,
+	0x6F, 0x9E, 0x65, 0x6B, 0x4A, 0x77, 0x72, 0x90,
+	0x60, 0x54, 0x87, 0xB8, 0x91, 0x6C, 0xCA, 0x0F,
+	0x7E, 0x15, 0x5A, 0xC0, 0x99, 0x48, 0x75, 0xC3,
+	0x8C, 0xC2, 0xBA, 0x67, 0x3A, 0x30, 0xB5, 0x22,
+	0xD0, 0x36, 0xD9, 0x8A, 0x7E, 0xBF, 0xE4, 0xA8,
+	0xC1, 0x64, 0x00, 0x95, 0x94, 0x89, 0x07, 0x54,
+	0x3F, 0xA9, 0xB0, 0x8A, 0xD0, 0x48, 0x2A, 0x8C,
+	0x5A, 0x58, 0x03, 0x22, 0x54, 0x6D, 0x70, 0x37,
+	0x7A, 0x75, 0x79, 0x93, 0xE6, 0x76, 0xD2, 0x4A,
+	0xA1, 0x1D, 0xB8, 0x70, 0x92, 0xA6, 0x6B, 0x9A,
+	0xA2, 0x94, 0x4A, 0x9C, 0x1E, 0x36, 0x79, 0x64,
+	0x65, 0xCA, 0x8C, 0x48, 0xAC, 0x46, 0x33, 0x07,
+	0x2E, 0x3B, 0x2C, 0xB2, 0x0B, 0x24, 0xB2, 0x12,
+	0x7B, 0x46, 0x65, 0xC6, 0xAB, 0x86, 0x96, 0x18,
+	0x0B, 0x01, 0x9F, 0x60, 0xC7, 0x16, 0xD6, 0xE8,
+	0x24, 0xDC, 0x94, 0x41, 0x52, 0x8B, 0x58, 0xBF,
+	0xDB, 0x9C, 0x6B, 0x41, 0x90, 0x69, 0xB5, 0x4B,
+	0xA1, 0x11, 0x02, 0x3F, 0xB0, 0xB7, 0x6F, 0xAC,
+	0x3D, 0x14, 0x64, 0x17, 0x64, 0xD3, 0x64, 0x0E,
+	0x76, 0x7F, 0xD3, 0x91, 0x81, 0xCC, 0x36, 0xCD,
+	0x0E, 0x45, 0x06, 0x21, 0x17, 0x3E, 0x4A, 0x27,
+	0x44, 0x07, 0x35, 0x74, 0x8E, 0x6C, 0x7E, 0xB1,
+	0xE4, 0x28, 0x80, 0xAC, 0x44, 0x91, 0x55, 0xCF,
+	0xE0, 0x64, 0x12, 0x9C, 0x3C, 0x3D, 0x6B, 0x13,
+	0x8C, 0x11, 0x73, 0x1E, 0x81, 0xD7, 0x54, 0x2B,
+	0x75, 0xAF, 0xC0, 0x73, 0x6E, 0xE3, 0xEB, 0x26,
+	0x46, 0x88, 0x22, 0x2A, 0x25, 0xA1, 0x34, 0x10,
+	0x7D, 0xC8, 0x49, 0x54, 0xC8, 0x20, 0xA1, 0x20,
+	0x9C, 0xA8, 0x92, 0xDC, 0x28, 0xA4, 0x6C, 0x00,
+	0xF8, 0xB7, 0x41, 0xD1, 0x15, 0x61, 0x0B, 0x3B,
+	0x0B, 0xE7, 0x77, 0x46, 0x37, 0x6C, 0x49, 0xE0,
+	0x99, 0x24, 0x85, 0xF1, 0xCE, 0xDD, 0x55, 0x9F,
+	0x4D, 0xC5, 0x1F, 0x96, 0xF6, 0xA5, 0xC9, 0x3B,
+	0x0F, 0x7F, 0x70, 0xB0, 0x5F, 0x0A, 0xB4, 0xD9,
+	0x00, 0x66, 0xA7, 0xD6, 0xC9, 0xAA, 0x45, 0x82,
+	0xF7, 0xF1, 0x57, 0x3A, 0x44, 0x63, 0xDA, 0x8B,
+	0x32, 0x85, 0xC1, 0x23, 0x1D, 0xE4, 0x99, 0x2E,
+	0xF8, 0x43, 0xC6, 0x59, 0x71, 0x06, 0x76, 0xCE,
+	0x46, 0x24, 0x5C, 0xF5, 0x96, 0x20, 0x13, 0x67,
+	0x25, 0x87, 0xF1, 0x1E, 0xEF, 0x26, 0x09, 0x97,
+	0x00, 0x91, 0x3B, 0xC8, 0x0C, 0xC3, 0x2B, 0x44,
+	0xCF, 0xBA, 0xBE, 0x8E, 0x50, 0xA0, 0xDB, 0x63,
+	0x58, 0xAA, 0x12, 0x8B, 0xD0, 0x1C, 0x53, 0x47,
+	0x52, 0x41, 0xBC, 0xDB, 0x77, 0xF0, 0xF7, 0x25,
+	0x6B, 0xC9, 0xCB, 0x34, 0xA6, 0x86, 0x20, 0x6A,
+	0x61, 0xED, 0x02, 0x74, 0x0B, 0x01, 0xAC, 0xB3,
+	0xFA, 0x87, 0x6A, 0x01, 0xC9, 0x0D, 0x56, 0x66,
+	0x7B, 0x15, 0x44, 0x17, 0xF9, 0x85, 0xAB, 0xF3,
+	0xCE, 0xDE, 0x04, 0x8A, 0xF1, 0xCA, 0x3A, 0x63,
+	0xB7, 0x79, 0xFA, 0x00, 0xAD, 0x20, 0x62, 0x31,
+	0xE1, 0xA4, 0xCB, 0xA3, 0xB1, 0x2B, 0xD3, 0xA3,
+	0x0A, 0x6B, 0xE8, 0xA7, 0x7C, 0x84, 0x96, 0x16,
+	0x65, 0x4A, 0xC9, 0x84, 0x0D, 0xF1, 0xC5, 0x04,
+	0x20, 0x4C, 0x26, 0xD4, 0x92, 0xA6, 0x8A, 0x38,
+	0xBF, 0x1B, 0x85, 0x44, 0x3B, 0x85, 0xC5, 0xB8,
+	0x6A, 0xA5, 0xE5, 0x15, 0x99, 0x0A, 0x50, 0x79,
+	0x87, 0x8A, 0x11, 0x33, 0xA3, 0x8F, 0x0E, 0xC3,
+	0x09, 0x9B, 0x40, 0x48, 0x0B, 0xC8, 0x2A, 0xC1,
+	0xE4, 0x35, 0xFA, 0xF3, 0x57, 0x95, 0xEC, 0x72,
+	0x4A, 0x30, 0x6A, 0x0A, 0xF9, 0xA5, 0xDA, 0x82,
+	0x90, 0x52, 0xB9, 0xA3, 0x76, 0x23, 0x60, 0x26,
+	0x68, 0xA8, 0xBD, 0xC2, 0xBF, 0x5D, 0x91, 0x11,
+	0x20, 0x85, 0x3B, 0x3A, 0x80, 0x18, 0x26, 0x68,
+	0x1A, 0x69, 0xBA, 0x82, 0xA7, 0xE0, 0x42, 0xEC,
+	0x68, 0x44, 0x0D, 0x31, 0x1F, 0x30, 0x11, 0x52,
+	0x8B, 0x43, 0x46, 0x95, 0x9A, 0xA3, 0x4F, 0xD8,
+	0xAD, 0x61, 0xE8, 0x25, 0x43, 0x3C, 0xC3, 0xAB,
+	0x75, 0x23, 0xB0, 0x15, 0x9B, 0x7C, 0x1B, 0x0F,
+	0xDC, 0xCB, 0x89, 0x1B, 0xD9, 0x75, 0x46, 0xD4,
+	0x12, 0xFF, 0xE0, 0xA7, 0x71, 0x1B, 0x59, 0xC6,
+	0xFB, 0x58, 0x73, 0x58, 0x1F, 0x78, 0xB9, 0x02,
+	0xF0, 0x81, 0xBD, 0x74, 0xA3, 0x53, 0xAB, 0x58,
+	0x4D, 0x55, 0x37, 0xAC, 0x33, 0x2B, 0x45, 0xC8,
+	0xA2, 0x6D, 0x82, 0x50, 0x2A, 0x90, 0x93, 0x65,
+	0x61, 0x78, 0x27, 0x03, 0x41, 0x17, 0xB1, 0x18,
+	0x53, 0x8F, 0x56, 0x58, 0xB0, 0xA9, 0x5A, 0x80,
+	0x5C, 0x1C, 0x03, 0x36, 0x61, 0x7F, 0xE0, 0x57,
+	0x4D, 0xF8, 0x87, 0x7E, 0x74, 0x56, 0xD2, 0xD0,
+	0x07, 0x78, 0x12, 0xA1, 0x69, 0x7B, 0xA2, 0x29,
+	0xB1, 0xCE, 0x05, 0xA2, 0x2F, 0xBE, 0xDC, 0xA4,
+	0x1D, 0x31, 0x25, 0x19, 0x27, 0x40, 0xE2, 0x11,
+	0x41, 0x9B, 0xF2, 0x34, 0x9C, 0x34, 0xC6, 0x7A,
+	0xCB, 0x81, 0xAE, 0xFA, 0x78, 0x55, 0x35, 0x0A,
+	0xC9, 0x50, 0x56, 0x63, 0x74, 0x81, 0x05, 0x01,
+	0xC9, 0xA5, 0x97, 0x6D, 0xE6, 0xA6, 0x5F, 0xDB,
+	0x55, 0x2F, 0xBF, 0x00, 0xC2, 0x95, 0xC9, 0xAC,
+	0xFC, 0x48, 0xB6, 0xE4, 0x24, 0x0C, 0x15, 0x90,
+	0x37, 0x2B, 0x6C, 0x54, 0x9D, 0x87, 0xBA, 0x4B,
+	0x09, 0x16, 0x19, 0xD5, 0x32, 0x11, 0x99, 0x73,
+	0x78, 0x80, 0xB1, 0xBB, 0x5B, 0x6B, 0xCF, 0x02,
+	0x75, 0x3E, 0xB5, 0x2D, 0x86, 0x80, 0x0F, 0x96,
+	0x73, 0x0E, 0xC4, 0xD2, 0xBB, 0xD8, 0x21, 0x80,
+	0xEC, 0xC9, 0x4D, 0x9F, 0x9C, 0xBB, 0x9A, 0xE4,
+	0x30, 0xD5, 0x32, 0xBF, 0xCB, 0x3C, 0xCF, 0x70,
+	0x27, 0x1C, 0x35, 0x77, 0xCD, 0xD8, 0xF3, 0x70,
+	0x1A, 0xD0, 0x33, 0x20, 0x9C, 0xCE, 0x8A, 0xC7,
+	0x84, 0xB1, 0x62, 0x35, 0xAF, 0x61, 0xC5, 0xFC,
+	0x22, 0x32, 0x3A, 0x96, 0x78, 0x9F, 0xEB, 0x0B,
+	0x64, 0xB7, 0x76, 0xFA, 0x3B, 0x67, 0x68, 0x04,
+	0x34, 0x45, 0x49, 0x9E, 0xEE, 0xB7, 0x2F, 0xDB,
+	0xFC, 0xAB, 0xCC, 0x01, 0x46, 0x94, 0x20, 0xB4,
+	0xA0, 0xF1, 0xBC, 0xC7, 0xB0, 0x0B, 0xB2, 0x16,
+	0x16, 0x88, 0x89, 0x75, 0x59, 0x52, 0x02, 0xE4,
+	0xD4, 0xAF, 0x78, 0xD7, 0x1D, 0xDA, 0x60, 0x64,
+	0x6A, 0x18, 0x99, 0x17, 0x5A, 0x69, 0x49, 0xAA,
+	0x2A, 0x7D, 0x68, 0x56, 0xC1, 0x61, 0xCA, 0xE2,
+	0x18, 0xB4, 0x1D, 0x49, 0x27, 0x91, 0x83, 0xC6,
+	0x88, 0xFA, 0x04, 0xEA, 0x41, 0x50, 0xD4, 0xA6,
+	0x14, 0x47, 0x67, 0x37, 0x79, 0x6C, 0x91, 0xBF,
+	0x4B, 0x18, 0xF7, 0xAA, 0x7B, 0xD0, 0x85, 0x5A,
+	0xBD, 0x69, 0x22, 0x9A, 0xD5, 0xB8, 0x99, 0xA3,
+	0x5F, 0x5C, 0xB3, 0x3F, 0x82, 0xE5, 0x5E, 0x12,
+	0xC2, 0x45, 0xB6, 0xF8, 0xAC, 0xA8, 0x45, 0xB5,
+	0x06, 0xE1, 0x36, 0xB0, 0xC8, 0xCF, 0xBC, 0x14,
+	0x4E, 0x99, 0x72, 0x8D, 0xBC, 0x74, 0x0F, 0x22,
+	0xD7, 0xA4, 0x1C, 0xF9, 0x90, 0xC0, 0x2A, 0x72,
+	0x14, 0x04, 0x4D, 0x2F, 0xD9, 0x98, 0x6B, 0x78,
+	0x18, 0xC4, 0xC1, 0xCB, 0x28, 0x72, 0x71, 0x2D,
+	0x95, 0x47, 0x33, 0x61, 0x89, 0x94, 0x18, 0x94,
+	0x87, 0xA1, 0xA6, 0x64, 0x57, 0x85, 0xCC, 0x28,
+	0x07, 0x91, 0x97, 0xAE, 0xAB, 0x01, 0x6A, 0x12,
+	0x57, 0x82, 0x99, 0x43, 0x32, 0x47, 0x3C, 0x8C,
+	0x0D, 0x07, 0x7E, 0xE8, 0x90, 0x94, 0xA0, 0x1B,
+	0x1B, 0x0F, 0xC7, 0xBC, 0x58, 0xB0, 0x40, 0xFA,
+	0xF1, 0xB9, 0xBD, 0xB9, 0x9C, 0x40, 0x5B, 0x7F,
+	0xD9, 0xE0, 0x39, 0x15, 0xA3, 0x01, 0x07, 0x41,
+	0xBE, 0xD7, 0x4A, 0x09, 0x15, 0x08, 0xB4, 0xA1,
+	0xC9, 0x71, 0x70, 0x07, 0x87, 0x99, 0x26, 0x23,
+	0x0E, 0xB9, 0x55, 0x9C, 0x2B, 0x7E, 0x21, 0x4C,
+	0x9A, 0x93, 0x84, 0x3D, 0x1A, 0x9B, 0x21, 0xB8,
+	0xA0, 0x5E, 0xBE, 0x28, 0xC9, 0x23, 0x69, 0xB0,
+	0xDC, 0x38, 0x69, 0x92, 0xCC, 0xB4, 0xFF, 0xDC,
+	0xBA, 0xCF, 0x1B, 0xA6, 0x91, 0xA3, 0x97, 0xCD,
+	0xCA, 0xB4, 0x3F, 0xC5, 0x7F, 0xDF, 0xA1, 0xBA,
+	0x63, 0x50, 0x79, 0xE2, 0xF2, 0x55, 0x8E, 0x94,
+	0xB0, 0x15, 0x58, 0x74, 0x88, 0x3C, 0xC9, 0x5E,
+	0xA7, 0x4A, 0xDC, 0x5B, 0x7C, 0xC7, 0x89, 0xB3,
+	0x84, 0xF6, 0xA6, 0x4C, 0x73, 0x99, 0x96, 0xC9,
+	0xAF, 0x4B, 0xB2, 0xC5, 0x33, 0xCC, 0x0A, 0x08,
+	0xB5, 0xAE, 0xF2, 0xA1, 0x16, 0xF3, 0x13, 0x57,
+	0xB8, 0x07, 0x3B, 0xF2, 0x95, 0xCF, 0x22, 0x4B,
+	0xA4, 0x10, 0xC6, 0x8C, 0xD6, 0x79, 0x26, 0x2E,
+	0x1C, 0xC9, 0xAF, 0xF9, 0x9E, 0xED, 0x29, 0x56,
+	0xB0, 0xF4, 0x98, 0x3A, 0x42, 0x1F, 0x2B, 0x3B,
+	0x48, 0xD4, 0x02, 0x26, 0x9D, 0x3A, 0x84, 0x39,
+	0xB1, 0x85, 0x6B, 0xB3, 0x68, 0xA4, 0x56, 0x0C,
+	0xB4, 0x49, 0x3B, 0xCE, 0xB1, 0xC6, 0xD8, 0x63,
+	0x60, 0xBC, 0x77, 0x96, 0xB9, 0x83, 0x11, 0xCA,
+	0x5C, 0xC7, 0xD4, 0xE3, 0x42, 0x4B, 0x01, 0x78,
+	0x64, 0x02, 0x87, 0x1A, 0xF7, 0xBA, 0x5C, 0xDA,
+	0x68, 0x05, 0xFC, 0xA4, 0xDA, 0xC4, 0xB3, 0x54,
+	0xE0, 0xBC, 0x6D, 0x7A, 0xC0, 0x28, 0x16, 0xA5,
+	0xBB, 0x33, 0x4C, 0x91, 0x49, 0x57, 0xF0, 0x20,
+	0xC6, 0xD1, 0xE8, 0x1A, 0x0F, 0x19, 0x23, 0x1D,
+	0x16, 0x59, 0x94, 0xC6, 0xC0, 0x0C, 0x1A, 0x5D,
+	0xC5, 0xC9, 0x47, 0xA9, 0x4C, 0x3F, 0xCD, 0xE1,
+	0x07, 0x18, 0x06, 0x37, 0x84, 0x6A, 0x35, 0xBD,
+	0x75, 0xAD, 0x0F, 0x05, 0x4C, 0x27, 0x4A, 0x62,
+	0x89, 0x87, 0x25, 0x1F, 0xB1, 0x7B, 0x27, 0xAA,
+	0xB1, 0x44, 0x71, 0x82, 0x23, 0x99, 0x11, 0x7E,
+	0x2C, 0x14, 0xC0, 0x40, 0x6A, 0x8C, 0x47, 0x4D,
+	0xFE, 0x40, 0x67, 0xBD, 0xB8, 0x1F, 0x5F, 0x4A,
+	0x24, 0x8F, 0x7B, 0x93, 0x3E, 0x07, 0x49, 0x58,
+	0x82, 0x33, 0x2E, 0x14, 0xB4, 0x2D, 0xDC, 0x17,
+	0x4E, 0xF1, 0x07, 0x9E, 0x05, 0xA8, 0x48, 0x18,
+	0x27, 0xFF, 0x05, 0x5A, 0xB7, 0xC7, 0xA2, 0xFE,
+	0xE0, 0x46, 0xE7, 0x88, 0xA0, 0xD3, 0x88, 0x90,
+	0x00, 0x9A, 0x65, 0xD2, 0x08, 0x92, 0x6A, 0x7B,
+	0xA6, 0x52, 0xE4, 0x51, 0x31, 0x46, 0x74, 0xAA,
+	0xE9, 0xA8, 0x3E, 0x5B, 0x20, 0x06, 0x56, 0x2A,
+	0x72, 0x3A, 0x1A, 0x2A, 0x13, 0x04, 0x20, 0x75,
+	0x90, 0x88, 0xC7, 0x2D, 0x7D, 0x42, 0x26, 0x04,
+	0x65, 0x17, 0x4F, 0x00, 0x5A, 0x32, 0x34, 0x9B,
+	0x0B, 0x56, 0x92, 0xAA, 0xA2, 0x2A, 0x31, 0x8C,
+	0x1F, 0xF3, 0x67, 0x09, 0xB6, 0x47, 0x37, 0x7E,
+	0xFB, 0x8B, 0xAF, 0xA3, 0x01, 0x92, 0xFB, 0x8A,
+	0x8B, 0xE5, 0x92, 0x8F, 0x54, 0x8C, 0x41, 0xC9,
+	0x9B, 0xBA, 0x90, 0x7F, 0xD2, 0xA3, 0x83, 0xEC,
+	0x93, 0xBB, 0x8B, 0x44, 0x03, 0x38, 0xD0, 0x85,
+	0x78, 0xCA, 0xB2, 0x84, 0x3B, 0x25, 0x2A, 0x66,
+	0x94, 0x55, 0xC7, 0x1A, 0xF8, 0x73, 0x27, 0x78,
+	0x85, 0xAF, 0x5F, 0x49, 0x80, 0x8A, 0xF9, 0xB8,
+	0x24, 0x10, 0x63, 0xE4, 0x63, 0x9A, 0x90, 0xF5,
+	0x32, 0x34, 0x04, 0xB5, 0x6D, 0x91, 0x01, 0x6C,
+	0xB6, 0x43, 0x1E, 0x0C, 0xC0, 0x41, 0x6B, 0xB2,
+	0x2C, 0xF0, 0x1C, 0xDE, 0xBB, 0x4C, 0xBB, 0xBB,
+	0xB1, 0x35, 0x51, 0x7F, 0x21, 0x65, 0xC1, 0xB4,
+	0x45, 0xCD, 0x18, 0x82, 0x6B, 0x7B, 0x75, 0x00,
+	0x73, 0x2C, 0x70, 0xCA, 0xDA, 0x39, 0x95, 0xE9,
+	0x1E, 0x93, 0x27, 0x12, 0x85, 0x0B, 0xB1, 0xE3,
+	0xA1, 0x6A, 0xD9, 0xB2, 0x31, 0xA7, 0xD1, 0x5F,
+	0x57, 0xF3, 0xEB, 0x1F, 0x74, 0xAB, 0x0D, 0xD3,
+	0x38, 0xA7, 0x66, 0x45, 0x85, 0x98, 0x93, 0xDA,
+	0xBE, 0xF0, 0xAD, 0x1F, 0x43, 0xD2, 0xE2, 0x4E,
+	0x1D, 0x85, 0xA8, 0x04, 0xD6, 0xCD, 0x32, 0x5F,
+	0x33, 0x94, 0x48, 0x8B, 0xEC, 0x6D, 0x08, 0xBD,
+	0xBD, 0x0A, 0x6E, 0x1E, 0x61, 0x54, 0xD0, 0xDA,
+	0xA7, 0x3C, 0x21, 0x2A, 0x9D, 0x11, 0xD7, 0xD2,
+	0x54, 0x49, 0xD7, 0x9D, 0xA1, 0x87, 0x86, 0xBD,
+	0xBC, 0xBF, 0x66, 0xA9, 0x5C, 0x80, 0xD8, 0x53,
+	0xF4, 0xF2, 0x2A, 0x44, 0xF0, 0x7C, 0x02, 0xC9,
+	0xBD, 0x6F, 0xF8, 0xC8, 0x5D, 0xF2, 0xE1, 0x75,
+	0xBB, 0x2B, 0x37, 0x59, 0x85, 0x84, 0xE0, 0xF9,
+};
+
+uint8_t mlkem_768_ek[] = {
+	0x7B, 0x15, 0x44, 0x17, 0xF9, 0x85, 0xAB, 0xF3,
+	0xCE, 0xDE, 0x04, 0x8A, 0xF1, 0xCA, 0x3A, 0x63,
+	0xB7, 0x79, 0xFA, 0x00, 0xAD, 0x20, 0x62, 0x31,
+	0xE1, 0xA4, 0xCB, 0xA3, 0xB1, 0x2B, 0xD3, 0xA3,
+	0x0A, 0x6B, 0xE8, 0xA7, 0x7C, 0x84, 0x96, 0x16,
+	0x65, 0x4A, 0xC9, 0x84, 0x0D, 0xF1, 0xC5, 0x04,
+	0x20, 0x4C, 0x26, 0xD4, 0x92, 0xA6, 0x8A, 0x38,
+	0xBF, 0x1B, 0x85, 0x44, 0x3B, 0x85, 0xC5, 0xB8,
+	0x6A, 0xA5, 0xE5, 0x15, 0x99, 0x0A, 0x50, 0x79,
+	0x87, 0x8A, 0x11, 0x33, 0xA3, 0x8F, 0x0E, 0xC3,
+	0x09, 0x9B, 0x40, 0x48, 0x0B, 0xC8, 0x2A, 0xC1,
+	0xE4, 0x35, 0xFA, 0xF3, 0x57, 0x95, 0xEC, 0x72,
+	0x4A, 0x30, 0x6A, 0x0A, 0xF9, 0xA5, 0xDA, 0x82,
+	0x90, 0x52, 0xB9, 0xA3, 0x76, 0x23, 0x60, 0x26,
+	0x68, 0xA8, 0xBD, 0xC2, 0xBF, 0x5D, 0x91, 0x11,
+	0x20, 0x85, 0x3B, 0x3A, 0x80, 0x18, 0x26, 0x68,
+	0x1A, 0x69, 0xBA, 0x82, 0xA7, 0xE0, 0x42, 0xEC,
+	0x68, 0x44, 0x0D, 0x31, 0x1F, 0x30, 0x11, 0x52,
+	0x8B, 0x43, 0x46, 0x95, 0x9A, 0xA3, 0x4F, 0xD8,
+	0xAD, 0x61, 0xE8, 0x25, 0x43, 0x3C, 0xC3, 0xAB,
+	0x75, 0x23, 0xB0, 0x15, 0x9B, 0x7C, 0x1B, 0x0F,
+	0xDC, 0xCB, 0x89, 0x1B, 0xD9, 0x75, 0x46, 0xD4,
+	0x12, 0xFF, 0xE0, 0xA7, 0x71, 0x1B, 0x59, 0xC6,
+	0xFB, 0x58, 0x73, 0x58, 0x1F, 0x78, 0xB9, 0x02,
+	0xF0, 0x81, 0xBD, 0x74, 0xA3, 0x53, 0xAB, 0x58,
+	0x4D, 0x55, 0x37, 0xAC, 0x33, 0x2B, 0x45, 0xC8,
+	0xA2, 0x6D, 0x82, 0x50, 0x2A, 0x90, 0x93, 0x65,
+	0x61, 0x78, 0x27, 0x03, 0x41, 0x17, 0xB1, 0x18,
+	0x53, 0x8F, 0x56, 0x58, 0xB0, 0xA9, 0x5A, 0x80,
+	0x5C, 0x1C, 0x03, 0x36, 0x61, 0x7F, 0xE0, 0x57,
+	0x4D, 0xF8, 0x87, 0x7E, 0x74, 0x56, 0xD2, 0xD0,
+	0x07, 0x78, 0x12, 0xA1, 0x69, 0x7B, 0xA2, 0x29,
+	0xB1, 0xCE, 0x05, 0xA2, 0x2F, 0xBE, 0xDC, 0xA4,
+	0x1D, 0x31, 0x25, 0x19, 0x27, 0x40, 0xE2, 0x11,
+	0x41, 0x9B, 0xF2, 0x34, 0x9C, 0x34, 0xC6, 0x7A,
+	0xCB, 0x81, 0xAE, 0xFA, 0x78, 0x55, 0x35, 0x0A,
+	0xC9, 0x50, 0x56, 0x63, 0x74, 0x81, 0x05, 0x01,
+	0xC9, 0xA5, 0x97, 0x6D, 0xE6, 0xA6, 0x5F, 0xDB,
+	0x55, 0x2F, 0xBF, 0x00, 0xC2, 0x95, 0xC9, 0xAC,
+	0xFC, 0x48, 0xB6, 0xE4, 0x24, 0x0C, 0x15, 0x90,
+	0x37, 0x2B, 0x6C, 0x54, 0x9D, 0x87, 0xBA, 0x4B,
+	0x09, 0x16, 0x19, 0xD5, 0x32, 0x11, 0x99, 0x73,
+	0x78, 0x80, 0xB1, 0xBB, 0x5B, 0x6B, 0xCF, 0x02,
+	0x75, 0x3E, 0xB5, 0x2D, 0x86, 0x80, 0x0F, 0x96,
+	0x73, 0x0E, 0xC4, 0xD2, 0xBB, 0xD8, 0x21, 0x80,
+	0xEC, 0xC9, 0x4D, 0x9F, 0x9C, 0xBB, 0x9A, 0xE4,
+	0x30, 0xD5, 0x32, 0xBF, 0xCB, 0x3C, 0xCF, 0x70,
+	0x27, 0x1C, 0x35, 0x77, 0xCD, 0xD8, 0xF3, 0x70,
+	0x1A, 0xD0, 0x33, 0x20, 0x9C, 0xCE, 0x8A, 0xC7,
+	0x84, 0xB1, 0x62, 0x35, 0xAF, 0x61, 0xC5, 0xFC,
+	0x22, 0x32, 0x3A, 0x96, 0x78, 0x9F, 0xEB, 0x0B,
+	0x64, 0xB7, 0x76, 0xFA, 0x3B, 0x67, 0x68, 0x04,
+	0x34, 0x45, 0x49, 0x9E, 0xEE, 0xB7, 0x2F, 0xDB,
+	0xFC, 0xAB, 0xCC, 0x01, 0x46, 0x94, 0x20, 0xB4,
+	0xA0, 0xF1, 0xBC, 0xC7, 0xB0, 0x0B, 0xB2, 0x16,
+	0x16, 0x88, 0x89, 0x75, 0x59, 0x52, 0x02, 0xE4,
+	0xD4, 0xAF, 0x78, 0xD7, 0x1D, 0xDA, 0x60, 0x64,
+	0x6A, 0x18, 0x99, 0x17, 0x5A, 0x69, 0x49, 0xAA,
+	0x2A, 0x7D, 0x68, 0x56, 0xC1, 0x61, 0xCA, 0xE2,
+	0x18, 0xB4, 0x1D, 0x49, 0x27, 0x91, 0x83, 0xC6,
+	0x88, 0xFA, 0x04, 0xEA, 0x41, 0x50, 0xD4, 0xA6,
+	0x14, 0x47, 0x67, 0x37, 0x79, 0x6C, 0x91, 0xBF,
+	0x4B, 0x18, 0xF7, 0xAA, 0x7B, 0xD0, 0x85, 0x5A,
+	0xBD, 0x69, 0x22, 0x9A, 0xD5, 0xB8, 0x99, 0xA3,
+	0x5F, 0x5C, 0xB3, 0x3F, 0x82, 0xE5, 0x5E, 0x12,
+	0xC2, 0x45, 0xB6, 0xF8, 0xAC, 0xA8, 0x45, 0xB5,
+	0x06, 0xE1, 0x36, 0xB0, 0xC8, 0xCF, 0xBC, 0x14,
+	0x4E, 0x99, 0x72, 0x8D, 0xBC, 0x74, 0x0F, 0x22,
+	0xD7, 0xA4, 0x1C, 0xF9, 0x90, 0xC0, 0x2A, 0x72,
+	0x14, 0x04, 0x4D, 0x2F, 0xD9, 0x98, 0x6B, 0x78,
+	0x18, 0xC4, 0xC1, 0xCB, 0x28, 0x72, 0x71, 0x2D,
+	0x95, 0x47, 0x33, 0x61, 0x89, 0x94, 0x18, 0x94,
+	0x87, 0xA1, 0xA6, 0x64, 0x57, 0x85, 0xCC, 0x28,
+	0x07, 0x91, 0x97, 0xAE, 0xAB, 0x01, 0x6A, 0x12,
+	0x57, 0x82, 0x99, 0x43, 0x32, 0x47, 0x3C, 0x8C,
+	0x0D, 0x07, 0x7E, 0xE8, 0x90, 0x94, 0xA0, 0x1B,
+	0x1B, 0x0F, 0xC7, 0xBC, 0x58, 0xB0, 0x40, 0xFA,
+	0xF1, 0xB9, 0xBD, 0xB9, 0x9C, 0x40, 0x5B, 0x7F,
+	0xD9, 0xE0, 0x39, 0x15, 0xA3, 0x01, 0x07, 0x41,
+	0xBE, 0xD7, 0x4A, 0x09, 0x15, 0x08, 0xB4, 0xA1,
+	0xC9, 0x71, 0x70, 0x07, 0x87, 0x99, 0x26, 0x23,
+	0x0E, 0xB9, 0x55, 0x9C, 0x2B, 0x7E, 0x21, 0x4C,
+	0x9A, 0x93, 0x84, 0x3D, 0x1A, 0x9B, 0x21, 0xB8,
+	0xA0, 0x5E, 0xBE, 0x28, 0xC9, 0x23, 0x69, 0xB0,
+	0xDC, 0x38, 0x69, 0x92, 0xCC, 0xB4, 0xFF, 0xDC,
+	0xBA, 0xCF, 0x1B, 0xA6, 0x91, 0xA3, 0x97, 0xCD,
+	0xCA, 0xB4, 0x3F, 0xC5, 0x7F, 0xDF, 0xA1, 0xBA,
+	0x63, 0x50, 0x79, 0xE2, 0xF2, 0x55, 0x8E, 0x94,
+	0xB0, 0x15, 0x58, 0x74, 0x88, 0x3C, 0xC9, 0x5E,
+	0xA7, 0x4A, 0xDC, 0x5B, 0x7C, 0xC7, 0x89, 0xB3,
+	0x84, 0xF6, 0xA6, 0x4C, 0x73, 0x99, 0x96, 0xC9,
+	0xAF, 0x4B, 0xB2, 0xC5, 0x33, 0xCC, 0x0A, 0x08,
+	0xB5, 0xAE, 0xF2, 0xA1, 0x16, 0xF3, 0x13, 0x57,
+	0xB8, 0x07, 0x3B, 0xF2, 0x95, 0xCF, 0x22, 0x4B,
+	0xA4, 0x10, 0xC6, 0x8C, 0xD6, 0x79, 0x26, 0x2E,
+	0x1C, 0xC9, 0xAF, 0xF9, 0x9E, 0xED, 0x29, 0x56,
+	0xB0, 0xF4, 0x98, 0x3A, 0x42, 0x1F, 0x2B, 0x3B,
+	0x48, 0xD4, 0x02, 0x26, 0x9D, 0x3A, 0x84, 0x39,
+	0xB1, 0x85, 0x6B, 0xB3, 0x68, 0xA4, 0x56, 0x0C,
+	0xB4, 0x49, 0x3B, 0xCE, 0xB1, 0xC6, 0xD8, 0x63,
+	0x60, 0xBC, 0x77, 0x96, 0xB9, 0x83, 0x11, 0xCA,
+	0x5C, 0xC7, 0xD4, 0xE3, 0x42, 0x4B, 0x01, 0x78,
+	0x64, 0x02, 0x87, 0x1A, 0xF7, 0xBA, 0x5C, 0xDA,
+	0x68, 0x05, 0xFC, 0xA4, 0xDA, 0xC4, 0xB3, 0x54,
+	0xE0, 0xBC, 0x6D, 0x7A, 0xC0, 0x28, 0x16, 0xA5,
+	0xBB, 0x33, 0x4C, 0x91, 0x49, 0x57, 0xF0, 0x20,
+	0xC6, 0xD1, 0xE8, 0x1A, 0x0F, 0x19, 0x23, 0x1D,
+	0x16, 0x59, 0x94, 0xC6, 0xC0, 0x0C, 0x1A, 0x5D,
+	0xC5, 0xC9, 0x47, 0xA9, 0x4C, 0x3F, 0xCD, 0xE1,
+	0x07, 0x18, 0x06, 0x37, 0x84, 0x6A, 0x35, 0xBD,
+	0x75, 0xAD, 0x0F, 0x05, 0x4C, 0x27, 0x4A, 0x62,
+	0x89, 0x87, 0x25, 0x1F, 0xB1, 0x7B, 0x27, 0xAA,
+	0xB1, 0x44, 0x71, 0x82, 0x23, 0x99, 0x11, 0x7E,
+	0x2C, 0x14, 0xC0, 0x40, 0x6A, 0x8C, 0x47, 0x4D,
+	0xFE, 0x40, 0x67, 0xBD, 0xB8, 0x1F, 0x5F, 0x4A,
+	0x24, 0x8F, 0x7B, 0x93, 0x3E, 0x07, 0x49, 0x58,
+	0x82, 0x33, 0x2E, 0x14, 0xB4, 0x2D, 0xDC, 0x17,
+	0x4E, 0xF1, 0x07, 0x9E, 0x05, 0xA8, 0x48, 0x18,
+	0x27, 0xFF, 0x05, 0x5A, 0xB7, 0xC7, 0xA2, 0xFE,
+	0xE0, 0x46, 0xE7, 0x88, 0xA0, 0xD3, 0x88, 0x90,
+	0x00, 0x9A, 0x65, 0xD2, 0x08, 0x92, 0x6A, 0x7B,
+	0xA6, 0x52, 0xE4, 0x51, 0x31, 0x46, 0x74, 0xAA,
+	0xE9, 0xA8, 0x3E, 0x5B, 0x20, 0x06, 0x56, 0x2A,
+	0x72, 0x3A, 0x1A, 0x2A, 0x13, 0x04, 0x20, 0x75,
+	0x90, 0x88, 0xC7, 0x2D, 0x7D, 0x42, 0x26, 0x04,
+	0x65, 0x17, 0x4F, 0x00, 0x5A, 0x32, 0x34, 0x9B,
+	0x0B, 0x56, 0x92, 0xAA, 0xA2, 0x2A, 0x31, 0x8C,
+	0x1F, 0xF3, 0x67, 0x09, 0xB6, 0x47, 0x37, 0x7E,
+	0xFB, 0x8B, 0xAF, 0xA3, 0x01, 0x92, 0xFB, 0x8A,
+	0x8B, 0xE5, 0x92, 0x8F, 0x54, 0x8C, 0x41, 0xC9,
+	0x9B, 0xBA, 0x90, 0x7F, 0xD2, 0xA3, 0x83, 0xEC,
+	0x93, 0xBB, 0x8B, 0x44, 0x03, 0x38, 0xD0, 0x85,
+	0x78, 0xCA, 0xB2, 0x84, 0x3B, 0x25, 0x2A, 0x66,
+	0x94, 0x55, 0xC7, 0x1A, 0xF8, 0x73, 0x27, 0x78,
+	0x85, 0xAF, 0x5F, 0x49, 0x80, 0x8A, 0xF9, 0xB8,
+	0x24, 0x10, 0x63, 0xE4, 0x63, 0x9A, 0x90, 0xF5,
+	0x32, 0x34, 0x04, 0xB5, 0x6D, 0x91, 0x01, 0x6C,
+	0xB6, 0x43, 0x1E, 0x0C, 0xC0, 0x41, 0x6B, 0xB2,
+	0x2C, 0xF0, 0x1C, 0xDE, 0xBB, 0x4C, 0xBB, 0xBB,
+	0xB1, 0x35, 0x51, 0x7F, 0x21, 0x65, 0xC1, 0xB4,
+	0x45, 0xCD, 0x18, 0x82, 0x6B, 0x7B, 0x75, 0x00,
+	0x73, 0x2C, 0x70, 0xCA, 0xDA, 0x39, 0x95, 0xE9,
+	0x1E, 0x93, 0x27, 0x12, 0x85, 0x0B, 0xB1, 0xE3,
+	0xA1, 0x6A, 0xD9, 0xB2, 0x31, 0xA7, 0xD1, 0x5F,
+	0x57, 0xF3, 0xEB, 0x1F, 0x74, 0xAB, 0x0D, 0xD3,
+	0x38, 0xA7, 0x66, 0x45, 0x85, 0x98, 0x93, 0xDA,
+	0xBE, 0xF0, 0xAD, 0x1F, 0x43, 0xD2, 0xE2, 0x4E,
+	0x1D, 0x85, 0xA8, 0x04, 0xD6, 0xCD, 0x32, 0x5F,
+};
+
+uint8_t mlkem_768_message[] = {
+	0x16, 0x20, 0x03, 0x2E, 0xBD, 0xB3, 0x08, 0xF2,
+	0xBE, 0xF4, 0x07, 0x03, 0x06, 0xAF, 0x29, 0xFD,
+	0x2D, 0x30, 0x73, 0xA0, 0xE5, 0x79, 0xCF, 0x90,
+	0x78, 0x7C, 0xCE, 0xC8, 0x9C, 0x4D, 0x9F, 0x16,
+};
+
+uint8_t mlkem_768_cipher[] = {
+	0x0E, 0x0C, 0x21, 0xA5, 0x33, 0x7A, 0xFC, 0x3C,
+	0x76, 0x9A, 0x80, 0x14, 0xD7, 0x82, 0x8E, 0x7A,
+	0xBC, 0xCF, 0xF0, 0xA9, 0x77, 0xD7, 0x92, 0x9E,
+	0xE1, 0x60, 0xAA, 0xFA, 0xD8, 0x58, 0xFD, 0xA9,
+	0xB5, 0x09, 0x57, 0xBD, 0x30, 0xC0, 0xA3, 0x73,
+	0x19, 0xD4, 0x73, 0xC0, 0x89, 0xD5, 0x94, 0xEA,
+	0x46, 0x66, 0x87, 0x29, 0xCF, 0x8C, 0x7E, 0xB5,
+	0xFE, 0x47, 0x98, 0x12, 0xDC, 0xC8, 0x42, 0x59,
+	0xBD, 0x06, 0xF6, 0x58, 0x19, 0xC0, 0xCD, 0x68,
+	0x5F, 0x15, 0x17, 0x0B, 0xB5, 0x4E, 0xD9, 0x76,
+	0xB1, 0x43, 0x2D, 0x14, 0x59, 0x10, 0xB6, 0x3F,
+	0x87, 0xFB, 0x67, 0x7C, 0x23, 0xC4, 0x25, 0xA0,
+	0x57, 0xC7, 0x69, 0x61, 0x8E, 0xDB, 0xA4, 0xDE,
+	0xB0, 0x0A, 0xD3, 0x49, 0xFD, 0xF2, 0xB3, 0x4E,
+	0x72, 0x94, 0x6D, 0x21, 0xF5, 0x44, 0xD0, 0x8B,
+	0xEC, 0x9F, 0x7E, 0x06, 0x9C, 0xFF, 0xAF, 0xBD,
+	0xEA, 0x28, 0xC8, 0x6B, 0xDA, 0xB2, 0x65, 0xCC,
+	0x6F, 0x4D, 0x7F, 0xB7, 0x0D, 0xDB, 0xCE, 0x61,
+	0xAD, 0x30, 0xBE, 0x43, 0xD7, 0xC0, 0x2E, 0x3D,
+	0xA0, 0x94, 0xA4, 0xEE, 0x28, 0x4E, 0x3A, 0x16,
+	0xE4, 0xBB, 0x4B, 0x00, 0x11, 0x70, 0xB1, 0x0D,
+	0xA5, 0x2B, 0xD0, 0x90, 0xFA, 0x22, 0x70, 0x3A,
+	0xFB, 0x09, 0x0F, 0xE9, 0xED, 0xFC, 0x5F, 0x33,
+	0x85, 0x4B, 0x6F, 0xCD, 0x61, 0xCD, 0x4F, 0xC5,
+	0x0E, 0x6B, 0xD3, 0x00, 0x0E, 0x5D, 0x03, 0x2E,
+	0xBA, 0x26, 0xC5, 0xCE, 0x2C, 0x23, 0x44, 0x41,
+	0xD7, 0x90, 0x08, 0x7A, 0x64, 0xC0, 0x5F, 0x3A,
+	0x7D, 0x05, 0xB7, 0x22, 0xFC, 0xB5, 0x88, 0x4D,
+	0xED, 0x64, 0x86, 0x75, 0x11, 0x22, 0x55, 0x4F,
+	0xBB, 0xEE, 0x10, 0x5D, 0xFD, 0x9C, 0x4E, 0x30,
+	0x36, 0x7F, 0xA9, 0x6F, 0x5F, 0x55, 0x59, 0xD7,
+	0xA8, 0x6A, 0x9C, 0x4E, 0xE2, 0xCA, 0x3A, 0x0D,
+	0xF3, 0x61, 0x35, 0xA7, 0xAB, 0xE9, 0xDE, 0x8F,
+	0x64, 0x46, 0x70, 0x24, 0x18, 0x66, 0x96, 0x5D,
+	0x1C, 0x4D, 0xF5, 0x4D, 0x96, 0xC3, 0x71, 0x93,
+	0x8C, 0x13, 0xB9, 0x20, 0xF6, 0x30, 0x26, 0xCD,
+	0xD4, 0x95, 0x18, 0x76, 0xA4, 0xDE, 0xFD, 0xC4,
+	0x62, 0xAD, 0xCE, 0xCB, 0xBC, 0x92, 0x34, 0x14,
+	0xB2, 0xE4, 0x20, 0x0C, 0xB6, 0x37, 0x5F, 0xA5,
+	0xB9, 0x83, 0xCE, 0x74, 0xF5, 0x3D, 0x20, 0x38,
+	0x0B, 0x75, 0x34, 0x37, 0x4D, 0xC4, 0x34, 0xFD,
+	0x11, 0xB8, 0x05, 0x84, 0x82, 0xDF, 0x90, 0xA5,
+	0xF9, 0x58, 0x2F, 0xFD, 0xD4, 0x15, 0xAB, 0x32,
+	0x27, 0xC2, 0x54, 0xA4, 0x17, 0x6A, 0xD5, 0x1B,
+	0x7E, 0x36, 0xC7, 0x31, 0xB7, 0xB7, 0xB8, 0xE7,
+	0x0C, 0x03, 0x38, 0x6D, 0x31, 0x21, 0x63, 0x92,
+	0xE8, 0xEE, 0x23, 0x33, 0x0B, 0xE9, 0x61, 0x4F,
+	0xB9, 0xE8, 0x43, 0xDC, 0x5C, 0xC0, 0x7B, 0xB9,
+	0xE3, 0x72, 0x38, 0x0F, 0xDE, 0x3C, 0x00, 0x03,
+	0xBA, 0x2A, 0x7A, 0xCD, 0xF0, 0x43, 0x74, 0x59,
+	0xB5, 0xCB, 0x78, 0xA6, 0x93, 0x79, 0x69, 0xD7,
+	0x42, 0x43, 0x2A, 0xB2, 0xB8, 0x04, 0x79, 0xA6,
+	0x83, 0x4F, 0x36, 0x32, 0x07, 0xBA, 0x34, 0xF5,
+	0x53, 0x64, 0x44, 0xC2, 0x90, 0x71, 0xDD, 0x82,
+	0x6E, 0x42, 0xCD, 0x9E, 0x51, 0xA3, 0x65, 0x51,
+	0xF7, 0x83, 0xFE, 0x6E, 0xF9, 0xAE, 0x9B, 0xEB,
+	0xCD, 0x66, 0x56, 0x7B, 0x1D, 0xD1, 0x19, 0x91,
+	0xD6, 0x4B, 0x94, 0x2A, 0xAB, 0xB4, 0x55, 0x62,
+	0x38, 0x74, 0x8C, 0xB7, 0xA4, 0xF5, 0x21, 0xA5,
+	0xF5, 0x52, 0x03, 0x23, 0x5F, 0xED, 0x27, 0x2E,
+	0x00, 0x9A, 0xEE, 0xFF, 0xFD, 0x36, 0x71, 0x37,
+	0x4C, 0x43, 0xD3, 0x15, 0xD3, 0xBE, 0x1B, 0x62,
+	0x24, 0xA7, 0xC7, 0xC1, 0xC4, 0xF9, 0x48, 0x2E,
+	0xA3, 0xCB, 0x5D, 0x7A, 0xB1, 0xDD, 0x7E, 0x15,
+	0x75, 0x8B, 0x54, 0x0A, 0x10, 0xD5, 0x71, 0x56,
+	0x90, 0x80, 0xE1, 0x12, 0xB8, 0xE8, 0xD4, 0x3B,
+	0xB4, 0x6B, 0xB5, 0x05, 0xEC, 0xC4, 0x90, 0xD6,
+	0xDD, 0x5C, 0x9A, 0x8F, 0x04, 0x17, 0x12, 0x63,
+	0xB5, 0xD4, 0xCB, 0x83, 0xEA, 0x5C, 0x45, 0x38,
+	0x12, 0x37, 0xE8, 0x83, 0x56, 0x53, 0xF5, 0xBF,
+	0x98, 0x34, 0xF3, 0xED, 0xBF, 0xF3, 0x28, 0x81,
+	0x5E, 0x35, 0x88, 0xCD, 0xD3, 0x3C, 0xE0, 0xB4,
+	0x2C, 0x62, 0x6A, 0x60, 0x83, 0x2B, 0xAB, 0xDF,
+	0xFB, 0x15, 0x26, 0xE9, 0xF2, 0x9C, 0x49, 0x2D,
+	0xF1, 0xCF, 0x34, 0x3B, 0xE0, 0x73, 0x37, 0x11,
+	0x20, 0x7D, 0xFB, 0xB6, 0xA0, 0x16, 0x18, 0x9F,
+	0x72, 0x9F, 0x14, 0xF4, 0x61, 0x1E, 0x00, 0xA7,
+	0x6D, 0xA3, 0xEC, 0x33, 0x00, 0xBD, 0xB6, 0x5A,
+	0x2D, 0x62, 0x39, 0xE0, 0x11, 0xAA, 0xB6, 0x5C,
+	0xBA, 0xB5, 0xF4, 0xEA, 0x41, 0xC9, 0xA5, 0x97,
+	0x67, 0xE8, 0xD1, 0x4C, 0x54, 0xFD, 0x96, 0x3B,
+	0xF2, 0x00, 0xED, 0xF5, 0xD4, 0x8E, 0x90, 0x74,
+	0xFC, 0x06, 0xC6, 0x71, 0x90, 0x12, 0x7C, 0x5B,
+	0xEA, 0xD8, 0xAC, 0x17, 0x3E, 0x9F, 0x75, 0xA5,
+	0x45, 0x65, 0xAE, 0x1E, 0x8F, 0x6F, 0xE3, 0x44,
+	0x2B, 0x1F, 0xD6, 0x2C, 0xCC, 0xCE, 0xF3, 0x21,
+	0xC5, 0x10, 0xC3, 0xBB, 0xF1, 0x76, 0x23, 0x8C,
+	0x95, 0xC8, 0x4D, 0x4E, 0x71, 0x0A, 0xD1, 0xBA,
+	0xEE, 0xB6, 0x28, 0xB9, 0xA4, 0x11, 0x99, 0x53,
+	0x06, 0x58, 0xEE, 0xA2, 0x07, 0xDC, 0x71, 0x3A,
+	0x69, 0xF1, 0xE0, 0xEC, 0xCA, 0x52, 0xB4, 0x7F,
+	0x81, 0xF5, 0xFA, 0x37, 0xCE, 0x1F, 0xC2, 0x49,
+	0x8B, 0xE2, 0xAC, 0xFA, 0x2A, 0x26, 0x90, 0x2B,
+	0x33, 0xB3, 0xB0, 0x46, 0x19, 0xE6, 0x2C, 0x7B,
+	0xD0, 0x87, 0x53, 0x2D, 0x50, 0x00, 0xB6, 0x3D,
+	0xEF, 0xEF, 0xBC, 0xD6, 0x8B, 0x28, 0xE3, 0x10,
+	0xCF, 0xDF, 0x13, 0x7D, 0xDE, 0xD8, 0x13, 0x75,
+	0x6F, 0xBC, 0x31, 0x44, 0xC2, 0x23, 0x78, 0xA2,
+	0xC1, 0x6D, 0xAB, 0x8F, 0x46, 0x86, 0xC4, 0xCA,
+	0xDA, 0xFE, 0x80, 0xB5, 0x73, 0x44, 0x4F, 0xC4,
+	0x3E, 0xB2, 0x79, 0x79, 0xAE, 0xBD, 0xC7, 0x37,
+	0x60, 0x77, 0x59, 0xA0, 0xE5, 0x4C, 0x3E, 0x00,
+	0x0A, 0x04, 0x41, 0x5B, 0xF5, 0x1E, 0x4D, 0xE5,
+	0x50, 0x7B, 0x1F, 0x89, 0xA6, 0x10, 0x91, 0xD0,
+	0xCE, 0x3B, 0x7B, 0xD4, 0xC7, 0xFF, 0x91, 0xD4,
+	0xB5, 0x71, 0x16, 0x98, 0xD8, 0x7A, 0xA2, 0xAF,
+	0xFB, 0xBA, 0x75, 0x27, 0x85, 0xD7, 0x3F, 0xFF,
+	0xF2, 0x6E, 0x50, 0x68, 0xAB, 0x46, 0xA7, 0xD3,
+	0x42, 0x04, 0x4C, 0xA2, 0x76, 0x8E, 0x3A, 0xE1,
+	0x48, 0xE3, 0xF6, 0x5A, 0x00, 0xBC, 0x0F, 0x74,
+	0xD6, 0xE8, 0xF0, 0x1E, 0x0A, 0x57, 0x45, 0x97,
+	0x91, 0xE6, 0xFB, 0x2B, 0xF0, 0x21, 0x01, 0xB2,
+	0x01, 0xCC, 0xFB, 0xCC, 0x9A, 0x97, 0xDD, 0x81,
+	0x81, 0x94, 0x30, 0x6F, 0x46, 0x52, 0x56, 0xF3,
+	0x58, 0x14, 0x2A, 0xB9, 0x36, 0xF7, 0x3B, 0xA7,
+	0x12, 0x3E, 0xA3, 0x2F, 0x61, 0x7E, 0x79, 0xE9,
+	0xB7, 0x18, 0x95, 0x06, 0x54, 0x6B, 0x5A, 0x26,
+	0x3C, 0xE7, 0x09, 0xF5, 0xF7, 0xFB, 0x00, 0x5C,
+	0x0D, 0xC9, 0x3E, 0xEB, 0x7C, 0xD5, 0xAE, 0x51,
+	0x5B, 0x93, 0x4B, 0xD4, 0x2E, 0x8E, 0x75, 0x33,
+	0x10, 0x1E, 0xE8, 0x3E, 0x65, 0xB0, 0x8F, 0x28,
+	0x38, 0x2D, 0x31, 0x03, 0xD2, 0xC6, 0xF2, 0x31,
+	0x39, 0x37, 0x38, 0x9B, 0x2F, 0x64, 0x01, 0xC4,
+	0xFB, 0x21, 0x9F, 0x06, 0x51, 0x03, 0xD1, 0x6E,
+	0x5F, 0x03, 0xCF, 0x31, 0xD0, 0x93, 0x59, 0x73,
+	0x16, 0x0A, 0x90, 0xBC, 0xA9, 0xEF, 0xD7, 0x26,
+	0xFA, 0x9A, 0xD2, 0xFB, 0x4D, 0xE5, 0xDD, 0xC7,
+	0x04, 0xE6, 0xF3, 0x04, 0x1B, 0x62, 0x09, 0xFC,
+	0x87, 0x9D, 0xC9, 0xE2, 0x17, 0xAE, 0x7E, 0x51,
+	0xE3, 0x24, 0xC8, 0xE1, 0x67, 0x84, 0xD0, 0xF4,
+	0x38, 0xBC, 0xCE, 0xC4, 0xB6, 0xA2, 0x5C, 0xA2,
+	0x8D, 0x75, 0x9C, 0xC2, 0xD2, 0x1B, 0xA6, 0xA7,
+	0xCE, 0x3E, 0xAC, 0x8E, 0xE2, 0x24, 0xA3, 0xAF,
+	0x9B, 0xF8, 0xD7, 0xD0, 0x13, 0x01, 0xF1, 0xAE,
+	0x34, 0x68, 0xCC, 0xD7, 0x8A, 0xE4, 0x6B, 0xC2,
+	0xD3, 0xC9, 0xB5, 0x2A, 0x6C, 0xE8, 0x1F, 0xE1,
+};
+
+uint8_t mlkem_768_sk[] = {
+	0x21, 0xA7, 0x5C, 0x6A, 0x1B, 0xC9, 0xA1, 0x0B,
+	0x3D, 0x99, 0x03, 0xBE, 0xE5, 0x5C, 0x26, 0x18,
+	0x0D, 0xF3, 0x1D, 0x21, 0x66, 0x1E, 0x39, 0x7B,
+	0x64, 0x6A, 0x57, 0x54, 0xAE, 0x70, 0xFB, 0x69,
+};
+
+uint8_t mlkem_1024_dk[] = {
+	0xBA, 0x60, 0x87, 0x43, 0x75, 0x8A, 0xB6, 0xCA,
+	0xCD, 0xFD, 0xAA, 0x89, 0xD3, 0x54, 0xA0, 0x21,
+	0x61, 0xCF, 0x3A, 0xCB, 0x62, 0x86, 0x5A, 0x11,
+	0x48, 0x07, 0xBC, 0x04, 0x40, 0xC2, 0x88, 0x26,
+	0x36, 0x0A, 0x13, 0x8D, 0xF3, 0x09, 0x78, 0xFE,
+	0xDB, 0x17, 0x1A, 0x80, 0x93, 0x5E, 0xC3, 0x60,
+	0xEE, 0x3B, 0xB7, 0xEF, 0xD7, 0xCD, 0x09, 0xB7,
+	0x9B, 0x19, 0x75, 0xC5, 0x85, 0x31, 0x19, 0xF3,
+	0xB6, 0x53, 0xCA, 0xE5, 0xC5, 0x7D, 0x02, 0x8E,
+	0x8B, 0x3B, 0xC2, 0xFF, 0x8A, 0x67, 0xF9, 0xD4,
+	0xCE, 0xDE, 0x62, 0x39, 0xE6, 0x20, 0x65, 0x6E,
+	0x41, 0x62, 0xCF, 0xB6, 0x65, 0x9B, 0x7B, 0x53,
+	0x00, 0x8B, 0x92, 0x09, 0xE2, 0x7C, 0x91, 0xEB,
+	0x34, 0x00, 0x52, 0x59, 0xDC, 0x77, 0x36, 0xE7,
+	0xCB, 0x9F, 0xAA, 0xD6, 0xCA, 0x24, 0x55, 0x5C,
+	0x8C, 0xEC, 0x99, 0xC3, 0xA8, 0x52, 0xC6, 0x07,
+	0x6E, 0xB9, 0x45, 0x8D, 0x4E, 0x5B, 0x37, 0xB1,
+	0x45, 0x36, 0x07, 0x01, 0x1A, 0xBB, 0x19, 0x36,
+	0xB8, 0x41, 0x04, 0x74, 0xE4, 0x1C, 0x37, 0x4A,
+	0x47, 0xD8, 0x68, 0x52, 0xF4, 0xC2, 0x64, 0x8A,
+	0x70, 0x91, 0xED, 0x00, 0x93, 0x2C, 0xEB, 0xAD,
+	0x5B, 0xFC, 0x2B, 0x0C, 0xFA, 0x1A, 0xF0, 0x42,
+	0xB4, 0xBB, 0x62, 0x34, 0xA4, 0xCA, 0x2D, 0x8C,
+	0xB0, 0x82, 0xB7, 0xC0, 0x81, 0xD2, 0xC3, 0x7A,
+	0xCC, 0x02, 0x9D, 0xFF, 0x95, 0x8F, 0x54, 0xD2,
+	0xC6, 0x3A, 0xFC, 0x3F, 0xDF, 0x52, 0x36, 0x06,
+	0xB6, 0x22, 0x10, 0xBC, 0xC4, 0xFC, 0xE5, 0x7A,
+	0xD6, 0x45, 0xC2, 0x5E, 0xE6, 0xA9, 0x57, 0x68,
+	0xB2, 0xCD, 0xF1, 0xC9, 0x6F, 0xC2, 0x4D, 0xD1,
+	0x90, 0x79, 0xA8, 0x62, 0x21, 0xD2, 0x44, 0xB2,
+	0x95, 0x79, 0xBA, 0x35, 0x24, 0x9C, 0xB8, 0x4C,
+	0x0C, 0xE9, 0x40, 0x34, 0x2B, 0x58, 0x0F, 0x69,
+	0x1C, 0x4B, 0xE5, 0x77, 0x66, 0x9D, 0x1C, 0x1B,
+	0xEA, 0x93, 0x17, 0x88, 0xB9, 0x4D, 0xEF, 0x91,
+	0x93, 0x3C, 0xEA, 0xB2, 0xC2, 0x68, 0x7D, 0x44,
+	0x22, 0x08, 0xC3, 0xE4, 0xBA, 0xAC, 0x66, 0x00,
+	0x3C, 0x75, 0x6F, 0x8E, 0x26, 0x0F, 0xE5, 0x9C,
+	0x44, 0x9A, 0x53, 0xCB, 0xAC, 0xD5, 0x51, 0x3E,
+	0x70, 0x68, 0xF3, 0x97, 0x46, 0xB7, 0x5C, 0x0D,
+	0x2C, 0x79, 0x76, 0x07, 0xE8, 0xA4, 0x79, 0xD3,
+	0x72, 0x2D, 0xAB, 0x84, 0x1A, 0x04, 0x9B, 0xB9,
+	0x2B, 0x9E, 0xA8, 0xC6, 0x10, 0x6C, 0x3B, 0x3D,
+	0xD6, 0xE0, 0x21, 0x1C, 0x48, 0x85, 0xD7, 0x72,
+	0x01, 0xA1, 0x0A, 0x72, 0x22, 0x84, 0x2A, 0x9A,
+	0x73, 0x93, 0x30, 0x4B, 0x4F, 0x3D, 0x95, 0x0A,
+	0xAE, 0xF9, 0x8D, 0x9F, 0x6C, 0xCA, 0xBC, 0x79,
+	0x5A, 0x57, 0xA4, 0xC7, 0x6B, 0x52, 0x2A, 0x29,
+	0x96, 0xC8, 0x72, 0xD2, 0x14, 0x5B, 0xA1, 0x70,
+	0x29, 0x9A, 0x34, 0x7E, 0xA6, 0xA5, 0x1B, 0x70,
+	0x51, 0x14, 0x00, 0x27, 0xDD, 0x98, 0xCE, 0xCA,
+	0xB6, 0xC2, 0x00, 0x5C, 0x0A, 0x0B, 0xCB, 0x7F,
+	0x91, 0x6A, 0x0C, 0x12, 0xFC, 0x7D, 0xB3, 0x60,
+	0x61, 0x4E, 0x82, 0x5B, 0xC6, 0xB4, 0x70, 0x33,
+	0x44, 0x2C, 0xB1, 0x12, 0xB7, 0x9C, 0xBA, 0x4E,
+	0xF0, 0x55, 0x6D, 0x76, 0xE5, 0x30, 0xA4, 0xFA,
+	0xAF, 0xA2, 0x4C, 0x6B, 0xD8, 0xC0, 0x8F, 0x91,
+	0x36, 0x37, 0x3E, 0x66, 0x10, 0x57, 0xBC, 0x89,
+	0x05, 0xC3, 0x41, 0xD0, 0xBA, 0x15, 0x6C, 0xEC,
+	0x4E, 0x0B, 0x05, 0x33, 0x7A, 0xE4, 0x93, 0xB4,
+	0x2A, 0x5E, 0x90, 0xB1, 0x51, 0x81, 0x66, 0x97,
+	0x0A, 0x6B, 0xC2, 0x44, 0x95, 0x4D, 0x08, 0xCA,
+	0x95, 0x7C, 0x7A, 0xA3, 0xDC, 0x9B, 0x15, 0x30,
+	0x40, 0xB2, 0x32, 0x6C, 0x77, 0xD5, 0x88, 0x3C,
+	0x4B, 0x41, 0xB4, 0x60, 0x18, 0x31, 0xAD, 0x95,
+	0x5F, 0xA4, 0xFC, 0x15, 0x5B, 0x97, 0x6D, 0x45,
+	0x90, 0x7D, 0x60, 0x22, 0x49, 0x26, 0x03, 0x5D,
+	0x2B, 0x37, 0x37, 0x7C, 0x25, 0x48, 0xF4, 0x0B,
+	0x02, 0x3C, 0x23, 0x81, 0x5F, 0x64, 0x67, 0xE6,
+	0x26, 0x85, 0xA8, 0x64, 0x2A, 0x29, 0x62, 0x59,
+	0x0A, 0xB4, 0x2A, 0x2B, 0x6C, 0x6F, 0x63, 0xA1,
+	0xA5, 0x74, 0x28, 0x50, 0x38, 0x5C, 0xBF, 0x9C,
+	0x88, 0x5B, 0x74, 0x26, 0x06, 0x91, 0x33, 0xCF,
+	0xED, 0x55, 0xB2, 0x8D, 0xA7, 0xA2, 0xEE, 0xE5,
+	0x05, 0x72, 0xDA, 0x94, 0x26, 0xB1, 0x75, 0xF5,
+	0xBA, 0x51, 0xE5, 0x9A, 0xBE, 0x96, 0x38, 0x63,
+	0xC1, 0x37, 0x62, 0x1A, 0x5C, 0x7D, 0x80, 0x8B,
+	0x08, 0xFE, 0x75, 0x91, 0x4E, 0x67, 0x9C, 0x6C,
+	0x5C, 0x53, 0x59, 0xE3, 0x73, 0xDC, 0xBA, 0x42,
+	0xDE, 0x55, 0xCB, 0xCC, 0xC6, 0xA7, 0x35, 0x65,
+	0xB4, 0xF8, 0x4C, 0xA0, 0xF0, 0x22, 0x0A, 0x98,
+	0x28, 0x8F, 0xF2, 0x63, 0xBC, 0x49, 0xE2, 0x41,
+	0xA4, 0x51, 0x55, 0xF9, 0x93, 0x90, 0x43, 0xE3,
+	0xCF, 0xC9, 0x79, 0x4B, 0x95, 0xBC, 0xAB, 0x32,
+	0x70, 0x57, 0x8B, 0x31, 0x03, 0x6E, 0xF9, 0xC1,
+	0x99, 0x9B, 0x24, 0x92, 0x86, 0xC7, 0x18, 0xB2,
+	0x1D, 0x7F, 0x0A, 0x2A, 0xB6, 0xC0, 0x5F, 0x42,
+	0x57, 0xC0, 0x1A, 0x2A, 0xB7, 0x59, 0x81, 0x8E,
+	0x0C, 0x71, 0x21, 0x69, 0x23, 0x60, 0xC7, 0xD3,
+	0x93, 0x0D, 0x00, 0x94, 0x11, 0xE1, 0x8D, 0x3E,
+	0x0A, 0x9D, 0xE2, 0x48, 0x29, 0xA8, 0x5A, 0x83,
+	0x3A, 0x61, 0x81, 0x77, 0xE1, 0x70, 0xEB, 0xFA,
+	0x82, 0x6C, 0xA6, 0x28, 0x4A, 0x39, 0x28, 0xBE,
+	0x4C, 0x1B, 0x2F, 0x35, 0x1D, 0xF0, 0x96, 0x52,
+	0xCD, 0xF9, 0x1A, 0x2A, 0x65, 0x1A, 0x3C, 0xB4,
+	0x95, 0x88, 0xB1, 0x5E, 0xD0, 0x81, 0x4B, 0x45,
+	0x4A, 0xBF, 0xEA, 0x08, 0xCC, 0x4E, 0x44, 0x75,
+	0xBF, 0x83, 0xB1, 0x26, 0x9B, 0x0A, 0x03, 0x70,
+	0xB6, 0xE6, 0x55, 0x7A, 0x6A, 0x72, 0x3E, 0x76,
+	0xEC, 0xAB, 0xC7, 0x78, 0xB6, 0x87, 0x3A, 0xB2,
+	0x31, 0x92, 0x69, 0x00, 0x35, 0x93, 0x4C, 0x4C,
+	0x79, 0xA7, 0x3A, 0xA6, 0xF2, 0x9B, 0x63, 0x0D,
+	0xA1, 0x03, 0x58, 0xB1, 0x62, 0x11, 0x32, 0x2F,
+	0x87, 0xDC, 0x05, 0x8D, 0x35, 0x28, 0x8F, 0xB9,
+	0x1E, 0xE8, 0x19, 0x23, 0x94, 0x44, 0x12, 0xA2,
+	0x05, 0x49, 0x18, 0x29, 0x6D, 0xEF, 0x82, 0x48,
+	0x91, 0x9B, 0x95, 0x1A, 0x25, 0x82, 0xBC, 0xA5,
+	0xAA, 0x8D, 0x2B, 0x79, 0x35, 0xE7, 0x6C, 0x23,
+	0xE1, 0x69, 0x43, 0x13, 0xB4, 0x62, 0x3C, 0xB8,
+	0x34, 0xBC, 0x19, 0x6E, 0xC2, 0x8A, 0xDA, 0x98,
+	0x50, 0x99, 0x50, 0xA5, 0xB2, 0x91, 0x44, 0xEF,
+	0x58, 0xBD, 0x4D, 0x35, 0x94, 0x98, 0xC6, 0x57,
+	0xF6, 0x64, 0x7F, 0x63, 0xD6, 0x87, 0xA3, 0x16,
+	0xC4, 0x25, 0x45, 0x35, 0x19, 0x4C, 0x24, 0x68,
+	0xE4, 0x87, 0xC7, 0x37, 0x66, 0x72, 0x20, 0x0C,
+	0xAD, 0x73, 0x0E, 0xBA, 0x91, 0x7C, 0x9A, 0xE5,
+	0x01, 0x99, 0x13, 0x9E, 0x77, 0x30, 0x58, 0x5D,
+	0x03, 0x91, 0x17, 0x09, 0x47, 0xD9, 0xA1, 0x59,
+	0x3F, 0x29, 0x43, 0x10, 0x01, 0xCE, 0x45, 0x21,
+	0x2D, 0x8C, 0x33, 0x53, 0xC2, 0x20, 0x4E, 0xA7,
+	0x23, 0x77, 0x71, 0x6B, 0x4D, 0x6D, 0x26, 0x84,
+	0x6F, 0x9A, 0x2C, 0x61, 0x8B, 0x4B, 0x60, 0xE2,
+	0x7B, 0xFF, 0x01, 0x52, 0x86, 0x62, 0x55, 0x91,
+	0xC6, 0xA3, 0x99, 0xF4, 0x5E, 0x35, 0xF9, 0x0D,
+	0x08, 0x0A, 0x10, 0xD8, 0x54, 0xA8, 0xCE, 0x67,
+	0x60, 0x51, 0xD7, 0x18, 0xF9, 0x10, 0x47, 0xF3,
+	0xFA, 0xB3, 0x4D, 0xD5, 0x26, 0x70, 0x82, 0x30,
+	0xAB, 0xDC, 0x44, 0x90, 0x30, 0x7C, 0x9D, 0x38,
+	0x14, 0xA1, 0x17, 0x5A, 0x0E, 0x43, 0x01, 0x65,
+	0x30, 0x20, 0x56, 0xF0, 0xB4, 0xD7, 0x43, 0x6E,
+	0x81, 0x92, 0x14, 0x15, 0x40, 0x93, 0xB0, 0xEB,
+	0x78, 0x1A, 0xF7, 0x64, 0xD6, 0x40, 0x92, 0x99,
+	0x50, 0x8A, 0x98, 0x84, 0x22, 0xB0, 0x85, 0xAD,
+	0x10, 0xE0, 0xC0, 0x05, 0x5B, 0x64, 0x48, 0xF9,
+	0x41, 0x3A, 0xFB, 0x97, 0xF3, 0x13, 0x0C, 0xC0,
+	0xF4, 0xAE, 0x82, 0x4B, 0x42, 0x44, 0xD3, 0x0D,
+	0x4B, 0xAC, 0x51, 0x5D, 0x88, 0x5F, 0xC0, 0xB7,
+	0xC6, 0x9F, 0xC3, 0xA8, 0x27, 0x19, 0x64, 0x09,
+	0x8A, 0xBB, 0xDC, 0xC8, 0x6F, 0x31, 0xA8, 0x59,
+	0x4C, 0x57, 0x7C, 0xFE, 0xF0, 0x22, 0xAA, 0x89,
+	0x45, 0x4B, 0xFA, 0x0E, 0x3B, 0x67, 0x96, 0x80,
+	0xD4, 0x04, 0x0C, 0x83, 0x71, 0x96, 0xF3, 0x28,
+	0x73, 0x52, 0xBF, 0x2A, 0x94, 0x3B, 0x9D, 0x8C,
+	0x94, 0xDC, 0x45, 0x7D, 0xAD, 0xE9, 0x0B, 0x15,
+	0x87, 0x58, 0x33, 0x6C, 0x2B, 0x59, 0x97, 0x0C,
+	0xC0, 0xC7, 0x9F, 0xBE, 0x47, 0x8B, 0xBD, 0x80,
+	0x7E, 0x95, 0x77, 0x6B, 0x96, 0x43, 0xB8, 0x7E,
+	0x52, 0x22, 0x18, 0x64, 0xA6, 0x42, 0x31, 0xC4,
+	0x6E, 0x23, 0x0D, 0xE9, 0x21, 0x5A, 0xE2, 0x1C,
+	0xAF, 0x75, 0xE6, 0xC7, 0xD0, 0xB9, 0x12, 0x87,
+	0x85, 0xA6, 0x20, 0xD9, 0x62, 0xCD, 0xF5, 0x3B,
+	0x53, 0x49, 0x26, 0xDE, 0xBC, 0x07, 0xF8, 0x9C,
+	0xC5, 0x6A, 0xD5, 0x0E, 0x88, 0x89, 0x23, 0x98,
+	0x70, 0x1E, 0x31, 0x1A, 0x95, 0x9F, 0xE7, 0x37,
+	0x00, 0x06, 0x6D, 0xB1, 0x09, 0x3E, 0xBD, 0xB7,
+	0x31, 0xFF, 0x78, 0x8D, 0x7A, 0x91, 0x1D, 0x78,
+	0xE2, 0x7D, 0xDE, 0xE9, 0x69, 0x0E, 0x28, 0x72,
+	0x44, 0x99, 0x63, 0x5E, 0x0C, 0xC2, 0x86, 0x25,
+	0x5B, 0x0D, 0x1B, 0x16, 0xD6, 0x6C, 0x72, 0xAF,
+	0x2C, 0xCC, 0xA4, 0x90, 0x0B, 0x1E, 0xEA, 0x88,
+	0xC2, 0x4C, 0xBB, 0xB1, 0xCB, 0x97, 0xF5, 0x4C,
+	0x44, 0x0B, 0x5C, 0x9A, 0x28, 0xA6, 0x7E, 0xF7,
+	0x8B, 0xA0, 0x0A, 0x8B, 0x9D, 0x95, 0x4B, 0x93,
+	0xAD, 0x25, 0xC2, 0x8D, 0x35, 0x4B, 0x9F, 0xFC,
+	0xC0, 0x41, 0x53, 0x2F, 0x6D, 0x91, 0x67, 0xAB,
+	0x44, 0x04, 0xE0, 0xE6, 0x6C, 0x3F, 0x04, 0xA9,
+	0xA1, 0xE5, 0x69, 0x6F, 0x11, 0x01, 0xC4, 0xF6,
+	0x3A, 0xC5, 0xB5, 0x24, 0x3B, 0x23, 0xB9, 0x99,
+	0xF4, 0x87, 0xE2, 0x15, 0x04, 0x18, 0x00, 0x09,
+	0xDA, 0xC3, 0xCC, 0xF0, 0x6A, 0x77, 0x03, 0xC3,
+	0xA6, 0x1F, 0xA2, 0x07, 0x8C, 0xA8, 0x79, 0xFD,
+	0x20, 0x06, 0x0E, 0xA9, 0x18, 0x84, 0x1C, 0x08,
+	0x0F, 0xA4, 0x0F, 0xE2, 0x67, 0xAA, 0x09, 0x68,
+	0xC3, 0x65, 0x18, 0x2B, 0xC3, 0x6A, 0xC2, 0xF1,
+	0x6A, 0x09, 0x60, 0x49, 0x21, 0x18, 0xD7, 0xA8,
+	0x95, 0xCC, 0x80, 0x92, 0x60, 0xA9, 0x40, 0xF6,
+	0x03, 0xD1, 0x29, 0x6C, 0x6B, 0x94, 0xC4, 0x89,
+	0x92, 0x41, 0x9C, 0x42, 0x05, 0x45, 0x40, 0x77,
+	0x5D, 0x38, 0xB5, 0xA8, 0x91, 0x54, 0x94, 0xDC,
+	0x4D, 0xD8, 0xDB, 0xC1, 0x9E, 0x3C, 0x2B, 0xE1,
+	0x92, 0x2E, 0xF6, 0x16, 0x0A, 0xDE, 0x42, 0x21,
+	0xA2, 0xE6, 0x0E, 0x04, 0xB3, 0x48, 0x3B, 0x87,
+	0x12, 0x0A, 0x27, 0x1F, 0xEF, 0x01, 0x5A, 0x73,
+	0x75, 0x41, 0x05, 0xD2, 0xAE, 0xCF, 0x01, 0x57,
+	0x53, 0xB5, 0x6C, 0xFD, 0x0C, 0xC4, 0xA4, 0x20,
+	0xCC, 0x6A, 0x8A, 0xA7, 0xA3, 0x72, 0x44, 0x6C,
+	0xF8, 0x7D, 0x55, 0xD6, 0x9F, 0x23, 0x17, 0xCD,
+	0xE4, 0x1A, 0x0B, 0xE2, 0x25, 0x0C, 0x53, 0x0C,
+	0xCC, 0x61, 0x0A, 0x20, 0xD2, 0x58, 0x5E, 0x36,
+	0x08, 0xCC, 0xED, 0x56, 0x1D, 0xFE, 0x95, 0x4A,
+	0x15, 0x85, 0xB0, 0xDB, 0x32, 0x88, 0x5F, 0x64,
+	0x87, 0xDB, 0x43, 0x40, 0x9A, 0xB7, 0x18, 0xD0,
+	0x91, 0x56, 0xF5, 0xBB, 0x2A, 0x01, 0xD4, 0xAB,
+	0x8E, 0x4B, 0xB1, 0x60, 0xF4, 0x62, 0xE1, 0xE9,
+	0xBA, 0xF9, 0x5C, 0x65, 0x4F, 0x00, 0x60, 0xBB,
+	0x94, 0x8C, 0xEF, 0x14, 0x87, 0x7B, 0x52, 0x2F,
+	0x63, 0x1B, 0x78, 0x98, 0x31, 0xCB, 0x9D, 0x00,
+	0x06, 0x36, 0x28, 0x3D, 0x8A, 0x6C, 0x51, 0x8A,
+	0xB6, 0x59, 0x1A, 0x58, 0xC7, 0x34, 0xB6, 0x2C,
+	0x02, 0xF0, 0x00, 0xA2, 0x14, 0x41, 0xF6, 0xDC,
+	0x7F, 0x1B, 0xA3, 0x77, 0x53, 0xA8, 0x4D, 0x1F,
+	0x75, 0x61, 0x64, 0x22, 0xB3, 0x72, 0x06, 0xC2,
+	0xEA, 0x77, 0x77, 0x9B, 0xFA, 0x7C, 0xA8, 0x58,
+	0xBC, 0x09, 0x6B, 0xA4, 0xCC, 0x26, 0x44, 0xBC,
+	0xD4, 0xB8, 0xC5, 0xAC, 0x41, 0xE7, 0x50, 0x2F,
+	0xFA, 0xB1, 0x98, 0xF2, 0x17, 0x2A, 0x28, 0x35,
+	0x00, 0x03, 0xEA, 0x5F, 0xB4, 0x0B, 0x5B, 0xDE,
+	0x38, 0x2F, 0x7F, 0x70, 0x86, 0x09, 0xF7, 0x8E,
+	0x29, 0xE2, 0x6E, 0xFA, 0x42, 0x94, 0x3B, 0x11,
+	0xCC, 0xA0, 0xE3, 0x0E, 0x5F, 0x7B, 0x23, 0x43,
+	0x7B, 0x5B, 0x0B, 0x62, 0xA9, 0xF2, 0xD4, 0xC6,
+	0x4A, 0x39, 0x2A, 0x6D, 0xD7, 0x26, 0x15, 0xA0,
+	0x70, 0x21, 0x62, 0x99, 0x26, 0x17, 0x4D, 0xE5,
+	0x45, 0x33, 0x17, 0x57, 0xA5, 0x95, 0x9B, 0x0F,
+	0x29, 0x52, 0x6C, 0x8F, 0xA6, 0xB8, 0xD0, 0xC5,
+	0x05, 0x26, 0x2B, 0x47, 0xB4, 0x15, 0x9A, 0xA6,
+	0x54, 0x15, 0xB1, 0x14, 0x0F, 0x92, 0x91, 0x29,
+	0xF8, 0xF9, 0x14, 0xB3, 0x10, 0xC9, 0xD7, 0x40,
+	0x49, 0x6E, 0x92, 0x8B, 0x5F, 0x33, 0x13, 0x5E,
+	0xD5, 0x7C, 0x82, 0x60, 0x3C, 0xAE, 0x01, 0xCB,
+	0xF3, 0x83, 0x19, 0xE6, 0x67, 0x48, 0x6F, 0x87,
+	0x39, 0x77, 0x68, 0x75, 0xD2, 0x19, 0x41, 0xEC,
+	0x01, 0x73, 0x78, 0x98, 0x93, 0x1A, 0x82, 0x5A,
+	0xAF, 0xDA, 0x84, 0x67, 0x5B, 0xC3, 0x1C, 0xF8,
+	0x9F, 0x0E, 0x56, 0x3C, 0x84, 0xD3, 0x6C, 0x20,
+	0x15, 0x5B, 0x87, 0x87, 0x4A, 0xD0, 0x46, 0x58,
+	0x1A, 0xFB, 0x9D, 0x59, 0x05, 0xC2, 0x6A, 0x0B,
+	0x21, 0x1C, 0x46, 0xC2, 0x78, 0x49, 0xAB, 0xA4,
+	0xA3, 0x95, 0xCB, 0xD6, 0x65, 0x4C, 0xA3, 0x1A,
+	0x94, 0x70, 0x08, 0x8E, 0x92, 0x7A, 0x5A, 0xB3,
+	0xB8, 0x65, 0xE0, 0x61, 0xD0, 0xB8, 0xC4, 0xBD,
+	0xC5, 0x17, 0x6B, 0x57, 0x10, 0x59, 0x2A, 0x95,
+	0x97, 0x2B, 0x2D, 0xB3, 0xD6, 0xA9, 0x68, 0x94,
+	0x3D, 0x76, 0x2C, 0xB6, 0xA7, 0x8C, 0x8E, 0x7D,
+	0x19, 0x9E, 0xCB, 0x17, 0x4D, 0x15, 0x8A, 0x93,
+	0xED, 0x29, 0x80, 0x0D, 0xE6, 0x5D, 0x67, 0xAA,
+	0xA5, 0xC9, 0x61, 0x93, 0x57, 0x63, 0x98, 0x1B,
+	0x8C, 0x32, 0xD4, 0xEB, 0x64, 0xC0, 0x20, 0x5C,
+	0xBC, 0xD6, 0x7F, 0xEC, 0xF5, 0xB9, 0x32, 0xB6,
+	0x9A, 0x2C, 0x22, 0xB2, 0x27, 0xA0, 0x46, 0x45,
+	0xC4, 0x87, 0xA1, 0x5B, 0x5E, 0x83, 0x4C, 0x27,
+	0x40, 0xD8, 0x90, 0x13, 0xE4, 0x67, 0x0A, 0x46,
+	0x25, 0x04, 0x45, 0xB9, 0x2C, 0xF0, 0x53, 0xC5,
+	0x54, 0x24, 0xB0, 0x1C, 0x1D, 0x8B, 0x86, 0x09,
+	0x97, 0x29, 0x5C, 0x25, 0x13, 0xA0, 0xA3, 0x85,
+	0x17, 0x57, 0x98, 0x67, 0x43, 0xBC, 0x08, 0xAC,
+	0xB8, 0x2A, 0xA4, 0x61, 0x58, 0xFF, 0x17, 0x38,
+	0x32, 0x64, 0x91, 0x2D, 0x65, 0xCF, 0x0F, 0x65,
+	0xA8, 0xA4, 0x0B, 0x05, 0x21, 0x67, 0xB5, 0xAA,
+	0x24, 0xA3, 0xD1, 0x80, 0x06, 0xF3, 0x17, 0x15,
+	0x2F, 0x3A, 0x6B, 0xDA, 0x10, 0x53, 0x51, 0x55,
+	0x10, 0x28, 0x0B, 0x98, 0x55, 0xB3, 0x3C, 0x7B,
+	0x40, 0x34, 0xA7, 0x85, 0x7B, 0x49, 0x55, 0x35,
+	0xAE, 0xF0, 0x95, 0xC2, 0xA8, 0x01, 0x4B, 0x9A,
+	0x15, 0x56, 0xC3, 0xC2, 0xEF, 0x25, 0x90, 0x10,
+	0x65, 0x85, 0x53, 0x25, 0x56, 0x07, 0xAA, 0x17,
+	0x6A, 0x7A, 0xBD, 0x2A, 0xA5, 0x1A, 0x56, 0x90,
+	0x91, 0xC2, 0xA3, 0x7C, 0xA3, 0x51, 0x6F, 0x26,
+	0x5B, 0x93, 0xBF, 0x39, 0x25, 0xF8, 0x7A, 0x90,
+	0xE7, 0x81, 0x1E, 0xE8, 0x15, 0x51, 0xC3, 0x18,
+	0xB3, 0x68, 0xE0, 0xBF, 0xAC, 0x61, 0x6A, 0x03,
+	0x55, 0x37, 0xF4, 0xC9, 0x03, 0x0A, 0x85, 0x55,
+	0x95, 0xFC, 0x4F, 0x57, 0x77, 0x51, 0xB8, 0xC2,
+	0x30, 0x6F, 0xF1, 0x6A, 0xC3, 0xF1, 0x19, 0xB1,
+	0xC6, 0xB2, 0xFF, 0xB1, 0x6D, 0xEE, 0xA7, 0x4A,
+	0x65, 0x61, 0x2B, 0x60, 0x69, 0x73, 0x3A, 0x64,
+	0x7B, 0x6C, 0x80, 0x25, 0x9F, 0x67, 0x34, 0x58,
+	0x86, 0x40, 0x4E, 0x21, 0x50, 0xBA, 0xD1, 0x96,
+	0x5F, 0xF6, 0x58, 0x00, 0x05, 0x9F, 0x6E, 0x21,
+	0xAA, 0xE1, 0xE6, 0x62, 0x87, 0x11, 0xBA, 0x08,
+	0x71, 0x42, 0xFA, 0xC7, 0x32, 0x80, 0xE1, 0x2B,
+	0xF0, 0x81, 0x62, 0x76, 0xC0, 0xCE, 0xBB, 0xB9,
+	0xA2, 0xBF, 0xF6, 0x93, 0x10, 0x66, 0xA2, 0xC4,
+	0xB4, 0xC2, 0x6C, 0x21, 0x7C, 0x64, 0x9A, 0x5D,
+	0x5D, 0xA5, 0x81, 0x31, 0x51, 0x0C, 0x81, 0x17,
+	0xB3, 0xAD, 0x19, 0x4C, 0x8C, 0xD0, 0x15, 0xFD,
+	0x1C, 0xB1, 0xB5, 0x61, 0x78, 0x5E, 0x89, 0x6F,
+	0x92, 0x20, 0x3D, 0x0D, 0x4B, 0x6F, 0x6E, 0x0A,
+	0x4D, 0x1E, 0xF5, 0x8C, 0x7F, 0x92, 0x5B, 0x6A,
+	0x71, 0xAF, 0x28, 0xE5, 0xC7, 0x38, 0x7A, 0x6A,
+	0x8F, 0x1B, 0x95, 0xF8, 0x5A, 0x48, 0x6F, 0x18,
+	0x67, 0x79, 0x29, 0x14, 0xC2, 0x13, 0x2F, 0x0F,
+	0x7A, 0xAD, 0x9F, 0x20, 0x31, 0x72, 0x1B, 0x0E,
+	0x30, 0x77, 0x6B, 0xAA, 0xB9, 0x0E, 0x4D, 0x97,
+	0x00, 0xD0, 0x74, 0x80, 0x47, 0x80, 0x99, 0x56,
+	0xE5, 0x98, 0x32, 0xB3, 0x57, 0x4C, 0x49, 0x97,
+	0xAC, 0x5C, 0x05, 0xB0, 0x1B, 0x6B, 0x23, 0xFC,
+	0x84, 0xAD, 0xE4, 0x79, 0x54, 0x78, 0xB5, 0x78,
+	0x02, 0x55, 0xB1, 0x4C, 0x7D, 0xD8, 0x18, 0x6A,
+	0x4E, 0x0A, 0x41, 0xCA, 0x39, 0x05, 0xC9, 0x8B,
+	0x38, 0xA0, 0x58, 0x46, 0x93, 0x95, 0x6C, 0xEA,
+	0x87, 0x92, 0x72, 0x54, 0x68, 0x27, 0xCA, 0xA9,
+	0xDB, 0x4B, 0x65, 0xF6, 0x76, 0x58, 0x86, 0x87,
+	0x0B, 0x65, 0xF9, 0x23, 0xF8, 0x32, 0x7C, 0xF0,
+	0x48, 0x82, 0xAE, 0xC3, 0x5D, 0xB9, 0x23, 0xC6,
+	0x5A, 0x99, 0x5E, 0x9C, 0x8C, 0x93, 0x14, 0x34,
+	0x7E, 0xAE, 0x42, 0x2A, 0xC3, 0x37, 0x1D, 0x0F,
+	0x6A, 0x80, 0x56, 0x50, 0x08, 0xE5, 0xA0, 0x1A,
+	0xA5, 0x86, 0x3C, 0xFE, 0x15, 0x3C, 0xC5, 0x45,
+	0xC4, 0xF1, 0x97, 0x03, 0xDE, 0x20, 0x54, 0xFB,
+	0xBA, 0x87, 0x43, 0xB8, 0x31, 0x3E, 0xB5, 0x46,
+	0xBB, 0xE0, 0x96, 0x50, 0x32, 0x1B, 0xD7, 0x45,
+	0x90, 0xEC, 0xA9, 0xC0, 0x8D, 0xC2, 0x3F, 0x24,
+	0xE3, 0xB1, 0xCB, 0xA8, 0x1E, 0x12, 0x31, 0x91,
+	0x72, 0x44, 0xA2, 0xA8, 0xB0, 0x94, 0x6E, 0xC0,
+	0x1C, 0x25, 0x79, 0xB8, 0x2B, 0x34, 0xCD, 0xA6,
+	0x77, 0x2A, 0xC8, 0x7C, 0x95, 0x9E, 0x33, 0x54,
+	0xDB, 0x52, 0x2C, 0x6D, 0xA3, 0x1F, 0x32, 0x32,
+	0x62, 0x2B, 0x80, 0x24, 0x00, 0xF1, 0x8D, 0xFE,
+	0x85, 0x18, 0xB6, 0x2C, 0x10, 0x6E, 0x9A, 0x44,
+	0x53, 0x63, 0x1E, 0xCF, 0x90, 0xC3, 0xF6, 0x05,
+	0xCA, 0x9D, 0xD9, 0x26, 0x7D, 0x99, 0x1B, 0xD1,
+	0x16, 0x62, 0x20, 0x74, 0xCC, 0x5A, 0x6C, 0x36,
+	0xD0, 0xA2, 0x2A, 0xDB, 0x97, 0x19, 0x75, 0x5A,
+	0xBB, 0x53, 0x3B, 0x92, 0x6E, 0x97, 0x94, 0x98,
+	0xB6, 0x81, 0xA1, 0x78, 0x61, 0xCF, 0x26, 0x22,
+	0x15, 0x43, 0xAD, 0xD9, 0xF3, 0x86, 0x0F, 0xF5,
+	0xC9, 0x1C, 0xDA, 0x41, 0xC7, 0x5A, 0xBE, 0xBE,
+	0x4C, 0x5E, 0x36, 0xD4, 0xB9, 0x3B, 0x52, 0x94,
+	0x5D, 0xD4, 0x6B, 0x1F, 0x64, 0xA8, 0x27, 0xB8,
+	0xBE, 0xF5, 0x87, 0xA7, 0x82, 0xAB, 0x0B, 0x19,
+	0xE8, 0xA0, 0x49, 0x18, 0x13, 0x10, 0x85, 0x04,
+	0xB6, 0xC9, 0x6C, 0xC2, 0xE0, 0xA3, 0xFD, 0xDC,
+	0x78, 0x5A, 0xFC, 0x54, 0x93, 0x25, 0xC8, 0x94,
+	0xDC, 0xCA, 0x4D, 0xA9, 0xB7, 0xD3, 0x02, 0xB9,
+	0x18, 0x4C, 0x22, 0x28, 0x85, 0x84, 0xD3, 0x29,
+	0xB5, 0x5B, 0x55, 0x55, 0x66, 0xC1, 0x8A, 0x99,
+	0x55, 0x96, 0x66, 0x66, 0x71, 0x70, 0x31, 0x30,
+	0x5B, 0xB7, 0x52, 0xE8, 0x0C, 0x11, 0x01, 0x44,
+	0x4A, 0x16, 0xF0, 0x33, 0x2E, 0x50, 0xC6, 0x7F,
+	0x72, 0xBB, 0xF0, 0x20, 0x4C, 0x88, 0x69, 0x27,
+	0xE7, 0x98, 0x2C, 0xD5, 0x9B, 0xA8, 0x87, 0xF2,
+	0x82, 0x29, 0x9C, 0x69, 0x6F, 0x34, 0x11, 0xBB,
+	0x31, 0xAA, 0x15, 0x9C, 0xB9, 0xF3, 0xF1, 0x3B,
+	0xA4, 0x3B, 0x55, 0x4D, 0xDB, 0x9D, 0xC3, 0x05,
+	0x86, 0xEB, 0xD0, 0xB1, 0x49, 0xD2, 0xB9, 0x75,
+	0x3B, 0xBA, 0x47, 0x71, 0x5C, 0x0C, 0x07, 0x84,
+	0xEE, 0x7A, 0x63, 0x0B, 0x83, 0x9D, 0x3A, 0x8B,
+	0xC6, 0x07, 0x85, 0x4E, 0x4F, 0x74, 0x16, 0xF8,
+	0xC1, 0x8E, 0x1C, 0x4B, 0x25, 0xB6, 0x38, 0x34,
+	0xE0, 0x99, 0x7D, 0x5B, 0xD7, 0x8F, 0xEA, 0x95,
+	0x17, 0xE2, 0xD1, 0x81, 0x41, 0x09, 0xC0, 0x8C,
+	0x60, 0x4C, 0xBC, 0x49, 0xCA, 0xEC, 0xFC, 0x71,
+	0x6F, 0x90, 0x2F, 0x37, 0xD9, 0x59, 0x4C, 0x35,
+	0x6D, 0xE8, 0x78, 0x3E, 0x18, 0xB4, 0x5E, 0xB6,
+	0x09, 0x39, 0x3F, 0x88, 0x22, 0xB6, 0xB5, 0x33,
+	0x69, 0x22, 0xAA, 0x64, 0x47, 0x99, 0xFB, 0x3A,
+	0x08, 0x92, 0xF1, 0x6F, 0x6E, 0xF3, 0x79, 0xD3,
+	0xD6, 0x4D, 0x71, 0x77, 0x40, 0x70, 0x42, 0x66,
+	0x13, 0x96, 0x49, 0x15, 0x9B, 0x27, 0x4E, 0x04,
+	0xCF, 0xCF, 0xB3, 0x46, 0xC2, 0x77, 0x47, 0x22,
+	0x89, 0x67, 0x49, 0xE6, 0x6C, 0x86, 0x95, 0x4A,
+	0xCC, 0xF8, 0x26, 0x15, 0xB2, 0x36, 0x11, 0xB5,
+	0x5C, 0x61, 0x01, 0x73, 0x0D, 0x62, 0x53, 0xEA,
+	0x6A, 0x53, 0x63, 0xA3, 0x06, 0x16, 0xA2, 0x03,
+	0x23, 0x09, 0xA9, 0x93, 0x34, 0x53, 0x55, 0xD8,
+	0xA4, 0xFE, 0x29, 0x30, 0x43, 0x44, 0xC7, 0xB8,
+	0x19, 0x81, 0xA5, 0x40, 0x07, 0x94, 0xB2, 0xAC,
+	0x51, 0x08, 0x63, 0x91, 0x89, 0x38, 0x02, 0xE4,
+	0x53, 0x7A, 0x6A, 0xC3, 0x14, 0x4A, 0x56, 0x1B,
+	0x80, 0x99, 0x00, 0xD5, 0x93, 0x9F, 0x82, 0x3C,
+	0xB9, 0x21, 0x8B, 0x69, 0x73, 0x50, 0x31, 0xFA,
+	0x04, 0xD6, 0x54, 0x27, 0x68, 0xD2, 0x44, 0x6B,
+	0x54, 0x9D, 0x84, 0xB4, 0x85, 0xE6, 0xEC, 0xB2,
+	0x85, 0x31, 0x13, 0xB7, 0xDB, 0x55, 0xDE, 0x99,
+	0xB5, 0xB8, 0x93, 0xAD, 0x51, 0x16, 0x52, 0x6F,
+	0x33, 0x77, 0xD6, 0x42, 0x61, 0xB4, 0x0C, 0x0B,
+	0xD9, 0x97, 0x66, 0xA5, 0xC9, 0x61, 0x97, 0xEB,
+	0xC5, 0x86, 0xA9, 0x76, 0x1C, 0x2C, 0x63, 0x20,
+	0xC2, 0x90, 0xBF, 0x80, 0xA5, 0x07, 0xA8, 0x45,
+	0xC4, 0x1C, 0x41, 0x1F, 0xF0, 0x75, 0x73, 0x9C,
+	0x91, 0x22, 0x62, 0x4D, 0xAB, 0x39, 0x71, 0xE4,
+	0x01, 0x71, 0x72, 0xC4, 0x37, 0x0B, 0x9C, 0x41,
+	0x2C, 0x8B, 0x7C, 0xD2, 0x59, 0x4B, 0x26, 0x3A,
+	0x59, 0x85, 0x98, 0x30, 0xDF, 0xCA, 0xC5, 0x6D,
+	0xD2, 0x98, 0xA3, 0x91, 0x46, 0x60, 0x82, 0xA4,
+	0x58, 0xF4, 0xAC, 0xDA, 0x22, 0x1B, 0xAC, 0xB1,
+	0x12, 0x94, 0x23, 0x02, 0x27, 0x85, 0x97, 0xC4,
+	0x95, 0x8C, 0x32, 0xAC, 0x92, 0x9B, 0xAC, 0x7D,
+	0x4D, 0xB6, 0xBC, 0x37, 0xC8, 0xAF, 0xC8, 0xA0,
+	0x38, 0x44, 0x61, 0x0F, 0x54, 0xCA, 0x28, 0xCB,
+	0x17, 0xA6, 0xE9, 0xE2, 0x97, 0x09, 0x81, 0x3E,
+	0x65, 0xC7, 0xBB, 0xD7, 0xB2, 0x3C, 0x49, 0xFB,
+	0x1C, 0x3D, 0xEC, 0x5F, 0x3B, 0x97, 0x2B, 0x2F,
+	0x4C, 0x09, 0x2C, 0x05, 0x09, 0x70, 0xDB, 0x6C,
+	0x7C, 0xF5, 0xA3, 0xAA, 0xF9, 0xA9, 0x33, 0x3A,
+	0xA5, 0xFD, 0xC8, 0xDC, 0x47, 0x6A, 0x20, 0xEE,
+	0xD6, 0xE8, 0x36, 0xFD, 0x4B, 0xBC, 0x57, 0x77,
+	0x27, 0xF1, 0xC7, 0x3F, 0xD5, 0x54, 0x61, 0xF2,
+	0xBE, 0x42, 0xAB, 0x2D, 0xDA, 0xD7, 0x4C, 0x91,
+	0x5D, 0x6E, 0x4F, 0xE6, 0x94, 0x87, 0xC4, 0x9E,
+	0x21, 0x07, 0x14, 0xAC, 0x92, 0x19, 0xC1, 0x35,
+	0xB2, 0x9D, 0x9D, 0x60, 0xD0, 0xC2, 0xA4, 0xD7,
+	0x26, 0x62, 0x6B, 0xB9, 0x2C, 0xDE, 0x5E, 0xCF,
+	0x38, 0xAF, 0xAA, 0x45, 0xFE, 0xE0, 0x0A, 0x6E,
+	0x3F, 0x9C, 0x00, 0x44, 0x32, 0x51, 0xA8, 0xED,
+	0x58, 0x0B, 0xBB, 0x61, 0x45, 0x9C, 0xA3, 0xE1,
+};
+
+uint8_t mlkem_1024_ek[] = {
+	0x8E, 0x4B, 0xB1, 0x60, 0xF4, 0x62, 0xE1, 0xE9,
+	0xBA, 0xF9, 0x5C, 0x65, 0x4F, 0x00, 0x60, 0xBB,
+	0x94, 0x8C, 0xEF, 0x14, 0x87, 0x7B, 0x52, 0x2F,
+	0x63, 0x1B, 0x78, 0x98, 0x31, 0xCB, 0x9D, 0x00,
+	0x06, 0x36, 0x28, 0x3D, 0x8A, 0x6C, 0x51, 0x8A,
+	0xB6, 0x59, 0x1A, 0x58, 0xC7, 0x34, 0xB6, 0x2C,
+	0x02, 0xF0, 0x00, 0xA2, 0x14, 0x41, 0xF6, 0xDC,
+	0x7F, 0x1B, 0xA3, 0x77, 0x53, 0xA8, 0x4D, 0x1F,
+	0x75, 0x61, 0x64, 0x22, 0xB3, 0x72, 0x06, 0xC2,
+	0xEA, 0x77, 0x77, 0x9B, 0xFA, 0x7C, 0xA8, 0x58,
+	0xBC, 0x09, 0x6B, 0xA4, 0xCC, 0x26, 0x44, 0xBC,
+	0xD4, 0xB8, 0xC5, 0xAC, 0x41, 0xE7, 0x50, 0x2F,
+	0xFA, 0xB1, 0x98, 0xF2, 0x17, 0x2A, 0x28, 0x35,
+	0x00, 0x03, 0xEA, 0x5F, 0xB4, 0x0B, 0x5B, 0xDE,
+	0x38, 0x2F, 0x7F, 0x70, 0x86, 0x09, 0xF7, 0x8E,
+	0x29, 0xE2, 0x6E, 0xFA, 0x42, 0x94, 0x3B, 0x11,
+	0xCC, 0xA0, 0xE3, 0x0E, 0x5F, 0x7B, 0x23, 0x43,
+	0x7B, 0x5B, 0x0B, 0x62, 0xA9, 0xF2, 0xD4, 0xC6,
+	0x4A, 0x39, 0x2A, 0x6D, 0xD7, 0x26, 0x15, 0xA0,
+	0x70, 0x21, 0x62, 0x99, 0x26, 0x17, 0x4D, 0xE5,
+	0x45, 0x33, 0x17, 0x57, 0xA5, 0x95, 0x9B, 0x0F,
+	0x29, 0x52, 0x6C, 0x8F, 0xA6, 0xB8, 0xD0, 0xC5,
+	0x05, 0x26, 0x2B, 0x47, 0xB4, 0x15, 0x9A, 0xA6,
+	0x54, 0x15, 0xB1, 0x14, 0x0F, 0x92, 0x91, 0x29,
+	0xF8, 0xF9, 0x14, 0xB3, 0x10, 0xC9, 0xD7, 0x40,
+	0x49, 0x6E, 0x92, 0x8B, 0x5F, 0x33, 0x13, 0x5E,
+	0xD5, 0x7C, 0x82, 0x60, 0x3C, 0xAE, 0x01, 0xCB,
+	0xF3, 0x83, 0x19, 0xE6, 0x67, 0x48, 0x6F, 0x87,
+	0x39, 0x77, 0x68, 0x75, 0xD2, 0x19, 0x41, 0xEC,
+	0x01, 0x73, 0x78, 0x98, 0x93, 0x1A, 0x82, 0x5A,
+	0xAF, 0xDA, 0x84, 0x67, 0x5B, 0xC3, 0x1C, 0xF8,
+	0x9F, 0x0E, 0x56, 0x3C, 0x84, 0xD3, 0x6C, 0x20,
+	0x15, 0x5B, 0x87, 0x87, 0x4A, 0xD0, 0x46, 0x58,
+	0x1A, 0xFB, 0x9D, 0x59, 0x05, 0xC2, 0x6A, 0x0B,
+	0x21, 0x1C, 0x46, 0xC2, 0x78, 0x49, 0xAB, 0xA4,
+	0xA3, 0x95, 0xCB, 0xD6, 0x65, 0x4C, 0xA3, 0x1A,
+	0x94, 0x70, 0x08, 0x8E, 0x92, 0x7A, 0x5A, 0xB3,
+	0xB8, 0x65, 0xE0, 0x61, 0xD0, 0xB8, 0xC4, 0xBD,
+	0xC5, 0x17, 0x6B, 0x57, 0x10, 0x59, 0x2A, 0x95,
+	0x97, 0x2B, 0x2D, 0xB3, 0xD6, 0xA9, 0x68, 0x94,
+	0x3D, 0x76, 0x2C, 0xB6, 0xA7, 0x8C, 0x8E, 0x7D,
+	0x19, 0x9E, 0xCB, 0x17, 0x4D, 0x15, 0x8A, 0x93,
+	0xED, 0x29, 0x80, 0x0D, 0xE6, 0x5D, 0x67, 0xAA,
+	0xA5, 0xC9, 0x61, 0x93, 0x57, 0x63, 0x98, 0x1B,
+	0x8C, 0x32, 0xD4, 0xEB, 0x64, 0xC0, 0x20, 0x5C,
+	0xBC, 0xD6, 0x7F, 0xEC, 0xF5, 0xB9, 0x32, 0xB6,
+	0x9A, 0x2C, 0x22, 0xB2, 0x27, 0xA0, 0x46, 0x45,
+	0xC4, 0x87, 0xA1, 0x5B, 0x5E, 0x83, 0x4C, 0x27,
+	0x40, 0xD8, 0x90, 0x13, 0xE4, 0x67, 0x0A, 0x46,
+	0x25, 0x04, 0x45, 0xB9, 0x2C, 0xF0, 0x53, 0xC5,
+	0x54, 0x24, 0xB0, 0x1C, 0x1D, 0x8B, 0x86, 0x09,
+	0x97, 0x29, 0x5C, 0x25, 0x13, 0xA0, 0xA3, 0x85,
+	0x17, 0x57, 0x98, 0x67, 0x43, 0xBC, 0x08, 0xAC,
+	0xB8, 0x2A, 0xA4, 0x61, 0x58, 0xFF, 0x17, 0x38,
+	0x32, 0x64, 0x91, 0x2D, 0x65, 0xCF, 0x0F, 0x65,
+	0xA8, 0xA4, 0x0B, 0x05, 0x21, 0x67, 0xB5, 0xAA,
+	0x24, 0xA3, 0xD1, 0x80, 0x06, 0xF3, 0x17, 0x15,
+	0x2F, 0x3A, 0x6B, 0xDA, 0x10, 0x53, 0x51, 0x55,
+	0x10, 0x28, 0x0B, 0x98, 0x55, 0xB3, 0x3C, 0x7B,
+	0x40, 0x34, 0xA7, 0x85, 0x7B, 0x49, 0x55, 0x35,
+	0xAE, 0xF0, 0x95, 0xC2, 0xA8, 0x01, 0x4B, 0x9A,
+	0x15, 0x56, 0xC3, 0xC2, 0xEF, 0x25, 0x90, 0x10,
+	0x65, 0x85, 0x53, 0x25, 0x56, 0x07, 0xAA, 0x17,
+	0x6A, 0x7A, 0xBD, 0x2A, 0xA5, 0x1A, 0x56, 0x90,
+	0x91, 0xC2, 0xA3, 0x7C, 0xA3, 0x51, 0x6F, 0x26,
+	0x5B, 0x93, 0xBF, 0x39, 0x25, 0xF8, 0x7A, 0x90,
+	0xE7, 0x81, 0x1E, 0xE8, 0x15, 0x51, 0xC3, 0x18,
+	0xB3, 0x68, 0xE0, 0xBF, 0xAC, 0x61, 0x6A, 0x03,
+	0x55, 0x37, 0xF4, 0xC9, 0x03, 0x0A, 0x85, 0x55,
+	0x95, 0xFC, 0x4F, 0x57, 0x77, 0x51, 0xB8, 0xC2,
+	0x30, 0x6F, 0xF1, 0x6A, 0xC3, 0xF1, 0x19, 0xB1,
+	0xC6, 0xB2, 0xFF, 0xB1, 0x6D, 0xEE, 0xA7, 0x4A,
+	0x65, 0x61, 0x2B, 0x60, 0x69, 0x73, 0x3A, 0x64,
+	0x7B, 0x6C, 0x80, 0x25, 0x9F, 0x67, 0x34, 0x58,
+	0x86, 0x40, 0x4E, 0x21, 0x50, 0xBA, 0xD1, 0x96,
+	0x5F, 0xF6, 0x58, 0x00, 0x05, 0x9F, 0x6E, 0x21,
+	0xAA, 0xE1, 0xE6, 0x62, 0x87, 0x11, 0xBA, 0x08,
+	0x71, 0x42, 0xFA, 0xC7, 0x32, 0x80, 0xE1, 0x2B,
+	0xF0, 0x81, 0x62, 0x76, 0xC0, 0xCE, 0xBB, 0xB9,
+	0xA2, 0xBF, 0xF6, 0x93, 0x10, 0x66, 0xA2, 0xC4,
+	0xB4, 0xC2, 0x6C, 0x21, 0x7C, 0x64, 0x9A, 0x5D,
+	0x5D, 0xA5, 0x81, 0x31, 0x51, 0x0C, 0x81, 0x17,
+	0xB3, 0xAD, 0x19, 0x4C, 0x8C, 0xD0, 0x15, 0xFD,
+	0x1C, 0xB1, 0xB5, 0x61, 0x78, 0x5E, 0x89, 0x6F,
+	0x92, 0x20, 0x3D, 0x0D, 0x4B, 0x6F, 0x6E, 0x0A,
+	0x4D, 0x1E, 0xF5, 0x8C, 0x7F, 0x92, 0x5B, 0x6A,
+	0x71, 0xAF, 0x28, 0xE5, 0xC7, 0x38, 0x7A, 0x6A,
+	0x8F, 0x1B, 0x95, 0xF8, 0x5A, 0x48, 0x6F, 0x18,
+	0x67, 0x79, 0x29, 0x14, 0xC2, 0x13, 0x2F, 0x0F,
+	0x7A, 0xAD, 0x9F, 0x20, 0x31, 0x72, 0x1B, 0x0E,
+	0x30, 0x77, 0x6B, 0xAA, 0xB9, 0x0E, 0x4D, 0x97,
+	0x00, 0xD0, 0x74, 0x80, 0x47, 0x80, 0x99, 0x56,
+	0xE5, 0x98, 0x32, 0xB3, 0x57, 0x4C, 0x49, 0x97,
+	0xAC, 0x5C, 0x05, 0xB0, 0x1B, 0x6B, 0x23, 0xFC,
+	0x84, 0xAD, 0xE4, 0x79, 0x54, 0x78, 0xB5, 0x78,
+	0x02, 0x55, 0xB1, 0x4C, 0x7D, 0xD8, 0x18, 0x6A,
+	0x4E, 0x0A, 0x41, 0xCA, 0x39, 0x05, 0xC9, 0x8B,
+	0x38, 0xA0, 0x58, 0x46, 0x93, 0x95, 0x6C, 0xEA,
+	0x87, 0x92, 0x72, 0x54, 0x68, 0x27, 0xCA, 0xA9,
+	0xDB, 0x4B, 0x65, 0xF6, 0x76, 0x58, 0x86, 0x87,
+	0x0B, 0x65, 0xF9, 0x23, 0xF8, 0x32, 0x7C, 0xF0,
+	0x48, 0x82, 0xAE, 0xC3, 0x5D, 0xB9, 0x23, 0xC6,
+	0x5A, 0x99, 0x5E, 0x9C, 0x8C, 0x93, 0x14, 0x34,
+	0x7E, 0xAE, 0x42, 0x2A, 0xC3, 0x37, 0x1D, 0x0F,
+	0x6A, 0x80, 0x56, 0x50, 0x08, 0xE5, 0xA0, 0x1A,
+	0xA5, 0x86, 0x3C, 0xFE, 0x15, 0x3C, 0xC5, 0x45,
+	0xC4, 0xF1, 0x97, 0x03, 0xDE, 0x20, 0x54, 0xFB,
+	0xBA, 0x87, 0x43, 0xB8, 0x31, 0x3E, 0xB5, 0x46,
+	0xBB, 0xE0, 0x96, 0x50, 0x32, 0x1B, 0xD7, 0x45,
+	0x90, 0xEC, 0xA9, 0xC0, 0x8D, 0xC2, 0x3F, 0x24,
+	0xE3, 0xB1, 0xCB, 0xA8, 0x1E, 0x12, 0x31, 0x91,
+	0x72, 0x44, 0xA2, 0xA8, 0xB0, 0x94, 0x6E, 0xC0,
+	0x1C, 0x25, 0x79, 0xB8, 0x2B, 0x34, 0xCD, 0xA6,
+	0x77, 0x2A, 0xC8, 0x7C, 0x95, 0x9E, 0x33, 0x54,
+	0xDB, 0x52, 0x2C, 0x6D, 0xA3, 0x1F, 0x32, 0x32,
+	0x62, 0x2B, 0x80, 0x24, 0x00, 0xF1, 0x8D, 0xFE,
+	0x85, 0x18, 0xB6, 0x2C, 0x10, 0x6E, 0x9A, 0x44,
+	0x53, 0x63, 0x1E, 0xCF, 0x90, 0xC3, 0xF6, 0x05,
+	0xCA, 0x9D, 0xD9, 0x26, 0x7D, 0x99, 0x1B, 0xD1,
+	0x16, 0x62, 0x20, 0x74, 0xCC, 0x5A, 0x6C, 0x36,
+	0xD0, 0xA2, 0x2A, 0xDB, 0x97, 0x19, 0x75, 0x5A,
+	0xBB, 0x53, 0x3B, 0x92, 0x6E, 0x97, 0x94, 0x98,
+	0xB6, 0x81, 0xA1, 0x78, 0x61, 0xCF, 0x26, 0x22,
+	0x15, 0x43, 0xAD, 0xD9, 0xF3, 0x86, 0x0F, 0xF5,
+	0xC9, 0x1C, 0xDA, 0x41, 0xC7, 0x5A, 0xBE, 0xBE,
+	0x4C, 0x5E, 0x36, 0xD4, 0xB9, 0x3B, 0x52, 0x94,
+	0x5D, 0xD4, 0x6B, 0x1F, 0x64, 0xA8, 0x27, 0xB8,
+	0xBE, 0xF5, 0x87, 0xA7, 0x82, 0xAB, 0x0B, 0x19,
+	0xE8, 0xA0, 0x49, 0x18, 0x13, 0x10, 0x85, 0x04,
+	0xB6, 0xC9, 0x6C, 0xC2, 0xE0, 0xA3, 0xFD, 0xDC,
+	0x78, 0x5A, 0xFC, 0x54, 0x93, 0x25, 0xC8, 0x94,
+	0xDC, 0xCA, 0x4D, 0xA9, 0xB7, 0xD3, 0x02, 0xB9,
+	0x18, 0x4C, 0x22, 0x28, 0x85, 0x84, 0xD3, 0x29,
+	0xB5, 0x5B, 0x55, 0x55, 0x66, 0xC1, 0x8A, 0x99,
+	0x55, 0x96, 0x66, 0x66, 0x71, 0x70, 0x31, 0x30,
+	0x5B, 0xB7, 0x52, 0xE8, 0x0C, 0x11, 0x01, 0x44,
+	0x4A, 0x16, 0xF0, 0x33, 0x2E, 0x50, 0xC6, 0x7F,
+	0x72, 0xBB, 0xF0, 0x20, 0x4C, 0x88, 0x69, 0x27,
+	0xE7, 0x98, 0x2C, 0xD5, 0x9B, 0xA8, 0x87, 0xF2,
+	0x82, 0x29, 0x9C, 0x69, 0x6F, 0x34, 0x11, 0xBB,
+	0x31, 0xAA, 0x15, 0x9C, 0xB9, 0xF3, 0xF1, 0x3B,
+	0xA4, 0x3B, 0x55, 0x4D, 0xDB, 0x9D, 0xC3, 0x05,
+	0x86, 0xEB, 0xD0, 0xB1, 0x49, 0xD2, 0xB9, 0x75,
+	0x3B, 0xBA, 0x47, 0x71, 0x5C, 0x0C, 0x07, 0x84,
+	0xEE, 0x7A, 0x63, 0x0B, 0x83, 0x9D, 0x3A, 0x8B,
+	0xC6, 0x07, 0x85, 0x4E, 0x4F, 0x74, 0x16, 0xF8,
+	0xC1, 0x8E, 0x1C, 0x4B, 0x25, 0xB6, 0x38, 0x34,
+	0xE0, 0x99, 0x7D, 0x5B, 0xD7, 0x8F, 0xEA, 0x95,
+	0x17, 0xE2, 0xD1, 0x81, 0x41, 0x09, 0xC0, 0x8C,
+	0x60, 0x4C, 0xBC, 0x49, 0xCA, 0xEC, 0xFC, 0x71,
+	0x6F, 0x90, 0x2F, 0x37, 0xD9, 0x59, 0x4C, 0x35,
+	0x6D, 0xE8, 0x78, 0x3E, 0x18, 0xB4, 0x5E, 0xB6,
+	0x09, 0x39, 0x3F, 0x88, 0x22, 0xB6, 0xB5, 0x33,
+	0x69, 0x22, 0xAA, 0x64, 0x47, 0x99, 0xFB, 0x3A,
+	0x08, 0x92, 0xF1, 0x6F, 0x6E, 0xF3, 0x79, 0xD3,
+	0xD6, 0x4D, 0x71, 0x77, 0x40, 0x70, 0x42, 0x66,
+	0x13, 0x96, 0x49, 0x15, 0x9B, 0x27, 0x4E, 0x04,
+	0xCF, 0xCF, 0xB3, 0x46, 0xC2, 0x77, 0x47, 0x22,
+	0x89, 0x67, 0x49, 0xE6, 0x6C, 0x86, 0x95, 0x4A,
+	0xCC, 0xF8, 0x26, 0x15, 0xB2, 0x36, 0x11, 0xB5,
+	0x5C, 0x61, 0x01, 0x73, 0x0D, 0x62, 0x53, 0xEA,
+	0x6A, 0x53, 0x63, 0xA3, 0x06, 0x16, 0xA2, 0x03,
+	0x23, 0x09, 0xA9, 0x93, 0x34, 0x53, 0x55, 0xD8,
+	0xA4, 0xFE, 0x29, 0x30, 0x43, 0x44, 0xC7, 0xB8,
+	0x19, 0x81, 0xA5, 0x40, 0x07, 0x94, 0xB2, 0xAC,
+	0x51, 0x08, 0x63, 0x91, 0x89, 0x38, 0x02, 0xE4,
+	0x53, 0x7A, 0x6A, 0xC3, 0x14, 0x4A, 0x56, 0x1B,
+	0x80, 0x99, 0x00, 0xD5, 0x93, 0x9F, 0x82, 0x3C,
+	0xB9, 0x21, 0x8B, 0x69, 0x73, 0x50, 0x31, 0xFA,
+	0x04, 0xD6, 0x54, 0x27, 0x68, 0xD2, 0x44, 0x6B,
+	0x54, 0x9D, 0x84, 0xB4, 0x85, 0xE6, 0xEC, 0xB2,
+	0x85, 0x31, 0x13, 0xB7, 0xDB, 0x55, 0xDE, 0x99,
+	0xB5, 0xB8, 0x93, 0xAD, 0x51, 0x16, 0x52, 0x6F,
+	0x33, 0x77, 0xD6, 0x42, 0x61, 0xB4, 0x0C, 0x0B,
+	0xD9, 0x97, 0x66, 0xA5, 0xC9, 0x61, 0x97, 0xEB,
+	0xC5, 0x86, 0xA9, 0x76, 0x1C, 0x2C, 0x63, 0x20,
+	0xC2, 0x90, 0xBF, 0x80, 0xA5, 0x07, 0xA8, 0x45,
+	0xC4, 0x1C, 0x41, 0x1F, 0xF0, 0x75, 0x73, 0x9C,
+	0x91, 0x22, 0x62, 0x4D, 0xAB, 0x39, 0x71, 0xE4,
+	0x01, 0x71, 0x72, 0xC4, 0x37, 0x0B, 0x9C, 0x41,
+	0x2C, 0x8B, 0x7C, 0xD2, 0x59, 0x4B, 0x26, 0x3A,
+	0x59, 0x85, 0x98, 0x30, 0xDF, 0xCA, 0xC5, 0x6D,
+	0xD2, 0x98, 0xA3, 0x91, 0x46, 0x60, 0x82, 0xA4,
+	0x58, 0xF4, 0xAC, 0xDA, 0x22, 0x1B, 0xAC, 0xB1,
+	0x12, 0x94, 0x23, 0x02, 0x27, 0x85, 0x97, 0xC4,
+	0x95, 0x8C, 0x32, 0xAC, 0x92, 0x9B, 0xAC, 0x7D,
+	0x4D, 0xB6, 0xBC, 0x37, 0xC8, 0xAF, 0xC8, 0xA0,
+	0x38, 0x44, 0x61, 0x0F, 0x54, 0xCA, 0x28, 0xCB,
+	0x17, 0xA6, 0xE9, 0xE2, 0x97, 0x09, 0x81, 0x3E,
+	0x65, 0xC7, 0xBB, 0xD7, 0xB2, 0x3C, 0x49, 0xFB,
+	0x1C, 0x3D, 0xEC, 0x5F, 0x3B, 0x97, 0x2B, 0x2F,
+	0x4C, 0x09, 0x2C, 0x05, 0x09, 0x70, 0xDB, 0x6C,
+	0x7C, 0xF5, 0xA3, 0xAA, 0xF9, 0xA9, 0x33, 0x3A,
+	0xA5, 0xFD, 0xC8, 0xDC, 0x47, 0x6A, 0x20, 0xEE,
+	0xD6, 0xE8, 0x36, 0xFD, 0x4B, 0xBC, 0x57, 0x77,
+	0x27, 0xF1, 0xC7, 0x3F, 0xD5, 0x54, 0x61, 0xF2,
+};
+
+uint8_t mlkem_1024_message[] = {
+	0xA9, 0x91, 0x84, 0x52, 0x12, 0x42, 0xC8, 0xF4,
+	0x6C, 0x5D, 0x0F, 0x04, 0xCD, 0x9E, 0x82, 0x14,
+	0x15, 0x74, 0xDA, 0xD5, 0xF9, 0xF4, 0xF5, 0x9A,
+	0x6B, 0x17, 0x9B, 0xF8, 0x54, 0xF8, 0xFA, 0x9C,
+};
+
+uint8_t mlkem_1024_cipher[] = {
+	0xCE, 0xE7, 0x81, 0x3D, 0x95, 0x80, 0x18, 0x33,
+	0x48, 0xC0, 0x05, 0xD1, 0x34, 0x69, 0x8E, 0x0B,
+	0xA9, 0x3E, 0xEC, 0x60, 0xE5, 0xBC, 0x55, 0x3B,
+	0x68, 0x67, 0x72, 0x69, 0x6D, 0xDE, 0xBE, 0x4C,
+	0x08, 0x79, 0xB8, 0x06, 0xD0, 0xE4, 0x26, 0x01,
+	0xD2, 0x71, 0xF0, 0x9B, 0xDE, 0x2D, 0x68, 0x7F,
+	0xA0, 0x8C, 0x46, 0xEF, 0x8E, 0x6E, 0x95, 0x81,
+	0x96, 0x5E, 0x31, 0x61, 0x7F, 0x55, 0x41, 0x7D,
+	0xA6, 0xF3, 0x96, 0xC7, 0xCF, 0x60, 0x98, 0x6D,
+	0x78, 0xFF, 0x5B, 0x9A, 0x1E, 0xF9, 0xB4, 0xD1,
+	0x7F, 0xB2, 0x65, 0xD6, 0x0F, 0x85, 0x01, 0xA5,
+	0x4F, 0xCE, 0x1F, 0x86, 0x8F, 0x51, 0xA9, 0x30,
+	0xA5, 0xD7, 0x9A, 0x35, 0x8D, 0xF6, 0x52, 0xBB,
+	0xFD, 0xC3, 0xBC, 0x1B, 0x35, 0xB3, 0x5C, 0x0F,
+	0x2F, 0x49, 0xC4, 0xA9, 0xD8, 0x8C, 0xBF, 0x29,
+	0x58, 0x88, 0xF5, 0xE7, 0xC5, 0x22, 0xAD, 0x12,
+	0xEF, 0x21, 0x11, 0x6D, 0xBC, 0xB8, 0xA5, 0x72,
+	0x9A, 0xA3, 0x95, 0x5F, 0xEC, 0xDA, 0x9C, 0x1C,
+	0x72, 0x77, 0xD8, 0x5F, 0x36, 0xD6, 0x63, 0xC3,
+	0x2D, 0x05, 0xAB, 0xCC, 0x4F, 0x96, 0xD5, 0xEE,
+	0x49, 0x6B, 0x6A, 0x16, 0xBC, 0x4E, 0x45, 0x18,
+	0xF8, 0xC1, 0x50, 0xA3, 0x73, 0x6F, 0xF3, 0xAF,
+	0x7E, 0x61, 0xCB, 0xAB, 0xA2, 0x51, 0x28, 0x9C,
+	0xDD, 0xE8, 0x63, 0xCA, 0xEA, 0x91, 0x8E, 0x6D,
+	0xCE, 0xC9, 0xAD, 0xF9, 0xCF, 0x48, 0xEA, 0x47,
+	0x5B, 0x69, 0x20, 0x85, 0x25, 0x17, 0x84, 0xDB,
+	0xCE, 0xF7, 0x4B, 0x83, 0x74, 0x6B, 0xDC, 0x24,
+	0x8A, 0xE7, 0xA7, 0x5C, 0xF5, 0xA9, 0x23, 0x6E,
+	0x02, 0xE0, 0x3C, 0x30, 0xCE, 0x7B, 0xBE, 0xFD,
+	0xCF, 0x05, 0x92, 0x97, 0xB6, 0x31, 0x06, 0x37,
+	0x39, 0xF1, 0xA2, 0x4B, 0x2B, 0x7C, 0xD6, 0x5D,
+	0x29, 0x7D, 0x31, 0x36, 0x12, 0xB1, 0xE9, 0xD6,
+	0xB0, 0x2C, 0x18, 0xFF, 0x23, 0x14, 0xC3, 0x82,
+	0xF4, 0x1F, 0x7D, 0x99, 0xFC, 0xBB, 0x14, 0x09,
+	0xDA, 0xAD, 0xFB, 0x28, 0x4D, 0xFC, 0xF9, 0x40,
+	0xFA, 0x20, 0x27, 0xF6, 0xA6, 0x48, 0xFA, 0x9D,
+	0x5E, 0x23, 0x49, 0x34, 0x44, 0x4C, 0x06, 0xB5,
+	0x32, 0x0C, 0xAF, 0xA3, 0xFB, 0x03, 0xC1, 0x8E,
+	0x1B, 0x08, 0x19, 0x25, 0x31, 0xAD, 0x85, 0x99,
+	0x51, 0x9E, 0xCC, 0x0B, 0xB0, 0x12, 0xC5, 0x65,
+	0xBD, 0x4A, 0xB5, 0x4B, 0xF4, 0xFC, 0x0D, 0xE8,
+	0xE7, 0xD6, 0xEB, 0x19, 0x02, 0xA3, 0xD5, 0x80,
+	0x3A, 0x3D, 0x35, 0x2D, 0x30, 0xD0, 0xDA, 0x1B,
+	0xCF, 0x89, 0x32, 0xC7, 0xAA, 0xD3, 0x53, 0xE8,
+	0x6B, 0x32, 0xB0, 0xC6, 0xC0, 0x16, 0xC8, 0x3C,
+	0x33, 0x40, 0x0C, 0x32, 0x6A, 0xA3, 0x1A, 0xF6,
+	0x71, 0xB2, 0xA5, 0x02, 0xC9, 0x83, 0x2D, 0xB4,
+	0xE9, 0xCA, 0x3F, 0xA8, 0xA5, 0xE8, 0xAF, 0xEF,
+	0x49, 0x30, 0x9E, 0x2D, 0xA4, 0xF6, 0x20, 0x22,
+	0xA9, 0xF4, 0x2A, 0xF2, 0xD9, 0x48, 0xC3, 0x63,
+	0x96, 0x73, 0x09, 0xE2, 0x36, 0x5C, 0x35, 0x41,
+	0xA0, 0xB6, 0xEB, 0x94, 0xE5, 0x6C, 0xDE, 0xFF,
+	0x07, 0x46, 0x90, 0x31, 0xB8, 0x9E, 0xCD, 0xA1,
+	0xB4, 0x89, 0x56, 0xFF, 0x63, 0x45, 0x77, 0x7A,
+	0xCA, 0xA4, 0x73, 0xA3, 0x94, 0xB4, 0xA9, 0x74,
+	0xC2, 0x7E, 0x3D, 0x8F, 0xC5, 0x2E, 0xC9, 0xB4,
+	0x6F, 0x73, 0x40, 0x81, 0xDB, 0xE5, 0xB8, 0xE2,
+	0x09, 0x34, 0xF5, 0x59, 0xAC, 0x0E, 0xB9, 0xEE,
+	0xC2, 0x6F, 0x50, 0xA0, 0x13, 0xB2, 0xBF, 0x87,
+	0xE7, 0x2C, 0x58, 0xC7, 0x78, 0xB0, 0xB9, 0xDE,
+	0xC6, 0xA0, 0x06, 0xB4, 0x64, 0x5F, 0x37, 0x4A,
+	0x64, 0x93, 0xF4, 0x3D, 0x28, 0xF5, 0x2B, 0x93,
+	0x7D, 0xF5, 0xCB, 0x5F, 0x15, 0x90, 0x3A, 0x47,
+	0xE6, 0x4D, 0xC4, 0x06, 0x63, 0xFD, 0x3E, 0x3D,
+	0xC9, 0xFE, 0x55, 0xBF, 0xD1, 0x6F, 0xAF, 0x63,
+	0x38, 0x17, 0x01, 0x71, 0xD8, 0xD0, 0x83, 0x20,
+	0xD2, 0xA1, 0x54, 0x89, 0xA4, 0x46, 0xA7, 0x93,
+	0x47, 0xD3, 0xBD, 0x3C, 0xC3, 0xBB, 0x94, 0x41,
+	0x88, 0x41, 0xEF, 0xA5, 0x63, 0x75, 0xAF, 0x65,
+	0x20, 0x80, 0xFA, 0x9B, 0xEB, 0xFD, 0x02, 0xA4,
+	0xB1, 0xF6, 0x40, 0x5A, 0x26, 0xAF, 0xE6, 0xB2,
+	0x17, 0x52, 0x2A, 0x4D, 0xB8, 0x5D, 0xC3, 0x5D,
+	0x02, 0x8B, 0xB2, 0x6D, 0xAC, 0xB6, 0x50, 0x97,
+	0xD9, 0xA7, 0x57, 0xE8, 0x80, 0x64, 0x38, 0xD0,
+	0x70, 0xAC, 0x5F, 0xC0, 0x85, 0x6A, 0xA8, 0x00,
+	0xDB, 0xBE, 0xE7, 0x6D, 0x2F, 0xB7, 0x70, 0x62,
+	0x32, 0xF5, 0xFB, 0x54, 0xF6, 0xE4, 0x87, 0x9F,
+	0x86, 0x0B, 0xAC, 0x1D, 0xC5, 0x51, 0xCE, 0xCA,
+	0xC0, 0xED, 0xB3, 0xDA, 0xBA, 0xCE, 0x4F, 0x62,
+	0xAD, 0x7C, 0x08, 0x09, 0xC6, 0xD1, 0x34, 0x8F,
+	0xC8, 0xD0, 0x60, 0x95, 0xE9, 0xA5, 0xB7, 0x79,
+	0xFC, 0x4F, 0xF8, 0x73, 0x30, 0xCB, 0x03, 0x93,
+	0xE5, 0x15, 0x43, 0x14, 0x32, 0xA4, 0x87, 0xEF,
+	0x07, 0xCF, 0x28, 0x68, 0x77, 0xB5, 0x52, 0x9F,
+	0x71, 0xC0, 0x45, 0x62, 0x0B, 0x4C, 0x98, 0x3F,
+	0xC2, 0x88, 0x50, 0xF1, 0x2B, 0xB5, 0xC5, 0x46,
+	0xA9, 0x61, 0x26, 0x34, 0xCC, 0xE5, 0xA8, 0x59,
+	0xFA, 0x07, 0xFE, 0x36, 0x79, 0x71, 0x05, 0xC3,
+	0xFB, 0xB2, 0x0C, 0xEA, 0xB6, 0x26, 0x82, 0xF6,
+	0xD2, 0x6C, 0x0D, 0xDA, 0x70, 0x98, 0xF2, 0xD6,
+	0x0F, 0x4B, 0xA2, 0xBB, 0xB8, 0xD2, 0x09, 0x1B,
+	0x76, 0x19, 0x40, 0x6C, 0x3F, 0xAF, 0x68, 0x3B,
+	0xF3, 0x3A, 0x5E, 0x47, 0x7B, 0xE2, 0xE1, 0x42,
+	0xE6, 0xE2, 0x40, 0xEA, 0x74, 0xCE, 0xA6, 0xFD,
+	0x9E, 0x6C, 0x07, 0x0C, 0xB5, 0x85, 0xA5, 0xB3,
+	0xF5, 0xF5, 0xCB, 0xF5, 0xAF, 0x4C, 0xC7, 0x87,
+	0xE4, 0xCE, 0x5B, 0x86, 0x15, 0xEA, 0x0C, 0x3F,
+	0x0F, 0xFB, 0xEA, 0xF7, 0x25, 0xA5, 0xCF, 0x6C,
+	0x31, 0x25, 0xE7, 0xE7, 0x43, 0x63, 0x75, 0xAD,
+	0xF9, 0x18, 0x68, 0x5F, 0x6A, 0x25, 0x58, 0xB8,
+	0xB1, 0x19, 0x8A, 0x81, 0x84, 0x5F, 0xCC, 0x73,
+	0x57, 0x36, 0x39, 0x89, 0x03, 0x2E, 0x62, 0x4A,
+	0x28, 0x43, 0x04, 0xF4, 0xEB, 0x2A, 0x18, 0xF9,
+	0x76, 0x0F, 0x49, 0x43, 0x8E, 0x8A, 0x6D, 0xCA,
+	0x48, 0x24, 0x34, 0xDE, 0x0F, 0xAF, 0x89, 0x57,
+	0x66, 0xC7, 0x1D, 0x1D, 0x16, 0xB3, 0x5C, 0x11,
+	0x91, 0xC6, 0xDF, 0x3B, 0xCF, 0x7D, 0x1A, 0x7D,
+	0x1B, 0x64, 0xFD, 0xDF, 0xB9, 0x8B, 0xB9, 0xE2,
+	0x77, 0x73, 0x48, 0x74, 0x5D, 0x29, 0x18, 0xED,
+	0xCA, 0xF4, 0x67, 0x47, 0xF2, 0x75, 0x08, 0xAA,
+	0xE0, 0xAD, 0x66, 0x03, 0x8C, 0xCB, 0x8A, 0x9C,
+	0x4D, 0xF5, 0x61, 0x32, 0xB4, 0xDE, 0xB2, 0x2E,
+	0x16, 0x75, 0x38, 0x18, 0x28, 0x9D, 0x90, 0x14,
+	0xDF, 0x8B, 0x6C, 0xC1, 0xE6, 0x4E, 0x64, 0x80,
+	0x59, 0x47, 0x0E, 0x10, 0xC8, 0xB3, 0x91, 0xC7,
+	0x78, 0x03, 0xF5, 0x96, 0xBC, 0xDE, 0xA4, 0x11,
+	0xD2, 0x4D, 0xFD, 0x67, 0x0A, 0x7D, 0x54, 0x51,
+	0x12, 0x99, 0x38, 0x61, 0xC5, 0xED, 0x45, 0x35,
+	0x35, 0x81, 0xFB, 0xF6, 0xC5, 0xB7, 0x26, 0x0A,
+	0x69, 0x79, 0xCC, 0x1D, 0x89, 0xA6, 0xB5, 0x22,
+	0xB3, 0x4B, 0x88, 0x63, 0x63, 0xBA, 0x9B, 0x34,
+	0x16, 0x02, 0xA0, 0x3C, 0x7B, 0x00, 0x1E, 0xBC,
+	0x1B, 0x81, 0xD9, 0x47, 0x32, 0x5E, 0x96, 0x8D,
+	0x27, 0x56, 0xFF, 0xF0, 0x43, 0xD2, 0x48, 0xDB,
+	0xAE, 0x71, 0x22, 0x0C, 0xC7, 0x4B, 0xE4, 0xFA,
+	0x51, 0xE4, 0x57, 0x20, 0xBC, 0x36, 0x2A, 0xE1,
+	0x34, 0x26, 0x05, 0x15, 0x8E, 0x11, 0x51, 0x93,
+	0x58, 0xFD, 0xF2, 0x6E, 0xEA, 0xEA, 0x04, 0x26,
+	0x3E, 0x6D, 0xC8, 0xF1, 0x5B, 0x45, 0x1D, 0x59,
+	0x4F, 0xAE, 0x82, 0xE9, 0xDE, 0x31, 0x20, 0x7E,
+	0x13, 0x71, 0xB9, 0xAF, 0xDE, 0xE6, 0xA7, 0x41,
+	0x30, 0xA0, 0x2B, 0xF4, 0x21, 0x5E, 0x0F, 0x84,
+	0x67, 0x68, 0x9F, 0x26, 0x8E, 0xD4, 0x8F, 0x01,
+	0x36, 0xA7, 0x9D, 0xCF, 0x5C, 0xC1, 0x2D, 0xC7,
+	0x19, 0xEF, 0x71, 0xB2, 0xC9, 0xDF, 0x92, 0xD7,
+	0xD6, 0x04, 0x09, 0x0F, 0xA1, 0x55, 0xB5, 0x84,
+	0xFE, 0x15, 0xF5, 0x2C, 0xCC, 0xBF, 0xD5, 0xAB,
+	0x02, 0x95, 0xA6, 0x6A, 0xE7, 0x63, 0x92, 0x77,
+	0x84, 0x97, 0x60, 0xD3, 0xE7, 0xE4, 0x42, 0x7D,
+	0x1D, 0x48, 0xF9, 0x0F, 0x5D, 0xEF, 0x7F, 0x2F,
+	0x60, 0xD7, 0x98, 0xD4, 0xDD, 0x62, 0x5B, 0xFE,
+	0x84, 0x15, 0x3F, 0xCC, 0xA9, 0xCF, 0xA3, 0x93,
+	0x2B, 0xD3, 0x01, 0xD7, 0x2D, 0xDF, 0x53, 0x45,
+	0x86, 0x04, 0x1F, 0xD3, 0xE7, 0xBE, 0xCF, 0x0B,
+	0x75, 0xE2, 0xE0, 0x99, 0xD6, 0x30, 0xE1, 0x7B,
+	0x88, 0x51, 0xAC, 0x4A, 0x22, 0xC1, 0x7E, 0x76,
+	0xBA, 0x43, 0x04, 0xA6, 0x19, 0x65, 0xAA, 0xAF,
+	0xC2, 0x42, 0x8A, 0x9F, 0x70, 0xF5, 0x05, 0x68,
+	0x3C, 0xCD, 0x47, 0x07, 0xDA, 0xBE, 0xF0, 0xCE,
+	0x63, 0xD6, 0xC1, 0xC8, 0xFB, 0x21, 0xB8, 0x5B,
+	0x05, 0xEB, 0x49, 0x62, 0x4D, 0x24, 0x97, 0xEA,
+	0xE8, 0x32, 0xBB, 0xE8, 0xB7, 0xE9, 0x8F, 0xA1,
+	0xB1, 0xA9, 0xC6, 0xD9, 0x10, 0x85, 0x6A, 0xD9,
+	0xE7, 0x0D, 0xCD, 0x2B, 0x7D, 0xB4, 0xDB, 0xBE,
+	0xB9, 0xA4, 0xF5, 0xB0, 0x89, 0x63, 0x70, 0xE1,
+	0xF3, 0xA1, 0x65, 0x51, 0x13, 0x41, 0xE1, 0x82,
+	0xE2, 0x3B, 0x1F, 0x64, 0x18, 0x25, 0xA7, 0xBA,
+	0x48, 0x8C, 0x66, 0x1E, 0xD7, 0xEE, 0x10, 0xE1,
+	0x09, 0x43, 0x6E, 0x89, 0x13, 0xB6, 0x09, 0x66,
+	0xA4, 0xE1, 0xD2, 0x76, 0xF9, 0x15, 0xD8, 0xB8,
+	0x9A, 0x0F, 0xE2, 0x21, 0xFF, 0xE1, 0xF6, 0xE1,
+	0x48, 0x38, 0x8D, 0xBA, 0xC3, 0x33, 0x28, 0xBD,
+	0x44, 0x7A, 0x27, 0xC5, 0x24, 0x4A, 0xE2, 0x33,
+	0x3C, 0x49, 0xDB, 0x41, 0x13, 0xBB, 0x57, 0x31,
+	0x79, 0xD1, 0x19, 0x3C, 0xAA, 0xAF, 0x4E, 0x8C,
+	0x2C, 0xA1, 0x49, 0x41, 0x00, 0x74, 0x88, 0xAA,
+	0xB0, 0x36, 0xC4, 0x80, 0x8C, 0x39, 0x76, 0xAB,
+	0xD1, 0xCC, 0x85, 0xBA, 0x9A, 0x62, 0x5C, 0xD1,
+	0x83, 0x12, 0x08, 0xAE, 0x0F, 0xDB, 0xB9, 0x84,
+	0x9F, 0xD0, 0x87, 0x84, 0x85, 0xD4, 0x2F, 0x41,
+	0x22, 0xA8, 0x3D, 0x00, 0x91, 0xB6, 0xF6, 0xFC,
+	0xBC, 0x6B, 0x57, 0x65, 0xF0, 0x68, 0xFA, 0x8A,
+	0x30, 0x98, 0xC5, 0x0F, 0x72, 0x11, 0xE3, 0x32,
+	0xED, 0x27, 0xE0, 0x15, 0x68, 0x8C, 0xB5, 0x76,
+	0xB4, 0x73, 0x32, 0xC8, 0xE8, 0x80, 0x4E, 0xA7,
+	0x69, 0x79, 0x97, 0xCA, 0x7E, 0x4C, 0x9B, 0x08,
+	0x55, 0x99, 0x65, 0xE0, 0xAC, 0xEC, 0x41, 0xDD,
+	0xAB, 0x5E, 0xAC, 0x82, 0x9D, 0xFF, 0xBA, 0x54,
+	0x16, 0x39, 0x18, 0xB1, 0x43, 0x8E, 0x9E, 0xCC,
+	0xEE, 0x0E, 0x7C, 0xA0, 0xC3, 0xA9, 0x7B, 0x9A,
+	0x35, 0x1D, 0x70, 0x9E, 0x35, 0x9C, 0x27, 0xB6,
+	0x1C, 0x17, 0x62, 0xC6, 0x60, 0xF3, 0xA9, 0x64,
+	0xC1, 0xAF, 0xC9, 0xEF, 0x5C, 0x57, 0x17, 0x88,
+	0xE4, 0x66, 0x8B, 0xFD, 0xF4, 0xBB, 0xFA, 0x64,
+	0xC5, 0x57, 0x3B, 0x21, 0xF9, 0xFE, 0x5E, 0x7E,
+	0xB5, 0x95, 0x58, 0xF7, 0xB8, 0xF2, 0xAA, 0x64,
+	0xF4, 0xDF, 0x72, 0xEE, 0x93, 0xFE, 0x89, 0xEA,
+	0xCD, 0xBB, 0xF7, 0xBE, 0x21, 0x12, 0xC1, 0x0F,
+	0x6A, 0x5E, 0x01, 0x04, 0x46, 0x26, 0x5A, 0xC0,
+	0x51, 0x48, 0xB6, 0x48, 0x55, 0xB8, 0x11, 0x81,
+	0x24, 0xA2, 0x78, 0x61, 0xB3, 0xBB, 0x8F, 0xE3,
+	0x56, 0xB2, 0x6B, 0xE0, 0x51, 0x32, 0x78, 0x4D,
+	0xDF, 0x9A, 0xE6, 0x09, 0x85, 0x3C, 0xB2, 0xC2,
+	0x52, 0x7A, 0xD7, 0x21, 0x29, 0x00, 0xEB, 0x63,
+	0x22, 0x25, 0xC4, 0x59, 0xFF, 0xD0, 0xCC, 0x3C,
+	0xB3, 0x89, 0x73, 0xBA, 0x02, 0x76, 0x64, 0x24,
+};
+
+uint8_t mlkem_1024_sk[] = {
+	0x14, 0x0F, 0x5E, 0x1F, 0x11, 0x85, 0x16, 0x26,
+	0xE4, 0x65, 0x6C, 0x09, 0x7C, 0xE1, 0x9A, 0x32,
+	0x28, 0x4E, 0x31, 0x64, 0x58, 0xA5, 0xE6, 0x90,
+	0xDD, 0x06, 0xD9, 0x38, 0x10, 0x34, 0xC6, 0xB4,
+};
+
 struct
 cperf_rsa_test_data rsa_qt_perf_data[4] = {
 	{
@@ -6841,6 +8259,54 @@ struct cperf_mlkem_test_data mlkem_encap_perf_data[] = {
 			.length = sizeof(mlkem_512_sk),
 		},
 	},
+	{
+		.name = "mlkem_768_encap (deterministic)",
+		.type = RTE_CRYPTO_ML_KEM_768,
+		.dk = {
+			.data = mlkem_768_dk,
+			.length = sizeof(mlkem_768_dk),
+		},
+		.ek = {
+			.data = mlkem_768_ek,
+			.length = sizeof(mlkem_768_ek),
+		},
+		.message = {
+			.data = mlkem_768_message,
+			.length = sizeof(mlkem_768_message),
+		},
+		.cipher = {
+			.data = mlkem_768_cipher,
+			.length = sizeof(mlkem_768_cipher),
+		},
+		.sk = {
+			.data = mlkem_768_sk,
+			.length = sizeof(mlkem_768_sk),
+		},
+	},
+	{
+		.name = "mlkem_1024_encap (deterministic)",
+		.type = RTE_CRYPTO_ML_KEM_1024,
+		.dk = {
+			.data = mlkem_1024_dk,
+			.length = sizeof(mlkem_1024_dk),
+		},
+		.ek = {
+			.data = mlkem_1024_ek,
+			.length = sizeof(mlkem_1024_ek),
+		},
+		.message = {
+			.data = mlkem_1024_message,
+			.length = sizeof(mlkem_1024_message),
+		},
+		.cipher = {
+			.data = mlkem_1024_cipher,
+			.length = sizeof(mlkem_1024_cipher),
+		},
+		.sk = {
+			.data = mlkem_1024_sk,
+			.length = sizeof(mlkem_1024_sk),
+		},
+	},
 };
 
 struct cperf_mlkem_test_data  mlkem_decap_perf_data[] = {
@@ -6859,7 +8325,39 @@ struct cperf_mlkem_test_data  mlkem_decap_perf_data[] = {
 			.data = mlkem_512_sk,
 			.length = sizeof(mlkem_512_sk),
 		},
-	}
+	},
+	{
+		.name = "mlkem_768_decap",
+		.type = RTE_CRYPTO_ML_KEM_768,
+		.cipher = {
+			.data = mlkem_768_cipher,
+			.length = sizeof(mlkem_768_cipher),
+		},
+		.dk = {
+			.data = mlkem_768_dk,
+			.length = sizeof(mlkem_768_dk),
+		},
+		.sk = {
+			.data = mlkem_768_sk,
+			.length = sizeof(mlkem_768_sk),
+		},
+	},
+	{
+		.name = "mlkem_1024_decap",
+		.type = RTE_CRYPTO_ML_KEM_1024,
+		.cipher = {
+			.data = mlkem_1024_cipher,
+			.length = sizeof(mlkem_1024_cipher),
+		},
+		.dk = {
+			.data = mlkem_1024_dk,
+			.length = sizeof(mlkem_1024_dk),
+		},
+		.sk = {
+			.data = mlkem_1024_sk,
+			.length = sizeof(mlkem_1024_sk),
+		},
+	},
 };
 
 struct cperf_mldsa_test_data mldsa_sign_perf_data[] = {
diff --git a/app/test-crypto-perf/cperf_test_vectors.h b/app/test-crypto-perf/cperf_test_vectors.h
index 1fa15b87ae..1ca003b986 100644
--- a/app/test-crypto-perf/cperf_test_vectors.h
+++ b/app/test-crypto-perf/cperf_test_vectors.h
@@ -248,8 +248,8 @@ extern struct cperf_rsa_test_data rsa_pub_perf_data[4];
 extern struct cperf_rsa_test_data rsa_exp_perf_data[4];
 extern struct cperf_rsa_test_data rsa_qt_perf_data[4];
 extern struct cperf_rsa_plaintext rsa_plaintext;
-extern struct cperf_mlkem_test_data mlkem_encap_perf_data[];
-extern struct cperf_mlkem_test_data mlkem_decap_perf_data[];
+extern struct cperf_mlkem_test_data mlkem_encap_perf_data[3];
+extern struct cperf_mlkem_test_data mlkem_decap_perf_data[3];
 extern struct cperf_mldsa_test_data mldsa_sign_perf_data[];
 extern struct cperf_mldsa_test_data mldsa_verify_perf_data[];
 extern struct cperf_mldsa_test_data mldsa_sign_perf_data_1_iter[];
diff --git a/app/test-crypto-perf/main.c b/app/test-crypto-perf/main.c
index 7116c895a9..4fc72765d8 100644
--- a/app/test-crypto-perf/main.c
+++ b/app/test-crypto-perf/main.c
@@ -55,6 +55,8 @@ const char *cperf_op_type_strs[] = {
 	[CPERF_ASYM_SM2] = "sm2",
 	[CPERF_TLS] = "tls-record",
 	[CPERF_ASYM_MLKEM512] = "mlkem_512",
+	[CPERF_ASYM_MLKEM768] = "mlkem_768",
+	[CPERF_ASYM_MLKEM1024] = "mlkem_1024",
 	[CPERF_ASYM_MLDSA44] = "mldsa_44",
 };
 
@@ -248,6 +250,8 @@ cperf_initialize_cryptodev(struct cperf_options *opts, uint8_t *enabled_cdevs)
 		case CPERF_ASYM_SM2:
 		case CPERF_ASYM_RSA:
 		case CPERF_ASYM_MLKEM512:
+		case CPERF_ASYM_MLKEM768:
+		case CPERF_ASYM_MLKEM1024:
 		case CPERF_ASYM_MLDSA44:
 		case CPERF_ASYM_MODEX:
 			conf.ff_disable |= (RTE_CRYPTODEV_FF_SECURITY |
@@ -547,21 +551,31 @@ cperf_verify_devices_capabilities(struct cperf_options *opts,
 			}
 		}
 
-		if (opts->op_type == CPERF_ASYM_MLKEM512) {
+		if (opts->op_type == CPERF_ASYM_MLKEM512 ||
+			opts->op_type == CPERF_ASYM_MLKEM768 ||
+			opts->op_type == CPERF_ASYM_MLKEM1024) {
+			uint8_t index = 0;
+
 			asym_cap_idx.type = RTE_CRYPTO_ASYM_XFORM_ML_KEM;
 			asym_capability = rte_cryptodev_asym_capability_get(cdev_id, &asym_cap_idx);
 			if (asym_capability == NULL)
 				return -1;
 
+			if (opts->op_type == CPERF_ASYM_MLKEM512)
+				index = 0;
+			else if (opts->op_type == CPERF_ASYM_MLKEM768)
+				index = 1;
+			else if (opts->op_type == CPERF_ASYM_MLKEM1024)
+				index = 2;
+
 			if (opts->asym_op_type == RTE_CRYPTO_ASYM_OP_ENCRYPT)
-				opts->mlkem_data = &mlkem_encap_perf_data[0];
+				opts->mlkem_data = &mlkem_encap_perf_data[index];
 			else if (opts->asym_op_type == RTE_CRYPTO_ASYM_OP_DECRYPT)
-				opts->mlkem_data = &mlkem_decap_perf_data[0];
+				opts->mlkem_data = &mlkem_decap_perf_data[index];
 			else {
 				RTE_LOG(ERR, USER1, "Unsupported MLKEM operation type\n");
 				return -ENOTSUP;
 			}
-
 		}
 
 		if (opts->op_type == CPERF_AUTH_ONLY ||
-- 
2.43.0