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); |
| 179 | |
| 180 | TEST_EQUAL(mbedtls_sha3_finish(&ctx, output, 0), MBEDTLS_ERR_SHA3_BAD_INPUT_DATA); |
| 181 | TEST_EQUAL(mbedtls_sha3_finish(&ctx, output, 31), MBEDTLS_ERR_SHA3_BAD_INPUT_DATA); |
| 182 | TEST_EQUAL(mbedtls_sha3_finish(&ctx, output, 32), 0); |
| 183 | |
| 184 | exit: |
| 185 | return; |
| 186 | } |
| 187 | /* END_CASE */ |
| 188 | |
Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 189 | /* BEGIN_CASE depends_on:MBEDTLS_SHA3_C */ |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 190 | void mbedtls_sha3_multi(int family, data_t *in, data_t *hash) |
Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 191 | { |
| 192 | unsigned char *output = NULL; |
| 193 | mbedtls_sha3_context ctx; |
| 194 | const unsigned int block_size = 256; |
| 195 | |
Tom Cosgrove | 05b2a87 | 2023-07-21 11:31:13 +0100 | [diff] [blame] | 196 | TEST_CALLOC(output, hash->len); |
Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 197 | |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 198 | mbedtls_sha3_init(&ctx); |
| 199 | mbedtls_sha3_starts(&ctx, family); |
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 | for (size_t l = 0; l < in->len; l += block_size) { |
| 202 | TEST_ASSERT(mbedtls_sha3_update(&ctx, in->x + l, MIN(in->len - l, block_size)) == 0); |
| 203 | } |
Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 204 | |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 205 | TEST_ASSERT(mbedtls_sha3_finish(&ctx, output, hash->len) == 0); |
Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 206 | |
Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 207 | TEST_MEMORY_COMPARE(output, hash->len, hash->x, hash->len); |
Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 208 | |
| 209 | exit: |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 210 | mbedtls_free(output); |
Pol Henarejos | f645705 | 2022-05-09 01:04:34 +0200 | [diff] [blame] | 211 | } |
| 212 | /* END_CASE */ |
Pol Henarejos | 7dbd5d1 | 2022-05-20 20:42:33 +0200 | [diff] [blame] | 213 | |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 214 | /* BEGIN_CASE depends_on:MBEDTLS_SHA3_C */ |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 215 | void sha3_streaming(int type, data_t *input) |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 216 | { |
| 217 | mbedtls_sha3_context ctx; |
| 218 | unsigned char reference_hash[64]; |
| 219 | unsigned char hash[64]; |
| 220 | size_t chunk_size; |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 221 | size_t hash_length = (type == MBEDTLS_SHA3_224 ? 28 : |
| 222 | type == MBEDTLS_SHA3_256 ? 32 : |
| 223 | type == MBEDTLS_SHA3_384 ? 48 : |
| 224 | type == MBEDTLS_SHA3_512 ? 64 : |
| 225 | 0); |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 226 | |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 227 | mbedtls_sha3_init(&ctx); |
| 228 | memset(reference_hash, 0, sizeof(reference_hash)); |
| 229 | memset(hash, 0, sizeof(hash)); |
| 230 | TEST_ASSERT(hash_length != 0); |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 231 | |
| 232 | /* Generate a reference hash */ |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 233 | mbedtls_sha3(type, input->x, input->len, reference_hash, hash_length); |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 234 | |
| 235 | /* Repeat each test with increasingly-sized data chunks |
| 236 | * E.g. start by processing bytes individual bytes, then 2-byte chunks, |
| 237 | * then 3-byte chunks, and so on... |
| 238 | * At each test ensure that the same hash is generated. |
| 239 | */ |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 240 | for (chunk_size = 1; chunk_size < input->len; chunk_size++) { |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 241 | size_t i; |
| 242 | size_t remaining = input->len; |
| 243 | |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 244 | mbedtls_sha3_init(&ctx); |
| 245 | TEST_ASSERT(mbedtls_sha3_starts(&ctx, type) == 0); |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 246 | |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 247 | for (i = 0; i < input->len; i += chunk_size) { |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 248 | size_t len = remaining >= chunk_size ? chunk_size : remaining; |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 249 | TEST_ASSERT(mbedtls_sha3_update(&ctx, input->x + i, len) == 0); |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 250 | remaining -= len; |
| 251 | } |
| 252 | |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 253 | mbedtls_sha3_finish(&ctx, hash, hash_length); |
| 254 | mbedtls_sha3_free(&ctx); |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 255 | |
Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 256 | TEST_MEMORY_COMPARE(hash, hash_length, reference_hash, hash_length); |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 257 | } |
| 258 | |
| 259 | exit: |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 260 | mbedtls_sha3_free(&ctx); |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 261 | } |
| 262 | /* END_CASE */ |
| 263 | |
| 264 | /* BEGIN_CASE depends_on:MBEDTLS_SHA3_C */ |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 265 | void sha3_reuse(data_t *input1, data_t *hash1, |
| 266 | data_t *input2, data_t *hash2) |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 267 | { |
| 268 | unsigned char output[64]; |
| 269 | mbedtls_sha3_context ctx; |
| 270 | mbedtls_sha3_id type1, type2; |
| 271 | |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 272 | mbedtls_sha3_init(&ctx); |
| 273 | switch (hash1->len) { |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 274 | case 28: type1 = MBEDTLS_SHA3_224; break; |
| 275 | case 32: type1 = MBEDTLS_SHA3_256; break; |
| 276 | case 48: type1 = MBEDTLS_SHA3_384; break; |
| 277 | case 64: type1 = MBEDTLS_SHA3_512; break; |
Agathiyan Bragadeesh | dc28a5a | 2023-07-18 11:45:28 +0100 | [diff] [blame] | 278 | default: TEST_FAIL("hash1->len validity"); break; |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 279 | } |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 280 | switch (hash2->len) { |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 281 | case 28: type2 = MBEDTLS_SHA3_224; break; |
| 282 | case 32: type2 = MBEDTLS_SHA3_256; break; |
| 283 | case 48: type2 = MBEDTLS_SHA3_384; break; |
| 284 | case 64: type2 = MBEDTLS_SHA3_512; break; |
Agathiyan Bragadeesh | dc28a5a | 2023-07-18 11:45:28 +0100 | [diff] [blame] | 285 | default: TEST_FAIL("hash2->len validity"); break; |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 286 | } |
| 287 | |
| 288 | /* Round 1 */ |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 289 | TEST_ASSERT(mbedtls_sha3_starts(&ctx, type1) == 0); |
| 290 | TEST_ASSERT(mbedtls_sha3_update(&ctx, input1->x, input1->len) == 0); |
| 291 | TEST_ASSERT(mbedtls_sha3_finish(&ctx, output, sizeof(output)) == 0); |
Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 292 | TEST_MEMORY_COMPARE(output, hash1->len, hash1->x, hash1->len); |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 293 | |
| 294 | /* Round 2 */ |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 295 | TEST_ASSERT(mbedtls_sha3_starts(&ctx, type2) == 0); |
| 296 | TEST_ASSERT(mbedtls_sha3_update(&ctx, input2->x, input2->len) == 0); |
| 297 | TEST_ASSERT(mbedtls_sha3_finish(&ctx, output, sizeof(output)) == 0); |
Tom Cosgrove | e4e9e7d | 2023-07-21 11:40:20 +0100 | [diff] [blame] | 298 | TEST_MEMORY_COMPARE(output, hash2->len, hash2->x, hash2->len); |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 299 | |
| 300 | exit: |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 301 | mbedtls_sha3_free(&ctx); |
Pol Henarejos | 90f803c | 2022-05-20 20:50:29 +0200 | [diff] [blame] | 302 | } |
| 303 | /* END_CASE */ |
| 304 | |
Pol Henarejos | 7dbd5d1 | 2022-05-20 20:42:33 +0200 | [diff] [blame] | 305 | /* BEGIN_CASE depends_on:MBEDTLS_SHA3_C:MBEDTLS_SELF_TEST */ |
| 306 | void sha3_selftest() |
| 307 | { |
Pol Henarejos | b3b220c | 2023-02-08 12:52:18 +0100 | [diff] [blame] | 308 | TEST_ASSERT(mbedtls_sha3_self_test(0) == 0); |
Pol Henarejos | 7dbd5d1 | 2022-05-20 20:42:33 +0200 | [diff] [blame] | 309 | } |
| 310 | /* END_CASE */ |