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