Daniel King | adc32c0 | 2016-05-16 18:25:45 -0300 | [diff] [blame] | 1 | /* BEGIN_HEADER */ |
| 2 | #include "mbedtls/poly1305.h" |
| 3 | #include <stddef.h> |
| 4 | /* END_HEADER */ |
| 5 | |
Manuel Pégourié-Gonnard | a8fa8b8 | 2018-05-10 10:12:36 +0200 | [diff] [blame] | 6 | /* BEGIN_DEPENDENCIES |
| 7 | * depends_on:MBEDTLS_POLY1305_C |
| 8 | * END_DEPENDENCIES |
| 9 | */ |
| 10 | |
| 11 | /* BEGIN_CASE */ |
Ronald Cron | 55d97f2 | 2020-06-26 17:00:30 +0200 | [diff] [blame] | 12 | void mbedtls_poly1305( data_t *key, data_t *expected_mac, data_t *src_str ) |
Daniel King | adc32c0 | 2016-05-16 18:25:45 -0300 | [diff] [blame] | 13 | { |
Manuel Pégourié-Gonnard | 528524b | 2018-05-09 11:21:21 +0200 | [diff] [blame] | 14 | unsigned char mac[16]; /* size set by the standard */ |
Manuel Pégourié-Gonnard | 1465602 | 2018-05-09 12:51:54 +0200 | [diff] [blame] | 15 | mbedtls_poly1305_context ctx; |
Daniel King | adc32c0 | 2016-05-16 18:25:45 -0300 | [diff] [blame] | 16 | |
Ronald Cron | 55d97f2 | 2020-06-26 17:00:30 +0200 | [diff] [blame] | 17 | memset( mac, 0x00, sizeof( mac ) ); |
Daniel King | adc32c0 | 2016-05-16 18:25:45 -0300 | [diff] [blame] | 18 | |
Manuel Pégourié-Gonnard | 1465602 | 2018-05-09 12:51:54 +0200 | [diff] [blame] | 19 | /* |
| 20 | * Test the integrated API |
| 21 | */ |
Ronald Cron | 9ed4073 | 2020-06-25 09:03:34 +0200 | [diff] [blame] | 22 | TEST_ASSERT( mbedtls_poly1305_mac( key->x, src_str->x, |
| 23 | src_str->len, mac ) == 0 ); |
Daniel King | adc32c0 | 2016-05-16 18:25:45 -0300 | [diff] [blame] | 24 | |
Ronald Cron | d8902b6 | 2020-07-30 14:18:02 +0200 | [diff] [blame] | 25 | ASSERT_COMPARE( mac, expected_mac->len, |
| 26 | expected_mac->x, expected_mac->len ); |
Manuel Pégourié-Gonnard | 1465602 | 2018-05-09 12:51:54 +0200 | [diff] [blame] | 27 | |
| 28 | /* |
| 29 | * Test the streaming API |
| 30 | */ |
| 31 | mbedtls_poly1305_init( &ctx ); |
| 32 | |
Ronald Cron | 9ed4073 | 2020-06-25 09:03:34 +0200 | [diff] [blame] | 33 | TEST_ASSERT( mbedtls_poly1305_starts( &ctx, key->x ) == 0 ); |
Manuel Pégourié-Gonnard | 1465602 | 2018-05-09 12:51:54 +0200 | [diff] [blame] | 34 | |
Ronald Cron | 9ed4073 | 2020-06-25 09:03:34 +0200 | [diff] [blame] | 35 | TEST_ASSERT( mbedtls_poly1305_update( &ctx, src_str->x, src_str->len ) == 0 ); |
Manuel Pégourié-Gonnard | 1465602 | 2018-05-09 12:51:54 +0200 | [diff] [blame] | 36 | |
| 37 | TEST_ASSERT( mbedtls_poly1305_finish( &ctx, mac ) == 0 ); |
| 38 | |
Ronald Cron | d8902b6 | 2020-07-30 14:18:02 +0200 | [diff] [blame] | 39 | ASSERT_COMPARE( mac, expected_mac->len, |
| 40 | expected_mac->x, expected_mac->len ); |
Manuel Pégourié-Gonnard | 1465602 | 2018-05-09 12:51:54 +0200 | [diff] [blame] | 41 | |
| 42 | /* |
| 43 | * Test the streaming API again, piecewise |
| 44 | */ |
| 45 | |
| 46 | /* Don't free/init the context, in order to test that starts() does the |
| 47 | * right thing. */ |
Ronald Cron | 9ed4073 | 2020-06-25 09:03:34 +0200 | [diff] [blame] | 48 | if( src_str->len >= 1 ) |
Manuel Pégourié-Gonnard | 444f711 | 2018-05-10 11:06:46 +0200 | [diff] [blame] | 49 | { |
Ronald Cron | 9ed4073 | 2020-06-25 09:03:34 +0200 | [diff] [blame] | 50 | TEST_ASSERT( mbedtls_poly1305_starts( &ctx, key->x ) == 0 ); |
Manuel Pégourié-Gonnard | 1465602 | 2018-05-09 12:51:54 +0200 | [diff] [blame] | 51 | |
Ronald Cron | 9ed4073 | 2020-06-25 09:03:34 +0200 | [diff] [blame] | 52 | TEST_ASSERT( mbedtls_poly1305_update( &ctx, src_str->x, 1 ) == 0 ); |
| 53 | TEST_ASSERT( mbedtls_poly1305_update( &ctx, src_str->x + 1, src_str->len - 1 ) == 0 ); |
Manuel Pégourié-Gonnard | 1465602 | 2018-05-09 12:51:54 +0200 | [diff] [blame] | 54 | |
Manuel Pégourié-Gonnard | 444f711 | 2018-05-10 11:06:46 +0200 | [diff] [blame] | 55 | TEST_ASSERT( mbedtls_poly1305_finish( &ctx, mac ) == 0 ); |
Manuel Pégourié-Gonnard | 1465602 | 2018-05-09 12:51:54 +0200 | [diff] [blame] | 56 | |
Ronald Cron | d8902b6 | 2020-07-30 14:18:02 +0200 | [diff] [blame] | 57 | ASSERT_COMPARE( mac, expected_mac->len, |
| 58 | expected_mac->x, expected_mac->len ); |
Manuel Pégourié-Gonnard | 444f711 | 2018-05-10 11:06:46 +0200 | [diff] [blame] | 59 | } |
| 60 | |
| 61 | /* |
| 62 | * Again with more pieces |
| 63 | */ |
Ronald Cron | 9ed4073 | 2020-06-25 09:03:34 +0200 | [diff] [blame] | 64 | if( src_str->len >= 2 ) |
Manuel Pégourié-Gonnard | 444f711 | 2018-05-10 11:06:46 +0200 | [diff] [blame] | 65 | { |
Ronald Cron | 9ed4073 | 2020-06-25 09:03:34 +0200 | [diff] [blame] | 66 | TEST_ASSERT( mbedtls_poly1305_starts( &ctx, key->x ) == 0 ); |
Manuel Pégourié-Gonnard | 444f711 | 2018-05-10 11:06:46 +0200 | [diff] [blame] | 67 | |
Ronald Cron | 9ed4073 | 2020-06-25 09:03:34 +0200 | [diff] [blame] | 68 | TEST_ASSERT( mbedtls_poly1305_update( &ctx, src_str->x, 1 ) == 0 ); |
| 69 | TEST_ASSERT( mbedtls_poly1305_update( &ctx, src_str->x + 1, 1 ) == 0 ); |
| 70 | TEST_ASSERT( mbedtls_poly1305_update( &ctx, src_str->x + 2, src_str->len - 2 ) == 0 ); |
Manuel Pégourié-Gonnard | 444f711 | 2018-05-10 11:06:46 +0200 | [diff] [blame] | 71 | |
| 72 | TEST_ASSERT( mbedtls_poly1305_finish( &ctx, mac ) == 0 ); |
| 73 | |
Ronald Cron | d8902b6 | 2020-07-30 14:18:02 +0200 | [diff] [blame] | 74 | ASSERT_COMPARE( mac, expected_mac->len, |
| 75 | expected_mac->x, expected_mac->len ); |
Manuel Pégourié-Gonnard | 444f711 | 2018-05-10 11:06:46 +0200 | [diff] [blame] | 76 | } |
Manuel Pégourié-Gonnard | 1465602 | 2018-05-09 12:51:54 +0200 | [diff] [blame] | 77 | |
| 78 | mbedtls_poly1305_free( &ctx ); |
Daniel King | adc32c0 | 2016-05-16 18:25:45 -0300 | [diff] [blame] | 79 | } |
| 80 | /* END_CASE */ |
| 81 | |
Manuel Pégourié-Gonnard | a8fa8b8 | 2018-05-10 10:12:36 +0200 | [diff] [blame] | 82 | /* BEGIN_CASE depends_on:MBEDTLS_SELF_TEST */ |
Daniel King | adc32c0 | 2016-05-16 18:25:45 -0300 | [diff] [blame] | 83 | void poly1305_selftest() |
| 84 | { |
Manuel Pégourié-Gonnard | fce88b2 | 2018-05-09 13:06:12 +0200 | [diff] [blame] | 85 | TEST_ASSERT( mbedtls_poly1305_self_test( 1 ) == 0 ); |
Daniel King | adc32c0 | 2016-05-16 18:25:45 -0300 | [diff] [blame] | 86 | } |
| 87 | /* END_CASE */ |