blob: afe24183a30f9a16b5b9322a779f5bcb0ff58fca [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 */
Ronald Cron9ed40732020-06-25 09:03:34 +020011void chacha20_crypt( data_t *key_str,
12 data_t *nonce_str,
Daniel King6155cc82016-05-18 11:51:22 -030013 int counter,
Ronald Cron9ed40732020-06-25 09:03:34 +020014 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
Ronald Cron9ed40732020-06-25 09:03:34 +020020 /*
21 * Buffers to store the ASCII string representation of output and
22 * expected_output_str.
23 */
24 unsigned char output_string[751] = { '\0' };
25 unsigned char expected_output_string[751] = { '\0' };
Daniel King6155cc82016-05-18 11:51:22 -030026
Ronald Cron9ed40732020-06-25 09:03:34 +020027 memset( output, 0x00, sizeof( output ) );
Daniel King6155cc82016-05-18 11:51:22 -030028
Ronald Cron9ed40732020-06-25 09:03:34 +020029 TEST_ASSERT( src_str->len == expected_output_str->len );
30 TEST_ASSERT( key_str->len == 32U );
31 TEST_ASSERT( nonce_str->len == 12U );
Daniel King6155cc82016-05-18 11:51:22 -030032
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020033 /*
34 * Test the integrated API
35 */
Ronald Cron9ed40732020-06-25 09:03:34 +020036 TEST_ASSERT( mbedtls_chacha20_crypt( key_str->x, nonce_str->x, counter, src_str->len, src_str->x, output ) == 0 );
Daniel King6155cc82016-05-18 11:51:22 -030037
Ronald Cron9ed40732020-06-25 09:03:34 +020038 mbedtls_test_hexify( expected_output_string,
39 expected_output_str->x,
40 expected_output_str->len);
41 mbedtls_test_hexify( output_string, output, src_str->len );
42 TEST_ASSERT( strcmp( (char *)output_string,
43 (char *)expected_output_string ) == 0 );
Daniel King6155cc82016-05-18 11:51:22 -030044
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020045 /*
46 * Test the streaming API
47 */
48 mbedtls_chacha20_init( &ctx );
49
Ronald Cron9ed40732020-06-25 09:03:34 +020050 TEST_ASSERT( mbedtls_chacha20_setkey( &ctx, key_str->x ) == 0 );
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020051
Ronald Cron9ed40732020-06-25 09:03:34 +020052 TEST_ASSERT( mbedtls_chacha20_starts( &ctx, nonce_str->x, counter ) == 0 );
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020053
54 memset( output, 0x00, sizeof( output ) );
Ronald Cron9ed40732020-06-25 09:03:34 +020055 TEST_ASSERT( mbedtls_chacha20_update( &ctx, src_str->len, src_str->x, output ) == 0 );
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020056
Ronald Cron9ed40732020-06-25 09:03:34 +020057 mbedtls_test_hexify( output_string, output, src_str->len );
58 TEST_ASSERT( strcmp( (char *)output_string,
59 (char *)expected_output_string ) == 0 );
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020060
61 /*
62 * Test the streaming API again, piecewise
63 */
64
Manuel Pégourié-Gonnard14656022018-05-09 12:51:54 +020065 /* Don't free/init the context nor set the key again,
66 * in order to test that starts() does the right thing. */
Ronald Cron9ed40732020-06-25 09:03:34 +020067 TEST_ASSERT( mbedtls_chacha20_starts( &ctx, nonce_str->x, counter ) == 0 );
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020068
69 memset( output, 0x00, sizeof( output ) );
Ronald Cron9ed40732020-06-25 09:03:34 +020070 TEST_ASSERT( mbedtls_chacha20_update( &ctx, 1, src_str->x, output ) == 0 );
71 TEST_ASSERT( mbedtls_chacha20_update( &ctx, src_str->len - 1,
72 src_str->x + 1, output + 1 ) == 0 );
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020073
Ronald Cron9ed40732020-06-25 09:03:34 +020074 mbedtls_test_hexify( output_string, output, src_str->len );
75 TEST_ASSERT( strcmp( (char *)output_string,
76 (char *)expected_output_string ) == 0 );
Manuel Pégourié-Gonnard55c0d092018-05-09 12:37:58 +020077
78 mbedtls_chacha20_free( &ctx );
Daniel King6155cc82016-05-18 11:51:22 -030079}
80/* END_CASE */
81
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050082/* BEGIN_CASE depends_on:MBEDTLS_CHECK_PARAMS:!MBEDTLS_PARAM_FAILED_ALT */
Manuel Pégourié-Gonnard2aca2362018-05-10 10:11:42 +020083void chacha20_bad_params()
84{
85 unsigned char key[32];
86 unsigned char nonce[12];
87 unsigned char src[1];
88 unsigned char dst[1];
89 uint32_t counter = 0;
90 size_t len = sizeof( src );
91 mbedtls_chacha20_context ctx;
92
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050093 TEST_INVALID_PARAM( mbedtls_chacha20_init( NULL ) );
94 TEST_VALID_PARAM( mbedtls_chacha20_free( NULL ) );
Manuel Pégourié-Gonnard2aca2362018-05-10 10:11:42 +020095
Andrzej Kurekc470b6b2019-01-31 08:20:20 -050096 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA,
97 mbedtls_chacha20_setkey( NULL, key ) );
98 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA,
99 mbedtls_chacha20_setkey( &ctx, NULL ) );
Manuel Pégourié-Gonnard2aca2362018-05-10 10:11:42 +0200100
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500101 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA,
102 mbedtls_chacha20_starts( NULL, nonce, counter ) );
103 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA,
104 mbedtls_chacha20_starts( &ctx, NULL, counter ) );
Manuel Pégourié-Gonnard2aca2362018-05-10 10:11:42 +0200105
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500106 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA,
107 mbedtls_chacha20_update( NULL, 0, src, dst ) );
108 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA,
109 mbedtls_chacha20_update( &ctx, len, NULL, dst ) );
110 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA,
111 mbedtls_chacha20_update( &ctx, len, src, NULL ) );
Manuel Pégourié-Gonnard2aca2362018-05-10 10:11:42 +0200112
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500113 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA,
114 mbedtls_chacha20_crypt( NULL, nonce, counter, 0, src, dst ) );
115 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA,
116 mbedtls_chacha20_crypt( key, NULL, counter, 0, src, dst ) );
117 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA,
118 mbedtls_chacha20_crypt( key, nonce, counter, len, NULL, dst ) );
119 TEST_INVALID_PARAM_RET( MBEDTLS_ERR_CHACHA20_BAD_INPUT_DATA,
120 mbedtls_chacha20_crypt( key, nonce, counter, len, src, NULL ) );
Manuel Pégourié-Gonnard2aca2362018-05-10 10:11:42 +0200121
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500122exit:
123 return;
Manuel Pégourié-Gonnard2aca2362018-05-10 10:11:42 +0200124
Manuel Pégourié-Gonnard2aca2362018-05-10 10:11:42 +0200125}
126/* END_CASE */
127
Daniel King34b822c2016-05-15 17:28:08 -0300128/* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST */
129void chacha20_self_test()
130{
Manuel Pégourié-Gonnardfce88b22018-05-09 13:06:12 +0200131 TEST_ASSERT( mbedtls_chacha20_self_test( 1 ) == 0 );
Daniel King34b822c2016-05-15 17:28:08 -0300132}
Manuel Pégourié-Gonnard528524b2018-05-09 11:21:21 +0200133/* END_CASE */