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