blob: 148075d1b84d81e1b880221ca7c552e676768066 [file] [log] [blame]
Raef Coles8ff6df52021-07-21 12:42:15 +01001/* BEGIN_HEADER */
2#include "mbedtls/lms.h"
Raef Coles8ff6df52021-07-21 12:42:15 +01003
4/* END_HEADER */
5
6/* BEGIN_DEPENDENCIES
Raef Colesf5919e22022-09-02 16:05:10 +01007 * depends_on:MBEDTLS_LMS_C:MBEDTLS_LMS_PRIVATE:MBEDTLS_PSA_CRYPTO_C
Raef Coles8ff6df52021-07-21 12:42:15 +01008 * END_DEPENDENCIES
9 */
10
11/* BEGIN_CASE */
Raef Colesf5919e22022-09-02 16:05:10 +010012void lms_sign_verify_test ( data_t *msg, data_t *seed )
Raef Coles8ff6df52021-07-21 12:42:15 +010013{
Raef Coles01c71a12022-08-31 15:55:00 +010014 mbedtls_lms_public_t pub_ctx;
15 mbedtls_lms_private_t priv_ctx;
Raef Colese9479a02022-09-01 16:06:35 +010016 unsigned char sig[MBEDTLS_LMS_SIG_LEN(MBEDTLS_LMS_SHA256_M32_H10, MBEDTLS_LMOTS_SHA256_N32_W8)];
Raef Coles8ff6df52021-07-21 12:42:15 +010017 int rc;
18
Raef Coles01c71a12022-08-31 15:55:00 +010019 mbedtls_lms_init_public( &pub_ctx );
20 mbedtls_lms_init_private( &priv_ctx );
Raef Coles8ff6df52021-07-21 12:42:15 +010021
Raef Colesf5919e22022-09-02 16:05:10 +010022 /* Allocation failure isn't a test failure, since it likely just means
23 * there's not enough memory to run the test.
24 */
Raef Coles01c71a12022-08-31 15:55:00 +010025 rc = mbedtls_lms_generate_private_key( &priv_ctx, MBEDTLS_LMS_SHA256_M32_H10,
26 MBEDTLS_LMOTS_SHA256_N32_W8,
Raef Colesf5919e22022-09-02 16:05:10 +010027 mbedtls_test_rnd_std_rand, NULL,
28 seed->x, seed->len );
Raef Coles8ff6df52021-07-21 12:42:15 +010029 TEST_ASSUME( rc != MBEDTLS_ERR_LMS_ALLOC_FAILED );
30 TEST_ASSERT( rc == 0 );
31
Raef Coles01c71a12022-08-31 15:55:00 +010032 TEST_ASSERT( mbedtls_lms_calculate_public_key( &pub_ctx, &priv_ctx ) == 0 );
Raef Coles8ff6df52021-07-21 12:42:15 +010033
Raef Colesf5919e22022-09-02 16:05:10 +010034 TEST_ASSERT( mbedtls_lms_sign( &priv_ctx, mbedtls_test_rnd_std_rand, NULL,
35 msg->x, msg->len, sig, sizeof( sig ),
36 NULL ) == 0 );
Raef Coles8ff6df52021-07-21 12:42:15 +010037
Raef Coles01c71a12022-08-31 15:55:00 +010038 TEST_ASSERT( mbedtls_lms_verify( &pub_ctx, msg->x, msg->len, sig,
39 sizeof( sig ) ) == 0 );
Raef Coles8ff6df52021-07-21 12:42:15 +010040
41exit:
Raef Coles01c71a12022-08-31 15:55:00 +010042 mbedtls_lms_free_public( &pub_ctx );
43 mbedtls_lms_free_private( &priv_ctx );
Raef Coles8ff6df52021-07-21 12:42:15 +010044}
45/* END_CASE */
46
47/* BEGIN_CASE */
48void lms_verify_test ( data_t * msg, data_t * sig, data_t * pub_key,
49 int expected_rc )
50{
Raef Coles01c71a12022-08-31 15:55:00 +010051 mbedtls_lms_public_t ctx;
Raef Coles8ff6df52021-07-21 12:42:15 +010052
Raef Coles01c71a12022-08-31 15:55:00 +010053 mbedtls_lms_init_public( &ctx);
Raef Coles8ff6df52021-07-21 12:42:15 +010054
Raef Coles01c71a12022-08-31 15:55:00 +010055 mbedtls_lms_import_public_key( &ctx, pub_key->x, pub_key->len );
Raef Coles8ff6df52021-07-21 12:42:15 +010056
Raef Coles01c71a12022-08-31 15:55:00 +010057 TEST_ASSERT( mbedtls_lms_verify( &ctx, msg->x, msg->len, sig->x, sig->len ) == expected_rc );
Raef Coles8ff6df52021-07-21 12:42:15 +010058
59exit:
Raef Coles01c71a12022-08-31 15:55:00 +010060 mbedtls_lms_free_public( &ctx );
Raef Coles8ff6df52021-07-21 12:42:15 +010061}
62/* END_CASE */
63
64/* BEGIN_CASE */
65void lms_import_export_test ( data_t * pub_key )
66{
Raef Coles01c71a12022-08-31 15:55:00 +010067 mbedtls_lms_public_t ctx;
Raef Colese9479a02022-09-01 16:06:35 +010068 uint8_t exported_pub_key[MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10)];
Raef Coles8ff6df52021-07-21 12:42:15 +010069
Raef Coles01c71a12022-08-31 15:55:00 +010070 mbedtls_lms_init_public(&ctx);
71 TEST_ASSERT( mbedtls_lms_import_public_key( &ctx, pub_key->x, pub_key->len ) == 0 );
72 TEST_ASSERT( mbedtls_lms_export_public_key( &ctx, exported_pub_key,
73 sizeof(exported_pub_key), NULL ) == 0 );
Raef Coles8ff6df52021-07-21 12:42:15 +010074
Raef Colese9479a02022-09-01 16:06:35 +010075 ASSERT_COMPARE( pub_key->x, MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10),
76 exported_pub_key, MBEDTLS_LMS_PUBLIC_KEY_LEN(MBEDTLS_LMS_SHA256_M32_H10) );
Raef Coles8ff6df52021-07-21 12:42:15 +010077
78exit:
Raef Coles01c71a12022-08-31 15:55:00 +010079 mbedtls_lms_free_public( &ctx );
Raef Coles8ff6df52021-07-21 12:42:15 +010080}
81/* END_CASE */
82