blob: 515a974c6a1831c5e6f6d88e509cb6151ff4c107 [file] [log] [blame]
Paul Bakker33b43f12013-08-20 11:48:36 +02001/* BEGIN_HEADER */
Manuel Pégourié-Gonnard7f809972015-03-09 17:05:11 +00002#include "mbedtls/ecdh.h"
Gilles Peskine552563b2018-11-07 22:07:58 +01003
4static int load_public_key( int grp_id, data_t *point,
5 mbedtls_ecp_keypair *ecp )
6{
7 int ok = 0;
8 TEST_ASSERT( mbedtls_ecp_group_load( &ecp->grp, grp_id ) == 0 );
9 TEST_ASSERT( mbedtls_ecp_point_read_binary( &ecp->grp,
10 &ecp->Q,
11 point->x,
12 point->len ) == 0 );
13 TEST_ASSERT( mbedtls_ecp_check_pubkey( &ecp->grp,
14 &ecp->Q ) == 0 );
15 ok = 1;
16exit:
17 return( ok );
18}
19
20static int load_private_key( int grp_id, data_t *private_key,
21 mbedtls_ecp_keypair *ecp,
Ronald Cron351f0ee2020-06-10 12:12:18 +020022 mbedtls_test_rnd_pseudo_info *rnd_info )
Gilles Peskine552563b2018-11-07 22:07:58 +010023{
24 int ok = 0;
Janos Follath171a7ef2019-02-15 16:17:45 +000025 TEST_ASSERT( mbedtls_ecp_read_key( grp_id, ecp,
26 private_key->x,
27 private_key->len ) == 0 );
Gilles Peskine552563b2018-11-07 22:07:58 +010028 TEST_ASSERT( mbedtls_ecp_check_privkey( &ecp->grp, &ecp->d ) == 0 );
29 /* Calculate the public key from the private key. */
30 TEST_ASSERT( mbedtls_ecp_mul( &ecp->grp, &ecp->Q, &ecp->d,
31 &ecp->grp.G,
Ronald Cron6c5bd7f2020-06-10 14:08:26 +020032 &mbedtls_test_rnd_pseudo_rand,
33 rnd_info ) == 0 );
Gilles Peskine552563b2018-11-07 22:07:58 +010034 ok = 1;
35exit:
36 return( ok );
37}
38
Paul Bakker33b43f12013-08-20 11:48:36 +020039/* END_HEADER */
Manuel Pégourié-Gonnard61ce13b2013-01-26 16:20:32 +010040
Paul Bakker33b43f12013-08-20 11:48:36 +020041/* BEGIN_DEPENDENCIES
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020042 * depends_on:MBEDTLS_ECDH_C
Paul Bakker33b43f12013-08-20 11:48:36 +020043 * END_DEPENDENCIES
44 */
Manuel Pégourié-Gonnard61ce13b2013-01-26 16:20:32 +010045
Tuvshinzaya Erdenekhuu23924192022-07-27 15:19:46 +010046/* BEGIN_CASE */
Hanno Becker4c818482018-12-17 18:32:22 +000047void ecdh_invalid_param( )
48{
Hanno Becker4c818482018-12-17 18:32:22 +000049 mbedtls_ecdh_context ctx;
Hanno Becker4c818482018-12-17 18:32:22 +000050 mbedtls_ecp_keypair kp;
Hanno Becker4c818482018-12-17 18:32:22 +000051 int invalid_side = 42;
Hanno Becker4c818482018-12-17 18:32:22 +000052
Gabor Mezei0bb13822022-09-27 18:48:44 +020053 mbedtls_ecdh_init( &ctx );
Gabor Mezeif29c2a52022-09-23 15:25:27 +020054 mbedtls_ecp_keypair_init( &kp );
55
Ronald Cron875b5fb2021-05-21 08:50:00 +020056 TEST_EQUAL( MBEDTLS_ERR_ECP_BAD_INPUT_DATA,
Hanno Becker4c818482018-12-17 18:32:22 +000057 mbedtls_ecdh_get_params( &ctx, &kp,
58 invalid_side ) );
59
Hanno Becker4c818482018-12-17 18:32:22 +000060exit:
61 return;
62}
63/* END_CASE */
64
65/* BEGIN_CASE */
Paul Bakker33b43f12013-08-20 11:48:36 +020066void ecdh_primitive_random( int id )
Manuel Pégourié-Gonnard61ce13b2013-01-26 16:20:32 +010067{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020068 mbedtls_ecp_group grp;
69 mbedtls_ecp_point qA, qB;
70 mbedtls_mpi dA, dB, zA, zB;
Ronald Cron351f0ee2020-06-10 12:12:18 +020071 mbedtls_test_rnd_pseudo_info rnd_info;
Manuel Pégourié-Gonnard61ce13b2013-01-26 16:20:32 +010072
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020073 mbedtls_ecp_group_init( &grp );
74 mbedtls_ecp_point_init( &qA ); mbedtls_ecp_point_init( &qB );
75 mbedtls_mpi_init( &dA ); mbedtls_mpi_init( &dB );
76 mbedtls_mpi_init( &zA ); mbedtls_mpi_init( &zB );
Ronald Cron351f0ee2020-06-10 12:12:18 +020077 memset( &rnd_info, 0x00, sizeof( mbedtls_test_rnd_pseudo_info ) );
Manuel Pégourié-Gonnard61ce13b2013-01-26 16:20:32 +010078
Manuel Pégourié-Gonnarde3a062b2015-05-11 18:46:47 +020079 TEST_ASSERT( mbedtls_ecp_group_load( &grp, id ) == 0 );
Manuel Pégourié-Gonnard61ce13b2013-01-26 16:20:32 +010080
Ronald Cron6c5bd7f2020-06-10 14:08:26 +020081 TEST_ASSERT( mbedtls_ecdh_gen_public( &grp, &dA, &qA,
82 &mbedtls_test_rnd_pseudo_rand,
83 &rnd_info ) == 0 );
84 TEST_ASSERT( mbedtls_ecdh_gen_public( &grp, &dB, &qB,
85 &mbedtls_test_rnd_pseudo_rand,
86 &rnd_info ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020087 TEST_ASSERT( mbedtls_ecdh_compute_shared( &grp, &zA, &qB, &dA,
Ronald Cron6c5bd7f2020-06-10 14:08:26 +020088 &mbedtls_test_rnd_pseudo_rand,
89 &rnd_info ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020090 TEST_ASSERT( mbedtls_ecdh_compute_shared( &grp, &zB, &qA, &dB,
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +020091 &mbedtls_test_rnd_pseudo_rand,
92 &rnd_info ) == 0 );
Manuel Pégourié-Gonnard61ce13b2013-01-26 16:20:32 +010093
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020094 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &zA, &zB ) == 0 );
Manuel Pégourié-Gonnard61ce13b2013-01-26 16:20:32 +010095
Paul Bakkerbd51b262014-07-10 15:26:12 +020096exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020097 mbedtls_ecp_group_free( &grp );
98 mbedtls_ecp_point_free( &qA ); mbedtls_ecp_point_free( &qB );
99 mbedtls_mpi_free( &dA ); mbedtls_mpi_free( &dB );
100 mbedtls_mpi_free( &zA ); mbedtls_mpi_free( &zB );
Manuel Pégourié-Gonnard61ce13b2013-01-26 16:20:32 +0100101}
Paul Bakker33b43f12013-08-20 11:48:36 +0200102/* END_CASE */
Manuel Pégourié-Gonnard007b7172013-01-27 08:56:21 +0100103
Paul Bakker33b43f12013-08-20 11:48:36 +0200104/* BEGIN_CASE */
Azim Khan5fcca462018-06-29 11:05:32 +0100105void ecdh_primitive_testvec( int id, data_t * rnd_buf_A, char * xA_str,
106 char * yA_str, data_t * rnd_buf_B,
Azim Khand30ca132017-06-09 04:32:58 +0100107 char * xB_str, char * yB_str, char * z_str )
Manuel Pégourié-Gonnard007b7172013-01-27 08:56:21 +0100108{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200109 mbedtls_ecp_group grp;
110 mbedtls_ecp_point qA, qB;
111 mbedtls_mpi dA, dB, zA, zB, check;
Ronald Cron351f0ee2020-06-10 12:12:18 +0200112 mbedtls_test_rnd_buf_info rnd_info_A, rnd_info_B;
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200113 mbedtls_test_rnd_pseudo_info rnd_info;
Manuel Pégourié-Gonnard007b7172013-01-27 08:56:21 +0100114
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200115 mbedtls_ecp_group_init( &grp );
116 mbedtls_ecp_point_init( &qA ); mbedtls_ecp_point_init( &qB );
117 mbedtls_mpi_init( &dA ); mbedtls_mpi_init( &dB );
118 mbedtls_mpi_init( &zA ); mbedtls_mpi_init( &zB ); mbedtls_mpi_init( &check );
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200119 memset( &rnd_info, 0x00, sizeof( mbedtls_test_rnd_pseudo_info ) );
Manuel Pégourié-Gonnard007b7172013-01-27 08:56:21 +0100120
Manuel Pégourié-Gonnarde3a062b2015-05-11 18:46:47 +0200121 TEST_ASSERT( mbedtls_ecp_group_load( &grp, id ) == 0 );
Manuel Pégourié-Gonnard007b7172013-01-27 08:56:21 +0100122
Azim Khand30ca132017-06-09 04:32:58 +0100123 rnd_info_A.buf = rnd_buf_A->x;
124 rnd_info_A.length = rnd_buf_A->len;
Gilles Peskineecacc3c2021-03-24 00:48:57 +0100125 rnd_info_A.fallback_f_rng = mbedtls_test_rnd_std_rand;
126 rnd_info_A.fallback_p_rng = NULL;
Manuel Pégourié-Gonnard544416a2014-01-23 16:55:18 +0100127
Azim Khand30ca132017-06-09 04:32:58 +0100128 /* Fix rnd_buf_A->x by shifting it left if necessary */
Manuel Pégourié-Gonnard544416a2014-01-23 16:55:18 +0100129 if( grp.nbits % 8 != 0 )
130 {
131 unsigned char shift = 8 - ( grp.nbits % 8 );
132 size_t i;
133
134 for( i = 0; i < rnd_info_A.length - 1; i++ )
Azim Khand30ca132017-06-09 04:32:58 +0100135 rnd_buf_A->x[i] = rnd_buf_A->x[i] << shift
136 | rnd_buf_A->x[i+1] >> ( 8 - shift );
Manuel Pégourié-Gonnard544416a2014-01-23 16:55:18 +0100137
Azim Khand30ca132017-06-09 04:32:58 +0100138 rnd_buf_A->x[rnd_info_A.length-1] <<= shift;
Manuel Pégourié-Gonnard544416a2014-01-23 16:55:18 +0100139 }
140
Azim Khand30ca132017-06-09 04:32:58 +0100141 rnd_info_B.buf = rnd_buf_B->x;
142 rnd_info_B.length = rnd_buf_B->len;
Gilles Peskineecacc3c2021-03-24 00:48:57 +0100143 rnd_info_B.fallback_f_rng = mbedtls_test_rnd_std_rand;
144 rnd_info_B.fallback_p_rng = NULL;
Manuel Pégourié-Gonnard544416a2014-01-23 16:55:18 +0100145
Azim Khand30ca132017-06-09 04:32:58 +0100146 /* Fix rnd_buf_B->x by shifting it left if necessary */
Manuel Pégourié-Gonnard544416a2014-01-23 16:55:18 +0100147 if( grp.nbits % 8 != 0 )
148 {
149 unsigned char shift = 8 - ( grp.nbits % 8 );
150 size_t i;
151
152 for( i = 0; i < rnd_info_B.length - 1; i++ )
Azim Khand30ca132017-06-09 04:32:58 +0100153 rnd_buf_B->x[i] = rnd_buf_B->x[i] << shift
154 | rnd_buf_B->x[i+1] >> ( 8 - shift );
Manuel Pégourié-Gonnard544416a2014-01-23 16:55:18 +0100155
Azim Khand30ca132017-06-09 04:32:58 +0100156 rnd_buf_B->x[rnd_info_B.length-1] <<= shift;
Manuel Pégourié-Gonnard544416a2014-01-23 16:55:18 +0100157 }
158
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200159 TEST_ASSERT( mbedtls_ecdh_gen_public( &grp, &dA, &qA,
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200160 mbedtls_test_rnd_buffer_rand,
161 &rnd_info_A ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200162 TEST_ASSERT( ! mbedtls_ecp_is_zero( &qA ) );
Werner Lewis19b4cd82022-07-07 11:02:27 +0100163 TEST_ASSERT( mbedtls_test_read_mpi( &check, xA_str ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200164 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &qA.X, &check ) == 0 );
Werner Lewis19b4cd82022-07-07 11:02:27 +0100165 TEST_ASSERT( mbedtls_test_read_mpi( &check, yA_str ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200166 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &qA.Y, &check ) == 0 );
Manuel Pégourié-Gonnard007b7172013-01-27 08:56:21 +0100167
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200168 TEST_ASSERT( mbedtls_ecdh_gen_public( &grp, &dB, &qB,
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200169 mbedtls_test_rnd_buffer_rand,
170 &rnd_info_B ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200171 TEST_ASSERT( ! mbedtls_ecp_is_zero( &qB ) );
Werner Lewis19b4cd82022-07-07 11:02:27 +0100172 TEST_ASSERT( mbedtls_test_read_mpi( &check, xB_str ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200173 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &qB.X, &check ) == 0 );
Werner Lewis19b4cd82022-07-07 11:02:27 +0100174 TEST_ASSERT( mbedtls_test_read_mpi( &check, yB_str ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200175 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &qB.Y, &check ) == 0 );
Manuel Pégourié-Gonnard007b7172013-01-27 08:56:21 +0100176
Werner Lewis19b4cd82022-07-07 11:02:27 +0100177 TEST_ASSERT( mbedtls_test_read_mpi( &check, z_str ) == 0 );
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200178 TEST_ASSERT( mbedtls_ecdh_compute_shared( &grp, &zA, &qB, &dA,
179 &mbedtls_test_rnd_pseudo_rand,
180 &rnd_info ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200181 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &zA, &check ) == 0 );
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200182 TEST_ASSERT( mbedtls_ecdh_compute_shared( &grp, &zB, &qA, &dB,
183 &mbedtls_test_rnd_pseudo_rand,
184 &rnd_info ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200185 TEST_ASSERT( mbedtls_mpi_cmp_mpi( &zB, &check ) == 0 );
Manuel Pégourié-Gonnard007b7172013-01-27 08:56:21 +0100186
Paul Bakkerbd51b262014-07-10 15:26:12 +0200187exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200188 mbedtls_ecp_group_free( &grp );
189 mbedtls_ecp_point_free( &qA ); mbedtls_ecp_point_free( &qB );
190 mbedtls_mpi_free( &dA ); mbedtls_mpi_free( &dB );
191 mbedtls_mpi_free( &zA ); mbedtls_mpi_free( &zB ); mbedtls_mpi_free( &check );
Manuel Pégourié-Gonnard007b7172013-01-27 08:56:21 +0100192}
Paul Bakker33b43f12013-08-20 11:48:36 +0200193/* END_CASE */
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100194
Paul Bakker33b43f12013-08-20 11:48:36 +0200195/* BEGIN_CASE */
196void ecdh_exchange( int id )
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100197{
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200198 mbedtls_ecdh_context srv, cli;
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100199 unsigned char buf[1000];
200 const unsigned char *vbuf;
201 size_t len;
Ronald Cron351f0ee2020-06-10 12:12:18 +0200202 mbedtls_test_rnd_pseudo_info rnd_info;
Janos Follath36c5f7f2018-10-30 14:08:52 +0000203 unsigned char res_buf[1000];
204 size_t res_len;
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100205
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200206 mbedtls_ecdh_init( &srv );
207 mbedtls_ecdh_init( &cli );
Ronald Cron351f0ee2020-06-10 12:12:18 +0200208 memset( &rnd_info, 0x00, sizeof( mbedtls_test_rnd_pseudo_info ) );
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100209
Janos Follathfc03e8d2018-10-04 17:17:54 +0100210 TEST_ASSERT( mbedtls_ecdh_setup( &srv, id ) == 0 );
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100211
212 memset( buf, 0x00, sizeof( buf ) ); vbuf = buf;
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200213 TEST_ASSERT( mbedtls_ecdh_make_params( &srv, &len, buf, 1000,
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200214 &mbedtls_test_rnd_pseudo_rand,
215 &rnd_info ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200216 TEST_ASSERT( mbedtls_ecdh_read_params( &cli, &vbuf, buf + len ) == 0 );
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100217
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100218 memset( buf, 0x00, sizeof( buf ) );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200219 TEST_ASSERT( mbedtls_ecdh_make_public( &cli, &len, buf, 1000,
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200220 &mbedtls_test_rnd_pseudo_rand,
221 &rnd_info ) == 0 );
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200222 TEST_ASSERT( mbedtls_ecdh_read_public( &srv, buf, len ) == 0 );
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100223
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200224 TEST_ASSERT( mbedtls_ecdh_calc_secret( &srv, &len, buf, 1000,
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200225 &mbedtls_test_rnd_pseudo_rand,
226 &rnd_info ) == 0 );
Janos Follath36c5f7f2018-10-30 14:08:52 +0000227 TEST_ASSERT( mbedtls_ecdh_calc_secret( &cli, &res_len, res_buf, 1000,
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200228 &mbedtls_test_rnd_pseudo_rand,
229 &rnd_info ) == 0 );
Janos Follath36c5f7f2018-10-30 14:08:52 +0000230 TEST_ASSERT( len == res_len );
231 TEST_ASSERT( memcmp( buf, res_buf, len ) == 0 );
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100232
Paul Bakkerbd51b262014-07-10 15:26:12 +0200233exit:
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200234 mbedtls_ecdh_free( &srv );
235 mbedtls_ecdh_free( &cli );
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100236}
Paul Bakker33b43f12013-08-20 11:48:36 +0200237/* END_CASE */
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200238
239/* BEGIN_CASE depends_on:MBEDTLS_ECP_RESTARTABLE */
Ronald Cron9ed40732020-06-25 09:03:34 +0200240void ecdh_restart( int id, data_t *dA, data_t *dB, data_t *z,
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200241 int enable, int max_ops, int min_restart, int max_restart )
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200242{
243 int ret;
244 mbedtls_ecdh_context srv, cli;
245 unsigned char buf[1000];
246 const unsigned char *vbuf;
247 size_t len;
Ronald Cron351f0ee2020-06-10 12:12:18 +0200248 mbedtls_test_rnd_buf_info rnd_info_A, rnd_info_B;
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200249 mbedtls_test_rnd_pseudo_info rnd_info;
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200250 int cnt_restart;
Janos Follath36c5f7f2018-10-30 14:08:52 +0000251 mbedtls_ecp_group grp;
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200252
Janos Follath36c5f7f2018-10-30 14:08:52 +0000253 mbedtls_ecp_group_init( &grp );
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200254 mbedtls_ecdh_init( &srv );
255 mbedtls_ecdh_init( &cli );
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200256 memset( &rnd_info, 0x00, sizeof( mbedtls_test_rnd_pseudo_info ) );
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200257
Gilles Peskineecacc3c2021-03-24 00:48:57 +0100258 rnd_info_A.fallback_f_rng = mbedtls_test_rnd_std_rand;
259 rnd_info_A.fallback_p_rng = NULL;
Ronald Cron9ed40732020-06-25 09:03:34 +0200260 rnd_info_A.buf = dA->x;
261 rnd_info_A.length = dA->len;
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200262
Gilles Peskineecacc3c2021-03-24 00:48:57 +0100263 rnd_info_B.fallback_f_rng = mbedtls_test_rnd_std_rand;
264 rnd_info_B.fallback_p_rng = NULL;
Ronald Cron9ed40732020-06-25 09:03:34 +0200265 rnd_info_B.buf = dB->x;
266 rnd_info_B.length = dB->len;
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200267
Andrzej Kurek5c65c572022-04-13 14:28:52 -0400268 /* The ECDH context is not guaranteed to have an mbedtls_ecp_group structure
Janos Follath36c5f7f2018-10-30 14:08:52 +0000269 * in every configuration, therefore we load it separately. */
270 TEST_ASSERT( mbedtls_ecp_group_load( &grp, id ) == 0 );
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200271
Janos Follath36c5f7f2018-10-30 14:08:52 +0000272 /* Otherwise we would have to fix the random buffer,
273 * as in ecdh_primitive_testvec. */
274 TEST_ASSERT( grp.nbits % 8 == 0 );
275
276 TEST_ASSERT( mbedtls_ecdh_setup( &srv, id ) == 0 );
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200277
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200278 /* set up restart parameters */
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200279 mbedtls_ecp_set_max_ops( max_ops );
280
Janos Follath36c5f7f2018-10-30 14:08:52 +0000281 if( enable )
Manuel Pégourié-Gonnard23e41622017-05-18 12:35:37 +0200282 {
283 mbedtls_ecdh_enable_restart( &srv );
284 mbedtls_ecdh_enable_restart( &cli );
285 }
286
Antonin Décimo36e89b52019-01-23 15:24:37 +0100287 /* server writes its parameters */
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200288 memset( buf, 0x00, sizeof( buf ) );
289 len = 0;
290
291 cnt_restart = 0;
292 do {
293 ret = mbedtls_ecdh_make_params( &srv, &len, buf, sizeof( buf ),
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200294 mbedtls_test_rnd_buffer_rand,
295 &rnd_info_A );
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200296 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart );
297
298 TEST_ASSERT( ret == 0 );
299 TEST_ASSERT( cnt_restart >= min_restart );
300 TEST_ASSERT( cnt_restart <= max_restart );
301
302 /* client read server params */
303 vbuf = buf;
304 TEST_ASSERT( mbedtls_ecdh_read_params( &cli, &vbuf, buf + len ) == 0 );
305
306 /* client writes its key share */
307 memset( buf, 0x00, sizeof( buf ) );
308 len = 0;
309
310 cnt_restart = 0;
311 do {
312 ret = mbedtls_ecdh_make_public( &cli, &len, buf, sizeof( buf ),
Ronald Cron6c5bd7f2020-06-10 14:08:26 +0200313 mbedtls_test_rnd_buffer_rand,
314 &rnd_info_B );
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200315 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart );
316
317 TEST_ASSERT( ret == 0 );
318 TEST_ASSERT( cnt_restart >= min_restart );
319 TEST_ASSERT( cnt_restart <= max_restart );
320
321 /* server reads client key share */
322 TEST_ASSERT( mbedtls_ecdh_read_public( &srv, buf, len ) == 0 );
323
324 /* server computes shared secret */
325 memset( buf, 0, sizeof( buf ) );
326 len = 0;
327
328 cnt_restart = 0;
329 do {
330 ret = mbedtls_ecdh_calc_secret( &srv, &len, buf, sizeof( buf ),
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200331 &mbedtls_test_rnd_pseudo_rand,
332 &rnd_info );
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200333 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart );
334
335 TEST_ASSERT( ret == 0 );
336 TEST_ASSERT( cnt_restart >= min_restart );
337 TEST_ASSERT( cnt_restart <= max_restart );
338
Ronald Cron9ed40732020-06-25 09:03:34 +0200339 TEST_ASSERT( len == z->len );
340 TEST_ASSERT( memcmp( buf, z->x, len ) == 0 );
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200341
342 /* client computes shared secret */
343 memset( buf, 0, sizeof( buf ) );
344 len = 0;
345
346 cnt_restart = 0;
347 do {
348 ret = mbedtls_ecdh_calc_secret( &cli, &len, buf, sizeof( buf ),
Manuel Pégourié-Gonnard7861ecf2021-06-15 11:29:26 +0200349 &mbedtls_test_rnd_pseudo_rand,
350 &rnd_info );
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200351 } while( ret == MBEDTLS_ERR_ECP_IN_PROGRESS && ++cnt_restart );
352
353 TEST_ASSERT( ret == 0 );
354 TEST_ASSERT( cnt_restart >= min_restart );
355 TEST_ASSERT( cnt_restart <= max_restart );
356
Ronald Cron9ed40732020-06-25 09:03:34 +0200357 TEST_ASSERT( len == z->len );
358 TEST_ASSERT( memcmp( buf, z->x, len ) == 0 );
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200359
360exit:
Janos Follath36c5f7f2018-10-30 14:08:52 +0000361 mbedtls_ecp_group_free( &grp );
Manuel Pégourié-Gonnard71b2c532017-04-27 10:38:52 +0200362 mbedtls_ecdh_free( &srv );
363 mbedtls_ecdh_free( &cli );
364}
365/* END_CASE */
Janos Follathfc03e8d2018-10-04 17:17:54 +0100366
Gilles Peskine552563b2018-11-07 22:07:58 +0100367/* BEGIN_CASE */
368void ecdh_exchange_calc_secret( int grp_id,
369 data_t *our_private_key,
370 data_t *their_point,
371 int ours_first,
372 data_t *expected )
373{
Ronald Cron351f0ee2020-06-10 12:12:18 +0200374 mbedtls_test_rnd_pseudo_info rnd_info;
Gilles Peskine552563b2018-11-07 22:07:58 +0100375 mbedtls_ecp_keypair our_key;
376 mbedtls_ecp_keypair their_key;
377 mbedtls_ecdh_context ecdh;
378 unsigned char shared_secret[MBEDTLS_ECP_MAX_BYTES];
379 size_t shared_secret_length = 0;
380
Ronald Cron351f0ee2020-06-10 12:12:18 +0200381 memset( &rnd_info, 0x00, sizeof( mbedtls_test_rnd_pseudo_info ) );
Gilles Peskine552563b2018-11-07 22:07:58 +0100382 mbedtls_ecdh_init( &ecdh );
383 mbedtls_ecp_keypair_init( &our_key );
384 mbedtls_ecp_keypair_init( &their_key );
385
386 if( ! load_private_key( grp_id, our_private_key, &our_key, &rnd_info ) )
387 goto exit;
388 if( ! load_public_key( grp_id, their_point, &their_key ) )
389 goto exit;
390
391 /* Import the keys to the ECDH calculation. */
392 if( ours_first )
393 {
394 TEST_ASSERT( mbedtls_ecdh_get_params(
395 &ecdh, &our_key, MBEDTLS_ECDH_OURS ) == 0 );
396 TEST_ASSERT( mbedtls_ecdh_get_params(
397 &ecdh, &their_key, MBEDTLS_ECDH_THEIRS ) == 0 );
398 }
399 else
400 {
401 TEST_ASSERT( mbedtls_ecdh_get_params(
402 &ecdh, &their_key, MBEDTLS_ECDH_THEIRS ) == 0 );
403 TEST_ASSERT( mbedtls_ecdh_get_params(
404 &ecdh, &our_key, MBEDTLS_ECDH_OURS ) == 0 );
405 }
406
407 /* Perform the ECDH calculation. */
408 TEST_ASSERT( mbedtls_ecdh_calc_secret(
409 &ecdh,
410 &shared_secret_length,
411 shared_secret, sizeof( shared_secret ),
Ronald Cron351f0ee2020-06-10 12:12:18 +0200412 &mbedtls_test_rnd_pseudo_rand, &rnd_info ) == 0 );
Gilles Peskine552563b2018-11-07 22:07:58 +0100413 TEST_ASSERT( shared_secret_length == expected->len );
414 TEST_ASSERT( memcmp( expected->x, shared_secret,
415 shared_secret_length ) == 0 );
416
417exit:
418 mbedtls_ecdh_free( &ecdh );
419 mbedtls_ecp_keypair_free( &our_key );
420 mbedtls_ecp_keypair_free( &their_key );
421}
422/* END_CASE */
Gilles Peskinec4dff062018-11-07 22:09:29 +0100423
424/* BEGIN_CASE */
425void ecdh_exchange_get_params_fail( int our_grp_id,
426 data_t *our_private_key,
427 int their_grp_id,
428 data_t *their_point,
429 int ours_first,
430 int expected_ret )
431{
Ronald Cron351f0ee2020-06-10 12:12:18 +0200432 mbedtls_test_rnd_pseudo_info rnd_info;
Gilles Peskinec4dff062018-11-07 22:09:29 +0100433 mbedtls_ecp_keypair our_key;
434 mbedtls_ecp_keypair their_key;
435 mbedtls_ecdh_context ecdh;
436
Ronald Cron351f0ee2020-06-10 12:12:18 +0200437 memset( &rnd_info, 0x00, sizeof( mbedtls_test_rnd_pseudo_info ) );
Gilles Peskinec4dff062018-11-07 22:09:29 +0100438 mbedtls_ecdh_init( &ecdh );
439 mbedtls_ecp_keypair_init( &our_key );
440 mbedtls_ecp_keypair_init( &their_key );
441
442 if( ! load_private_key( our_grp_id, our_private_key, &our_key, &rnd_info ) )
443 goto exit;
444 if( ! load_public_key( their_grp_id, their_point, &their_key ) )
445 goto exit;
446
447 if( ours_first )
448 {
449 TEST_ASSERT( mbedtls_ecdh_get_params(
450 &ecdh, &our_key, MBEDTLS_ECDH_OURS ) == 0 );
451 TEST_ASSERT( mbedtls_ecdh_get_params(
452 &ecdh, &their_key, MBEDTLS_ECDH_THEIRS ) ==
453 expected_ret );
454 }
455 else
456 {
457 TEST_ASSERT( mbedtls_ecdh_get_params(
458 &ecdh, &their_key, MBEDTLS_ECDH_THEIRS ) == 0 );
459 TEST_ASSERT( mbedtls_ecdh_get_params(
460 &ecdh, &our_key, MBEDTLS_ECDH_OURS ) ==
461 expected_ret );
462 }
463
464exit:
465 mbedtls_ecdh_free( &ecdh );
466 mbedtls_ecp_keypair_free( &our_key );
467 mbedtls_ecp_keypair_free( &their_key );
468}
469/* END_CASE */