blob: a638213ff47f788b603286d72ec06d4d50e000e3 [file] [log] [blame]
Daniel King34b822c2016-05-15 17:28:08 -03001/* BEGIN_HEADER */
2#include "mbedtls/chacha20.h"
3/* END_HEADER */
4
5/* BEGIN_DEPENDENCIES
6 * depends_on:MBEDTLS_CHACHA20_C
7 * END_DEPENDENCIES
8 */
Daniel King6155cc82016-05-18 11:51:22 -03009
10/* BEGIN_CASE */
Gilles Peskine449bd832023-01-11 14:50:10 +010011void chacha20_crypt(data_t *key_str,
12 data_t *nonce_str,
13 int counter,
14 data_t *src_str,
15 data_t *expected_output_str)
Daniel King6155cc82016-05-18 11:51:22 -030016{
Ronald Cron7e512712020-06-25 11:33:01 +020017 unsigned char output[375];
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020018 mbedtls_chacha20_context ctx;
Daniel King6155cc82016-05-18 11:51:22 -030019
Gilles Peskine449bd832023-01-11 14:50:10 +010020 memset(output, 0x00, sizeof(output));
Daniel King6155cc82016-05-18 11:51:22 -030021
Gilles Peskine449bd832023-01-11 14:50:10 +010022 TEST_ASSERT(src_str->len == expected_output_str->len);
23 TEST_ASSERT(key_str->len == 32U);
24 TEST_ASSERT(nonce_str->len == 12U);
Daniel King6155cc82016-05-18 11:51:22 -030025
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020026 /*
27 * Test the integrated API
28 */
Gilles Peskine449bd832023-01-11 14:50:10 +010029 TEST_ASSERT(mbedtls_chacha20_crypt(key_str->x, nonce_str->x, counter, src_str->len, src_str->x,
30 output) == 0);
Daniel King6155cc82016-05-18 11:51:22 -030031
Tom Cosgrovee4e9e7d2023-07-21 11:40:20 +010032 TEST_MEMORY_COMPARE(output, expected_output_str->len,
Gilles Peskine449bd832023-01-11 14:50:10 +010033 expected_output_str->x, expected_output_str->len);
Daniel King6155cc82016-05-18 11:51:22 -030034
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020035 /*
36 * Test the streaming API
37 */
Gilles Peskine449bd832023-01-11 14:50:10 +010038 mbedtls_chacha20_init(&ctx);
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020039
Gilles Peskine449bd832023-01-11 14:50:10 +010040 TEST_ASSERT(mbedtls_chacha20_setkey(&ctx, key_str->x) == 0);
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020041
Gilles Peskine449bd832023-01-11 14:50:10 +010042 TEST_ASSERT(mbedtls_chacha20_starts(&ctx, nonce_str->x, counter) == 0);
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020043
Gilles Peskine449bd832023-01-11 14:50:10 +010044 memset(output, 0x00, sizeof(output));
45 TEST_ASSERT(mbedtls_chacha20_update(&ctx, src_str->len, src_str->x, output) == 0);
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020046
Tom Cosgrovee4e9e7d2023-07-21 11:40:20 +010047 TEST_MEMORY_COMPARE(output, expected_output_str->len,
Gilles Peskine449bd832023-01-11 14:50:10 +010048 expected_output_str->x, expected_output_str->len);
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020049
50 /*
51 * Test the streaming API again, piecewise
52 */
53
Manuel Pégourié-Gonnard14656022018-05-09 12:51:54 +020054 /* Don't free/init the context nor set the key again,
55 * in order to test that starts() does the right thing. */
Gilles Peskine449bd832023-01-11 14:50:10 +010056 TEST_ASSERT(mbedtls_chacha20_starts(&ctx, nonce_str->x, counter) == 0);
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020057
Gilles Peskine449bd832023-01-11 14:50:10 +010058 memset(output, 0x00, sizeof(output));
59 TEST_ASSERT(mbedtls_chacha20_update(&ctx, 1, src_str->x, output) == 0);
60 TEST_ASSERT(mbedtls_chacha20_update(&ctx, src_str->len - 1,
61 src_str->x + 1, output + 1) == 0);
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020062
Tom Cosgrovee4e9e7d2023-07-21 11:40:20 +010063 TEST_MEMORY_COMPARE(output, expected_output_str->len,
Gilles Peskine449bd832023-01-11 14:50:10 +010064 expected_output_str->x, expected_output_str->len);
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020065
Gilles Peskine449bd832023-01-11 14:50:10 +010066 mbedtls_chacha20_free(&ctx);
Daniel King6155cc82016-05-18 11:51:22 -030067}
68/* END_CASE */
69
Daniel King34b822c2016-05-15 17:28:08 -030070/* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST */
71void chacha20_self_test()
72{
Gilles Peskine449bd832023-01-11 14:50:10 +010073 TEST_ASSERT(mbedtls_chacha20_self_test(1) == 0);
Daniel King34b822c2016-05-15 17:28:08 -030074}
Manuel Pégourié-Gonnard528524b2018-05-09 11:21:21 +020075/* END_CASE */