blob: 7cfb44f2c167cdca8e359c43641f066548aad035 [file] [log] [blame]
Manuel Pégourié-Gonnard39d2adb2012-10-31 09:26:55 +01001/*
Manuel Pégourié-Gonnard32b04c12013-12-02 15:49:09 +01002 * Elliptic curves over GF(p): generic functions
Manuel Pégourié-Gonnard39d2adb2012-10-31 09:26:55 +01003 *
Paul Bakker7dc4c442014-02-01 22:50:26 +01004 * Copyright (C) 2006-2014, Brainspark B.V.
Manuel Pégourié-Gonnard39d2adb2012-10-31 09:26:55 +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 *
Manuel Pégourié-Gonnard883f3132012-11-02 09:40:25 +010029 * SEC1 http://www.secg.org/index.php?action=secg,docs_secg
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +010030 * GECC = Guide to Elliptic Curve Cryptography - Hankerson, Menezes, Vanstone
Manuel Pégourié-Gonnard62aad142012-11-10 00:27:12 +010031 * FIPS 186-3 http://csrc.nist.gov/publications/fips/fips186-3/fips_186-3.pdf
Manuel Pégourié-Gonnard1a967282013-02-09 17:03:58 +010032 * RFC 4492 for the related TLS structures and constants
Manuel Pégourié-Gonnard07de4b12013-09-02 16:26:04 +020033 *
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +010034 * [M255] http://cr.yp.to/ecdh/curve25519-20060209.pdf
35 *
Manuel Pégourié-Gonnard07de4b12013-09-02 16:26:04 +020036 * [2] CORON, Jean-Sébastien. Resistance against differential power analysis
37 * for elliptic curve cryptosystems. In : Cryptographic Hardware and
38 * Embedded Systems. Springer Berlin Heidelberg, 1999. p. 292-302.
39 * <http://link.springer.com/chapter/10.1007/3-540-48059-5_25>
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +010040 *
41 * [3] HEDABOU, Mustapha, PINEL, Pierre, et BÉNÉTEAU, Lucien. A comb method to
42 * render ECC resistant against Side Channel Attacks. IACR Cryptology
43 * ePrint Archive, 2004, vol. 2004, p. 342.
44 * <http://eprint.iacr.org/2004/342.pdf>
Manuel Pégourié-Gonnard39d2adb2012-10-31 09:26:55 +010045 */
46
47#include "polarssl/config.h"
48
49#if defined(POLARSSL_ECP_C)
50
51#include "polarssl/ecp.h"
Paul Bakker6e339b52013-07-03 13:37:05 +020052
Paul Bakker7dc4c442014-02-01 22:50:26 +010053#if defined(POLARSSL_PLATFORM_C)
54#include "polarssl/platform.h"
Paul Bakker6e339b52013-07-03 13:37:05 +020055#else
Paul Bakker7dc4c442014-02-01 22:50:26 +010056#define polarssl_printf printf
Paul Bakker6e339b52013-07-03 13:37:05 +020057#define polarssl_malloc malloc
58#define polarssl_free free
59#endif
60
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +010061#include <stdlib.h>
Manuel Pégourié-Gonnard39d2adb2012-10-31 09:26:55 +010062
Manuel Pégourié-Gonnard0267e3d2013-11-30 15:10:14 +010063#if defined(_MSC_VER) && !defined strcasecmp && !defined(EFIX64) && \
64 !defined(EFI32)
65#define strcasecmp _stricmp
66#endif
67
Paul Bakker6a6087e2013-10-28 18:53:08 +010068#if defined(_MSC_VER) && !defined(inline)
69#define inline _inline
70#else
71#if defined(__ARMCC_VERSION) && !defined(inline)
72#define inline __inline
73#endif /* __ARMCC_VERSION */
74#endif /*_MSC_VER */
75
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +010076#if defined(POLARSSL_SELF_TEST)
77/*
Manuel Pégourié-Gonnard91814812013-11-21 20:23:55 +010078 * Counts of point addition and doubling, and field multiplications.
Manuel Pégourié-Gonnard07de4b12013-09-02 16:26:04 +020079 * Used to test resistance of point multiplication to simple timing attacks.
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +010080 */
Manuel Pégourié-Gonnard43863ee2013-12-01 16:51:27 +010081static unsigned long add_count, dbl_count, mul_count;
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +010082#endif
83
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +010084#if defined(POLARSSL_ECP_DP_SECP192R1_ENABLED) || \
85 defined(POLARSSL_ECP_DP_SECP224R1_ENABLED) || \
86 defined(POLARSSL_ECP_DP_SECP256R1_ENABLED) || \
87 defined(POLARSSL_ECP_DP_SECP384R1_ENABLED) || \
88 defined(POLARSSL_ECP_DP_SECP521R1_ENABLED) || \
89 defined(POLARSSL_ECP_DP_BP256R1_ENABLED) || \
90 defined(POLARSSL_ECP_DP_BP384R1_ENABLED) || \
Manuel Pégourié-Gonnard2a2ae642014-02-24 08:29:51 +010091 defined(POLARSSL_ECP_DP_BP512R1_ENABLED) || \
92 defined(POLARSSL_ECP_DP_SECP192K1_ENABLED) || \
93 defined(POLARSSL_ECP_DP_SECP224K1_ENABLED) || \
94 defined(POLARSSL_ECP_DP_SECP256K1_ENABLED)
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +010095#define POLARSSL_ECP_SHORT_WEIERSTRASS
96#endif
97
98#if defined(POLARSSL_ECP_DP_M221_ENABLED) || \
99 defined(POLARSSL_ECP_DP_M255_ENABLED) || \
100 defined(POLARSSL_ECP_DP_M383_ENABLED) || \
101 defined(POLARSSL_ECP_DP_M511_ENABLED)
102#define POLARSSL_ECP_MONTGOMERY
103#endif
104
105/*
106 * Curve types: internal for now, might be exposed later
107 */
108typedef enum
109{
110 POLARSSL_ECP_TYPE_NONE = 0,
111 POLARSSL_ECP_TYPE_SHORT_WEIERSTRASS, /* y^2 = x^3 + a x + b */
112 POLARSSL_ECP_TYPE_MONTGOMERY, /* y^2 = x^3 + a x^2 + x */
113} ecp_curve_type;
114
Manuel Pégourié-Gonnard1e8c8ec2012-10-31 19:24:21 +0100115/*
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200116 * List of supported curves:
117 * - internal ID
Manuel Pégourié-Gonnard8195c1a2013-10-07 19:40:41 +0200118 * - TLS NamedCurve ID (RFC 4492 sec. 5.1.1, RFC 7071 sec. 2)
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200119 * - size in bits
Manuel Pégourié-Gonnard8195c1a2013-10-07 19:40:41 +0200120 * - readable name
Gergely Budaie40c4692014-01-22 11:22:20 +0100121 *
Manuel Pégourié-Gonnardac719412014-02-04 14:48:50 +0100122 * Curves are listed in order: largest curves first, and for a given size,
123 * fastest curves first. This provides the default order for the SSL module.
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200124 */
Manuel Pégourié-Gonnardac719412014-02-04 14:48:50 +0100125static const ecp_curve_info ecp_supported_curves[POLARSSL_ECP_DP_MAX] =
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200126{
127#if defined(POLARSSL_ECP_DP_SECP521R1_ENABLED)
Manuel Pégourié-Gonnard8195c1a2013-10-07 19:40:41 +0200128 { POLARSSL_ECP_DP_SECP521R1, 25, 521, "secp521r1" },
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200129#endif
Gergely Budaie40c4692014-01-22 11:22:20 +0100130#if defined(POLARSSL_ECP_DP_BP512R1_ENABLED)
131 { POLARSSL_ECP_DP_BP512R1, 28, 512, "brainpoolP512r1" },
132#endif
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200133#if defined(POLARSSL_ECP_DP_SECP384R1_ENABLED)
Manuel Pégourié-Gonnard8195c1a2013-10-07 19:40:41 +0200134 { POLARSSL_ECP_DP_SECP384R1, 24, 384, "secp384r1" },
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200135#endif
Gergely Budaie40c4692014-01-22 11:22:20 +0100136#if defined(POLARSSL_ECP_DP_BP384R1_ENABLED)
137 { POLARSSL_ECP_DP_BP384R1, 27, 384, "brainpoolP384r1" },
138#endif
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200139#if defined(POLARSSL_ECP_DP_SECP256R1_ENABLED)
Manuel Pégourié-Gonnard8195c1a2013-10-07 19:40:41 +0200140 { POLARSSL_ECP_DP_SECP256R1, 23, 256, "secp256r1" },
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200141#endif
Manuel Pégourié-Gonnardac719412014-02-04 14:48:50 +0100142#if defined(POLARSSL_ECP_DP_SECP256K1_ENABLED)
143 { POLARSSL_ECP_DP_SECP256K1, 22, 256, "secp256k1" },
144#endif
Gergely Budaie40c4692014-01-22 11:22:20 +0100145#if defined(POLARSSL_ECP_DP_BP256R1_ENABLED)
146 { POLARSSL_ECP_DP_BP256R1, 26, 256, "brainpoolP256r1" },
147#endif
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200148#if defined(POLARSSL_ECP_DP_SECP224R1_ENABLED)
Manuel Pégourié-Gonnard8195c1a2013-10-07 19:40:41 +0200149 { POLARSSL_ECP_DP_SECP224R1, 21, 224, "secp224r1" },
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200150#endif
Manuel Pégourié-Gonnard9bcff392014-01-10 18:26:48 +0100151#if defined(POLARSSL_ECP_DP_SECP224K1_ENABLED)
152 { POLARSSL_ECP_DP_SECP224K1, 20, 224, "secp224k1" },
153#endif
Manuel Pégourié-Gonnardac719412014-02-04 14:48:50 +0100154#if defined(POLARSSL_ECP_DP_SECP192R1_ENABLED)
155 { POLARSSL_ECP_DP_SECP192R1, 19, 192, "secp192r1" },
156#endif
Manuel Pégourié-Gonnard9bcff392014-01-10 18:26:48 +0100157#if defined(POLARSSL_ECP_DP_SECP192K1_ENABLED)
158 { POLARSSL_ECP_DP_SECP192K1, 18, 192, "secp192k1" },
159#endif
Manuel Pégourié-Gonnard8195c1a2013-10-07 19:40:41 +0200160 { POLARSSL_ECP_DP_NONE, 0, 0, NULL },
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200161};
Manuel Pégourié-Gonnardac719412014-02-04 14:48:50 +0100162
163static ecp_group_id ecp_supported_grp_id[POLARSSL_ECP_DP_MAX];
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200164
165/*
Manuel Pégourié-Gonnardda179e42013-09-18 15:31:24 +0200166 * List of supported curves and associated info
167 */
168const ecp_curve_info *ecp_curve_list( void )
169{
170 return ecp_supported_curves;
171}
172
173/*
Manuel Pégourié-Gonnardac719412014-02-04 14:48:50 +0100174 * List of supported curves, group ID only
175 */
176const ecp_group_id *ecp_grp_id_list( void )
177{
178 static int init_done = 0;
179
180 if( ! init_done )
181 {
182 size_t i = 0;
183 const ecp_curve_info *curve_info;
184
185 for( curve_info = ecp_curve_list();
186 curve_info->grp_id != POLARSSL_ECP_DP_NONE;
187 curve_info++ )
188 {
189 ecp_supported_grp_id[i++] = curve_info->grp_id;
190 }
191 ecp_supported_grp_id[i] = POLARSSL_ECP_DP_NONE;
192
193 init_done = 1;
194 }
195
196 return ecp_supported_grp_id;
197}
198
199/*
200 * Get the curve info for the internal identifier
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200201 */
202const ecp_curve_info *ecp_curve_info_from_grp_id( ecp_group_id grp_id )
203{
204 const ecp_curve_info *curve_info;
205
206 for( curve_info = ecp_curve_list();
207 curve_info->grp_id != POLARSSL_ECP_DP_NONE;
208 curve_info++ )
209 {
210 if( curve_info->grp_id == grp_id )
211 return( curve_info );
212 }
213
214 return( NULL );
215}
216
217/*
218 * Get the curve info from the TLS identifier
219 */
220const ecp_curve_info *ecp_curve_info_from_tls_id( uint16_t tls_id )
221{
222 const ecp_curve_info *curve_info;
223
224 for( curve_info = ecp_curve_list();
225 curve_info->grp_id != POLARSSL_ECP_DP_NONE;
226 curve_info++ )
227 {
228 if( curve_info->tls_id == tls_id )
229 return( curve_info );
230 }
231
232 return( NULL );
233}
234
235/*
Manuel Pégourié-Gonnard0267e3d2013-11-30 15:10:14 +0100236 * Get the curve info from the name
237 */
238const ecp_curve_info *ecp_curve_info_from_name( const char *name )
239{
240 const ecp_curve_info *curve_info;
241
242 for( curve_info = ecp_curve_list();
243 curve_info->grp_id != POLARSSL_ECP_DP_NONE;
244 curve_info++ )
245 {
246 if( strcasecmp( curve_info->name, name ) == 0 )
247 return( curve_info );
248 }
249
250 return( NULL );
251}
252
253/*
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +0100254 * Get the type of a curve
Manuel Pégourié-Gonnard312d2e82013-12-04 11:08:01 +0100255 */
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +0100256static inline ecp_curve_type ecp_get_type( const ecp_group *grp )
Manuel Pégourié-Gonnard312d2e82013-12-04 11:08:01 +0100257{
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +0100258 if( grp->G.X.p == NULL )
259 return( POLARSSL_ECP_TYPE_NONE );
260
261 if( grp->G.Y.p == NULL )
262 return( POLARSSL_ECP_TYPE_MONTGOMERY );
263 else
264 return( POLARSSL_ECP_TYPE_SHORT_WEIERSTRASS );
Manuel Pégourié-Gonnard312d2e82013-12-04 11:08:01 +0100265}
266
267/*
Manuel Pégourié-Gonnardb505c272012-11-05 17:27:54 +0100268 * Initialize (the components of) a point
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +0100269 */
270void ecp_point_init( ecp_point *pt )
271{
272 if( pt == NULL )
273 return;
274
Manuel Pégourié-Gonnardb505c272012-11-05 17:27:54 +0100275 mpi_init( &pt->X );
276 mpi_init( &pt->Y );
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100277 mpi_init( &pt->Z );
Manuel Pégourié-Gonnardb505c272012-11-05 17:27:54 +0100278}
279
280/*
281 * Initialize (the components of) a group
282 */
283void ecp_group_init( ecp_group *grp )
284{
285 if( grp == NULL )
286 return;
287
Manuel Pégourié-Gonnardc9727702013-09-16 18:56:28 +0200288 memset( grp, 0, sizeof( ecp_group ) );
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +0100289}
290
291/*
Manuel Pégourié-Gonnardb8c6e0e2013-07-01 13:40:52 +0200292 * Initialize (the components of) a key pair
293 */
294void ecp_keypair_init( ecp_keypair *key )
295{
296 if ( key == NULL )
297 return;
298
299 ecp_group_init( &key->grp );
300 mpi_init( &key->d );
301 ecp_point_init( &key->Q );
Manuel Pégourié-Gonnardb8c6e0e2013-07-01 13:40:52 +0200302}
303
304/*
Manuel Pégourié-Gonnard1e8c8ec2012-10-31 19:24:21 +0100305 * Unallocate (the components of) a point
306 */
307void ecp_point_free( ecp_point *pt )
308{
309 if( pt == NULL )
310 return;
311
312 mpi_free( &( pt->X ) );
313 mpi_free( &( pt->Y ) );
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100314 mpi_free( &( pt->Z ) );
Manuel Pégourié-Gonnard1e8c8ec2012-10-31 19:24:21 +0100315}
316
317/*
318 * Unallocate (the components of) a group
319 */
320void ecp_group_free( ecp_group *grp )
321{
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +0200322 size_t i;
323
Manuel Pégourié-Gonnard1e8c8ec2012-10-31 19:24:21 +0100324 if( grp == NULL )
325 return;
326
Manuel Pégourié-Gonnard1f82b042013-12-06 12:51:50 +0100327 if( grp->h != 1 )
328 {
329 mpi_free( &grp->P );
330 mpi_free( &grp->A );
331 mpi_free( &grp->B );
332 ecp_point_free( &grp->G );
333 mpi_free( &grp->N );
334 }
Manuel Pégourié-Gonnardc9727702013-09-16 18:56:28 +0200335
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +0200336 if( grp->T != NULL )
337 {
338 for( i = 0; i < grp->T_size; i++ )
339 ecp_point_free( &grp->T[i] );
340 polarssl_free( grp->T );
341 }
342
Manuel Pégourié-Gonnardc9727702013-09-16 18:56:28 +0200343 memset( grp, 0, sizeof( ecp_group ) );
Manuel Pégourié-Gonnard1e8c8ec2012-10-31 19:24:21 +0100344}
Manuel Pégourié-Gonnard39d2adb2012-10-31 09:26:55 +0100345
Manuel Pégourié-Gonnard883f3132012-11-02 09:40:25 +0100346/*
Manuel Pégourié-Gonnardb8c6e0e2013-07-01 13:40:52 +0200347 * Unallocate (the components of) a key pair
348 */
349void ecp_keypair_free( ecp_keypair *key )
350{
351 if ( key == NULL )
352 return;
353
354 ecp_group_free( &key->grp );
355 mpi_free( &key->d );
356 ecp_point_free( &key->Q );
Manuel Pégourié-Gonnardb8c6e0e2013-07-01 13:40:52 +0200357}
358
359/*
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200360 * Copy the contents of a point
361 */
362int ecp_copy( ecp_point *P, const ecp_point *Q )
363{
364 int ret;
365
366 MPI_CHK( mpi_copy( &P->X, &Q->X ) );
367 MPI_CHK( mpi_copy( &P->Y, &Q->Y ) );
368 MPI_CHK( mpi_copy( &P->Z, &Q->Z ) );
369
370cleanup:
371 return( ret );
372}
373
374/*
375 * Copy the contents of a group object
376 */
377int ecp_group_copy( ecp_group *dst, const ecp_group *src )
378{
379 return ecp_use_known_dp( dst, src->id );
380}
381
382/*
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +0100383 * Set point to zero
384 */
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100385int ecp_set_zero( ecp_point *pt )
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +0100386{
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100387 int ret;
388
389 MPI_CHK( mpi_lset( &pt->X , 1 ) );
390 MPI_CHK( mpi_lset( &pt->Y , 1 ) );
391 MPI_CHK( mpi_lset( &pt->Z , 0 ) );
392
393cleanup:
394 return( ret );
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +0100395}
396
397/*
Manuel Pégourié-Gonnard6545ca72013-01-26 16:05:22 +0100398 * Tell if a point is zero
399 */
400int ecp_is_zero( ecp_point *pt )
401{
402 return( mpi_cmp_int( &pt->Z, 0 ) == 0 );
403}
404
405/*
Manuel Pégourié-Gonnard847395a2012-11-05 13:13:44 +0100406 * Import a non-zero point from ASCII strings
407 */
408int ecp_point_read_string( ecp_point *P, int radix,
409 const char *x, const char *y )
410{
Manuel Pégourié-Gonnard47123252012-11-10 14:44:24 +0100411 int ret;
Manuel Pégourié-Gonnard847395a2012-11-05 13:13:44 +0100412
Manuel Pégourié-Gonnard847395a2012-11-05 13:13:44 +0100413 MPI_CHK( mpi_read_string( &P->X, radix, x ) );
414 MPI_CHK( mpi_read_string( &P->Y, radix, y ) );
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100415 MPI_CHK( mpi_lset( &P->Z, 1 ) );
Manuel Pégourié-Gonnard847395a2012-11-05 13:13:44 +0100416
417cleanup:
418 return( ret );
419}
420
421/*
Manuel Pégourié-Gonnard37d218a2012-11-24 15:19:55 +0100422 * Export a point into unsigned binary data (SEC1 2.3.3)
Manuel Pégourié-Gonnarde19feb52012-11-24 14:10:14 +0100423 */
Manuel Pégourié-Gonnard7e860252013-02-10 10:58:48 +0100424int ecp_point_write_binary( const ecp_group *grp, const ecp_point *P,
Manuel Pégourié-Gonnard420f1eb2013-02-10 12:22:46 +0100425 int format, size_t *olen,
Manuel Pégourié-Gonnard7e860252013-02-10 10:58:48 +0100426 unsigned char *buf, size_t buflen )
Manuel Pégourié-Gonnarde19feb52012-11-24 14:10:14 +0100427{
Paul Bakkera280d0f2013-04-08 13:40:17 +0200428 int ret = 0;
Manuel Pégourié-Gonnarde19feb52012-11-24 14:10:14 +0100429 size_t plen;
430
Manuel Pégourié-Gonnard37d218a2012-11-24 15:19:55 +0100431 if( format != POLARSSL_ECP_PF_UNCOMPRESSED &&
432 format != POLARSSL_ECP_PF_COMPRESSED )
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100433 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard37d218a2012-11-24 15:19:55 +0100434
Manuel Pégourié-Gonnarde19feb52012-11-24 14:10:14 +0100435 /*
Manuel Pégourié-Gonnard37d218a2012-11-24 15:19:55 +0100436 * Common case: P == 0
Manuel Pégourié-Gonnarde19feb52012-11-24 14:10:14 +0100437 */
438 if( mpi_cmp_int( &P->Z, 0 ) == 0 )
439 {
440 if( buflen < 1 )
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100441 return( POLARSSL_ERR_ECP_BUFFER_TOO_SMALL );
Manuel Pégourié-Gonnarde19feb52012-11-24 14:10:14 +0100442
443 buf[0] = 0x00;
444 *olen = 1;
445
446 return( 0 );
447 }
448
449 plen = mpi_size( &grp->P );
Manuel Pégourié-Gonnarde19feb52012-11-24 14:10:14 +0100450
Manuel Pégourié-Gonnard37d218a2012-11-24 15:19:55 +0100451 if( format == POLARSSL_ECP_PF_UNCOMPRESSED )
452 {
453 *olen = 2 * plen + 1;
Manuel Pégourié-Gonnarde19feb52012-11-24 14:10:14 +0100454
Manuel Pégourié-Gonnard37d218a2012-11-24 15:19:55 +0100455 if( buflen < *olen )
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100456 return( POLARSSL_ERR_ECP_BUFFER_TOO_SMALL );
Manuel Pégourié-Gonnard37d218a2012-11-24 15:19:55 +0100457
458 buf[0] = 0x04;
459 MPI_CHK( mpi_write_binary( &P->X, buf + 1, plen ) );
460 MPI_CHK( mpi_write_binary( &P->Y, buf + 1 + plen, plen ) );
461 }
462 else if( format == POLARSSL_ECP_PF_COMPRESSED )
463 {
464 *olen = plen + 1;
465
466 if( buflen < *olen )
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100467 return( POLARSSL_ERR_ECP_BUFFER_TOO_SMALL );
Manuel Pégourié-Gonnard37d218a2012-11-24 15:19:55 +0100468
469 buf[0] = 0x02 + mpi_get_bit( &P->Y, 0 );
470 MPI_CHK( mpi_write_binary( &P->X, buf + 1, plen ) );
471 }
Manuel Pégourié-Gonnarde19feb52012-11-24 14:10:14 +0100472
473cleanup:
474 return( ret );
475}
476
477/*
Manuel Pégourié-Gonnard5e402d82012-11-24 16:19:42 +0100478 * Import a point from unsigned binary data (SEC1 2.3.4)
479 */
Manuel Pégourié-Gonnard7e860252013-02-10 10:58:48 +0100480int ecp_point_read_binary( const ecp_group *grp, ecp_point *pt,
Manuel Pégourié-Gonnard5246ee52014-03-19 16:18:38 +0100481 const unsigned char *buf, size_t ilen )
482{
Manuel Pégourié-Gonnard5e402d82012-11-24 16:19:42 +0100483 int ret;
484 size_t plen;
485
Manuel Pégourié-Gonnard5e402d82012-11-24 16:19:42 +0100486 if( ilen == 1 && buf[0] == 0x00 )
Manuel Pégourié-Gonnardd84895d2013-02-10 10:53:04 +0100487 return( ecp_set_zero( pt ) );
Manuel Pégourié-Gonnard5e402d82012-11-24 16:19:42 +0100488
Manuel Pégourié-Gonnardd84895d2013-02-10 10:53:04 +0100489 plen = mpi_size( &grp->P );
Manuel Pégourié-Gonnard5e402d82012-11-24 16:19:42 +0100490
Manuel Pégourié-Gonnard5246ee52014-03-19 16:18:38 +0100491 if( buf[0] != 0x04 )
492 return( POLARSSL_ERR_ECP_FEATURE_UNAVAILABLE );
493
494 if( ilen != 2 * plen + 1 )
Manuel Pégourié-Gonnardd84895d2013-02-10 10:53:04 +0100495 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard5e402d82012-11-24 16:19:42 +0100496
Manuel Pégourié-Gonnardd84895d2013-02-10 10:53:04 +0100497 MPI_CHK( mpi_read_binary( &pt->X, buf + 1, plen ) );
498 MPI_CHK( mpi_read_binary( &pt->Y, buf + 1 + plen, plen ) );
499 MPI_CHK( mpi_lset( &pt->Z, 1 ) );
Manuel Pégourié-Gonnard5e402d82012-11-24 16:19:42 +0100500
501cleanup:
502 return( ret );
503}
504
505/*
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100506 * Import a point from a TLS ECPoint record (RFC 4492)
507 * struct {
508 * opaque point <1..2^8-1>;
509 * } ECPoint;
510 */
511int ecp_tls_read_point( const ecp_group *grp, ecp_point *pt,
Manuel Pégourié-Gonnard98f51812013-02-10 13:38:29 +0100512 const unsigned char **buf, size_t buf_len )
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100513{
514 unsigned char data_len;
Manuel Pégourié-Gonnard98f51812013-02-10 13:38:29 +0100515 const unsigned char *buf_start;
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100516
517 /*
518 * We must have at least two bytes (1 for length, at least of for data)
519 */
520 if( buf_len < 2 )
521 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
522
Manuel Pégourié-Gonnard98f51812013-02-10 13:38:29 +0100523 data_len = *(*buf)++;
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100524 if( data_len < 1 || data_len > buf_len - 1 )
525 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
526
Manuel Pégourié-Gonnard98f51812013-02-10 13:38:29 +0100527 /*
528 * Save buffer start for read_binary and update buf
529 */
530 buf_start = *buf;
531 *buf += data_len;
532
533 return ecp_point_read_binary( grp, pt, buf_start, data_len );
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100534}
535
536/*
537 * Export a point as a TLS ECPoint record (RFC 4492)
538 * struct {
539 * opaque point <1..2^8-1>;
540 * } ECPoint;
541 */
542int ecp_tls_write_point( const ecp_group *grp, const ecp_point *pt,
Manuel Pégourié-Gonnard420f1eb2013-02-10 12:22:46 +0100543 int format, size_t *olen,
544 unsigned char *buf, size_t blen )
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100545{
Manuel Pégourié-Gonnard420f1eb2013-02-10 12:22:46 +0100546 int ret;
547
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100548 /*
Manuel Pégourié-Gonnard420f1eb2013-02-10 12:22:46 +0100549 * buffer length must be at least one, for our length byte
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100550 */
Manuel Pégourié-Gonnard420f1eb2013-02-10 12:22:46 +0100551 if( blen < 1 )
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100552 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
553
Manuel Pégourié-Gonnard420f1eb2013-02-10 12:22:46 +0100554 if( ( ret = ecp_point_write_binary( grp, pt, format,
555 olen, buf + 1, blen - 1) ) != 0 )
556 return( ret );
557
558 /*
559 * write length to the first byte and update total length
560 */
Paul Bakkerb9cfaa02013-10-11 18:58:55 +0200561 buf[0] = (unsigned char) *olen;
Manuel Pégourié-Gonnard420f1eb2013-02-10 12:22:46 +0100562 ++*olen;
563
564 return 0;
Manuel Pégourié-Gonnard00794052013-02-09 19:00:07 +0100565}
566
567/*
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200568 * Import an ECP group from ASCII strings, case A == -3
Manuel Pégourié-Gonnard210b4582013-10-23 14:03:00 +0200569 */
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200570int ecp_group_read_string( ecp_group *grp, int radix,
571 const char *p, const char *b,
572 const char *gx, const char *gy, const char *n)
Manuel Pégourié-Gonnard84338242012-11-11 20:45:18 +0100573{
574 int ret;
Manuel Pégourié-Gonnard84338242012-11-11 20:45:18 +0100575
Manuel Pégourié-Gonnardd5e0fbe2013-12-02 17:20:39 +0100576 MPI_CHK( mpi_read_string( &grp->P, radix, p ) );
Manuel Pégourié-Gonnardd5e0fbe2013-12-02 17:20:39 +0100577 MPI_CHK( mpi_read_string( &grp->B, radix, b ) );
578 MPI_CHK( ecp_point_read_string( &grp->G, radix, gx, gy ) );
579 MPI_CHK( mpi_read_string( &grp->N, radix, n ) );
580
581 grp->pbits = mpi_msb( &grp->P );
582 grp->nbits = mpi_msb( &grp->N );
Manuel Pégourié-Gonnard84338242012-11-11 20:45:18 +0100583
584cleanup:
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200585 if( ret != 0 )
586 ecp_group_free( grp );
Manuel Pégourié-Gonnarde783f062013-10-21 14:52:21 +0200587
588 return( ret );
589}
Manuel Pégourié-Gonnardc04c5302013-10-23 16:11:52 +0200590
Manuel Pégourié-Gonnard62aad142012-11-10 00:27:12 +0100591/*
Manuel Pégourié-Gonnard1a967282013-02-09 17:03:58 +0100592 * Set a group from an ECParameters record (RFC 4492)
593 */
Manuel Pégourié-Gonnard7c145c62013-02-10 13:20:52 +0100594int ecp_tls_read_group( ecp_group *grp, const unsigned char **buf, size_t len )
Manuel Pégourié-Gonnard1a967282013-02-09 17:03:58 +0100595{
Manuel Pégourié-Gonnardf24b4a72013-09-23 18:14:50 +0200596 uint16_t tls_id;
597 const ecp_curve_info *curve_info;
Manuel Pégourié-Gonnard1a967282013-02-09 17:03:58 +0100598
599 /*
600 * We expect at least three bytes (see below)
601 */
602 if( len < 3 )
603 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
604
605 /*
606 * First byte is curve_type; only named_curve is handled
607 */
Manuel Pégourié-Gonnard7c145c62013-02-10 13:20:52 +0100608 if( *(*buf)++ != POLARSSL_ECP_TLS_NAMED_CURVE )
Manuel Pégourié-Gonnard1a967282013-02-09 17:03:58 +0100609 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
610
611 /*
Manuel Pégourié-Gonnardb3258872013-02-10 12:06:19 +0100612 * Next two bytes are the namedcurve value
Manuel Pégourié-Gonnard1a967282013-02-09 17:03:58 +0100613 */
Manuel Pégourié-Gonnardf24b4a72013-09-23 18:14:50 +0200614 tls_id = *(*buf)++;
615 tls_id <<= 8;
616 tls_id |= *(*buf)++;
617
618 if( ( curve_info = ecp_curve_info_from_tls_id( tls_id ) ) == NULL )
619 return( POLARSSL_ERR_ECP_FEATURE_UNAVAILABLE );
620
621 return ecp_use_known_dp( grp, curve_info->grp_id );
Manuel Pégourié-Gonnardb3258872013-02-10 12:06:19 +0100622}
623
624/*
625 * Write the ECParameters record corresponding to a group (RFC 4492)
626 */
627int ecp_tls_write_group( const ecp_group *grp, size_t *olen,
628 unsigned char *buf, size_t blen )
629{
Manuel Pégourié-Gonnardf24b4a72013-09-23 18:14:50 +0200630 const ecp_curve_info *curve_info;
631
632 if( ( curve_info = ecp_curve_info_from_grp_id( grp->id ) ) == NULL )
633 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard70380392013-09-16 16:19:53 +0200634
Manuel Pégourié-Gonnardb3258872013-02-10 12:06:19 +0100635 /*
636 * We are going to write 3 bytes (see below)
637 */
638 *olen = 3;
639 if( blen < *olen )
640 return( POLARSSL_ERR_ECP_BUFFER_TOO_SMALL );
641
642 /*
643 * First byte is curve_type, always named_curve
644 */
645 *buf++ = POLARSSL_ECP_TLS_NAMED_CURVE;
646
647 /*
648 * Next two bytes are the namedcurve value
649 */
Manuel Pégourié-Gonnardf24b4a72013-09-23 18:14:50 +0200650 buf[0] = curve_info->tls_id >> 8;
651 buf[1] = curve_info->tls_id & 0xFF;
Manuel Pégourié-Gonnardb3258872013-02-10 12:06:19 +0100652
653 return 0;
Manuel Pégourié-Gonnarda5402fe2012-11-07 20:24:05 +0100654}
Manuel Pégourié-Gonnardab38b702012-11-05 17:34:55 +0100655
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200656/*
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200657 * Wrapper around fast quasi-modp functions, with fall-back to mpi_mod_mpi.
658 * See the documentation of struct ecp_group.
659 *
660 * This function is in the critial loop for ecp_mul, so pay attention to perf.
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200661 */
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200662static int ecp_modp( mpi *N, const ecp_group *grp )
Manuel Pégourié-Gonnard70380392013-09-16 16:19:53 +0200663{
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200664 int ret;
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200665
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200666 if( grp->modp == NULL )
667 return( mpi_mod_mpi( N, N, &grp->P ) );
668
669 /* N->s < 0 is a much faster test, which fails only if N is 0 */
670 if( ( N->s < 0 && mpi_cmp_int( N, 0 ) != 0 ) ||
671 mpi_msb( N ) > 2 * grp->pbits )
Manuel Pégourié-Gonnard70380392013-09-16 16:19:53 +0200672 {
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200673 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard70380392013-09-16 16:19:53 +0200674 }
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200675
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200676 MPI_CHK( grp->modp( N ) );
Manuel Pégourié-Gonnard70380392013-09-16 16:19:53 +0200677
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200678 /* N->s < 0 is a much faster test, which fails only if N is 0 */
679 while( N->s < 0 && mpi_cmp_int( N, 0 ) != 0 )
680 MPI_CHK( mpi_add_mpi( N, N, &grp->P ) );
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200681
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200682 while( mpi_cmp_mpi( N, &grp->P ) >= 0 )
683 /* we known P, N and the result are positive */
684 MPI_CHK( mpi_sub_abs( N, N, &grp->P ) );
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200685
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200686cleanup:
687 return( ret );
Manuel Pégourié-Gonnard70380392013-09-16 16:19:53 +0200688}
Manuel Pégourié-Gonnard568c9cf2013-09-16 17:30:04 +0200689
Manuel Pégourié-Gonnard847395a2012-11-05 13:13:44 +0100690/*
Manuel Pégourié-Gonnard47123252012-11-10 14:44:24 +0100691 * Fast mod-p functions expect their argument to be in the 0..p^2 range.
Manuel Pégourié-Gonnarddada4da2012-11-10 14:23:17 +0100692 *
Manuel Pégourié-Gonnard47123252012-11-10 14:44:24 +0100693 * In order to guarantee that, we need to ensure that operands of
694 * mpi_mul_mpi are in the 0..p range. So, after each operation we will
Manuel Pégourié-Gonnarddada4da2012-11-10 14:23:17 +0100695 * bring the result back to this range.
696 *
Manuel Pégourié-Gonnard47123252012-11-10 14:44:24 +0100697 * The following macros are shortcuts for doing that.
Manuel Pégourié-Gonnarddada4da2012-11-10 14:23:17 +0100698 */
699
700/*
Manuel Pégourié-Gonnard84d1aea2012-11-09 02:09:38 +0100701 * Reduce a mpi mod p in-place, general case, to use after mpi_mul_mpi
702 */
Manuel Pégourié-Gonnard91814812013-11-21 20:23:55 +0100703#if defined(POLARSSL_SELF_TEST)
704#define INC_MUL_COUNT mul_count++;
705#else
706#define INC_MUL_COUNT
707#endif
708
709#define MOD_MUL( N ) do { MPI_CHK( ecp_modp( &N, grp ) ); INC_MUL_COUNT } \
710 while( 0 )
Manuel Pégourié-Gonnard84d1aea2012-11-09 02:09:38 +0100711
712/*
713 * Reduce a mpi mod p in-place, to use after mpi_sub_mpi
Manuel Pégourié-Gonnardc9e387c2013-10-17 17:15:35 +0200714 * N->s < 0 is a very fast test, which fails only if N is 0
Manuel Pégourié-Gonnard84d1aea2012-11-09 02:09:38 +0100715 */
716#define MOD_SUB( N ) \
Manuel Pégourié-Gonnardcae6f3e2013-10-23 20:19:57 +0200717 while( N.s < 0 && mpi_cmp_int( &N, 0 ) != 0 ) \
Manuel Pégourié-Gonnard84d1aea2012-11-09 02:09:38 +0100718 MPI_CHK( mpi_add_mpi( &N, &N, &grp->P ) )
719
720/*
Manuel Pégourié-Gonnardc9e387c2013-10-17 17:15:35 +0200721 * Reduce a mpi mod p in-place, to use after mpi_add_mpi and mpi_mul_int.
722 * We known P, N and the result are positive, so sub_abs is correct, and
723 * a bit faster.
Manuel Pégourié-Gonnard84d1aea2012-11-09 02:09:38 +0100724 */
725#define MOD_ADD( N ) \
726 while( mpi_cmp_mpi( &N, &grp->P ) >= 0 ) \
Manuel Pégourié-Gonnardc9e387c2013-10-17 17:15:35 +0200727 MPI_CHK( mpi_sub_abs( &N, &N, &grp->P ) )
Manuel Pégourié-Gonnard84d1aea2012-11-09 02:09:38 +0100728
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +0100729#if defined(POLARSSL_ECP_SHORT_WEIERSTRASS)
730/*
731 * For curves in short Weierstrass form, we do all the internal operations in
732 * Jacobian coordinates.
733 *
734 * For multiplication, we'll use a comb method with coutermeasueres against
735 * SPA, hence timing attacks.
736 */
737
Manuel Pégourié-Gonnard84d1aea2012-11-09 02:09:38 +0100738/*
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100739 * Normalize jacobian coordinates so that Z == 0 || Z == 1 (GECC 3.2.1)
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +0100740 * Cost: 1N := 1I + 3M + 1S
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +0100741 */
Manuel Pégourié-Gonnard3c0b4ea2013-12-02 19:44:41 +0100742static int ecp_normalize_jac( const ecp_group *grp, ecp_point *pt )
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +0100743{
Manuel Pégourié-Gonnard47123252012-11-10 14:44:24 +0100744 int ret;
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100745 mpi Zi, ZZi;
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +0100746
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100747 if( mpi_cmp_int( &pt->Z, 0 ) == 0 )
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +0100748 return( 0 );
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +0100749
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100750 mpi_init( &Zi ); mpi_init( &ZZi );
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +0100751
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100752 /*
753 * X = X / Z^2 mod p
754 */
755 MPI_CHK( mpi_inv_mod( &Zi, &pt->Z, &grp->P ) );
756 MPI_CHK( mpi_mul_mpi( &ZZi, &Zi, &Zi ) ); MOD_MUL( ZZi );
757 MPI_CHK( mpi_mul_mpi( &pt->X, &pt->X, &ZZi ) ); MOD_MUL( pt->X );
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +0100758
759 /*
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100760 * Y = Y / Z^3 mod p
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +0100761 */
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100762 MPI_CHK( mpi_mul_mpi( &pt->Y, &pt->Y, &ZZi ) ); MOD_MUL( pt->Y );
763 MPI_CHK( mpi_mul_mpi( &pt->Y, &pt->Y, &Zi ) ); MOD_MUL( pt->Y );
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +0100764
765 /*
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100766 * Z = 1
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +0100767 */
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100768 MPI_CHK( mpi_lset( &pt->Z, 1 ) );
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +0100769
770cleanup:
771
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100772 mpi_free( &Zi ); mpi_free( &ZZi );
Manuel Pégourié-Gonnardd070f512012-11-08 17:40:51 +0100773
774 return( ret );
775}
776
777/*
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +0100778 * Normalize jacobian coordinates of an array of (pointers to) points,
Manuel Pégourié-Gonnard3680c822012-11-21 18:49:45 +0100779 * using Montgomery's trick to perform only one inversion mod P.
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100780 * (See for example Cohen's "A Course in Computational Algebraic Number
781 * Theory", Algorithm 10.3.4.)
782 *
Manuel Pégourié-Gonnard07de4b12013-09-02 16:26:04 +0200783 * Warning: fails (returning an error) if one of the points is zero!
Manuel Pégourié-Gonnard7a949d32013-12-05 10:26:01 +0100784 * This should never happen, see choice of w in ecp_mul_comb().
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +0100785 *
786 * Cost: 1N(t) := 1I + (6t - 3)M + 1S
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100787 */
Manuel Pégourié-Gonnard3c0b4ea2013-12-02 19:44:41 +0100788static int ecp_normalize_jac_many( const ecp_group *grp,
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +0100789 ecp_point *T[], size_t t_len )
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100790{
791 int ret;
792 size_t i;
793 mpi *c, u, Zi, ZZi;
794
795 if( t_len < 2 )
Manuel Pégourié-Gonnard3c0b4ea2013-12-02 19:44:41 +0100796 return( ecp_normalize_jac( grp, *T ) );
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100797
Paul Bakker6e339b52013-07-03 13:37:05 +0200798 if( ( c = (mpi *) polarssl_malloc( t_len * sizeof( mpi ) ) ) == NULL )
Manuel Pégourié-Gonnard456d3b92013-09-16 18:04:38 +0200799 return( POLARSSL_ERR_ECP_MALLOC_FAILED );
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100800
801 mpi_init( &u ); mpi_init( &Zi ); mpi_init( &ZZi );
802 for( i = 0; i < t_len; i++ )
803 mpi_init( &c[i] );
804
805 /*
806 * c[i] = Z_0 * ... * Z_i
807 */
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +0100808 MPI_CHK( mpi_copy( &c[0], &T[0]->Z ) );
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100809 for( i = 1; i < t_len; i++ )
810 {
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +0100811 MPI_CHK( mpi_mul_mpi( &c[i], &c[i-1], &T[i]->Z ) );
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100812 MOD_MUL( c[i] );
813 }
814
815 /*
816 * u = 1 / (Z_0 * ... * Z_n) mod P
817 */
818 MPI_CHK( mpi_inv_mod( &u, &c[t_len-1], &grp->P ) );
819
820 for( i = t_len - 1; ; i-- )
821 {
822 /*
823 * Zi = 1 / Z_i mod p
824 * u = 1 / (Z_0 * ... * Z_i) mod P
825 */
826 if( i == 0 ) {
827 MPI_CHK( mpi_copy( &Zi, &u ) );
828 }
829 else
830 {
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +0100831 MPI_CHK( mpi_mul_mpi( &Zi, &u, &c[i-1] ) ); MOD_MUL( Zi );
832 MPI_CHK( mpi_mul_mpi( &u, &u, &T[i]->Z ) ); MOD_MUL( u );
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100833 }
834
835 /*
836 * proceed as in normalize()
837 */
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +0100838 MPI_CHK( mpi_mul_mpi( &ZZi, &Zi, &Zi ) ); MOD_MUL( ZZi );
839 MPI_CHK( mpi_mul_mpi( &T[i]->X, &T[i]->X, &ZZi ) ); MOD_MUL( T[i]->X );
840 MPI_CHK( mpi_mul_mpi( &T[i]->Y, &T[i]->Y, &ZZi ) ); MOD_MUL( T[i]->Y );
841 MPI_CHK( mpi_mul_mpi( &T[i]->Y, &T[i]->Y, &Zi ) ); MOD_MUL( T[i]->Y );
Manuel Pégourié-Gonnard1f789b82013-12-30 17:31:56 +0100842
843 /*
844 * Post-precessing: reclaim some memory by shrinking coordinates
845 * - not storing Z (always 1)
846 * - shrinking other coordinates, but still keeping the same number of
847 * limbs as P, as otherwise it will too likely be regrown too fast.
848 */
Manuel Pégourié-Gonnard26bc1c02013-12-30 19:33:33 +0100849 MPI_CHK( mpi_shrink( &T[i]->X, grp->P.n ) );
850 MPI_CHK( mpi_shrink( &T[i]->Y, grp->P.n ) );
Manuel Pégourié-Gonnard1f789b82013-12-30 17:31:56 +0100851 mpi_free( &T[i]->Z );
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100852
853 if( i == 0 )
854 break;
855 }
856
857cleanup:
858
859 mpi_free( &u ); mpi_free( &Zi ); mpi_free( &ZZi );
860 for( i = 0; i < t_len; i++ )
861 mpi_free( &c[i] );
Paul Bakker6e339b52013-07-03 13:37:05 +0200862 polarssl_free( c );
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100863
864 return( ret );
865}
866
Manuel Pégourié-Gonnardcdd44322012-11-21 16:00:55 +0100867/*
Manuel Pégourié-Gonnard01fca5e2013-11-21 17:47:12 +0100868 * Conditional point inversion: Q -> -Q = (Q.X, -Q.Y, Q.Z) without leak.
869 * "inv" must be 0 (don't invert) or 1 (invert) or the result will be invalid
870 */
Manuel Pégourié-Gonnard3c0b4ea2013-12-02 19:44:41 +0100871static int ecp_safe_invert_jac( const ecp_group *grp,
Manuel Pégourié-Gonnard01fca5e2013-11-21 17:47:12 +0100872 ecp_point *Q,
873 unsigned char inv )
874{
875 int ret;
876 unsigned char nonzero;
877 mpi mQY;
878
879 mpi_init( &mQY );
880
881 /* Use the fact that -Q.Y mod P = P - Q.Y unless Q.Y == 0 */
882 MPI_CHK( mpi_sub_mpi( &mQY, &grp->P, &Q->Y ) );
883 nonzero = mpi_cmp_int( &Q->Y, 0 ) != 0;
884 MPI_CHK( mpi_safe_cond_assign( &Q->Y, &mQY, inv & nonzero ) );
885
886cleanup:
887 mpi_free( &mQY );
888
889 return( ret );
890}
891
892/*
Manuel Pégourié-Gonnard0cd6f982013-10-10 15:55:39 +0200893 * Point doubling R = 2 P, Jacobian coordinates
Manuel Pégourié-Gonnard0ace4b32013-10-10 12:44:27 +0200894 *
Manuel Pégourié-Gonnard1c4aa242013-10-09 16:09:46 +0200895 * http://www.hyperelliptic.org/EFD/g1p/auto-code/shortw/jacobian/doubling/dbl-2007-bl.op3
Manuel Pégourié-Gonnard0ace4b32013-10-10 12:44:27 +0200896 * with heavy variable renaming, some reordering and one minor modification
897 * (a = 2 * b, c = d - 2a replaced with c = d, c = c - b, c = c - b)
898 * in order to use a lot less intermediate variables (6 vs 25).
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +0100899 *
900 * Cost: 1D := 2M + 8S
Manuel Pégourié-Gonnard1c4aa242013-10-09 16:09:46 +0200901 */
Manuel Pégourié-Gonnard0cd6f982013-10-10 15:55:39 +0200902static int ecp_double_jac( const ecp_group *grp, ecp_point *R,
903 const ecp_point *P )
Manuel Pégourié-Gonnard1c4aa242013-10-09 16:09:46 +0200904{
905 int ret;
Manuel Pégourié-Gonnard0ace4b32013-10-10 12:44:27 +0200906 mpi T1, T2, T3, X3, Y3, Z3;
Manuel Pégourié-Gonnard1c4aa242013-10-09 16:09:46 +0200907
Manuel Pégourié-Gonnard0cd6f982013-10-10 15:55:39 +0200908#if defined(POLARSSL_SELF_TEST)
909 dbl_count++;
910#endif
911
Manuel Pégourié-Gonnard0ace4b32013-10-10 12:44:27 +0200912 mpi_init( &T1 ); mpi_init( &T2 ); mpi_init( &T3 );
913 mpi_init( &X3 ); mpi_init( &Y3 ); mpi_init( &Z3 );
Manuel Pégourié-Gonnard1c4aa242013-10-09 16:09:46 +0200914
Manuel Pégourié-Gonnard0ace4b32013-10-10 12:44:27 +0200915 MPI_CHK( mpi_mul_mpi( &T3, &P->X, &P->X ) ); MOD_MUL( T3 );
916 MPI_CHK( mpi_mul_mpi( &T2, &P->Y, &P->Y ) ); MOD_MUL( T2 );
917 MPI_CHK( mpi_mul_mpi( &Y3, &T2, &T2 ) ); MOD_MUL( Y3 );
918 MPI_CHK( mpi_add_mpi( &X3, &P->X, &T2 ) ); MOD_ADD( X3 );
919 MPI_CHK( mpi_mul_mpi( &X3, &X3, &X3 ) ); MOD_MUL( X3 );
920 MPI_CHK( mpi_sub_mpi( &X3, &X3, &Y3 ) ); MOD_SUB( X3 );
921 MPI_CHK( mpi_sub_mpi( &X3, &X3, &T3 ) ); MOD_SUB( X3 );
922 MPI_CHK( mpi_mul_int( &T1, &X3, 2 ) ); MOD_ADD( T1 );
923 MPI_CHK( mpi_mul_mpi( &Z3, &P->Z, &P->Z ) ); MOD_MUL( Z3 );
924 MPI_CHK( mpi_mul_mpi( &X3, &Z3, &Z3 ) ); MOD_MUL( X3 );
925 MPI_CHK( mpi_mul_int( &T3, &T3, 3 ) ); MOD_ADD( T3 );
Manuel Pégourié-Gonnard73cc01d2013-12-06 12:41:30 +0100926
927 /* Special case for A = -3 */
928 if( grp->A.p == NULL )
929 {
930 MPI_CHK( mpi_mul_int( &X3, &X3, 3 ) );
931 X3.s = -1; /* mpi_mul_int doesn't handle negative numbers */
932 MOD_SUB( X3 );
933 }
934 else
935 MPI_CHK( mpi_mul_mpi( &X3, &X3, &grp->A ) ); MOD_MUL( X3 );
936
Manuel Pégourié-Gonnard0ace4b32013-10-10 12:44:27 +0200937 MPI_CHK( mpi_add_mpi( &T3, &T3, &X3 ) ); MOD_ADD( T3 );
938 MPI_CHK( mpi_mul_mpi( &X3, &T3, &T3 ) ); MOD_MUL( X3 );
939 MPI_CHK( mpi_sub_mpi( &X3, &X3, &T1 ) ); MOD_SUB( X3 );
940 MPI_CHK( mpi_sub_mpi( &X3, &X3, &T1 ) ); MOD_SUB( X3 );
941 MPI_CHK( mpi_sub_mpi( &T1, &T1, &X3 ) ); MOD_SUB( T1 );
942 MPI_CHK( mpi_mul_mpi( &T1, &T3, &T1 ) ); MOD_MUL( T1 );
943 MPI_CHK( mpi_mul_int( &T3, &Y3, 8 ) ); MOD_ADD( T3 );
944 MPI_CHK( mpi_sub_mpi( &Y3, &T1, &T3 ) ); MOD_SUB( Y3 );
945 MPI_CHK( mpi_add_mpi( &T1, &P->Y, &P->Z ) ); MOD_ADD( T1 );
946 MPI_CHK( mpi_mul_mpi( &T1, &T1, &T1 ) ); MOD_MUL( T1 );
947 MPI_CHK( mpi_sub_mpi( &T1, &T1, &T2 ) ); MOD_SUB( T1 );
948 MPI_CHK( mpi_sub_mpi( &Z3, &T1, &Z3 ) ); MOD_SUB( Z3 );
Manuel Pégourié-Gonnard1c4aa242013-10-09 16:09:46 +0200949
950 MPI_CHK( mpi_copy( &R->X, &X3 ) );
951 MPI_CHK( mpi_copy( &R->Y, &Y3 ) );
952 MPI_CHK( mpi_copy( &R->Z, &Z3 ) );
953
954cleanup:
Manuel Pégourié-Gonnard0ace4b32013-10-10 12:44:27 +0200955 mpi_free( &T1 ); mpi_free( &T2 ); mpi_free( &T3 );
956 mpi_free( &X3 ); mpi_free( &Y3 ); mpi_free( &Z3 );
Manuel Pégourié-Gonnard1c4aa242013-10-09 16:09:46 +0200957
958 return( ret );
959}
960
961/*
Manuel Pégourié-Gonnard469a2092013-11-21 18:20:43 +0100962 * Addition: R = P + Q, mixed affine-Jacobian coordinates (GECC 3.22)
Manuel Pégourié-Gonnard9674fd02012-11-19 21:23:27 +0100963 *
964 * The coordinates of Q must be normalized (= affine),
965 * but those of P don't need to. R is not normalized.
966 *
Manuel Pégourié-Gonnardaade42f2013-11-21 19:19:54 +0100967 * Special cases: (1) P or Q is zero, (2) R is zero, (3) P == Q.
Manuel Pégourié-Gonnard7a949d32013-12-05 10:26:01 +0100968 * None of these cases can happen as intermediate step in ecp_mul_comb():
Manuel Pégourié-Gonnardaade42f2013-11-21 19:19:54 +0100969 * - at each step, P, Q and R are multiples of the base point, the factor
970 * being less than its order, so none of them is zero;
971 * - Q is an odd multiple of the base point, P an even multiple,
972 * due to the choice of precomputed points in the modified comb method.
973 * So branches for these cases do not leak secret information.
974 *
Manuel Pégourié-Gonnard72c172a2013-12-30 16:04:55 +0100975 * We accept Q->Z being unset (saving memory in tables) as meaning 1.
976 *
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +0100977 * Cost: 1A := 8M + 3S
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +0100978 */
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100979static int ecp_add_mixed( const ecp_group *grp, ecp_point *R,
Manuel Pégourié-Gonnard469a2092013-11-21 18:20:43 +0100980 const ecp_point *P, const ecp_point *Q )
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +0100981{
Manuel Pégourié-Gonnard47123252012-11-10 14:44:24 +0100982 int ret;
Manuel Pégourié-Gonnard7e0adfb2012-11-08 23:21:46 +0100983 mpi T1, T2, T3, T4, X, Y, Z;
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +0100984
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +0100985#if defined(POLARSSL_SELF_TEST)
986 add_count++;
987#endif
988
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +0100989 /*
Manuel Pégourié-Gonnardaade42f2013-11-21 19:19:54 +0100990 * Trivial cases: P == 0 or Q == 0 (case 1)
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +0100991 */
Manuel Pégourié-Gonnard469a2092013-11-21 18:20:43 +0100992 if( mpi_cmp_int( &P->Z, 0 ) == 0 )
993 return( ecp_copy( R, Q ) );
994
Manuel Pégourié-Gonnard72c172a2013-12-30 16:04:55 +0100995 if( Q->Z.p != NULL && mpi_cmp_int( &Q->Z, 0 ) == 0 )
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +0100996 return( ecp_copy( R, P ) );
997
998 /*
999 * Make sure Q coordinates are normalized
1000 */
Manuel Pégourié-Gonnard72c172a2013-12-30 16:04:55 +01001001 if( Q->Z.p != NULL && mpi_cmp_int( &Q->Z, 1 ) != 0 )
Manuel Pégourié-Gonnard456d3b92013-09-16 18:04:38 +02001002 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +01001003
Manuel Pégourié-Gonnard7e0adfb2012-11-08 23:21:46 +01001004 mpi_init( &T1 ); mpi_init( &T2 ); mpi_init( &T3 ); mpi_init( &T4 );
1005 mpi_init( &X ); mpi_init( &Y ); mpi_init( &Z );
Manuel Pégourié-Gonnardab38b702012-11-05 17:34:55 +01001006
Manuel Pégourié-Gonnard47123252012-11-10 14:44:24 +01001007 MPI_CHK( mpi_mul_mpi( &T1, &P->Z, &P->Z ) ); MOD_MUL( T1 );
1008 MPI_CHK( mpi_mul_mpi( &T2, &T1, &P->Z ) ); MOD_MUL( T2 );
1009 MPI_CHK( mpi_mul_mpi( &T1, &T1, &Q->X ) ); MOD_MUL( T1 );
1010 MPI_CHK( mpi_mul_mpi( &T2, &T2, &Q->Y ) ); MOD_MUL( T2 );
1011 MPI_CHK( mpi_sub_mpi( &T1, &T1, &P->X ) ); MOD_SUB( T1 );
1012 MPI_CHK( mpi_sub_mpi( &T2, &T2, &P->Y ) ); MOD_SUB( T2 );
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +01001013
Manuel Pégourié-Gonnardaade42f2013-11-21 19:19:54 +01001014 /* Special cases (2) and (3) */
Manuel Pégourié-Gonnard7e0adfb2012-11-08 23:21:46 +01001015 if( mpi_cmp_int( &T1, 0 ) == 0 )
1016 {
1017 if( mpi_cmp_int( &T2, 0 ) == 0 )
1018 {
1019 ret = ecp_double_jac( grp, R, P );
1020 goto cleanup;
1021 }
1022 else
1023 {
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +01001024 ret = ecp_set_zero( R );
Manuel Pégourié-Gonnard7e0adfb2012-11-08 23:21:46 +01001025 goto cleanup;
1026 }
1027 }
1028
Manuel Pégourié-Gonnard47123252012-11-10 14:44:24 +01001029 MPI_CHK( mpi_mul_mpi( &Z, &P->Z, &T1 ) ); MOD_MUL( Z );
1030 MPI_CHK( mpi_mul_mpi( &T3, &T1, &T1 ) ); MOD_MUL( T3 );
1031 MPI_CHK( mpi_mul_mpi( &T4, &T3, &T1 ) ); MOD_MUL( T4 );
1032 MPI_CHK( mpi_mul_mpi( &T3, &T3, &P->X ) ); MOD_MUL( T3 );
1033 MPI_CHK( mpi_mul_int( &T1, &T3, 2 ) ); MOD_ADD( T1 );
1034 MPI_CHK( mpi_mul_mpi( &X, &T2, &T2 ) ); MOD_MUL( X );
1035 MPI_CHK( mpi_sub_mpi( &X, &X, &T1 ) ); MOD_SUB( X );
1036 MPI_CHK( mpi_sub_mpi( &X, &X, &T4 ) ); MOD_SUB( X );
1037 MPI_CHK( mpi_sub_mpi( &T3, &T3, &X ) ); MOD_SUB( T3 );
1038 MPI_CHK( mpi_mul_mpi( &T3, &T3, &T2 ) ); MOD_MUL( T3 );
1039 MPI_CHK( mpi_mul_mpi( &T4, &T4, &P->Y ) ); MOD_MUL( T4 );
1040 MPI_CHK( mpi_sub_mpi( &Y, &T3, &T4 ) ); MOD_SUB( Y );
Manuel Pégourié-Gonnard7e0adfb2012-11-08 23:21:46 +01001041
Manuel Pégourié-Gonnard84d1aea2012-11-09 02:09:38 +01001042 MPI_CHK( mpi_copy( &R->X, &X ) );
1043 MPI_CHK( mpi_copy( &R->Y, &Y ) );
1044 MPI_CHK( mpi_copy( &R->Z, &Z ) );
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +01001045
1046cleanup:
1047
Manuel Pégourié-Gonnard7e0adfb2012-11-08 23:21:46 +01001048 mpi_free( &T1 ); mpi_free( &T2 ); mpi_free( &T3 ); mpi_free( &T4 );
1049 mpi_free( &X ); mpi_free( &Y ); mpi_free( &Z );
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +01001050
1051 return( ret );
1052}
1053
1054/*
Manuel Pégourié-Gonnard1c2782c2012-11-19 20:16:28 +01001055 * Addition: R = P + Q, result's coordinates normalized
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +01001056 */
1057int ecp_add( const ecp_group *grp, ecp_point *R,
1058 const ecp_point *P, const ecp_point *Q )
1059{
Manuel Pégourié-Gonnard47123252012-11-10 14:44:24 +01001060 int ret;
Manuel Pégourié-Gonnard989c32b2012-11-08 22:02:42 +01001061
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +01001062 if( ecp_get_type( grp ) != POLARSSL_ECP_TYPE_SHORT_WEIERSTRASS )
Manuel Pégourié-Gonnard97871ef2013-12-04 20:52:04 +01001063 return( POLARSSL_ERR_ECP_FEATURE_UNAVAILABLE );
1064
Manuel Pégourié-Gonnard469a2092013-11-21 18:20:43 +01001065 MPI_CHK( ecp_add_mixed( grp, R, P, Q ) );
Manuel Pégourié-Gonnard3c0b4ea2013-12-02 19:44:41 +01001066 MPI_CHK( ecp_normalize_jac( grp, R ) );
Manuel Pégourié-Gonnard9674fd02012-11-19 21:23:27 +01001067
1068cleanup:
1069 return( ret );
1070}
1071
1072/*
1073 * Subtraction: R = P - Q, result's coordinates normalized
1074 */
1075int ecp_sub( const ecp_group *grp, ecp_point *R,
1076 const ecp_point *P, const ecp_point *Q )
1077{
1078 int ret;
Manuel Pégourié-Gonnard469a2092013-11-21 18:20:43 +01001079 ecp_point mQ;
Manuel Pégourié-Gonnard9674fd02012-11-19 21:23:27 +01001080
Manuel Pégourié-Gonnard469a2092013-11-21 18:20:43 +01001081 ecp_point_init( &mQ );
1082
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +01001083 if( ecp_get_type( grp ) != POLARSSL_ECP_TYPE_SHORT_WEIERSTRASS )
Manuel Pégourié-Gonnard97871ef2013-12-04 20:52:04 +01001084 return( POLARSSL_ERR_ECP_FEATURE_UNAVAILABLE );
1085
Manuel Pégourié-Gonnard469a2092013-11-21 18:20:43 +01001086 /* mQ = - Q */
Manuel Pégourié-Gonnard26bc1c02013-12-30 19:33:33 +01001087 MPI_CHK( ecp_copy( &mQ, Q ) );
Manuel Pégourié-Gonnard469a2092013-11-21 18:20:43 +01001088 if( mpi_cmp_int( &mQ.Y, 0 ) != 0 )
1089 MPI_CHK( mpi_sub_mpi( &mQ.Y, &grp->P, &mQ.Y ) );
1090
1091 MPI_CHK( ecp_add_mixed( grp, R, P, &mQ ) );
Manuel Pégourié-Gonnard3c0b4ea2013-12-02 19:44:41 +01001092 MPI_CHK( ecp_normalize_jac( grp, R ) );
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +01001093
Manuel Pégourié-Gonnard989c32b2012-11-08 22:02:42 +01001094cleanup:
Manuel Pégourié-Gonnard469a2092013-11-21 18:20:43 +01001095 ecp_point_free( &mQ );
1096
Manuel Pégourié-Gonnard7e0adfb2012-11-08 23:21:46 +01001097 return( ret );
Manuel Pégourié-Gonnardae180d02012-11-02 18:14:40 +01001098}
1099
Manuel Pégourié-Gonnardefaa31e2012-11-06 21:34:35 +01001100/*
Manuel Pégourié-Gonnard07de4b12013-09-02 16:26:04 +02001101 * Randomize jacobian coordinates:
1102 * (X, Y, Z) -> (l^2 X, l^3 Y, l Z) for random l
Manuel Pégourié-Gonnard3c0b4ea2013-12-02 19:44:41 +01001103 * This is sort of the reverse operation of ecp_normalize_jac().
Manuel Pégourié-Gonnard44aab792013-11-21 10:53:59 +01001104 *
1105 * This countermeasure was first suggested in [2].
Manuel Pégourié-Gonnard07de4b12013-09-02 16:26:04 +02001106 */
Manuel Pégourié-Gonnard3afa07f2013-12-03 13:28:21 +01001107static int ecp_randomize_jac( const ecp_group *grp, ecp_point *pt,
Manuel Pégourié-Gonnard07de4b12013-09-02 16:26:04 +02001108 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
1109{
1110 int ret;
1111 mpi l, ll;
1112 size_t p_size = (grp->pbits + 7) / 8;
1113 int count = 0;
1114
1115 mpi_init( &l ); mpi_init( &ll );
1116
1117 /* Generate l such that 1 < l < p */
1118 do
1119 {
1120 mpi_fill_random( &l, p_size, f_rng, p_rng );
1121
1122 while( mpi_cmp_mpi( &l, &grp->P ) >= 0 )
1123 mpi_shift_r( &l, 1 );
1124
1125 if( count++ > 10 )
Manuel Pégourié-Gonnard456d3b92013-09-16 18:04:38 +02001126 return( POLARSSL_ERR_ECP_RANDOM_FAILED );
Manuel Pégourié-Gonnard07de4b12013-09-02 16:26:04 +02001127 }
1128 while( mpi_cmp_int( &l, 1 ) <= 0 );
1129
1130 /* Z = l * Z */
1131 MPI_CHK( mpi_mul_mpi( &pt->Z, &pt->Z, &l ) ); MOD_MUL( pt->Z );
1132
1133 /* X = l^2 * X */
1134 MPI_CHK( mpi_mul_mpi( &ll, &l, &l ) ); MOD_MUL( ll );
1135 MPI_CHK( mpi_mul_mpi( &pt->X, &pt->X, &ll ) ); MOD_MUL( pt->X );
1136
1137 /* Y = l^3 * Y */
1138 MPI_CHK( mpi_mul_mpi( &ll, &ll, &l ) ); MOD_MUL( ll );
1139 MPI_CHK( mpi_mul_mpi( &pt->Y, &pt->Y, &ll ) ); MOD_MUL( pt->Y );
1140
1141cleanup:
1142 mpi_free( &l ); mpi_free( &ll );
1143
1144 return( ret );
1145}
1146
1147/*
Manuel Pégourié-Gonnardc30200e2013-11-20 18:39:55 +01001148 * Check and define parameters used by the comb method (see below for details)
1149 */
1150#if POLARSSL_ECP_WINDOW_SIZE < 2 || POLARSSL_ECP_WINDOW_SIZE > 7
1151#error "POLARSSL_ECP_WINDOW_SIZE out of bounds"
1152#endif
1153
1154/* d = ceil( n / w ) */
1155#define COMB_MAX_D ( POLARSSL_ECP_MAX_BITS + 1 ) / 2
1156
1157/* number of precomputed points */
1158#define COMB_MAX_PRE ( 1 << ( POLARSSL_ECP_WINDOW_SIZE - 1 ) )
1159
1160/*
1161 * Compute the representation of m that will be used with our comb method.
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001162 *
1163 * The basic comb method is described in GECC 3.44 for example. We use a
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001164 * modified version that provides resistance to SPA by avoiding zero
1165 * digits in the representation as in [3]. We modify the method further by
1166 * requiring that all K_i be odd, which has the small cost that our
Manuel Pégourié-Gonnardc30200e2013-11-20 18:39:55 +01001167 * representation uses one more K_i, due to carries.
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001168 *
1169 * Also, for the sake of compactness, only the seven low-order bits of x[i]
1170 * are used to represent K_i, and the msb of x[i] encodes the the sign (s_i in
1171 * the paper): it is set if and only if if s_i == -1;
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001172 *
1173 * Calling conventions:
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001174 * - x is an array of size d + 1
Manuel Pégourié-Gonnardc30200e2013-11-20 18:39:55 +01001175 * - w is the size, ie number of teeth, of the comb, and must be between
1176 * 2 and 7 (in practice, between 2 and POLARSSL_ECP_WINDOW_SIZE)
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001177 * - m is the MPI, expected to be odd and such that bitlength(m) <= w * d
1178 * (the result will be incorrect if these assumptions are not satisfied)
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001179 */
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001180static void ecp_comb_fixed( unsigned char x[], size_t d,
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001181 unsigned char w, const mpi *m )
1182{
1183 size_t i, j;
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001184 unsigned char c, cc, adjust;
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001185
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001186 memset( x, 0, d+1 );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001187
Manuel Pégourié-Gonnardedc1a1f2013-11-21 09:50:00 +01001188 /* First get the classical comb values (except for x_d = 0) */
1189 for( i = 0; i < d; i++ )
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001190 for( j = 0; j < w; j++ )
1191 x[i] |= mpi_get_bit( m, i + d * j ) << j;
1192
Manuel Pégourié-Gonnardedc1a1f2013-11-21 09:50:00 +01001193 /* Now make sure x_1 .. x_d are odd */
1194 c = 0;
1195 for( i = 1; i <= d; i++ )
1196 {
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001197 /* Add carry and update it */
1198 cc = x[i] & c;
1199 x[i] = x[i] ^ c;
1200 c = cc;
1201
Manuel Pégourié-Gonnardedc1a1f2013-11-21 09:50:00 +01001202 /* Adjust if needed, avoiding branches */
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001203 adjust = 1 - ( x[i] & 0x01 );
1204 c |= x[i] & ( x[i-1] * adjust );
1205 x[i] = x[i] ^ ( x[i-1] * adjust );
1206 x[i-1] |= adjust << 7;
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001207 }
1208}
1209
1210/*
1211 * Precompute points for the comb method
1212 *
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001213 * If i = i_{w-1} ... i_1 is the binary representation of i, then
1214 * T[i] = i_{w-1} 2^{(w-1)d} P + ... + i_1 2^d P + P
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001215 *
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +01001216 * T must be able to hold 2^{w - 1} elements
1217 *
1218 * Cost: d(w-1) D + (2^{w-1} - 1) A + 1 N(w-1) + 1 N(2^{w-1} - 1)
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001219 */
1220static int ecp_precompute_comb( const ecp_group *grp,
1221 ecp_point T[], const ecp_point *P,
1222 unsigned char w, size_t d )
1223{
1224 int ret;
Manuel Pégourié-Gonnardc30200e2013-11-20 18:39:55 +01001225 unsigned char i, k;
1226 size_t j;
1227 ecp_point *cur, *TT[COMB_MAX_PRE - 1];
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001228
1229 /*
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001230 * Set T[0] = P and
1231 * T[2^{l-1}] = 2^{dl} P for l = 1 .. w-1 (this is not the final value)
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001232 */
1233 MPI_CHK( ecp_copy( &T[0], P ) );
1234
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001235 k = 0;
1236 for( i = 1; i < ( 1U << (w-1) ); i <<= 1 )
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001237 {
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001238 cur = T + i;
1239 MPI_CHK( ecp_copy( cur, T + ( i >> 1 ) ) );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001240 for( j = 0; j < d; j++ )
1241 MPI_CHK( ecp_double_jac( grp, cur, cur ) );
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001242
1243 TT[k++] = cur;
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001244 }
1245
Manuel Pégourié-Gonnard26bc1c02013-12-30 19:33:33 +01001246 MPI_CHK( ecp_normalize_jac_many( grp, TT, k ) );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001247
1248 /*
1249 * Compute the remaining ones using the minimal number of additions
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001250 * Be careful to update T[2^l] only after using it!
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001251 */
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001252 k = 0;
1253 for( i = 1; i < ( 1U << (w-1) ); i <<= 1 )
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001254 {
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001255 j = i;
1256 while( j-- )
1257 {
Manuel Pégourié-Gonnard26bc1c02013-12-30 19:33:33 +01001258 MPI_CHK( ecp_add_mixed( grp, &T[i + j], &T[j], &T[i] ) );
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001259 TT[k++] = &T[i + j];
1260 }
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001261 }
1262
Manuel Pégourié-Gonnard26bc1c02013-12-30 19:33:33 +01001263 MPI_CHK( ecp_normalize_jac_many( grp, TT, k ) );
Manuel Pégourié-Gonnarde2820122013-11-21 10:08:50 +01001264
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001265cleanup:
1266 return( ret );
1267}
1268
1269/*
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001270 * Select precomputed point: R = sign(i) * T[ abs(i) / 2 ]
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001271 */
1272static int ecp_select_comb( const ecp_group *grp, ecp_point *R,
Manuel Pégourié-Gonnard96c7a922013-11-25 18:28:53 +01001273 const ecp_point T[], unsigned char t_len,
Manuel Pégourié-Gonnardd7283502013-11-21 20:00:38 +01001274 unsigned char i )
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001275{
1276 int ret;
Manuel Pégourié-Gonnardd7283502013-11-21 20:00:38 +01001277 unsigned char ii, j;
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001278
Manuel Pégourié-Gonnardd7283502013-11-21 20:00:38 +01001279 /* Ignore the "sign" bit and scale down */
1280 ii = ( i & 0x7Fu ) >> 1;
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001281
Manuel Pégourié-Gonnardd7283502013-11-21 20:00:38 +01001282 /* Read the whole table to thwart cache-based timing attacks */
1283 for( j = 0; j < t_len; j++ )
1284 {
1285 MPI_CHK( mpi_safe_cond_assign( &R->X, &T[j].X, j == ii ) );
1286 MPI_CHK( mpi_safe_cond_assign( &R->Y, &T[j].Y, j == ii ) );
1287 }
1288
Manuel Pégourié-Gonnard01fca5e2013-11-21 17:47:12 +01001289 /* Safely invert result if i is "negative" */
Manuel Pégourié-Gonnard3c0b4ea2013-12-02 19:44:41 +01001290 MPI_CHK( ecp_safe_invert_jac( grp, R, i >> 7 ) );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001291
1292cleanup:
1293 return( ret );
1294}
1295
1296/*
1297 * Core multiplication algorithm for the (modified) comb method.
1298 * This part is actually common with the basic comb method (GECC 3.44)
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +01001299 *
1300 * Cost: d A + d D + 1 R
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001301 */
1302static int ecp_mul_comb_core( const ecp_group *grp, ecp_point *R,
Manuel Pégourié-Gonnard96c7a922013-11-25 18:28:53 +01001303 const ecp_point T[], unsigned char t_len,
Manuel Pégourié-Gonnard70c14372013-11-20 20:07:26 +01001304 const unsigned char x[], size_t d,
1305 int (*f_rng)(void *, unsigned char *, size_t),
1306 void *p_rng )
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001307{
1308 int ret;
1309 ecp_point Txi;
1310 size_t i;
1311
1312 ecp_point_init( &Txi );
1313
Manuel Pégourié-Gonnard70c14372013-11-20 20:07:26 +01001314 /* Start with a non-zero point and randomize its coordinates */
Manuel Pégourié-Gonnard101a39f2013-11-20 14:47:19 +01001315 i = d;
Manuel Pégourié-Gonnardd7283502013-11-21 20:00:38 +01001316 MPI_CHK( ecp_select_comb( grp, R, T, t_len, x[i] ) );
Manuel Pégourié-Gonnard72c172a2013-12-30 16:04:55 +01001317 MPI_CHK( mpi_lset( &R->Z, 1 ) );
Manuel Pégourié-Gonnard70c14372013-11-20 20:07:26 +01001318 if( f_rng != 0 )
Manuel Pégourié-Gonnard3afa07f2013-12-03 13:28:21 +01001319 MPI_CHK( ecp_randomize_jac( grp, R, f_rng, p_rng ) );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001320
1321 while( i-- != 0 )
1322 {
1323 MPI_CHK( ecp_double_jac( grp, R, R ) );
Manuel Pégourié-Gonnardd7283502013-11-21 20:00:38 +01001324 MPI_CHK( ecp_select_comb( grp, &Txi, T, t_len, x[i] ) );
Manuel Pégourié-Gonnard469a2092013-11-21 18:20:43 +01001325 MPI_CHK( ecp_add_mixed( grp, R, R, &Txi ) );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001326 }
1327
1328cleanup:
1329 ecp_point_free( &Txi );
1330
1331 return( ret );
1332}
1333
1334/*
Manuel Pégourié-Gonnarda0179b82013-12-04 11:49:20 +01001335 * Multiplication using the comb method,
1336 * for curves in short Weierstrass form
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001337 */
Manuel Pégourié-Gonnarda0179b82013-12-04 11:49:20 +01001338static int ecp_mul_comb( ecp_group *grp, ecp_point *R,
1339 const mpi *m, const ecp_point *P,
1340 int (*f_rng)(void *, unsigned char *, size_t),
1341 void *p_rng )
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001342{
1343 int ret;
Manuel Pégourié-Gonnardd7283502013-11-21 20:00:38 +01001344 unsigned char w, m_is_odd, p_eq_g, pre_len, i;
1345 size_t d;
Manuel Pégourié-Gonnardc30200e2013-11-20 18:39:55 +01001346 unsigned char k[COMB_MAX_D + 1];
Manuel Pégourié-Gonnardaade42f2013-11-21 19:19:54 +01001347 ecp_point *T;
1348 mpi M, mm;
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001349
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001350 mpi_init( &M );
Manuel Pégourié-Gonnardaade42f2013-11-21 19:19:54 +01001351 mpi_init( &mm );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001352
Manuel Pégourié-Gonnarda0179b82013-12-04 11:49:20 +01001353 /* we need N to be odd to trnaform m in an odd number, check now */
1354 if( mpi_get_bit( &grp->N, 0 ) != 1 )
1355 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
1356
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001357 /*
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +01001358 * Minimize the number of multiplications, that is minimize
Manuel Pégourié-Gonnard36daa132013-11-21 18:33:36 +01001359 * 10 * d * w + 18 * 2^(w-1) + 11 * d + 7 * w, with d = ceil( nbits / w )
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +01001360 * (see costs of the various parts, with 1S = 1M)
1361 */
1362 w = grp->nbits >= 384 ? 5 : 4;
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001363
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +01001364 /*
1365 * If P == G, pre-compute a bit more, since this may be re-used later.
Manuel Pégourié-Gonnard9e4191c2013-12-30 18:41:16 +01001366 * Just adding one avoids upping the cost of the first mul too much,
1367 * and the memory cost too.
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +01001368 */
Manuel Pégourié-Gonnard9e4191c2013-12-30 18:41:16 +01001369#if POLARSSL_ECP_FIXED_POINT_OPTIM == 1
Manuel Pégourié-Gonnarda0179b82013-12-04 11:49:20 +01001370 p_eq_g = ( mpi_cmp_mpi( &P->Y, &grp->G.Y ) == 0 &&
1371 mpi_cmp_mpi( &P->X, &grp->G.X ) == 0 );
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +01001372 if( p_eq_g )
1373 w++;
Manuel Pégourié-Gonnard9e4191c2013-12-30 18:41:16 +01001374#else
1375 p_eq_g = 0;
1376#endif
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +01001377
1378 /*
Manuel Pégourié-Gonnard36daa132013-11-21 18:33:36 +01001379 * Make sure w is within bounds.
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +01001380 * (The last test is useful only for very small curves in the test suite.)
1381 */
1382 if( w > POLARSSL_ECP_WINDOW_SIZE )
1383 w = POLARSSL_ECP_WINDOW_SIZE;
Manuel Pégourié-Gonnard36daa132013-11-21 18:33:36 +01001384 if( w >= grp->nbits )
Manuel Pégourié-Gonnard04a02252013-11-20 22:57:38 +01001385 w = 2;
1386
1387 /* Other sizes that depend on w */
Manuel Pégourié-Gonnardc30200e2013-11-20 18:39:55 +01001388 pre_len = 1U << ( w - 1 );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001389 d = ( grp->nbits + w - 1 ) / w;
1390
1391 /*
1392 * Prepare precomputed points: if P == G we want to
Manuel Pégourié-Gonnardedc1a1f2013-11-21 09:50:00 +01001393 * use grp->T if already initialized, or initialize it.
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001394 */
Manuel Pégourié-Gonnardaade42f2013-11-21 19:19:54 +01001395 T = p_eq_g ? grp->T : NULL;
Manuel Pégourié-Gonnardedc1a1f2013-11-21 09:50:00 +01001396
1397 if( T == NULL )
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001398 {
1399 T = (ecp_point *) polarssl_malloc( pre_len * sizeof( ecp_point ) );
1400 if( T == NULL )
1401 {
1402 ret = POLARSSL_ERR_ECP_MALLOC_FAILED;
1403 goto cleanup;
1404 }
1405
1406 for( i = 0; i < pre_len; i++ )
1407 ecp_point_init( &T[i] );
1408
1409 MPI_CHK( ecp_precompute_comb( grp, T, P, w, d ) );
1410
1411 if( p_eq_g )
1412 {
1413 grp->T = T;
1414 grp->T_size = pre_len;
1415 }
1416 }
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001417
1418 /*
Manuel Pégourié-Gonnardaade42f2013-11-21 19:19:54 +01001419 * Make sure M is odd (M = m or M = N - m, since N is odd)
1420 * using the fact that m * P = - (N - m) * P
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001421 */
1422 m_is_odd = ( mpi_get_bit( m, 0 ) == 1 );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001423 MPI_CHK( mpi_copy( &M, m ) );
Manuel Pégourié-Gonnardaade42f2013-11-21 19:19:54 +01001424 MPI_CHK( mpi_sub_mpi( &mm, &grp->N, m ) );
1425 MPI_CHK( mpi_safe_cond_assign( &M, &mm, ! m_is_odd ) );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001426
1427 /*
Manuel Pégourié-Gonnardaade42f2013-11-21 19:19:54 +01001428 * Go for comb multiplication, R = M * P
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001429 */
1430 ecp_comb_fixed( k, d, w, &M );
Manuel Pégourié-Gonnardd7283502013-11-21 20:00:38 +01001431 MPI_CHK( ecp_mul_comb_core( grp, R, T, pre_len, k, d, f_rng, p_rng ) );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001432
1433 /*
Manuel Pégourié-Gonnardaade42f2013-11-21 19:19:54 +01001434 * Now get m * P from M * P and normalize it
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001435 */
Manuel Pégourié-Gonnard3c0b4ea2013-12-02 19:44:41 +01001436 MPI_CHK( ecp_safe_invert_jac( grp, R, ! m_is_odd ) );
1437 MPI_CHK( ecp_normalize_jac( grp, R ) );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001438
1439cleanup:
1440
1441 if( T != NULL && ! p_eq_g )
1442 {
1443 for( i = 0; i < pre_len; i++ )
1444 ecp_point_free( &T[i] );
1445 polarssl_free( T );
1446 }
1447
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001448 mpi_free( &M );
Manuel Pégourié-Gonnardaade42f2013-11-21 19:19:54 +01001449 mpi_free( &mm );
1450
1451 if( ret != 0 )
1452 ecp_point_free( R );
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001453
1454 return( ret );
1455}
1456
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +01001457#endif /* POLARSSL_ECP_SHORT_WEIERSTRASS */
1458
1459#if defined(POLARSSL_ECP_MONTGOMERY)
1460/*
1461 * For Montgomery curves, we do all the internal arithmetic in projective
1462 * coordinates. Import/export of points uses only the x coordinates, which is
1463 * internaly represented as X / Z.
1464 *
1465 * For scalar multiplication, we'll use a Montgomery ladder.
1466 */
1467
Manuel Pégourié-Gonnardd1c1ba92013-11-16 15:50:12 +01001468/*
Manuel Pégourié-Gonnardd9ea82e72013-12-03 12:02:28 +01001469 * Normalize Montgomery x/z coordinates: X = X/Z, Z = 1
1470 * Cost: 1M + 1I
1471 */
1472static int ecp_normalize_mxz( const ecp_group *grp, ecp_point *P )
1473{
1474 int ret;
1475
1476 MPI_CHK( mpi_inv_mod( &P->Z, &P->Z, &grp->P ) );
1477 MPI_CHK( mpi_mul_mpi( &P->X, &P->X, &P->Z ) ); MOD_MUL( P->X );
1478 MPI_CHK( mpi_lset( &P->Z, 1 ) );
1479
1480cleanup:
1481 return( ret );
1482}
1483
1484/*
Manuel Pégourié-Gonnard3afa07f2013-12-03 13:28:21 +01001485 * Randomize projective x/z coordinates:
1486 * (X, Z) -> (l X, l Z) for random l
1487 * This is sort of the reverse operation of ecp_normalize_mxz().
1488 *
1489 * This countermeasure was first suggested in [2].
1490 * Cost: 2M
1491 */
1492static int ecp_randomize_mxz( const ecp_group *grp, ecp_point *P,
1493 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
1494{
1495 int ret;
1496 mpi l;
1497 size_t p_size = (grp->pbits + 7) / 8;
1498 int count = 0;
1499
1500 mpi_init( &l );
1501
1502 /* Generate l such that 1 < l < p */
1503 do
1504 {
1505 mpi_fill_random( &l, p_size, f_rng, p_rng );
1506
1507 while( mpi_cmp_mpi( &l, &grp->P ) >= 0 )
1508 mpi_shift_r( &l, 1 );
1509
1510 if( count++ > 10 )
1511 return( POLARSSL_ERR_ECP_RANDOM_FAILED );
1512 }
1513 while( mpi_cmp_int( &l, 1 ) <= 0 );
1514
1515 MPI_CHK( mpi_mul_mpi( &P->X, &P->X, &l ) ); MOD_MUL( P->X );
1516 MPI_CHK( mpi_mul_mpi( &P->Z, &P->Z, &l ) ); MOD_MUL( P->Z );
1517
1518cleanup:
1519 mpi_free( &l );
1520
1521 return( ret );
1522}
1523
1524/*
Manuel Pégourié-Gonnardd9ea82e72013-12-03 12:02:28 +01001525 * Double-and-add: R = 2P, S = P + Q, with d = X(P - Q),
1526 * for Montgomery curves in x/z coordinates.
1527 *
1528 * http://www.hyperelliptic.org/EFD/g1p/auto-code/montgom/xz/ladder/mladd-1987-m.op3
1529 * with
1530 * d = X1
1531 * P = (X2, Z2)
1532 * Q = (X3, Z3)
1533 * R = (X4, Z4)
1534 * S = (X5, Z5)
1535 * and eliminating temporary variables tO, ..., t4.
1536 *
1537 * Cost: 5M + 4S
1538 */
1539static int ecp_double_add_mxz( const ecp_group *grp,
1540 ecp_point *R, ecp_point *S,
1541 const ecp_point *P, const ecp_point *Q,
1542 const mpi *d )
1543{
1544 int ret;
1545 mpi A, AA, B, BB, E, C, D, DA, CB;
1546
1547 mpi_init( &A ); mpi_init( &AA ); mpi_init( &B );
1548 mpi_init( &BB ); mpi_init( &E ); mpi_init( &C );
1549 mpi_init( &D ); mpi_init( &DA ); mpi_init( &CB );
1550
1551 MPI_CHK( mpi_add_mpi( &A, &P->X, &P->Z ) ); MOD_ADD( A );
1552 MPI_CHK( mpi_mul_mpi( &AA, &A, &A ) ); MOD_MUL( AA );
1553 MPI_CHK( mpi_sub_mpi( &B, &P->X, &P->Z ) ); MOD_SUB( B );
1554 MPI_CHK( mpi_mul_mpi( &BB, &B, &B ) ); MOD_MUL( BB );
1555 MPI_CHK( mpi_sub_mpi( &E, &AA, &BB ) ); MOD_SUB( E );
1556 MPI_CHK( mpi_add_mpi( &C, &Q->X, &Q->Z ) ); MOD_ADD( C );
1557 MPI_CHK( mpi_sub_mpi( &D, &Q->X, &Q->Z ) ); MOD_SUB( D );
1558 MPI_CHK( mpi_mul_mpi( &DA, &D, &A ) ); MOD_MUL( DA );
1559 MPI_CHK( mpi_mul_mpi( &CB, &C, &B ) ); MOD_MUL( CB );
1560 MPI_CHK( mpi_add_mpi( &S->X, &DA, &CB ) ); MOD_MUL( S->X );
1561 MPI_CHK( mpi_mul_mpi( &S->X, &S->X, &S->X ) ); MOD_MUL( S->X );
1562 MPI_CHK( mpi_sub_mpi( &S->Z, &DA, &CB ) ); MOD_SUB( S->Z );
1563 MPI_CHK( mpi_mul_mpi( &S->Z, &S->Z, &S->Z ) ); MOD_MUL( S->Z );
1564 MPI_CHK( mpi_mul_mpi( &S->Z, d, &S->Z ) ); MOD_MUL( S->Z );
1565 MPI_CHK( mpi_mul_mpi( &R->X, &AA, &BB ) ); MOD_MUL( R->X );
1566 MPI_CHK( mpi_mul_mpi( &R->Z, &grp->A, &E ) ); MOD_MUL( R->Z );
1567 MPI_CHK( mpi_add_mpi( &R->Z, &BB, &R->Z ) ); MOD_ADD( R->Z );
1568 MPI_CHK( mpi_mul_mpi( &R->Z, &E, &R->Z ) ); MOD_MUL( R->Z );
1569
1570cleanup:
1571 mpi_free( &A ); mpi_free( &AA ); mpi_free( &B );
1572 mpi_free( &BB ); mpi_free( &E ); mpi_free( &C );
1573 mpi_free( &D ); mpi_free( &DA ); mpi_free( &CB );
1574
1575 return( ret );
1576}
1577
1578/*
Manuel Pégourié-Gonnarda0179b82013-12-04 11:49:20 +01001579 * Multiplication with Montgomery ladder in x/z coordinates,
1580 * for curves in Montgomery form
Manuel Pégourié-Gonnardd9ea82e72013-12-03 12:02:28 +01001581 */
Manuel Pégourié-Gonnarda0179b82013-12-04 11:49:20 +01001582static int ecp_mul_mxz( ecp_group *grp, ecp_point *R,
1583 const mpi *m, const ecp_point *P,
1584 int (*f_rng)(void *, unsigned char *, size_t),
1585 void *p_rng )
Manuel Pégourié-Gonnardd9ea82e72013-12-03 12:02:28 +01001586{
1587 int ret;
1588 size_t i;
Manuel Pégourié-Gonnardb6f45a62013-12-04 21:54:36 +01001589 unsigned char b;
Manuel Pégourié-Gonnardd9ea82e72013-12-03 12:02:28 +01001590 ecp_point RP;
1591 mpi PX;
1592
1593 ecp_point_init( &RP ); mpi_init( &PX );
1594
Manuel Pégourié-Gonnard3afa07f2013-12-03 13:28:21 +01001595 /* Save PX and read from P before writing to R, in case P == R */
Manuel Pégourié-Gonnardd9ea82e72013-12-03 12:02:28 +01001596 mpi_copy( &PX, &P->X );
1597 MPI_CHK( ecp_copy( &RP, P ) );
Manuel Pégourié-Gonnard357ff652013-12-04 18:39:17 +01001598
1599 /* Set R to zero in modified x/z coordinates */
1600 MPI_CHK( mpi_lset( &R->X, 1 ) );
1601 MPI_CHK( mpi_lset( &R->Z, 0 ) );
1602 mpi_free( &R->Y );
Manuel Pégourié-Gonnardd9ea82e72013-12-03 12:02:28 +01001603
Manuel Pégourié-Gonnard93f41db2013-12-05 10:48:42 +01001604 /* RP.X might be sligtly larger than P, so reduce it */
1605 MOD_ADD( RP.X );
1606
Manuel Pégourié-Gonnard3afa07f2013-12-03 13:28:21 +01001607 /* Randomize coordinates of the starting point */
Manuel Pégourié-Gonnard357ff652013-12-04 18:39:17 +01001608 if( f_rng != NULL )
1609 MPI_CHK( ecp_randomize_mxz( grp, &RP, f_rng, p_rng ) );
Manuel Pégourié-Gonnardd9ea82e72013-12-03 12:02:28 +01001610
Manuel Pégourié-Gonnardb6f45a62013-12-04 21:54:36 +01001611 /* Loop invariant: R = result so far, RP = R + P */
Manuel Pégourié-Gonnard357ff652013-12-04 18:39:17 +01001612 i = mpi_msb( m ); /* one past the (zero-based) most significant bit */
Manuel Pégourié-Gonnardd9ea82e72013-12-03 12:02:28 +01001613 while( i-- > 0 )
1614 {
Manuel Pégourié-Gonnardb6f45a62013-12-04 21:54:36 +01001615 b = mpi_get_bit( m, i );
1616 /*
1617 * if (b) R = 2R + P else R = 2R,
1618 * which is:
1619 * if (b) double_add( RP, R, RP, R )
1620 * else double_add( R, RP, R, RP )
1621 * but using safe conditional swaps to avoid leaks
1622 */
1623 MPI_CHK( mpi_safe_cond_swap( &R->X, &RP.X, b ) );
1624 MPI_CHK( mpi_safe_cond_swap( &R->Z, &RP.Z, b ) );
1625 MPI_CHK( ecp_double_add_mxz( grp, R, &RP, R, &RP, &PX ) );
1626 MPI_CHK( mpi_safe_cond_swap( &R->X, &RP.X, b ) );
1627 MPI_CHK( mpi_safe_cond_swap( &R->Z, &RP.Z, b ) );
Manuel Pégourié-Gonnardd9ea82e72013-12-03 12:02:28 +01001628 }
1629
1630 MPI_CHK( ecp_normalize_mxz( grp, R ) );
1631
1632cleanup:
1633 ecp_point_free( &RP ); mpi_free( &PX );
1634
1635 return( ret );
1636}
1637
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +01001638#endif /* POLARSSL_ECP_MONTGOMERY */
1639
Manuel Pégourié-Gonnardd9ea82e72013-12-03 12:02:28 +01001640/*
Manuel Pégourié-Gonnarda0179b82013-12-04 11:49:20 +01001641 * Multiplication R = m * P
1642 */
1643int ecp_mul( ecp_group *grp, ecp_point *R,
1644 const mpi *m, const ecp_point *P,
1645 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
1646{
1647 int ret;
1648
1649 /* Common sanity checks */
1650 if( mpi_cmp_int( &P->Z, 1 ) != 0 )
1651 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
1652
1653 if( ( ret = ecp_check_privkey( grp, m ) ) != 0 ||
1654 ( ret = ecp_check_pubkey( grp, P ) ) != 0 )
1655 return( ret );
1656
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +01001657#if defined(POLARSSL_ECP_MONTGOMERY)
1658 if( ecp_get_type( grp ) == POLARSSL_ECP_TYPE_MONTGOMERY )
Manuel Pégourié-Gonnarda0179b82013-12-04 11:49:20 +01001659 return( ecp_mul_mxz( grp, R, m, P, f_rng, p_rng ) );
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +01001660#endif
1661#if defined(POLARSSL_ECP_SHORT_WEIERSTRASS)
1662 if( ecp_get_type( grp ) == POLARSSL_ECP_TYPE_SHORT_WEIERSTRASS )
Manuel Pégourié-Gonnarda0179b82013-12-04 11:49:20 +01001663 return( ecp_mul_comb( grp, R, m, P, f_rng, p_rng ) );
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +01001664#endif
1665 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
Manuel Pégourié-Gonnarda0179b82013-12-04 11:49:20 +01001666}
1667
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001668#if defined(POLARSSL_ECP_SHORT_WEIERSTRASS)
Manuel Pégourié-Gonnarda0179b82013-12-04 11:49:20 +01001669/*
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001670 * Check that an affine point is valid as a public key,
1671 * short weierstrass curves (SEC1 3.2.3.1)
Manuel Pégourié-Gonnardc8dc2952013-07-01 14:06:13 +02001672 */
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001673static int ecp_check_pubkey_sw( const ecp_group *grp, const ecp_point *pt )
Manuel Pégourié-Gonnardc8dc2952013-07-01 14:06:13 +02001674{
1675 int ret;
1676 mpi YY, RHS;
1677
Manuel Pégourié-Gonnard312d2e82013-12-04 11:08:01 +01001678 /* pt coordinates must be normalized for our checks */
Manuel Pégourié-Gonnardc8dc2952013-07-01 14:06:13 +02001679 if( mpi_cmp_int( &pt->X, 0 ) < 0 ||
1680 mpi_cmp_int( &pt->Y, 0 ) < 0 ||
1681 mpi_cmp_mpi( &pt->X, &grp->P ) >= 0 ||
1682 mpi_cmp_mpi( &pt->Y, &grp->P ) >= 0 )
Manuel Pégourié-Gonnard456d3b92013-09-16 18:04:38 +02001683 return( POLARSSL_ERR_ECP_INVALID_KEY );
Manuel Pégourié-Gonnardc8dc2952013-07-01 14:06:13 +02001684
1685 mpi_init( &YY ); mpi_init( &RHS );
1686
1687 /*
1688 * YY = Y^2
Manuel Pégourié-Gonnardcd7458a2013-10-08 13:11:30 +02001689 * RHS = X (X^2 + A) + B = X^3 + A X + B
Manuel Pégourié-Gonnardc8dc2952013-07-01 14:06:13 +02001690 */
Manuel Pégourié-Gonnardcd7458a2013-10-08 13:11:30 +02001691 MPI_CHK( mpi_mul_mpi( &YY, &pt->Y, &pt->Y ) ); MOD_MUL( YY );
1692 MPI_CHK( mpi_mul_mpi( &RHS, &pt->X, &pt->X ) ); MOD_MUL( RHS );
Manuel Pégourié-Gonnard73cc01d2013-12-06 12:41:30 +01001693
1694 /* Special case for A = -3 */
1695 if( grp->A.p == NULL )
1696 {
1697 MPI_CHK( mpi_sub_int( &RHS, &RHS, 3 ) ); MOD_SUB( RHS );
1698 }
1699 else
1700 {
1701 MPI_CHK( mpi_add_mpi( &RHS, &RHS, &grp->A ) ); MOD_ADD( RHS );
1702 }
1703
Manuel Pégourié-Gonnardcd7458a2013-10-08 13:11:30 +02001704 MPI_CHK( mpi_mul_mpi( &RHS, &RHS, &pt->X ) ); MOD_MUL( RHS );
1705 MPI_CHK( mpi_add_mpi( &RHS, &RHS, &grp->B ) ); MOD_ADD( RHS );
Manuel Pégourié-Gonnardc8dc2952013-07-01 14:06:13 +02001706
1707 if( mpi_cmp_mpi( &YY, &RHS ) != 0 )
Manuel Pégourié-Gonnard456d3b92013-09-16 18:04:38 +02001708 ret = POLARSSL_ERR_ECP_INVALID_KEY;
Manuel Pégourié-Gonnardc8dc2952013-07-01 14:06:13 +02001709
1710cleanup:
1711
1712 mpi_free( &YY ); mpi_free( &RHS );
1713
1714 return( ret );
1715}
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001716#endif /* POLARSSL_ECP_SHORT_WEIERSTRASS */
1717
1718
1719#if defined(POLARSSL_ECP_MONTGOMERY)
1720/*
1721 * Check validity of a public key for Montgomery curves with x-only schemes
1722 */
1723static int ecp_check_pubkey_mx( const ecp_group *grp, const ecp_point *pt )
1724{
1725 /* [M255 p. 5] Just check X is the correct number of bytes */
1726 if( mpi_size( &pt->X ) > ( grp->nbits + 7 ) / 8 )
1727 return( POLARSSL_ERR_ECP_INVALID_KEY );
1728
1729 return( 0 );
1730}
1731#endif /* POLARSSL_ECP_MONTGOMERY */
1732
1733/*
1734 * Check that a point is valid as a public key
1735 */
1736int ecp_check_pubkey( const ecp_group *grp, const ecp_point *pt )
1737{
1738 /* Must use affine coordinates */
1739 if( mpi_cmp_int( &pt->Z, 1 ) != 0 )
1740 return( POLARSSL_ERR_ECP_INVALID_KEY );
1741
1742#if defined(POLARSSL_ECP_MONTGOMERY)
1743 if( ecp_get_type( grp ) == POLARSSL_ECP_TYPE_MONTGOMERY )
1744 return( ecp_check_pubkey_mx( grp, pt ) );
1745#endif
1746#if defined(POLARSSL_ECP_SHORT_WEIERSTRASS)
1747 if( ecp_get_type( grp ) == POLARSSL_ECP_TYPE_SHORT_WEIERSTRASS )
1748 return( ecp_check_pubkey_sw( grp, pt ) );
1749#endif
1750 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
1751}
Manuel Pégourié-Gonnardc8dc2952013-07-01 14:06:13 +02001752
1753/*
Manuel Pégourié-Gonnard312d2e82013-12-04 11:08:01 +01001754 * Check that an mpi is valid as a private key
Manuel Pégourié-Gonnardc8dc2952013-07-01 14:06:13 +02001755 */
Manuel Pégourié-Gonnardde44a4a2013-07-09 16:05:52 +02001756int ecp_check_privkey( const ecp_group *grp, const mpi *d )
Manuel Pégourié-Gonnardc8dc2952013-07-01 14:06:13 +02001757{
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001758#if defined(POLARSSL_ECP_MONTGOMERY)
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +01001759 if( ecp_get_type( grp ) == POLARSSL_ECP_TYPE_MONTGOMERY )
Manuel Pégourié-Gonnard312d2e82013-12-04 11:08:01 +01001760 {
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +01001761 /* see [M255] page 5 */
Manuel Pégourié-Gonnard312d2e82013-12-04 11:08:01 +01001762 if( mpi_get_bit( d, 0 ) != 0 ||
1763 mpi_get_bit( d, 1 ) != 0 ||
1764 mpi_get_bit( d, 2 ) != 0 ||
1765 mpi_msb( d ) - 1 != grp->nbits ) /* mpi_msb is one-based! */
1766 return( POLARSSL_ERR_ECP_INVALID_KEY );
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001767 else
1768 return( 0 );
Manuel Pégourié-Gonnard312d2e82013-12-04 11:08:01 +01001769 }
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001770#endif
1771#if defined(POLARSSL_ECP_SHORT_WEIERSTRASS)
1772 if( ecp_get_type( grp ) == POLARSSL_ECP_TYPE_SHORT_WEIERSTRASS )
Manuel Pégourié-Gonnard312d2e82013-12-04 11:08:01 +01001773 {
1774 /* see SEC1 3.2 */
1775 if( mpi_cmp_int( d, 1 ) < 0 ||
1776 mpi_cmp_mpi( d, &grp->N ) >= 0 )
1777 return( POLARSSL_ERR_ECP_INVALID_KEY );
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001778 else
1779 return( 0 );
Manuel Pégourié-Gonnard312d2e82013-12-04 11:08:01 +01001780 }
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001781#endif
Manuel Pégourié-Gonnardc8dc2952013-07-01 14:06:13 +02001782
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001783 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
Manuel Pégourié-Gonnardc8dc2952013-07-01 14:06:13 +02001784}
1785
1786/*
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +01001787 * Generate a keypair
Manuel Pégourié-Gonnard45a035a2013-01-26 14:42:45 +01001788 */
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001789int ecp_gen_keypair( ecp_group *grp, mpi *d, ecp_point *Q,
Manuel Pégourié-Gonnard45a035a2013-01-26 14:42:45 +01001790 int (*f_rng)(void *, unsigned char *, size_t),
1791 void *p_rng )
1792{
Manuel Pégourié-Gonnardc9573992014-01-03 12:54:00 +01001793 int ret;
Manuel Pégourié-Gonnard45a035a2013-01-26 14:42:45 +01001794 size_t n_size = (grp->nbits + 7) / 8;
1795
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001796#if defined(POLARSSL_ECP_MONTGOMERY)
Manuel Pégourié-Gonnard7c94d8b2013-12-04 23:15:46 +01001797 if( ecp_get_type( grp ) == POLARSSL_ECP_TYPE_MONTGOMERY )
Manuel Pégourié-Gonnard45a035a2013-01-26 14:42:45 +01001798 {
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +01001799 /* [M225] page 5 */
1800 size_t b;
1801
Manuel Pégourié-Gonnardc9573992014-01-03 12:54:00 +01001802 MPI_CHK( mpi_fill_random( d, n_size, f_rng, p_rng ) );
Manuel Pégourié-Gonnard45a035a2013-01-26 14:42:45 +01001803
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +01001804 /* Make sure the most significant bit is nbits */
1805 b = mpi_msb( d ) - 1; /* mpi_msb is one-based */
1806 if( b > grp->nbits )
Manuel Pégourié-Gonnardc9573992014-01-03 12:54:00 +01001807 MPI_CHK( mpi_shift_r( d, b - grp->nbits ) );
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +01001808 else
Manuel Pégourié-Gonnardc9573992014-01-03 12:54:00 +01001809 MPI_CHK( mpi_set_bit( d, grp->nbits, 1 ) );
Manuel Pégourié-Gonnard45a035a2013-01-26 14:42:45 +01001810
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +01001811 /* Make sure the last three bits are unset */
Manuel Pégourié-Gonnardc9573992014-01-03 12:54:00 +01001812 MPI_CHK( mpi_set_bit( d, 0, 0 ) );
1813 MPI_CHK( mpi_set_bit( d, 1, 0 ) );
1814 MPI_CHK( mpi_set_bit( d, 2, 0 ) );
Manuel Pégourié-Gonnard45a035a2013-01-26 14:42:45 +01001815 }
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +01001816 else
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001817#endif
1818#if defined(POLARSSL_ECP_SHORT_WEIERSTRASS)
1819 if( ecp_get_type( grp ) == POLARSSL_ECP_TYPE_SHORT_WEIERSTRASS )
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +01001820 {
1821 /* SEC1 3.2.1: Generate d such that 1 <= n < N */
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001822 int count = 0;
Manuel Pégourié-Gonnard79f73b92014-01-03 12:35:05 +01001823 unsigned char rnd[POLARSSL_ECP_MAX_BYTES];
1824
1825 /*
1826 * Match the procedure given in RFC 6979 (deterministic ECDSA):
1827 * - use the same byte ordering;
1828 * - keep the leftmost nbits bits of the generated octet string;
1829 * - try until result is in the desired range.
1830 * This also avoids any biais, which is especially important for ECDSA.
1831 */
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +01001832 do
1833 {
Manuel Pégourié-Gonnardc9573992014-01-03 12:54:00 +01001834 MPI_CHK( f_rng( p_rng, rnd, n_size ) );
1835 MPI_CHK( mpi_read_binary( d, rnd, n_size ) );
1836 MPI_CHK( mpi_shift_r( d, 8 * n_size - grp->nbits ) );
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +01001837
Manuel Pégourié-Gonnard6e8e34d2014-01-28 19:30:56 +01001838 /*
1839 * Each try has at worst a probability 1/2 of failing (the msb has
1840 * a probability 1/2 of being 0, and then the result will be < N),
1841 * so after 30 tries failure probability is a most 2**(-30).
1842 *
1843 * For most curves, 1 try is enough with overwhelming probability,
1844 * since N starts with a lot of 1s in binary, but some curves
1845 * such as secp224k1 are actually very close to the worst case.
1846 */
1847 if( ++count > 30 )
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +01001848 return( POLARSSL_ERR_ECP_RANDOM_FAILED );
1849 }
Manuel Pégourié-Gonnard79f73b92014-01-03 12:35:05 +01001850 while( mpi_cmp_int( d, 1 ) < 0 ||
1851 mpi_cmp_mpi( d, &grp->N ) >= 0 );
Manuel Pégourié-Gonnardfe0af402013-12-04 18:14:55 +01001852 }
Manuel Pégourié-Gonnardd9622732013-12-05 10:06:06 +01001853 else
1854#endif
1855 return( POLARSSL_ERR_ECP_BAD_INPUT_DATA );
Manuel Pégourié-Gonnard45a035a2013-01-26 14:42:45 +01001856
Manuel Pégourié-Gonnardc9573992014-01-03 12:54:00 +01001857cleanup:
1858 if( ret != 0 )
1859 return( ret );
1860
Manuel Pégourié-Gonnarde09d2f82013-09-02 14:29:09 +02001861 return( ecp_mul( grp, Q, d, &grp->G, f_rng, p_rng ) );
Manuel Pégourié-Gonnard45a035a2013-01-26 14:42:45 +01001862}
Manuel Pégourié-Gonnardefaa31e2012-11-06 21:34:35 +01001863
Manuel Pégourié-Gonnard104ee1d2013-11-30 14:13:16 +01001864/*
1865 * Generate a keypair, prettier wrapper
1866 */
1867int ecp_gen_key( ecp_group_id grp_id, ecp_keypair *key,
1868 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng )
1869{
1870 int ret;
1871
1872 if( ( ret = ecp_use_known_dp( &key->grp, grp_id ) ) != 0 )
1873 return( ret );
1874
1875 return( ecp_gen_keypair( &key->grp, &key->d, &key->Q, f_rng, p_rng ) );
1876}
1877
Manuel Pégourié-Gonnard39d2adb2012-10-31 09:26:55 +01001878#if defined(POLARSSL_SELF_TEST)
1879
Manuel Pégourié-Gonnardb505c272012-11-05 17:27:54 +01001880/*
Manuel Pégourié-Gonnard39d2adb2012-10-31 09:26:55 +01001881 * Checkup routine
1882 */
1883int ecp_self_test( int verbose )
1884{
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001885 int ret;
1886 size_t i;
1887 ecp_group grp;
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001888 ecp_point R, P;
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001889 mpi m;
Manuel Pégourié-Gonnard91814812013-11-21 20:23:55 +01001890 unsigned long add_c_prev, dbl_c_prev, mul_c_prev;
Manuel Pégourié-Gonnardb8012fc2013-10-10 15:40:49 +02001891 /* exponents especially adapted for secp192r1 */
Paul Bakkerb6c5d2e2013-06-25 16:25:17 +02001892 const char *exponents[] =
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001893 {
Manuel Pégourié-Gonnardb63f9e92012-11-21 13:00:58 +01001894 "000000000000000000000000000000000000000000000001", /* one */
Manuel Pégourié-Gonnardff27b7c2013-11-21 09:28:03 +01001895 "FFFFFFFFFFFFFFFFFFFFFFFF99DEF836146BC9B1B4D22830", /* N - 1 */
Manuel Pégourié-Gonnardb63f9e92012-11-21 13:00:58 +01001896 "5EA6F389A38B8BC81E767753B15AA5569E1782E30ABE7D25", /* random */
Manuel Pégourié-Gonnardff27b7c2013-11-21 09:28:03 +01001897 "400000000000000000000000000000000000000000000000", /* one and zeros */
1898 "7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF", /* all ones */
1899 "555555555555555555555555555555555555555555555555", /* 101010... */
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001900 };
1901
1902 ecp_group_init( &grp );
1903 ecp_point_init( &R );
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001904 ecp_point_init( &P );
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001905 mpi_init( &m );
1906
Manuel Pégourié-Gonnardb8012fc2013-10-10 15:40:49 +02001907 /* Use secp192r1 if available, or any available curve */
Paul Bakker5dc6b5f2013-06-29 23:26:34 +02001908#if defined(POLARSSL_ECP_DP_SECP192R1_ENABLED)
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001909 MPI_CHK( ecp_use_known_dp( &grp, POLARSSL_ECP_DP_SECP192R1 ) );
Paul Bakker5dc6b5f2013-06-29 23:26:34 +02001910#else
Manuel Pégourié-Gonnardb8012fc2013-10-10 15:40:49 +02001911 MPI_CHK( ecp_use_known_dp( &grp, ecp_curve_list()->grp_id ) );
1912#endif
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001913
1914 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001915 polarssl_printf( " ECP test #1 (constant op_count, base point G): " );
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001916
1917 /* Do a dummy multiplication first to trigger precomputation */
1918 MPI_CHK( mpi_lset( &m, 2 ) );
1919 MPI_CHK( ecp_mul( &grp, &P, &m, &grp.G, NULL, NULL ) );
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001920
1921 add_count = 0;
1922 dbl_count = 0;
Manuel Pégourié-Gonnard91814812013-11-21 20:23:55 +01001923 mul_count = 0;
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001924 MPI_CHK( mpi_read_string( &m, 16, exponents[0] ) );
Manuel Pégourié-Gonnarde09d2f82013-09-02 14:29:09 +02001925 MPI_CHK( ecp_mul( &grp, &R, &m, &grp.G, NULL, NULL ) );
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001926
1927 for( i = 1; i < sizeof( exponents ) / sizeof( exponents[0] ); i++ )
1928 {
1929 add_c_prev = add_count;
1930 dbl_c_prev = dbl_count;
Manuel Pégourié-Gonnard91814812013-11-21 20:23:55 +01001931 mul_c_prev = mul_count;
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001932 add_count = 0;
1933 dbl_count = 0;
Manuel Pégourié-Gonnard91814812013-11-21 20:23:55 +01001934 mul_count = 0;
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001935
1936 MPI_CHK( mpi_read_string( &m, 16, exponents[i] ) );
Manuel Pégourié-Gonnarde09d2f82013-09-02 14:29:09 +02001937 MPI_CHK( ecp_mul( &grp, &R, &m, &grp.G, NULL, NULL ) );
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001938
Manuel Pégourié-Gonnard91814812013-11-21 20:23:55 +01001939 if( add_count != add_c_prev ||
1940 dbl_count != dbl_c_prev ||
1941 mul_count != mul_c_prev )
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001942 {
1943 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001944 polarssl_printf( "failed (%u)\n", (unsigned int) i );
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001945
1946 ret = 1;
1947 goto cleanup;
1948 }
1949 }
1950
1951 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001952 polarssl_printf( "passed\n" );
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001953
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001954 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001955 polarssl_printf( " ECP test #2 (constant op_count, other point): " );
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001956 /* We computed P = 2G last time, use it */
1957
1958 add_count = 0;
1959 dbl_count = 0;
Manuel Pégourié-Gonnard91814812013-11-21 20:23:55 +01001960 mul_count = 0;
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001961 MPI_CHK( mpi_read_string( &m, 16, exponents[0] ) );
1962 MPI_CHK( ecp_mul( &grp, &R, &m, &P, NULL, NULL ) );
1963
1964 for( i = 1; i < sizeof( exponents ) / sizeof( exponents[0] ); i++ )
1965 {
1966 add_c_prev = add_count;
1967 dbl_c_prev = dbl_count;
Manuel Pégourié-Gonnard91814812013-11-21 20:23:55 +01001968 mul_c_prev = mul_count;
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001969 add_count = 0;
1970 dbl_count = 0;
Manuel Pégourié-Gonnard91814812013-11-21 20:23:55 +01001971 mul_count = 0;
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001972
1973 MPI_CHK( mpi_read_string( &m, 16, exponents[i] ) );
1974 MPI_CHK( ecp_mul( &grp, &R, &m, &P, NULL, NULL ) );
1975
Manuel Pégourié-Gonnard91814812013-11-21 20:23:55 +01001976 if( add_count != add_c_prev ||
1977 dbl_count != dbl_c_prev ||
1978 mul_count != mul_c_prev )
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001979 {
1980 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001981 polarssl_printf( "failed (%u)\n", (unsigned int) i );
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001982
1983 ret = 1;
1984 goto cleanup;
1985 }
1986 }
1987
1988 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001989 polarssl_printf( "passed\n" );
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001990
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001991cleanup:
1992
1993 if( ret < 0 && verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01001994 polarssl_printf( "Unexpected error, return code = %08X\n", ret );
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001995
1996 ecp_group_free( &grp );
1997 ecp_point_free( &R );
Manuel Pégourié-Gonnard161ef962013-09-17 19:13:10 +02001998 ecp_point_free( &P );
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01001999 mpi_free( &m );
2000
2001 if( verbose != 0 )
Paul Bakker7dc4c442014-02-01 22:50:26 +01002002 polarssl_printf( "\n" );
Manuel Pégourié-Gonnardb4a310b2012-11-13 20:57:00 +01002003
2004 return( ret );
Manuel Pégourié-Gonnard39d2adb2012-10-31 09:26:55 +01002005}
2006
2007#endif
2008
2009#endif