blob: a6bf33055a94d121dd6808d18a5314d6646a903c [file] [log] [blame] [raw]
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +01001/*
2 * Elliptic curve Diffie-Hellman
3 *
Paul Bakker9af723c2014-05-01 13:03:14 +02004 * Copyright (C) 2006-2014, Brainspark B.V.
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +01005 *
6 * This file is part of PolarSSL (http://www.polarssl.org)
7 * Lead Maintainer: Paul Bakker <polarssl_maintainer at polarssl.org>
8 *
9 * All rights reserved.
10 *
11 * This program is free software; you can redistribute it and/or modify
12 * it under the terms of the GNU General Public License as published by
13 * the Free Software Foundation; either version 2 of the License, or
14 * (at your option) any later version.
15 *
16 * This program is distributed in the hope that it will be useful,
17 * but WITHOUT ANY WARRANTY; without even the implied warranty of
18 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
19 * GNU General Public License for more details.
20 *
21 * You should have received a copy of the GNU General Public License along
22 * with this program; if not, write to the Free Software Foundation, Inc.,
23 * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
24 */
25
26/*
27 * References:
28 *
29 * SEC1 http://www.secg.org/index.php?action=secg,docs_secg
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +010030 * RFC 4492
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +010031 */
32
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020033#if !defined(POLARSSL_CONFIG_FILE)
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +010034#include "polarssl/config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020035#else
36#include POLARSSL_CONFIG_FILE
37#endif
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +010038
Manuel Pégourié-Gonnard2aea1412013-01-26 16:33:44 +010039#if defined(POLARSSL_ECDH_C)
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +010040
41#include "polarssl/ecdh.h"
42
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +010043/*
44 * Generate public key: simple wrapper around ecp_gen_keypair
45 */
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +020046int ecdh_gen_public( ecp_group *grp, mpi *d, ecp_point *Q,
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +010047 int (*f_rng)(void *, unsigned char *, size_t),
48 void *p_rng )
49{
50 return ecp_gen_keypair( grp, d, Q, f_rng, p_rng );
51}
52
53/*
54 * Compute shared secret (SEC1 3.3.1)
55 */
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +020056int ecdh_compute_shared( ecp_group *grp, mpi *z,
Manuel Pégourié-Gonnarde09d2f82013-09-02 14:29:09 +020057 const ecp_point *Q, const mpi *d,
58 int (*f_rng)(void *, unsigned char *, size_t),
59 void *p_rng )
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +010060{
61 int ret;
62 ecp_point P;
63
64 ecp_point_init( &P );
65
66 /*
67 * Make sure Q is a valid pubkey before using it
68 */
69 MPI_CHK( ecp_check_pubkey( grp, Q ) );
70
Manuel Pégourié-Gonnarde09d2f82013-09-02 14:29:09 +020071 MPI_CHK( ecp_mul( grp, &P, d, Q, f_rng, p_rng ) );
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +010072
73 if( ecp_is_zero( &P ) )
Paul Bakkerb548d772013-07-26 14:21:34 +020074 {
75 ret = POLARSSL_ERR_ECP_BAD_INPUT_DATA;
76 goto cleanup;
77 }
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +010078
79 MPI_CHK( mpi_copy( z, &P.X ) );
80
81cleanup:
82 ecp_point_free( &P );
83
84 return( ret );
85}
86
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +010087/*
88 * Initialize context
89 */
90void ecdh_init( ecdh_context *ctx )
91{
Manuel Pégourié-Gonnardc83e4182013-09-17 10:48:41 +020092 memset( ctx, 0, sizeof( ecdh_context ) );
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +010093}
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +010094
95/*
96 * Free context
97 */
98void ecdh_free( ecdh_context *ctx )
99{
100 if( ctx == NULL )
101 return;
102
103 ecp_group_free( &ctx->grp );
104 mpi_free ( &ctx->d );
105 ecp_point_free( &ctx->Q );
106 ecp_point_free( &ctx->Qp );
107 mpi_free ( &ctx->z );
Manuel Pégourié-Gonnardc83e4182013-09-17 10:48:41 +0200108 ecp_point_free( &ctx->Vi );
109 ecp_point_free( &ctx->Vf );
110 mpi_free ( &ctx->_d );
Manuel Pégourié-Gonnard63533e42013-02-10 14:21:04 +0100111}
112
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100113/*
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100114 * Setup and write the ServerKeyExhange parameters (RFC 4492)
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100115 * struct {
116 * ECParameters curve_params;
117 * ECPoint public;
118 * } ServerECDHParams;
119 */
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100120int ecdh_make_params( ecdh_context *ctx, size_t *olen,
121 unsigned char *buf, size_t blen,
122 int (*f_rng)(void *, unsigned char *, size_t),
123 void *p_rng )
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100124{
125 int ret;
126 size_t grp_len, pt_len;
127
Manuel Pégourié-Gonnardf35b7392013-02-11 22:12:39 +0100128 if( ctx == NULL || ctx->grp.pbits == 0 )
129 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
130
Manuel Pégourié-Gonnard13724762013-02-10 15:01:54 +0100131 if( ( ret = ecdh_gen_public( &ctx->grp, &ctx->d, &ctx->Q, f_rng, p_rng ) )
132 != 0 )
133 return( ret );
134
135 if( ( ret = ecp_tls_write_group( &ctx->grp, &grp_len, buf, blen ) )
136 != 0 )
137 return( ret );
138
139 buf += grp_len;
140 blen -= grp_len;
141
142 if( ( ret = ecp_tls_write_point( &ctx->grp, &ctx->Q, ctx->point_format,
143 &pt_len, buf, blen ) ) != 0 )
144 return( ret );
145
146 *olen = grp_len + pt_len;
147 return 0;
148}
149
Manuel Pégourié-Gonnard854fbd72013-02-11 20:28:55 +0100150/*
151 * Read the ServerKeyExhange parameters (RFC 4492)
152 * struct {
153 * ECParameters curve_params;
154 * ECPoint public;
155 * } ServerECDHParams;
156 */
157int ecdh_read_params( ecdh_context *ctx,
158 const unsigned char **buf, const unsigned char *end )
159{
160 int ret;
161
162 if( ( ret = ecp_tls_read_group( &ctx->grp, buf, end - *buf ) ) != 0 )
163 return( ret );
164
165 if( ( ret = ecp_tls_read_point( &ctx->grp, &ctx->Qp, buf, end - *buf ) )
166 != 0 )
167 return( ret );
168
169 return 0;
170}
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +0100171
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100172/*
Manuel Pégourié-Gonnardcdff3cf2013-12-12 09:55:52 +0100173 * Get parameters from a keypair
174 */
175int ecdh_get_params( ecdh_context *ctx, const ecp_keypair *key,
176 ecdh_side side )
177{
178 int ret;
179
180 if( ( ret = ecp_group_copy( &ctx->grp, &key->grp ) ) != 0 )
181 return( ret );
182
183 /* If it's not our key, just import the public part as Qp */
184 if( side == POLARSSL_ECDH_THEIRS )
185 return( ecp_copy( &ctx->Qp, &key->Q ) );
186
187 /* Our key: import public (as Q) and private parts */
188 if( side != POLARSSL_ECDH_OURS )
189 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
190
191 if( ( ret = ecp_copy( &ctx->Q, &key->Q ) ) != 0 ||
192 ( ret = mpi_copy( &ctx->d, &key->d ) ) != 0 )
193 return( ret );
194
195 return( 0 );
196}
197
198/*
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100199 * Setup and export the client public value
200 */
201int ecdh_make_public( ecdh_context *ctx, size_t *olen,
202 unsigned char *buf, size_t blen,
203 int (*f_rng)(void *, unsigned char *, size_t),
204 void *p_rng )
205{
206 int ret;
207
Manuel Pégourié-Gonnardf35b7392013-02-11 22:12:39 +0100208 if( ctx == NULL || ctx->grp.pbits == 0 )
209 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
210
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100211 if( ( ret = ecdh_gen_public( &ctx->grp, &ctx->d, &ctx->Q, f_rng, p_rng ) )
212 != 0 )
213 return( ret );
214
215 return ecp_tls_write_point( &ctx->grp, &ctx->Q, ctx->point_format,
216 olen, buf, blen );
217}
218
219/*
220 * Parse and import the client's public value
221 */
222int ecdh_read_public( ecdh_context *ctx,
223 const unsigned char *buf, size_t blen )
224{
Manuel Pégourié-Gonnard969ccc62014-03-26 19:53:25 +0100225 int ret;
226 const unsigned char *p = buf;
227
Manuel Pégourié-Gonnardf35b7392013-02-11 22:12:39 +0100228 if( ctx == NULL )
229 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
230
Manuel Pégourié-Gonnard969ccc62014-03-26 19:53:25 +0100231 if( ( ret = ecp_tls_read_point( &ctx->grp, &ctx->Qp, &p, blen ) ) != 0 )
232 return( ret );
233
234 if( (size_t)( p - buf ) != blen )
235 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
236
237 return( 0 );
Manuel Pégourié-Gonnard5cceb412013-02-11 21:51:45 +0100238}
239
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100240/*
241 * Derive and export the shared secret
242 */
243int ecdh_calc_secret( ecdh_context *ctx, size_t *olen,
Manuel Pégourié-Gonnarde09d2f82013-09-02 14:29:09 +0200244 unsigned char *buf, size_t blen,
245 int (*f_rng)(void *, unsigned char *, size_t),
246 void *p_rng )
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100247{
248 int ret;
249
Manuel Pégourié-Gonnardf35b7392013-02-11 22:12:39 +0100250 if( ctx == NULL )
251 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
252
Manuel Pégourié-Gonnarde09d2f82013-09-02 14:29:09 +0200253 if( ( ret = ecdh_compute_shared( &ctx->grp, &ctx->z, &ctx->Qp, &ctx->d,
254 f_rng, p_rng ) ) != 0 )
255 {
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100256 return( ret );
Manuel Pégourié-Gonnarde09d2f82013-09-02 14:29:09 +0200257 }
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100258
Paul Bakker41c83d32013-03-20 14:39:14 +0100259 if( mpi_size( &ctx->z ) > blen )
260 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
261
Manuel Pégourié-Gonnard0a56c2c2014-01-17 21:24:04 +0100262 *olen = ctx->grp.pbits / 8 + ( ( ctx->grp.pbits % 8 ) != 0 );
Paul Bakker41c83d32013-03-20 14:39:14 +0100263 return mpi_write_binary( &ctx->z, buf, *olen );
Manuel Pégourié-Gonnard424fda52013-02-11 22:05:42 +0100264}
265
266
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +0100267#if defined(POLARSSL_SELF_TEST)
268
269/*
270 * Checkup routine
271 */
272int ecdh_self_test( int verbose )
273{
Manuel Pégourié-Gonnard7c593632014-01-20 10:27:13 +0100274 ((void) verbose );
275 return( 0 );
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +0100276}
277
Paul Bakker9af723c2014-05-01 13:03:14 +0200278#endif /* POLARSSL_SELF_TEST */
Manuel Pégourié-Gonnard0bad5c22013-01-26 15:30:46 +0100279
Paul Bakker9af723c2014-05-01 13:03:14 +0200280#endif /* POLARSSL_ECDH_C */