Add support for SHA3

This commit is contained in:
Frank Denis
2026-04-09 23:00:05 +02:00
parent 2f8a60ae82
commit 350313ec20
29 changed files with 657 additions and 0 deletions
+12
View File
@@ -45,6 +45,8 @@ EXTRA_DIST = \
generichash3.exp \
hash.exp \
hash3.exp \
hash_sha3256.exp \
hash_sha3512.exp \
ipcrypt.exp \
kdf.exp \
kdf_hkdf.exp \
@@ -147,6 +149,8 @@ DISTCLEANFILES = \
hash.res \
hash2.res \
hash3.res \
hash_sha3256.res \
hash_sha3512.res \
ipcrypt.res \
kdf.res \
kdf_hkdf.res \
@@ -256,6 +260,8 @@ TESTS_TARGETS = \
generichash3 \
hash \
hash3 \
hash_sha3256 \
hash_sha3512 \
ipcrypt \
kdf \
keygen \
@@ -432,6 +438,12 @@ hash_LDADD = $(TESTS_LDADD)
hash3_SOURCE = cmptest.h hash3.c
hash3_LDADD = $(TESTS_LDADD)
hash_sha3256_SOURCE = cmptest.h hash_sha3256.c
hash_sha3256_LDADD = $(TESTS_LDADD)
hash_sha3512_SOURCE = cmptest.h hash_sha3512.c
hash_sha3512_LDADD = $(TESTS_LDADD)
ipcrypt_SOURCE = cmptest.h ipcrypt.c
ipcrypt_LDADD = $(TESTS_LDADD)
+131
View File
@@ -0,0 +1,131 @@
#define TEST_NAME "hash_sha3256"
#include "cmptest.h"
int
main(void)
{
static const unsigned char msg_abc[] = { 0x61, 0x62, 0x63 };
static const unsigned char msg_fox[] = {
0x54, 0x68, 0x65, 0x20, 0x71, 0x75, 0x69, 0x63, 0x6b, 0x20, 0x62, 0x72,
0x6f, 0x77, 0x6e, 0x20, 0x66, 0x6f, 0x78, 0x20, 0x6a, 0x75, 0x6d, 0x70,
0x73, 0x20, 0x6f, 0x76, 0x65, 0x72, 0x20, 0x74, 0x68, 0x65, 0x20, 0x6c,
0x61, 0x7a, 0x79, 0x20, 0x64, 0x6f, 0x67
};
static const unsigned char out_empty[32] = {
0xa7, 0xff, 0xc6, 0xf8, 0xbf, 0x1e, 0xd7, 0x66, 0x51, 0xc1, 0x47, 0x56,
0xa0, 0x61, 0xd6, 0x62, 0xf5, 0x80, 0xff, 0x4d, 0xe4, 0x3b, 0x49, 0xfa,
0x82, 0xd8, 0x0a, 0x4b, 0x80, 0xf8, 0x43, 0x4a
};
static const unsigned char out_abc[32] = {
0x3a, 0x98, 0x5d, 0xa7, 0x4f, 0xe2, 0x25, 0xb2, 0x04, 0x5c, 0x17, 0x2d,
0x6b, 0xd3, 0x90, 0xbd, 0x85, 0x5f, 0x08, 0x6e, 0x3e, 0x9d, 0x52, 0x5b,
0x46, 0xbf, 0xe2, 0x45, 0x11, 0x43, 0x15, 0x32
};
static const unsigned char out_fox[32] = {
0x69, 0x07, 0x0d, 0xda, 0x01, 0x97, 0x5c, 0x8c, 0x12, 0x0c, 0x3a, 0xad,
0xa1, 0xb2, 0x82, 0x39, 0x4e, 0x7f, 0x03, 0x2f, 0xa9, 0xcf, 0x32, 0xf4,
0xcb, 0x22, 0x59, 0xa0, 0x89, 0x7d, 0xfc, 0x04
};
unsigned char out[32];
crypto_hash_sha3256_state state;
size_t i;
assert(crypto_hash_sha3256_bytes() == 32);
assert(crypto_hash_sha3256_statebytes() > 0);
crypto_hash_sha3256(out, NULL, 0);
assert(memcmp(out, out_empty, 32) == 0);
printf("SHA3-256(\"\") = ");
for (i = 0; i < 32; i++) {
printf("%02x", out[i]);
}
printf("\n");
crypto_hash_sha3256(out, msg_abc, 3);
assert(memcmp(out, out_abc, 32) == 0);
printf("SHA3-256(\"abc\") = ");
for (i = 0; i < 32; i++) {
printf("%02x", out[i]);
}
printf("\n");
crypto_hash_sha3256(out, msg_fox, 43);
assert(memcmp(out, out_fox, 32) == 0);
printf("SHA3-256(\"The quick brown fox...\") = ");
for (i = 0; i < 32; i++) {
printf("%02x", out[i]);
}
printf("\n");
crypto_hash_sha3256_init(&state);
crypto_hash_sha3256_update(&state, msg_abc, 3);
crypto_hash_sha3256_final(&state, out);
assert(memcmp(out, out_abc, 32) == 0);
printf("Streaming API test passed\n");
crypto_hash_sha3256_init(&state);
crypto_hash_sha3256_update(&state, msg_abc, 1);
crypto_hash_sha3256_update(&state, msg_abc + 1, 1);
crypto_hash_sha3256_update(&state, msg_abc + 2, 1);
crypto_hash_sha3256_final(&state, out);
assert(memcmp(out, out_abc, 32) == 0);
printf("Chunked update test passed\n");
{
unsigned char msg_rate[136];
unsigned char out_rate[32];
unsigned char out_rate_stream[32];
memset(msg_rate, 0xAB, sizeof msg_rate);
crypto_hash_sha3256(out_rate, msg_rate, sizeof msg_rate);
crypto_hash_sha3256_init(&state);
crypto_hash_sha3256_update(&state, msg_rate, sizeof msg_rate);
crypto_hash_sha3256_final(&state, out_rate_stream);
assert(memcmp(out_rate, out_rate_stream, 32) == 0);
printf("Rate boundary test passed\n");
}
{
unsigned char msg_rate_plus1[137];
unsigned char out_rate_plus1[32];
unsigned char out_rate_plus1_stream[32];
memset(msg_rate_plus1, 0xCD, sizeof msg_rate_plus1);
crypto_hash_sha3256(out_rate_plus1, msg_rate_plus1, sizeof msg_rate_plus1);
crypto_hash_sha3256_init(&state);
crypto_hash_sha3256_update(&state, msg_rate_plus1, 100);
crypto_hash_sha3256_update(&state, msg_rate_plus1 + 100, 37);
crypto_hash_sha3256_final(&state, out_rate_plus1_stream);
assert(memcmp(out_rate_plus1, out_rate_plus1_stream, 32) == 0);
printf("Rate+1 boundary test passed\n");
}
{
unsigned char msg_rate_minus1[135];
unsigned char out1[32], out2[32];
memset(msg_rate_minus1, 0xEF, sizeof msg_rate_minus1);
crypto_hash_sha3256(out1, msg_rate_minus1, sizeof msg_rate_minus1);
crypto_hash_sha3256_init(&state);
crypto_hash_sha3256_update(&state, msg_rate_minus1, sizeof msg_rate_minus1);
crypto_hash_sha3256_final(&state, out2);
assert(memcmp(out1, out2, 32) == 0);
printf("Rate-1 boundary test passed\n");
}
printf("OK\n");
return 0;
}
+9
View File
@@ -0,0 +1,9 @@
SHA3-256("") = a7ffc6f8bf1ed76651c14756a061d662f580ff4de43b49fa82d80a4b80f8434a
SHA3-256("abc") = 3a985da74fe225b2045c172d6bd390bd855f086e3e9d525b46bfe24511431532
SHA3-256("The quick brown fox...") = 69070dda01975c8c120c3aada1b282394e7f032fa9cf32f4cb2259a0897dfc04
Streaming API test passed
Chunked update test passed
Rate boundary test passed
Rate+1 boundary test passed
Rate-1 boundary test passed
OK
+140
View File
@@ -0,0 +1,140 @@
#define TEST_NAME "hash_sha3512"
#include "cmptest.h"
int
main(void)
{
static const unsigned char msg_abc[] = { 0x61, 0x62, 0x63 };
static const unsigned char msg_fox[] = {
0x54, 0x68, 0x65, 0x20, 0x71, 0x75, 0x69, 0x63, 0x6b, 0x20, 0x62, 0x72,
0x6f, 0x77, 0x6e, 0x20, 0x66, 0x6f, 0x78, 0x20, 0x6a, 0x75, 0x6d, 0x70,
0x73, 0x20, 0x6f, 0x76, 0x65, 0x72, 0x20, 0x74, 0x68, 0x65, 0x20, 0x6c,
0x61, 0x7a, 0x79, 0x20, 0x64, 0x6f, 0x67
};
static const unsigned char out_empty[64] = {
0xa6, 0x9f, 0x73, 0xcc, 0xa2, 0x3a, 0x9a, 0xc5, 0xc8, 0xb5, 0x67, 0xdc,
0x18, 0x5a, 0x75, 0x6e, 0x97, 0xc9, 0x82, 0x16, 0x4f, 0xe2, 0x58, 0x59,
0xe0, 0xd1, 0xdc, 0xc1, 0x47, 0x5c, 0x80, 0xa6, 0x15, 0xb2, 0x12, 0x3a,
0xf1, 0xf5, 0xf9, 0x4c, 0x11, 0xe3, 0xe9, 0x40, 0x2c, 0x3a, 0xc5, 0x58,
0xf5, 0x00, 0x19, 0x9d, 0x95, 0xb6, 0xd3, 0xe3, 0x01, 0x75, 0x85, 0x86,
0x28, 0x1d, 0xcd, 0x26
};
static const unsigned char out_abc[64] = {
0xb7, 0x51, 0x85, 0x0b, 0x1a, 0x57, 0x16, 0x8a, 0x56, 0x93, 0xcd, 0x92,
0x4b, 0x6b, 0x09, 0x6e, 0x08, 0xf6, 0x21, 0x82, 0x74, 0x44, 0xf7, 0x0d,
0x88, 0x4f, 0x5d, 0x02, 0x40, 0xd2, 0x71, 0x2e, 0x10, 0xe1, 0x16, 0xe9,
0x19, 0x2a, 0xf3, 0xc9, 0x1a, 0x7e, 0xc5, 0x76, 0x47, 0xe3, 0x93, 0x40,
0x57, 0x34, 0x0b, 0x4c, 0xf4, 0x08, 0xd5, 0xa5, 0x65, 0x92, 0xf8, 0x27,
0x4e, 0xec, 0x53, 0xf0
};
static const unsigned char out_fox[64] = {
0x01, 0xde, 0xdd, 0x5d, 0xe4, 0xef, 0x14, 0x64, 0x24, 0x45, 0xba, 0x5f,
0x5b, 0x97, 0xc1, 0x5e, 0x47, 0xb9, 0xad, 0x93, 0x13, 0x26, 0xe4, 0xb0,
0x72, 0x7c, 0xd9, 0x4c, 0xef, 0xc4, 0x4f, 0xff, 0x23, 0xf0, 0x7b, 0xf5,
0x43, 0x13, 0x99, 0x39, 0xb4, 0x91, 0x28, 0xca, 0xf4, 0x36, 0xdc, 0x1b,
0xde, 0xe5, 0x4f, 0xcb, 0x24, 0x02, 0x3a, 0x08, 0xd9, 0x40, 0x3f, 0x9b,
0x4b, 0xf0, 0xd4, 0x50
};
unsigned char out[64];
crypto_hash_sha3512_state state;
size_t i;
assert(crypto_hash_sha3512_bytes() == 64);
assert(crypto_hash_sha3512_statebytes() > 0);
crypto_hash_sha3512(out, NULL, 0);
assert(memcmp(out, out_empty, 64) == 0);
printf("SHA3-512(\"\") = ");
for (i = 0; i < 64; i++) {
printf("%02x", out[i]);
}
printf("\n");
crypto_hash_sha3512(out, msg_abc, 3);
assert(memcmp(out, out_abc, 64) == 0);
printf("SHA3-512(\"abc\") = ");
for (i = 0; i < 64; i++) {
printf("%02x", out[i]);
}
printf("\n");
crypto_hash_sha3512(out, msg_fox, 43);
assert(memcmp(out, out_fox, 64) == 0);
printf("SHA3-512(\"The quick brown fox...\") = ");
for (i = 0; i < 64; i++) {
printf("%02x", out[i]);
}
printf("\n");
crypto_hash_sha3512_init(&state);
crypto_hash_sha3512_update(&state, msg_abc, 3);
crypto_hash_sha3512_final(&state, out);
assert(memcmp(out, out_abc, 64) == 0);
printf("Streaming API test passed\n");
crypto_hash_sha3512_init(&state);
crypto_hash_sha3512_update(&state, msg_abc, 1);
crypto_hash_sha3512_update(&state, msg_abc + 1, 1);
crypto_hash_sha3512_update(&state, msg_abc + 2, 1);
crypto_hash_sha3512_final(&state, out);
assert(memcmp(out, out_abc, 64) == 0);
printf("Chunked update test passed\n");
{
unsigned char msg_rate[72];
unsigned char out_rate[64];
unsigned char out_rate_stream[64];
memset(msg_rate, 0xAB, sizeof msg_rate);
crypto_hash_sha3512(out_rate, msg_rate, sizeof msg_rate);
crypto_hash_sha3512_init(&state);
crypto_hash_sha3512_update(&state, msg_rate, sizeof msg_rate);
crypto_hash_sha3512_final(&state, out_rate_stream);
assert(memcmp(out_rate, out_rate_stream, 64) == 0);
printf("Rate boundary test passed\n");
}
{
unsigned char msg_rate_plus1[73];
unsigned char out_rate_plus1[64];
unsigned char out_rate_plus1_stream[64];
memset(msg_rate_plus1, 0xCD, sizeof msg_rate_plus1);
crypto_hash_sha3512(out_rate_plus1, msg_rate_plus1, sizeof msg_rate_plus1);
crypto_hash_sha3512_init(&state);
crypto_hash_sha3512_update(&state, msg_rate_plus1, 50);
crypto_hash_sha3512_update(&state, msg_rate_plus1 + 50, 23);
crypto_hash_sha3512_final(&state, out_rate_plus1_stream);
assert(memcmp(out_rate_plus1, out_rate_plus1_stream, 64) == 0);
printf("Rate+1 boundary test passed\n");
}
{
unsigned char msg_rate_minus1[71];
unsigned char out1[64], out2[64];
memset(msg_rate_minus1, 0xEF, sizeof msg_rate_minus1);
crypto_hash_sha3512(out1, msg_rate_minus1, sizeof msg_rate_minus1);
crypto_hash_sha3512_init(&state);
crypto_hash_sha3512_update(&state, msg_rate_minus1, sizeof msg_rate_minus1);
crypto_hash_sha3512_final(&state, out2);
assert(memcmp(out1, out2, 64) == 0);
printf("Rate-1 boundary test passed\n");
}
printf("OK\n");
return 0;
}
+9
View File
@@ -0,0 +1,9 @@
SHA3-512("") = a69f73cca23a9ac5c8b567dc185a756e97c982164fe25859e0d1dcc1475c80a615b2123af1f5f94c11e3e9402c3ac558f500199d95b6d3e301758586281dcd26
SHA3-512("abc") = b751850b1a57168a5693cd924b6b096e08f621827444f70d884f5d0240d2712e10e116e9192af3c91a7ec57647e3934057340b4cf408d5a56592f8274eec53f0
SHA3-512("The quick brown fox...") = 01dedd5de4ef14642445ba5f5b97c15e47b9ad931326e4b0727cd94cefc44fff23f07bf543139939b49128caf436dc1bdee54fcb24023a08d9403f9b4bf0d450
Streaming API test passed
Chunked update test passed
Rate boundary test passed
Rate+1 boundary test passed
Rate-1 boundary test passed
OK