| Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 1 | /* BEGIN_HEADER */ | 
| Manuel Pégourié-Gonnard | 7f80997 | 2015-03-09 17:05:11 +0000 | [diff] [blame] | 2 | #include "mbedtls/sha1.h" | 
|  | 3 | #include "mbedtls/sha256.h" | 
|  | 4 | #include "mbedtls/sha512.h" | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 5 | #include "mbedtls/sha3.h" | 
| Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 6 | /* END_HEADER */ | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 7 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 8 | /* BEGIN_CASE depends_on:MBEDTLS_SHA1_C */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 9 | void mbedtls_sha1(data_t *src_str, data_t *hash) | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 10 | { | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 11 | unsigned char output[41]; | 
|  | 12 |  | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 13 | memset(output, 0x00, 41); | 
|  | 14 |  | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 15 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 16 | TEST_ASSERT(mbedtls_sha1(src_str->x, src_str->len, output) == 0); | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 17 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 18 | TEST_ASSERT(mbedtls_test_hexcmp(output, hash->x, 20, hash->len) == 0); | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 19 | } | 
| Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 20 | /* END_CASE */ | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 21 |  | 
| Tuvshinzaya Erdenekhuu | 1db192b | 2022-07-29 15:44:38 +0100 | [diff] [blame] | 22 | /* BEGIN_CASE depends_on:MBEDTLS_SHA256_C */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 23 | void sha256_invalid_param() | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 24 | { | 
|  | 25 | mbedtls_sha256_context ctx; | 
|  | 26 | unsigned char buf[64] = { 0 }; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 27 | size_t const buflen = sizeof(buf); | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 28 | int invalid_type = 42; | 
|  | 29 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 30 | TEST_EQUAL(MBEDTLS_ERR_SHA256_BAD_INPUT_DATA, | 
|  | 31 | mbedtls_sha256_starts(&ctx, invalid_type)); | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 32 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 33 | TEST_EQUAL(MBEDTLS_ERR_SHA256_BAD_INPUT_DATA, | 
|  | 34 | mbedtls_sha256(buf, buflen, | 
|  | 35 | buf, invalid_type)); | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 36 |  | 
|  | 37 | exit: | 
|  | 38 | return; | 
|  | 39 | } | 
|  | 40 | /* END_CASE */ | 
|  | 41 |  | 
| Mateusz Starzyk | e3c48b4 | 2021-04-19 16:46:28 +0200 | [diff] [blame] | 42 | /* BEGIN_CASE depends_on:MBEDTLS_SHA224_C */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 43 | void sha224(data_t *src_str, data_t *hash) | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 44 | { | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 45 | unsigned char output[57]; | 
|  | 46 |  | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 47 | memset(output, 0x00, 57); | 
|  | 48 |  | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 49 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 50 | TEST_EQUAL(mbedtls_sha256(src_str->x, src_str->len, output, 1), 0); | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 51 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 52 | TEST_EQUAL(mbedtls_test_hexcmp(output, hash->x, 28, hash->len), 0); | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 53 | } | 
| Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 54 | /* END_CASE */ | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 55 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 56 | /* BEGIN_CASE depends_on:MBEDTLS_SHA256_C */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 57 | void mbedtls_sha256(data_t *src_str, data_t *hash) | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 58 | { | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 59 | unsigned char output[65]; | 
|  | 60 |  | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 61 | memset(output, 0x00, 65); | 
|  | 62 |  | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 63 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 64 | TEST_EQUAL(mbedtls_sha256(src_str->x, src_str->len, output, 0), 0); | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 65 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 66 | TEST_EQUAL(mbedtls_test_hexcmp(output, hash->x, 32, hash->len), 0); | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 67 | } | 
| Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 68 | /* END_CASE */ | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 69 |  | 
| Tuvshinzaya Erdenekhuu | ca6fde2 | 2022-07-29 15:43:04 +0100 | [diff] [blame] | 70 | /* BEGIN_CASE depends_on:MBEDTLS_SHA512_C */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 71 | void sha512_invalid_param() | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 72 | { | 
|  | 73 | mbedtls_sha512_context ctx; | 
|  | 74 | unsigned char buf[64] = { 0 }; | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 75 | size_t const buflen = sizeof(buf); | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 76 | int invalid_type = 42; | 
|  | 77 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 78 | TEST_EQUAL(MBEDTLS_ERR_SHA512_BAD_INPUT_DATA, | 
|  | 79 | mbedtls_sha512_starts(&ctx, invalid_type)); | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 80 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 81 | TEST_EQUAL(MBEDTLS_ERR_SHA512_BAD_INPUT_DATA, | 
|  | 82 | mbedtls_sha512(buf, buflen, | 
|  | 83 | buf, invalid_type)); | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 84 |  | 
|  | 85 | exit: | 
|  | 86 | return; | 
|  | 87 | } | 
|  | 88 | /* END_CASE */ | 
|  | 89 |  | 
| Mateusz Starzyk | c6d94ab | 2021-05-19 13:31:59 +0200 | [diff] [blame] | 90 | /* BEGIN_CASE depends_on:MBEDTLS_SHA384_C */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 91 | void sha384(data_t *src_str, data_t *hash) | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 92 | { | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 93 | unsigned char output[97]; | 
|  | 94 |  | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 95 | memset(output, 0x00, 97); | 
|  | 96 |  | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 97 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 98 | TEST_EQUAL(mbedtls_sha512(src_str->x, src_str->len, output, 1), 0); | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 99 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 100 | TEST_EQUAL(mbedtls_test_hexcmp(output, hash->x, 48, hash->len), 0); | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 101 | } | 
| Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 102 | /* END_CASE */ | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 103 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 104 | /* BEGIN_CASE depends_on:MBEDTLS_SHA512_C */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 105 | void mbedtls_sha512(data_t *src_str, data_t *hash) | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 106 | { | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 107 | unsigned char output[129]; | 
|  | 108 |  | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 109 | memset(output, 0x00, 129); | 
|  | 110 |  | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 111 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 112 | TEST_EQUAL(mbedtls_sha512(src_str->x, src_str->len, output, 0), 0); | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 113 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 114 | TEST_EQUAL(mbedtls_test_hexcmp(output, hash->x, 64, hash->len), 0); | 
| Paul Bakker | 367dae4 | 2009-06-28 21:50:27 +0000 | [diff] [blame] | 115 | } | 
| Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 116 | /* END_CASE */ | 
| Paul Bakker | f3eedce | 2009-07-05 11:30:16 +0000 | [diff] [blame] | 117 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 118 | /* BEGIN_CASE depends_on:MBEDTLS_SHA1_C:MBEDTLS_SELF_TEST */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 119 | void sha1_selftest() | 
| Paul Bakker | f3eedce | 2009-07-05 11:30:16 +0000 | [diff] [blame] | 120 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 121 | TEST_ASSERT(mbedtls_sha1_self_test(1) == 0); | 
| Paul Bakker | f3eedce | 2009-07-05 11:30:16 +0000 | [diff] [blame] | 122 | } | 
| Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 123 | /* END_CASE */ | 
| Paul Bakker | f3eedce | 2009-07-05 11:30:16 +0000 | [diff] [blame] | 124 |  | 
| Valerio Setti | 46e8fd8 | 2022-12-14 10:58:02 +0100 | [diff] [blame] | 125 | /* BEGIN_CASE depends_on:MBEDTLS_SHA224_C:MBEDTLS_SELF_TEST */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 126 | void sha224_selftest() | 
| Valerio Setti | 46e8fd8 | 2022-12-14 10:58:02 +0100 | [diff] [blame] | 127 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 128 | TEST_EQUAL(mbedtls_sha224_self_test(1), 0); | 
| Paul Bakker | f3eedce | 2009-07-05 11:30:16 +0000 | [diff] [blame] | 129 | } | 
|  | 130 | /* END_CASE */ | 
|  | 131 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 132 | /* BEGIN_CASE depends_on:MBEDTLS_SHA256_C:MBEDTLS_SELF_TEST */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 133 | void sha256_selftest() | 
| Paul Bakker | f3eedce | 2009-07-05 11:30:16 +0000 | [diff] [blame] | 134 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 135 | TEST_EQUAL(mbedtls_sha256_self_test(1), 0); | 
| Paul Bakker | f3eedce | 2009-07-05 11:30:16 +0000 | [diff] [blame] | 136 | } | 
| Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 137 | /* END_CASE */ | 
| Paul Bakker | f3eedce | 2009-07-05 11:30:16 +0000 | [diff] [blame] | 138 |  | 
| Valerio Setti | 898e7a3 | 2022-12-14 08:55:53 +0100 | [diff] [blame] | 139 | /* BEGIN_CASE depends_on:MBEDTLS_SHA384_C:MBEDTLS_SELF_TEST */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 140 | void sha384_selftest() | 
| Valerio Setti | 898e7a3 | 2022-12-14 08:55:53 +0100 | [diff] [blame] | 141 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 142 | TEST_EQUAL(mbedtls_sha384_self_test(1), 0); | 
| Paul Bakker | f3eedce | 2009-07-05 11:30:16 +0000 | [diff] [blame] | 143 | } | 
|  | 144 | /* END_CASE */ | 
|  | 145 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 146 | /* BEGIN_CASE depends_on:MBEDTLS_SHA512_C:MBEDTLS_SELF_TEST */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 147 | void sha512_selftest() | 
| Paul Bakker | f3eedce | 2009-07-05 11:30:16 +0000 | [diff] [blame] | 148 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 149 | TEST_EQUAL(mbedtls_sha512_self_test(1), 0); | 
| Paul Bakker | f3eedce | 2009-07-05 11:30:16 +0000 | [diff] [blame] | 150 | } | 
| Paul Bakker | 33b43f1 | 2013-08-20 11:48:36 +0200 | [diff] [blame] | 151 | /* END_CASE */ | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 152 |  | 
|  | 153 | /* BEGIN_CASE depends_on:MBEDTLS_SHA3_C */ | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 154 | void mbedtls_sha3(int family, data_t *in, data_t *hash) | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 155 | { | 
|  | 156 | unsigned char *output = NULL; | 
|  | 157 |  | 
| Tom Cosgrove | 05b2a87 | 2023-07-21 11:31:13 +0100 | [diff] [blame] | 158 | TEST_CALLOC(output, hash->len); | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 159 |  | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 160 | TEST_ASSERT(mbedtls_sha3(family, in->x, in->len, output, hash->len) == 0); | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 161 |  | 
| Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 162 | TEST_MEMORY_COMPARE(output, hash->len, hash->x, hash->len); | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 163 |  | 
|  | 164 | exit: | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 165 | mbedtls_free(output); | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 166 | } | 
|  | 167 | /* END_CASE */ | 
|  | 168 |  | 
| Dave Rodgman | a8af4f4 | 2023-06-07 18:27:09 +0100 | [diff] [blame] | 169 | /* BEGIN_CASE depends_on:MBEDTLS_SHA3_C */ | 
| Dave Rodgman | 2468ad1 | 2023-06-07 17:06:13 +0100 | [diff] [blame] | 170 | void sha3_invalid_param() | 
|  | 171 | { | 
|  | 172 | unsigned char output[32]; | 
|  | 173 | mbedtls_sha3_context ctx; | 
|  | 174 |  | 
|  | 175 | mbedtls_sha3_init(&ctx); | 
|  | 176 | TEST_EQUAL(mbedtls_sha3_starts(&ctx, MBEDTLS_SHA3_NONE), MBEDTLS_ERR_SHA3_BAD_INPUT_DATA); | 
|  | 177 |  | 
|  | 178 | TEST_EQUAL(mbedtls_sha3_starts(&ctx, MBEDTLS_SHA3_256), 0); | 
| Dave Rodgman | 2468ad1 | 2023-06-07 17:06:13 +0100 | [diff] [blame] | 179 | TEST_EQUAL(mbedtls_sha3_finish(&ctx, output, 0), MBEDTLS_ERR_SHA3_BAD_INPUT_DATA); | 
| Dave Rodgman | dbddb00 | 2023-08-30 18:43:23 +0100 | [diff] [blame] | 180 |  | 
|  | 181 | TEST_EQUAL(mbedtls_sha3_starts(&ctx, MBEDTLS_SHA3_256), 0); | 
| Dave Rodgman | 2468ad1 | 2023-06-07 17:06:13 +0100 | [diff] [blame] | 182 | TEST_EQUAL(mbedtls_sha3_finish(&ctx, output, 31), MBEDTLS_ERR_SHA3_BAD_INPUT_DATA); | 
| Dave Rodgman | dbddb00 | 2023-08-30 18:43:23 +0100 | [diff] [blame] | 183 |  | 
|  | 184 | TEST_EQUAL(mbedtls_sha3_starts(&ctx, MBEDTLS_SHA3_256), 0); | 
| Dave Rodgman | 2468ad1 | 2023-06-07 17:06:13 +0100 | [diff] [blame] | 185 | TEST_EQUAL(mbedtls_sha3_finish(&ctx, output, 32), 0); | 
|  | 186 |  | 
|  | 187 | exit: | 
|  | 188 | return; | 
|  | 189 | } | 
|  | 190 | /* END_CASE */ | 
|  | 191 |  | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 192 | /* BEGIN_CASE depends_on:MBEDTLS_SHA3_C */ | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 193 | void mbedtls_sha3_multi(int family, data_t *in, data_t *hash) | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 194 | { | 
|  | 195 | unsigned char *output = NULL; | 
|  | 196 | mbedtls_sha3_context ctx; | 
|  | 197 | const unsigned int block_size = 256; | 
|  | 198 |  | 
| Tom Cosgrove | 05b2a87 | 2023-07-21 11:31:13 +0100 | [diff] [blame] | 199 | TEST_CALLOC(output, hash->len); | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 200 |  | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 201 | mbedtls_sha3_init(&ctx); | 
|  | 202 | mbedtls_sha3_starts(&ctx, family); | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 203 |  | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 204 | for (size_t l = 0; l < in->len; l += block_size) { | 
|  | 205 | TEST_ASSERT(mbedtls_sha3_update(&ctx, in->x + l, MIN(in->len - l, block_size)) == 0); | 
|  | 206 | } | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 207 |  | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 208 | TEST_ASSERT(mbedtls_sha3_finish(&ctx, output, hash->len) == 0); | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 209 |  | 
| Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 210 | TEST_MEMORY_COMPARE(output, hash->len, hash->x, hash->len); | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 211 |  | 
|  | 212 | exit: | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 213 | mbedtls_free(output); | 
| Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 214 | } | 
|  | 215 | /* END_CASE */ | 
| Pol Henarejos | 7dbd5d1 | 2022-05-20 20:42:33 +0200 | [diff] [blame] | 216 |  | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 217 | /* BEGIN_CASE depends_on:MBEDTLS_SHA3_C */ | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 218 | void sha3_streaming(int type, data_t *input) | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 219 | { | 
|  | 220 | mbedtls_sha3_context ctx; | 
|  | 221 | unsigned char reference_hash[64]; | 
|  | 222 | unsigned char hash[64]; | 
|  | 223 | size_t chunk_size; | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 224 | size_t hash_length = (type == MBEDTLS_SHA3_224 ? 28 : | 
|  | 225 | type == MBEDTLS_SHA3_256 ? 32 : | 
|  | 226 | type == MBEDTLS_SHA3_384 ? 48 : | 
|  | 227 | type == MBEDTLS_SHA3_512 ? 64 : | 
|  | 228 | 0); | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 229 |  | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 230 | mbedtls_sha3_init(&ctx); | 
|  | 231 | memset(reference_hash, 0, sizeof(reference_hash)); | 
|  | 232 | memset(hash, 0, sizeof(hash)); | 
|  | 233 | TEST_ASSERT(hash_length != 0); | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 234 |  | 
|  | 235 | /* Generate a reference hash */ | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 236 | mbedtls_sha3(type, input->x, input->len, reference_hash, hash_length); | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 237 |  | 
|  | 238 | /* Repeat each test with increasingly-sized data chunks | 
|  | 239 | * E.g. start by processing bytes individual bytes, then 2-byte chunks, | 
|  | 240 | * then 3-byte chunks, and so on... | 
|  | 241 | * At each test ensure that the same hash is generated. | 
|  | 242 | */ | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 243 | for (chunk_size = 1; chunk_size < input->len; chunk_size++) { | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 244 | size_t i; | 
|  | 245 | size_t remaining = input->len; | 
|  | 246 |  | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 247 | mbedtls_sha3_init(&ctx); | 
|  | 248 | TEST_ASSERT(mbedtls_sha3_starts(&ctx, type) == 0); | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 249 |  | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 250 | for (i = 0; i < input->len; i += chunk_size) { | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 251 | size_t len = remaining >= chunk_size ? chunk_size : remaining; | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 252 | TEST_ASSERT(mbedtls_sha3_update(&ctx, input->x + i, len) == 0); | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 253 | remaining -= len; | 
|  | 254 | } | 
|  | 255 |  | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 256 | mbedtls_sha3_finish(&ctx, hash, hash_length); | 
|  | 257 | mbedtls_sha3_free(&ctx); | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 258 |  | 
| Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 259 | TEST_MEMORY_COMPARE(hash, hash_length, reference_hash, hash_length); | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 260 | } | 
|  | 261 |  | 
|  | 262 | exit: | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 263 | mbedtls_sha3_free(&ctx); | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 264 | } | 
|  | 265 | /* END_CASE */ | 
|  | 266 |  | 
|  | 267 | /* BEGIN_CASE depends_on:MBEDTLS_SHA3_C */ | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 268 | void sha3_reuse(data_t *input1, data_t *hash1, | 
|  | 269 | data_t *input2, data_t *hash2) | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 270 | { | 
|  | 271 | unsigned char output[64]; | 
|  | 272 | mbedtls_sha3_context ctx; | 
|  | 273 | mbedtls_sha3_id type1, type2; | 
|  | 274 |  | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 275 | mbedtls_sha3_init(&ctx); | 
|  | 276 | switch (hash1->len) { | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 277 | case 28: type1 = MBEDTLS_SHA3_224; break; | 
|  | 278 | case 32: type1 = MBEDTLS_SHA3_256; break; | 
|  | 279 | case 48: type1 = MBEDTLS_SHA3_384; break; | 
|  | 280 | case 64: type1 = MBEDTLS_SHA3_512; break; | 
| Agathiyan Bragadeesh | dc28a5a | 2023-07-18 11:45:28 +0100 | [diff] [blame] | 281 | default: TEST_FAIL("hash1->len validity"); break; | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 282 | } | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 283 | switch (hash2->len) { | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 284 | case 28: type2 = MBEDTLS_SHA3_224; break; | 
|  | 285 | case 32: type2 = MBEDTLS_SHA3_256; break; | 
|  | 286 | case 48: type2 = MBEDTLS_SHA3_384; break; | 
|  | 287 | case 64: type2 = MBEDTLS_SHA3_512; break; | 
| Agathiyan Bragadeesh | dc28a5a | 2023-07-18 11:45:28 +0100 | [diff] [blame] | 288 | default: TEST_FAIL("hash2->len validity"); break; | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 289 | } | 
|  | 290 |  | 
|  | 291 | /* Round 1 */ | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 292 | TEST_ASSERT(mbedtls_sha3_starts(&ctx, type1) == 0); | 
|  | 293 | TEST_ASSERT(mbedtls_sha3_update(&ctx, input1->x, input1->len) == 0); | 
|  | 294 | TEST_ASSERT(mbedtls_sha3_finish(&ctx, output, sizeof(output)) == 0); | 
| Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 295 | TEST_MEMORY_COMPARE(output, hash1->len, hash1->x, hash1->len); | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 296 |  | 
|  | 297 | /* Round 2 */ | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 298 | TEST_ASSERT(mbedtls_sha3_starts(&ctx, type2) == 0); | 
|  | 299 | TEST_ASSERT(mbedtls_sha3_update(&ctx, input2->x, input2->len) == 0); | 
|  | 300 | TEST_ASSERT(mbedtls_sha3_finish(&ctx, output, sizeof(output)) == 0); | 
| Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 301 | TEST_MEMORY_COMPARE(output, hash2->len, hash2->x, hash2->len); | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 302 |  | 
|  | 303 | exit: | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 304 | mbedtls_sha3_free(&ctx); | 
| Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 305 | } | 
|  | 306 | /* END_CASE */ | 
|  | 307 |  | 
| Pol Henarejos | 7dbd5d1 | 2022-05-20 20:42:33 +0200 | [diff] [blame] | 308 | /* BEGIN_CASE depends_on:MBEDTLS_SHA3_C:MBEDTLS_SELF_TEST */ | 
|  | 309 | void sha3_selftest() | 
|  | 310 | { | 
| Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 311 | TEST_ASSERT(mbedtls_sha3_self_test(0) == 0); | 
| Pol Henarejos | 7dbd5d1 | 2022-05-20 20:42:33 +0200 | [diff] [blame] | 312 | } | 
|  | 313 | /* END_CASE */ |