[PATCH 10/10] app/test: add RSA-PSS sign and verify test cases
Sucharitha Sarananaga
ssarananaga at marvell.com
Mon Aug 31 12:23:28 CEST 2026
Add OpenSSL asymmetric tests for RSA-PSS sign and verify
operations using SHA-256 with different salt length settings.
Introduce test vectors covering digest-length salt, maximum
supported salt length, and zero-length salt. Update the
OpenSSL asym test suite to validate RSA-PSS functionality
when supported by the device capabilities.
Signed-off-by: Sucharitha Sarananaga <ssarananaga at marvell.com>
---
app/test/test_cryptodev_asym.c | 307 +++++++++++++++++++++
app/test/test_cryptodev_rsa_test_vectors.h | 163 +++++++++++
2 files changed, 470 insertions(+)
diff --git a/app/test/test_cryptodev_asym.c b/app/test/test_cryptodev_asym.c
index ceae029a4a..718b06aefa 100644
--- a/app/test/test_cryptodev_asym.c
+++ b/app/test/test_cryptodev_asym.c
@@ -606,6 +606,307 @@ test_rsa_oaep_labeled_default_mgf1_enc_dec_crt(void)
return status;
}
+/*
+ * Check that the device supports RSA-PSS padding, the hash used for
+ * the signature digest, and, if explicitly set, the MGF1 hash (this
+ * PMD defaults MGF1 to the same hash as the digest when unset).
+ */
+static int
+rsa_pss_supported(uint8_t dev_id, const struct rte_crypto_rsa_padding *padding)
+{
+ struct rte_cryptodev_asym_capability_idx idx = {
+ .type = RTE_CRYPTO_ASYM_XFORM_RSA,
+ };
+ const struct rte_cryptodev_asymmetric_xform_capability *capa;
+
+ capa = rte_cryptodev_asym_capability_get(dev_id, &idx);
+ if (capa == NULL) {
+ RTE_LOG(INFO, USER1, "RSA capability not reported by device\n");
+ return 0;
+ }
+
+ if (capa->rsa_capa.pad_types != 0 &&
+ (capa->rsa_capa.pad_types & (1 << RTE_CRYPTO_RSA_PADDING_PSS)) == 0) {
+ RTE_LOG(INFO, USER1,
+ "RSA PSS padding not supported by device. Supported pad_types=%#x\n",
+ capa->rsa_capa.pad_types);
+ return 0;
+ }
+
+ if (!rte_cryptodev_asym_xform_capability_check_hash(capa, padding->hash)) {
+ RTE_LOG(INFO, USER1,
+ "RSA PSS hash %u not supported by device capabilities "
+ "(supported hash_algos=%#"PRIx64")\n",
+ padding->hash, capa->hash_algos);
+ return 0;
+ }
+
+ if (padding->mgf1hash != 0 &&
+ (capa->rsa_capa.mgf1_hash_algos & RTE_BIT64(padding->mgf1hash)) == 0) {
+ RTE_LOG(INFO, USER1,
+ "RSA PSS MGF1 hash %u not supported by device capabilities "
+ "(supported mgf1_hash_algos=%#"PRIx64")\n",
+ padding->mgf1hash, capa->rsa_capa.mgf1_hash_algos);
+ return 0;
+ }
+
+ return 1;
+}
+
+/*
+ * Sign then verify the freshly-generated signature. Unlike
+ * queue_ops_rsa_sign_verify(), this does not include a
+ * corrupted-signature negative test: RSA-PSS verification does not
+ * support verify-recover, and mismatches are reported via op->status.
+ */
+static int
+queue_ops_rsa_pss_sign_verify(void *sess)
+{
+ struct crypto_testsuite_params_asym *ts_params = &testsuite_params;
+ struct rte_mempool *op_mpool = ts_params->op_mpool;
+ uint8_t dev_id = ts_params->valid_devs[0];
+ struct rte_crypto_op *op, *result_op;
+ struct rte_crypto_asym_op *asym_op;
+ uint8_t output_buf[TEST_DATA_SIZE];
+ int status;
+
+ /* Set up crypto op data structure */
+ op = rte_crypto_op_alloc(op_mpool, RTE_CRYPTO_OP_TYPE_ASYMMETRIC);
+ if (!op) {
+ RTE_LOG(ERR, USER1, "Failed to allocate asymmetric crypto "
+ "operation struct\n");
+ return TEST_FAILED;
+ }
+
+ asym_op = op->asym;
+
+ /* Compute sign on the test vector */
+ asym_op->rsa.op_type = RTE_CRYPTO_ASYM_OP_SIGN;
+
+ /*
+ * RTE_CRYPTO_RSA_PADDING_PSS expects message to already be a
+ * digest hashed with the algorithm configured in the session's
+ * padding.hash (SHA-256 here), not the raw plaintext.
+ */
+ asym_op->rsa.message.data = rsa_pss_digest_sha256.data;
+ asym_op->rsa.message.length = rsa_pss_digest_sha256.len;
+ asym_op->rsa.sign.length = RTE_DIM(rsa_n);
+ asym_op->rsa.sign.data = output_buf;
+
+ debug_hexdump(stdout, "digest", asym_op->rsa.message.data,
+ asym_op->rsa.message.length);
+
+ /* Attach asymmetric crypto session to crypto operations */
+ rte_crypto_op_attach_asym_session(op, sess);
+
+ RTE_LOG(DEBUG, USER1, "Process ASYM operation\n");
+
+ /* Process crypto operation */
+ if (rte_cryptodev_enqueue_burst(dev_id, 0, &op, 1) != 1) {
+ RTE_LOG(ERR, USER1, "Error sending packet for sign\n");
+ status = TEST_FAILED;
+ goto error_exit;
+ }
+
+ while (rte_cryptodev_dequeue_burst(dev_id, 0, &result_op, 1) == 0)
+ rte_pause();
+
+ if (result_op == NULL) {
+ RTE_LOG(ERR, USER1, "Failed to process sign op\n");
+ status = TEST_FAILED;
+ goto error_exit;
+ }
+
+ if (result_op->status != RTE_CRYPTO_OP_STATUS_SUCCESS) {
+ RTE_LOG(ERR, USER1, "Failed to process PSS sign op\n");
+ status = TEST_FAILED;
+ goto error_exit;
+ }
+
+ debug_hexdump(stdout, "signed message", asym_op->rsa.sign.data,
+ asym_op->rsa.sign.length);
+ asym_op = result_op->asym;
+
+ /* Verify sign */
+ asym_op->rsa.op_type = RTE_CRYPTO_ASYM_OP_VERIFY;
+
+ /* Process crypto operation */
+ if (rte_cryptodev_enqueue_burst(dev_id, 0, &op, 1) != 1) {
+ RTE_LOG(ERR, USER1, "Error sending packet for verify\n");
+ status = TEST_FAILED;
+ goto error_exit;
+ }
+
+ while (rte_cryptodev_dequeue_burst(dev_id, 0, &result_op, 1) == 0)
+ rte_pause();
+
+ if (result_op == NULL) {
+ RTE_LOG(ERR, USER1, "Failed to process verify op\n");
+ status = TEST_FAILED;
+ goto error_exit;
+ }
+
+ if (result_op->status != RTE_CRYPTO_OP_STATUS_SUCCESS) {
+ RTE_LOG(ERR, USER1, "Failed to process PSS sign-verify op\n");
+ status = TEST_FAILED;
+ goto error_exit;
+ }
+
+ status = TEST_SUCCESS;
+error_exit:
+
+ rte_crypto_op_free(op);
+
+ return status;
+}
+
+static int
+test_rsa_pss_sign_verify_digest_saltlen(void)
+{
+ struct crypto_testsuite_params_asym *ts_params = &testsuite_params;
+ struct rte_mempool *sess_mpool = ts_params->session_mpool;
+ struct rte_cryptodev_asym_capability_idx idx;
+ uint8_t dev_id = ts_params->valid_devs[0];
+ struct rte_crypto_asym_xform xform;
+ void *sess = NULL;
+ struct rte_cryptodev_info dev_info;
+ int ret, status = TEST_SUCCESS;
+
+ idx.type = RTE_CRYPTO_ASYM_XFORM_RSA;
+ if (rte_cryptodev_asym_capability_get(dev_id, &idx) == NULL)
+ return -ENOTSUP;
+
+ if (!rsa_pss_supported(dev_id, &rsa_pss_xform.rsa.padding)) {
+ RTE_LOG(INFO, USER1, "RSA PSS not supported. Test skipped\n");
+ return TEST_SKIPPED;
+ }
+
+ rte_cryptodev_info_get(dev_id, &dev_info);
+ if (!(dev_info.feature_flags &
+ RTE_CRYPTODEV_FF_RSA_PRIV_OP_KEY_EXP)) {
+ RTE_LOG(INFO, USER1, "Device doesn't support sign op with "
+ "exponent key type. Test skipped\n");
+ return TEST_SKIPPED;
+ }
+
+ memcpy(&xform, &rsa_pss_xform, sizeof(rsa_pss_xform));
+ xform.rsa.key_type = RTE_RSA_KEY_TYPE_EXP;
+
+ ret = rte_cryptodev_asym_session_create(dev_id, &xform, sess_mpool, &sess);
+ if (ret < 0) {
+ RTE_LOG(ERR, USER1, "Session creation failed for "
+ "PSS sign_verify (saltlen = digest length)\n");
+ status = (ret == -ENOTSUP) ? TEST_SKIPPED : TEST_FAILED;
+ goto error_exit;
+ }
+
+ status = queue_ops_rsa_pss_sign_verify(sess);
+
+error_exit:
+ rte_cryptodev_asym_session_free(dev_id, sess);
+ TEST_ASSERT_EQUAL(status, 0, "Test failed");
+
+ return status;
+}
+
+static int
+test_rsa_pss_sign_verify_max_saltlen(void)
+{
+ struct crypto_testsuite_params_asym *ts_params = &testsuite_params;
+ struct rte_mempool *sess_mpool = ts_params->session_mpool;
+ struct rte_cryptodev_asym_capability_idx idx;
+ uint8_t dev_id = ts_params->valid_devs[0];
+ struct rte_crypto_asym_xform xform;
+ void *sess = NULL;
+ struct rte_cryptodev_info dev_info;
+ int ret, status = TEST_SUCCESS;
+
+ idx.type = RTE_CRYPTO_ASYM_XFORM_RSA;
+ if (rte_cryptodev_asym_capability_get(dev_id, &idx) == NULL)
+ return -ENOTSUP;
+
+ if (!rsa_pss_supported(dev_id, &rsa_pss_max_salt_xform.rsa.padding)) {
+ RTE_LOG(INFO, USER1, "RSA PSS not supported. Test skipped\n");
+ return TEST_SKIPPED;
+ }
+
+ rte_cryptodev_info_get(dev_id, &dev_info);
+ if (!(dev_info.feature_flags &
+ RTE_CRYPTODEV_FF_RSA_PRIV_OP_KEY_EXP)) {
+ RTE_LOG(INFO, USER1, "Device doesn't support sign op with "
+ "exponent key type. Test skipped\n");
+ return TEST_SKIPPED;
+ }
+
+ memcpy(&xform, &rsa_pss_max_salt_xform, sizeof(rsa_pss_max_salt_xform));
+ xform.rsa.key_type = RTE_RSA_KEY_TYPE_EXP;
+
+ ret = rte_cryptodev_asym_session_create(dev_id, &xform, sess_mpool, &sess);
+ if (ret < 0) {
+ RTE_LOG(ERR, USER1, "Session creation failed for "
+ "PSS sign_verify (max saltlen)\n");
+ status = (ret == -ENOTSUP) ? TEST_SKIPPED : TEST_FAILED;
+ goto error_exit;
+ }
+
+ status = queue_ops_rsa_pss_sign_verify(sess);
+
+error_exit:
+ rte_cryptodev_asym_session_free(dev_id, sess);
+ TEST_ASSERT_EQUAL(status, 0, "Test failed");
+
+ return status;
+}
+
+static int
+test_rsa_pss_sign_verify_zero_saltlen(void)
+{
+ struct crypto_testsuite_params_asym *ts_params = &testsuite_params;
+ struct rte_mempool *sess_mpool = ts_params->session_mpool;
+ struct rte_cryptodev_asym_capability_idx idx;
+ uint8_t dev_id = ts_params->valid_devs[0];
+ struct rte_crypto_asym_xform xform;
+ void *sess = NULL;
+ struct rte_cryptodev_info dev_info;
+ int ret, status = TEST_SUCCESS;
+
+ idx.type = RTE_CRYPTO_ASYM_XFORM_RSA;
+ if (rte_cryptodev_asym_capability_get(dev_id, &idx) == NULL)
+ return -ENOTSUP;
+
+ if (!rsa_pss_supported(dev_id, &rsa_pss_zero_salt_xform.rsa.padding)) {
+ RTE_LOG(INFO, USER1, "RSA PSS not supported. Test skipped\n");
+ return TEST_SKIPPED;
+ }
+
+ rte_cryptodev_info_get(dev_id, &dev_info);
+ if (!(dev_info.feature_flags &
+ RTE_CRYPTODEV_FF_RSA_PRIV_OP_KEY_EXP)) {
+ RTE_LOG(INFO, USER1, "Device doesn't support sign op with "
+ "exponent key type. Test skipped\n");
+ return TEST_SKIPPED;
+ }
+
+ memcpy(&xform, &rsa_pss_zero_salt_xform, sizeof(rsa_pss_zero_salt_xform));
+ xform.rsa.key_type = RTE_RSA_KEY_TYPE_EXP;
+
+ ret = rte_cryptodev_asym_session_create(dev_id, &xform, sess_mpool, &sess);
+ if (ret < 0) {
+ RTE_LOG(ERR, USER1, "Session creation failed for "
+ "PSS sign_verify (zero saltlen)\n");
+ status = (ret == -ENOTSUP) ? TEST_SKIPPED : TEST_FAILED;
+ goto error_exit;
+ }
+
+ status = queue_ops_rsa_pss_sign_verify(sess);
+
+error_exit:
+ rte_cryptodev_asym_session_free(dev_id, sess);
+ TEST_ASSERT_EQUAL(status, 0, "Test failed");
+
+ return status;
+}
+
static int
test_rsa_sign_verify(void)
{
@@ -5705,6 +6006,12 @@ static struct unit_test_suite cryptodev_asym_rsa_testsuite = {
test_rsa_oaep_labeled_default_mgf1_enc_dec),
TEST_CASE_ST(ut_setup_asym, ut_teardown_asym,
test_rsa_oaep_labeled_default_mgf1_enc_dec_crt),
+ TEST_CASE_ST(ut_setup_asym, ut_teardown_asym,
+ test_rsa_pss_sign_verify_digest_saltlen),
+ TEST_CASE_ST(ut_setup_asym, ut_teardown_asym,
+ test_rsa_pss_sign_verify_max_saltlen),
+ TEST_CASE_ST(ut_setup_asym, ut_teardown_asym,
+ test_rsa_pss_sign_verify_zero_saltlen),
/* RSA EXP */
TEST_CASE_NAMED_WITH_DATA(
"RSA Encryption (n=128, pt=20, e=3) EXP, Padding: NONE",
diff --git a/app/test/test_cryptodev_rsa_test_vectors.h b/app/test/test_cryptodev_rsa_test_vectors.h
index 6835453b6d..f35a83c016 100644
--- a/app/test/test_cryptodev_rsa_test_vectors.h
+++ b/app/test/test_cryptodev_rsa_test_vectors.h
@@ -251,6 +251,23 @@ struct rsa_test_data rsaplaintext = {
.len = 20
};
+/*
+ * SHA-256 digest of rsaplaintext.data. RTE_CRYPTO_RSA_PADDING_PSS
+ * expects rte_crypto_rsa_op_param::message to already be a digest
+ * hashed with the algorithm configured in rte_crypto_rsa_padding::hash
+ * (SHA-256 for the PSS xforms below), not the raw message, so PSS
+ * sign/verify tests use this instead of rsaplaintext directly.
+ */
+struct rsa_test_data rsa_pss_digest_sha256 = {
+ .data = {
+ 0x45, 0x24, 0x54, 0x32, 0x9d, 0x91, 0xda, 0x1b,
+ 0xb8, 0x76, 0x0d, 0x9b, 0xdd, 0xea, 0xe5, 0x21,
+ 0x30, 0x91, 0x72, 0xb0, 0x9c, 0x23, 0x12, 0x3f,
+ 0xb3, 0x43, 0x09, 0x5d, 0xa3, 0x10, 0x78, 0x7c
+ },
+ .len = 32
+};
+
uint8_t rsa_n[] = {
0xb3, 0xa1, 0xaf, 0xb7, 0x13, 0x08, 0x00,
0x0a, 0x35, 0xdc, 0x2b, 0x20, 0x8d, 0xa1, 0xb5,
@@ -538,4 +555,150 @@ struct rte_crypto_asym_xform rsa_oaep_labeled_default_mgf1_xform = {
}
};
+/*
+ * RSA-PSS xforms below all use the same 1024-bit test key (rsa_n, 128
+ * bytes) and SHA-256 (hLen = 32 bytes). For this key/hash combination:
+ * emBits = modBits - 1 = 1023, emLen = ceil(emBits / 8) = 128
+ * maxSaltLen = emLen - hLen - 2 = 128 - 32 - 2 = 94
+ * (see RFC 8017 EMSA-PSS-ENCODE, section 9.1.1)
+ */
+
+/** rsa PSS xform (SHA-256, salt length = digest length, QT private key type by default) */
+struct rte_crypto_asym_xform rsa_pss_xform = {
+ .next = NULL,
+ .xform_type = RTE_CRYPTO_ASYM_XFORM_RSA,
+ .rsa = {
+ .padding.type = RTE_CRYPTO_RSA_PADDING_PSS,
+ .padding.hash = RTE_CRYPTO_AUTH_SHA256,
+ .padding.pss_saltlen = 32,
+ .n = {
+ .data = rsa_n,
+ .length = sizeof(rsa_n)
+ },
+ .e = {
+ .data = rsa_e,
+ .length = sizeof(rsa_e)
+ },
+ .qt = {
+ .p = {
+ .data = rsa_p,
+ .length = sizeof(rsa_p)
+ },
+ .q = {
+ .data = rsa_q,
+ .length = sizeof(rsa_q)
+ },
+ .dP = {
+ .data = rsa_dP,
+ .length = sizeof(rsa_dP)
+ },
+ .dQ = {
+ .data = rsa_dQ,
+ .length = sizeof(rsa_dQ)
+ },
+ .qInv = {
+ .data = rsa_qInv,
+ .length = sizeof(rsa_qInv)
+ },
+ },
+ .d = {
+ .data = rsa_d,
+ .length = sizeof(rsa_d)
+ },
+ .key_type = RTE_RSA_KEY_TYPE_QT
+ }
+};
+
+/** rsa PSS xform with the maximum permissible salt length (94 bytes) */
+struct rte_crypto_asym_xform rsa_pss_max_salt_xform = {
+ .next = NULL,
+ .xform_type = RTE_CRYPTO_ASYM_XFORM_RSA,
+ .rsa = {
+ .padding.type = RTE_CRYPTO_RSA_PADDING_PSS,
+ .padding.hash = RTE_CRYPTO_AUTH_SHA256,
+ .padding.pss_saltlen = 94,
+ .n = {
+ .data = rsa_n,
+ .length = sizeof(rsa_n)
+ },
+ .e = {
+ .data = rsa_e,
+ .length = sizeof(rsa_e)
+ },
+ .qt = {
+ .p = {
+ .data = rsa_p,
+ .length = sizeof(rsa_p)
+ },
+ .q = {
+ .data = rsa_q,
+ .length = sizeof(rsa_q)
+ },
+ .dP = {
+ .data = rsa_dP,
+ .length = sizeof(rsa_dP)
+ },
+ .dQ = {
+ .data = rsa_dQ,
+ .length = sizeof(rsa_dQ)
+ },
+ .qInv = {
+ .data = rsa_qInv,
+ .length = sizeof(rsa_qInv)
+ },
+ },
+ .d = {
+ .data = rsa_d,
+ .length = sizeof(rsa_d)
+ },
+ .key_type = RTE_RSA_KEY_TYPE_QT
+ }
+};
+
+/** rsa PSS xform with zero-length salt (deterministic PSS, no randomization) */
+struct rte_crypto_asym_xform rsa_pss_zero_salt_xform = {
+ .next = NULL,
+ .xform_type = RTE_CRYPTO_ASYM_XFORM_RSA,
+ .rsa = {
+ .padding.type = RTE_CRYPTO_RSA_PADDING_PSS,
+ .padding.hash = RTE_CRYPTO_AUTH_SHA256,
+ .padding.pss_saltlen = 0, /* no salt bytes */
+ .n = {
+ .data = rsa_n,
+ .length = sizeof(rsa_n)
+ },
+ .e = {
+ .data = rsa_e,
+ .length = sizeof(rsa_e)
+ },
+ .qt = {
+ .p = {
+ .data = rsa_p,
+ .length = sizeof(rsa_p)
+ },
+ .q = {
+ .data = rsa_q,
+ .length = sizeof(rsa_q)
+ },
+ .dP = {
+ .data = rsa_dP,
+ .length = sizeof(rsa_dP)
+ },
+ .dQ = {
+ .data = rsa_dQ,
+ .length = sizeof(rsa_dQ)
+ },
+ .qInv = {
+ .data = rsa_qInv,
+ .length = sizeof(rsa_qInv)
+ },
+ },
+ .d = {
+ .data = rsa_d,
+ .length = sizeof(rsa_d)
+ },
+ .key_type = RTE_RSA_KEY_TYPE_QT
+ }
+};
+
#endif /* TEST_CRYPTODEV_RSA_TEST_VECTORS_H__ */
--
2.54.0
More information about the dev
mailing list