blob: 7fa0e1bfba7cd9773d961f5ca72369115e42a7d3 [file] [log] [blame]
Adam Langleyd9e397b2015-01-22 14:27:53 -08001/* Originally written by Bodo Moeller for the OpenSSL project.
2 * ====================================================================
3 * Copyright (c) 1998-2005 The OpenSSL Project. All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
7 * are met:
8 *
9 * 1. Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
11 *
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in
14 * the documentation and/or other materials provided with the
15 * distribution.
16 *
17 * 3. All advertising materials mentioning features or use of this
18 * software must display the following acknowledgment:
19 * "This product includes software developed by the OpenSSL Project
20 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
21 *
22 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
23 * endorse or promote products derived from this software without
24 * prior written permission. For written permission, please contact
25 * openssl-core@openssl.org.
26 *
27 * 5. Products derived from this software may not be called "OpenSSL"
28 * nor may "OpenSSL" appear in their names without prior written
29 * permission of the OpenSSL Project.
30 *
31 * 6. Redistributions of any form whatsoever must retain the following
32 * acknowledgment:
33 * "This product includes software developed by the OpenSSL Project
34 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
35 *
36 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
37 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
38 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
39 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
40 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
41 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
42 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
43 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
44 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
45 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
46 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
47 * OF THE POSSIBILITY OF SUCH DAMAGE.
48 * ====================================================================
49 *
50 * This product includes cryptographic software written by Eric Young
51 * (eay@cryptsoft.com). This product includes software written by Tim
52 * Hudson (tjh@cryptsoft.com).
53 *
54 */
55/* ====================================================================
56 * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
57 *
58 * Portions of the attached software ("Contribution") are developed by
59 * SUN MICROSYSTEMS, INC., and are contributed to the OpenSSL project.
60 *
61 * The Contribution is licensed pursuant to the OpenSSL open source
62 * license provided above.
63 *
64 * The elliptic curve binary polynomial software is originally written by
65 * Sheueling Chang Shantz and Douglas Stebila of Sun Microsystems
66 * Laboratories. */
67
68#include <openssl/ec.h>
69
70#include <string.h>
71
72#include <openssl/bn.h>
73#include <openssl/err.h>
74#include <openssl/mem.h>
Adam Langleye9ada862015-05-11 17:20:37 -070075#include <openssl/thread.h>
Adam Langleyd9e397b2015-01-22 14:27:53 -080076
77#include "internal.h"
Adam Langleyf4e42722015-06-04 17:45:09 -070078#include "../internal.h"
Adam Langleyd9e397b2015-01-22 14:27:53 -080079
80
81/* This file implements the wNAF-based interleaving multi-exponentation method
82 * (<URL:http://www.informatik.tu-darmstadt.de/TI/Mitarbeiter/moeller.html#multiexp>);
83 * for multiplication with precomputation, we use wNAF splitting
84 * (<URL:http://www.informatik.tu-darmstadt.de/TI/Mitarbeiter/moeller.html#fastexp>).
85 * */
86
87/* structure for precomputed multiples of the generator */
88typedef struct ec_pre_comp_st {
Adam Langleyd9e397b2015-01-22 14:27:53 -080089 size_t blocksize; /* block size for wNAF splitting */
90 size_t numblocks; /* max. number of blocks for which we have precomputation */
91 size_t w; /* window size */
92 EC_POINT **points; /* array with pre-calculated multiples of generator:
93 * 'num' pointers to EC_POINT objects followed by a NULL */
94 size_t num; /* numblocks * 2^(w-1) */
Adam Langleyf4e42722015-06-04 17:45:09 -070095 CRYPTO_refcount_t references;
Adam Langleyd9e397b2015-01-22 14:27:53 -080096} EC_PRE_COMP;
97
Adam Langleye9ada862015-05-11 17:20:37 -070098static EC_PRE_COMP *ec_pre_comp_new(void) {
Adam Langleyd9e397b2015-01-22 14:27:53 -080099 EC_PRE_COMP *ret = NULL;
100
Adam Langleyd9e397b2015-01-22 14:27:53 -0800101 ret = (EC_PRE_COMP *)OPENSSL_malloc(sizeof(EC_PRE_COMP));
102 if (!ret) {
Kenny Rootb8494592015-09-25 02:29:14 +0000103 OPENSSL_PUT_ERROR(EC, ERR_R_MALLOC_FAILURE);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800104 return ret;
105 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800106 ret->blocksize = 8; /* default */
107 ret->numblocks = 0;
108 ret->w = 4; /* default */
109 ret->points = NULL;
110 ret->num = 0;
111 ret->references = 1;
112 return ret;
113}
114
115void *ec_pre_comp_dup(EC_PRE_COMP *pre_comp) {
116 if (pre_comp == NULL) {
117 return NULL;
118 }
119
Adam Langleyf4e42722015-06-04 17:45:09 -0700120 CRYPTO_refcount_inc(&pre_comp->references);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800121 return pre_comp;
122}
123
124void ec_pre_comp_free(EC_PRE_COMP *pre_comp) {
Adam Langleye9ada862015-05-11 17:20:37 -0700125 if (pre_comp == NULL ||
Adam Langleyf4e42722015-06-04 17:45:09 -0700126 !CRYPTO_refcount_dec_and_test_zero(&pre_comp->references)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800127 return;
128 }
129
130 if (pre_comp->points) {
131 EC_POINT **p;
132
133 for (p = pre_comp->points; *p != NULL; p++) {
134 EC_POINT_free(*p);
135 }
136 OPENSSL_free(pre_comp->points);
137 }
138 OPENSSL_free(pre_comp);
139}
140
141
142/* Determine the modified width-(w+1) Non-Adjacent Form (wNAF) of 'scalar'.
143 * This is an array r[] of values that are either zero or odd with an
144 * absolute value less than 2^w satisfying
145 * scalar = \sum_j r[j]*2^j
146 * where at most one of any w+1 consecutive digits is non-zero
147 * with the exception that the most significant digit may be only
148 * w-1 zeros away from that next non-zero digit.
149 */
150static signed char *compute_wNAF(const BIGNUM *scalar, int w, size_t *ret_len) {
151 int window_val;
152 int ok = 0;
153 signed char *r = NULL;
154 int sign = 1;
155 int bit, next_bit, mask;
156 size_t len = 0, j;
157
158 if (BN_is_zero(scalar)) {
159 r = OPENSSL_malloc(1);
160 if (!r) {
Kenny Rootb8494592015-09-25 02:29:14 +0000161 OPENSSL_PUT_ERROR(EC, ERR_R_MALLOC_FAILURE);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800162 goto err;
163 }
164 r[0] = 0;
165 *ret_len = 1;
166 return r;
167 }
168
169 if (w <= 0 || w > 7) /* 'signed char' can represent integers with absolute
170 values less than 2^7 */
171 {
Kenny Rootb8494592015-09-25 02:29:14 +0000172 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800173 goto err;
174 }
175 bit = 1 << w; /* at most 128 */
176 next_bit = bit << 1; /* at most 256 */
177 mask = next_bit - 1; /* at most 255 */
178
179 if (BN_is_negative(scalar)) {
180 sign = -1;
181 }
182
183 if (scalar->d == NULL || scalar->top == 0) {
Kenny Rootb8494592015-09-25 02:29:14 +0000184 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800185 goto err;
186 }
187
188 len = BN_num_bits(scalar);
189 r = OPENSSL_malloc(
190 len +
191 1); /* modified wNAF may be one digit longer than binary representation
192 * (*ret_len will be set to the actual length, i.e. at most
193 * BN_num_bits(scalar) + 1) */
194 if (r == NULL) {
Kenny Rootb8494592015-09-25 02:29:14 +0000195 OPENSSL_PUT_ERROR(EC, ERR_R_MALLOC_FAILURE);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800196 goto err;
197 }
198 window_val = scalar->d[0] & mask;
199 j = 0;
200 while ((window_val != 0) ||
201 (j + w + 1 < len)) /* if j+w+1 >= len, window_val will not increase */
202 {
203 int digit = 0;
204
205 /* 0 <= window_val <= 2^(w+1) */
206
207 if (window_val & 1) {
208 /* 0 < window_val < 2^(w+1) */
209
210 if (window_val & bit) {
211 digit = window_val - next_bit; /* -2^w < digit < 0 */
212
213#if 1 /* modified wNAF */
214 if (j + w + 1 >= len) {
215 /* special case for generating modified wNAFs:
216 * no new bits will be added into window_val,
217 * so using a positive digit here will decrease
218 * the total length of the representation */
219
220 digit = window_val & (mask >> 1); /* 0 < digit < 2^w */
221 }
222#endif
223 } else {
224 digit = window_val; /* 0 < digit < 2^w */
225 }
226
227 if (digit <= -bit || digit >= bit || !(digit & 1)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000228 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800229 goto err;
230 }
231
232 window_val -= digit;
233
234 /* now window_val is 0 or 2^(w+1) in standard wNAF generation;
235 * for modified window NAFs, it may also be 2^w
236 */
237 if (window_val != 0 && window_val != next_bit && window_val != bit) {
Kenny Rootb8494592015-09-25 02:29:14 +0000238 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800239 goto err;
240 }
241 }
242
243 r[j++] = sign * digit;
244
245 window_val >>= 1;
246 window_val += bit * BN_is_bit_set(scalar, j + w);
247
248 if (window_val > next_bit) {
Kenny Rootb8494592015-09-25 02:29:14 +0000249 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800250 goto err;
251 }
252 }
253
254 if (j > len + 1) {
Kenny Rootb8494592015-09-25 02:29:14 +0000255 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800256 goto err;
257 }
258 len = j;
259 ok = 1;
260
261err:
262 if (!ok) {
263 OPENSSL_free(r);
264 r = NULL;
265 }
Adam Langleye9ada862015-05-11 17:20:37 -0700266 if (ok) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800267 *ret_len = len;
Adam Langleye9ada862015-05-11 17:20:37 -0700268 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800269 return r;
270}
271
272
273/* TODO: table should be optimised for the wNAF-based implementation,
274 * sometimes smaller windows will give better performance
275 * (thus the boundaries should be increased)
276 */
277#define EC_window_bits_for_scalar_size(b) \
278 ((size_t)((b) >= 2000 ? 6 : (b) >= 800 ? 5 : (b) >= 300 \
279 ? 4 \
280 : (b) >= 70 ? 3 : (b) >= 20 \
281 ? 2 \
282 : 1))
283
284/* Compute
285 * \sum scalars[i]*points[i],
286 * also including
287 * scalar*generator
288 * in the addition if scalar != NULL
289 */
290int ec_wNAF_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar,
291 size_t num, const EC_POINT *points[], const BIGNUM *scalars[],
292 BN_CTX *ctx) {
293 BN_CTX *new_ctx = NULL;
294 const EC_POINT *generator = NULL;
295 EC_POINT *tmp = NULL;
296 size_t totalnum;
297 size_t blocksize = 0, numblocks = 0; /* for wNAF splitting */
298 size_t pre_points_per_block = 0;
299 size_t i, j;
300 int k;
301 int r_is_inverted = 0;
302 int r_is_at_infinity = 1;
303 size_t *wsize = NULL; /* individual window sizes */
304 signed char **wNAF = NULL; /* individual wNAFs */
305 size_t *wNAF_len = NULL;
306 size_t max_len = 0;
307 size_t num_val;
308 EC_POINT **val = NULL; /* precomputation */
309 EC_POINT **v;
310 EC_POINT ***val_sub =
311 NULL; /* pointers to sub-arrays of 'val' or 'pre_comp->points' */
312 const EC_PRE_COMP *pre_comp = NULL;
313 int num_scalar = 0; /* flag: will be set to 1 if 'scalar' must be treated like
314 * other scalars,
315 * i.e. precomputation is not available */
316 int ret = 0;
317
318 if (group->meth != r->meth) {
Kenny Rootb8494592015-09-25 02:29:14 +0000319 OPENSSL_PUT_ERROR(EC, EC_R_INCOMPATIBLE_OBJECTS);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800320 return 0;
321 }
322
323 if ((scalar == NULL) && (num == 0)) {
324 return EC_POINT_set_to_infinity(group, r);
325 }
326
327 for (i = 0; i < num; i++) {
328 if (group->meth != points[i]->meth) {
Kenny Rootb8494592015-09-25 02:29:14 +0000329 OPENSSL_PUT_ERROR(EC, EC_R_INCOMPATIBLE_OBJECTS);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800330 return 0;
331 }
332 }
333
334 if (ctx == NULL) {
335 ctx = new_ctx = BN_CTX_new();
Adam Langleye9ada862015-05-11 17:20:37 -0700336 if (ctx == NULL) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800337 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700338 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800339 }
340
341 if (scalar != NULL) {
342 generator = EC_GROUP_get0_generator(group);
343 if (generator == NULL) {
Kenny Rootb8494592015-09-25 02:29:14 +0000344 OPENSSL_PUT_ERROR(EC, EC_R_UNDEFINED_GENERATOR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800345 goto err;
346 }
347
348 /* look if we can use precomputed multiples of generator */
349
350 pre_comp = group->pre_comp;
351
352 if (pre_comp && pre_comp->numblocks &&
353 (EC_POINT_cmp(group, generator, pre_comp->points[0], ctx) == 0)) {
354 blocksize = pre_comp->blocksize;
355
356 /* determine maximum number of blocks that wNAF splitting may yield
357 * (NB: maximum wNAF length is bit length plus one) */
358 numblocks = (BN_num_bits(scalar) / blocksize) + 1;
359
360 /* we cannot use more blocks than we have precomputation for */
Adam Langleye9ada862015-05-11 17:20:37 -0700361 if (numblocks > pre_comp->numblocks) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800362 numblocks = pre_comp->numblocks;
Adam Langleye9ada862015-05-11 17:20:37 -0700363 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800364
365 pre_points_per_block = (size_t)1 << (pre_comp->w - 1);
366
367 /* check that pre_comp looks sane */
368 if (pre_comp->num != (pre_comp->numblocks * pre_points_per_block)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000369 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800370 goto err;
371 }
372 } else {
373 /* can't use precomputation */
374 pre_comp = NULL;
375 numblocks = 1;
376 num_scalar = 1; /* treat 'scalar' like 'num'-th element of 'scalars' */
377 }
378 }
379
380 totalnum = num + numblocks;
381
382 wsize = OPENSSL_malloc(totalnum * sizeof wsize[0]);
383 wNAF_len = OPENSSL_malloc(totalnum * sizeof wNAF_len[0]);
384 wNAF = OPENSSL_malloc((totalnum + 1) *
385 sizeof wNAF[0]); /* includes space for pivot */
386 val_sub = OPENSSL_malloc(totalnum * sizeof val_sub[0]);
387
388 /* Ensure wNAF is initialised in case we end up going to err. */
389 if (wNAF) {
390 wNAF[0] = NULL; /* preliminary pivot */
391 }
392
393 if (!wsize || !wNAF_len || !wNAF || !val_sub) {
Kenny Rootb8494592015-09-25 02:29:14 +0000394 OPENSSL_PUT_ERROR(EC, ERR_R_MALLOC_FAILURE);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800395 goto err;
396 }
397
398 /* num_val will be the total number of temporarily precomputed points */
399 num_val = 0;
400
401 for (i = 0; i < num + num_scalar; i++) {
402 size_t bits;
403
404 bits = i < num ? BN_num_bits(scalars[i]) : BN_num_bits(scalar);
405 wsize[i] = EC_window_bits_for_scalar_size(bits);
406 num_val += (size_t)1 << (wsize[i] - 1);
407 wNAF[i + 1] = NULL; /* make sure we always have a pivot */
408 wNAF[i] =
409 compute_wNAF((i < num ? scalars[i] : scalar), wsize[i], &wNAF_len[i]);
Adam Langleye9ada862015-05-11 17:20:37 -0700410 if (wNAF[i] == NULL) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800411 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700412 }
413 if (wNAF_len[i] > max_len) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800414 max_len = wNAF_len[i];
Adam Langleye9ada862015-05-11 17:20:37 -0700415 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800416 }
417
418 if (numblocks) {
419 /* we go here iff scalar != NULL */
420
421 if (pre_comp == NULL) {
422 if (num_scalar != 1) {
Kenny Rootb8494592015-09-25 02:29:14 +0000423 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800424 goto err;
425 }
426 /* we have already generated a wNAF for 'scalar' */
427 } else {
428 signed char *tmp_wNAF = NULL;
429 size_t tmp_len = 0;
430
431 if (num_scalar != 0) {
Kenny Rootb8494592015-09-25 02:29:14 +0000432 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800433 goto err;
434 }
435
436 /* use the window size for which we have precomputation */
437 wsize[num] = pre_comp->w;
438 tmp_wNAF = compute_wNAF(scalar, wsize[num], &tmp_len);
Adam Langleye9ada862015-05-11 17:20:37 -0700439 if (!tmp_wNAF) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800440 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700441 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800442
443 if (tmp_len <= max_len) {
444 /* One of the other wNAFs is at least as long
445 * as the wNAF belonging to the generator,
446 * so wNAF splitting will not buy us anything. */
447
448 numblocks = 1; /* don't use wNAF splitting */
449 totalnum = num + numblocks;
450 wNAF[num] = tmp_wNAF;
451 wNAF[num + 1] = NULL;
452 wNAF_len[num] = tmp_len;
453 /* pre_comp->points starts with the points that we need here: */
454 val_sub[num] = pre_comp->points;
455 } else {
456 /* don't include tmp_wNAF directly into wNAF array
457 * - use wNAF splitting and include the blocks */
458
459 signed char *pp;
460 EC_POINT **tmp_points;
461
462 if (tmp_len < numblocks * blocksize) {
463 /* possibly we can do with fewer blocks than estimated */
464 numblocks = (tmp_len + blocksize - 1) / blocksize;
465 if (numblocks > pre_comp->numblocks) {
Kenny Rootb8494592015-09-25 02:29:14 +0000466 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
467 OPENSSL_free(tmp_wNAF);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800468 goto err;
469 }
470 totalnum = num + numblocks;
471 }
472
473 /* split wNAF in 'numblocks' parts */
474 pp = tmp_wNAF;
475 tmp_points = pre_comp->points;
476
477 for (i = num; i < totalnum; i++) {
478 if (i < totalnum - 1) {
479 wNAF_len[i] = blocksize;
480 if (tmp_len < blocksize) {
Kenny Rootb8494592015-09-25 02:29:14 +0000481 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
482 OPENSSL_free(tmp_wNAF);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800483 goto err;
484 }
485 tmp_len -= blocksize;
Adam Langleye9ada862015-05-11 17:20:37 -0700486 } else {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800487 /* last block gets whatever is left
488 * (this could be more or less than 'blocksize'!) */
489 wNAF_len[i] = tmp_len;
Adam Langleye9ada862015-05-11 17:20:37 -0700490 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800491
492 wNAF[i + 1] = NULL;
493 wNAF[i] = OPENSSL_malloc(wNAF_len[i]);
494 if (wNAF[i] == NULL) {
Kenny Rootb8494592015-09-25 02:29:14 +0000495 OPENSSL_PUT_ERROR(EC, ERR_R_MALLOC_FAILURE);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800496 OPENSSL_free(tmp_wNAF);
497 goto err;
498 }
499 memcpy(wNAF[i], pp, wNAF_len[i]);
Adam Langleye9ada862015-05-11 17:20:37 -0700500 if (wNAF_len[i] > max_len) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800501 max_len = wNAF_len[i];
Adam Langleye9ada862015-05-11 17:20:37 -0700502 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800503
504 if (*tmp_points == NULL) {
Kenny Rootb8494592015-09-25 02:29:14 +0000505 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800506 OPENSSL_free(tmp_wNAF);
507 goto err;
508 }
509 val_sub[i] = tmp_points;
510 tmp_points += pre_points_per_block;
511 pp += blocksize;
512 }
513 OPENSSL_free(tmp_wNAF);
514 }
515 }
516 }
517
518 /* All points we precompute now go into a single array 'val'.
519 * 'val_sub[i]' is a pointer to the subarray for the i-th point,
520 * or to a subarray of 'pre_comp->points' if we already have precomputation.
521 */
522 val = OPENSSL_malloc((num_val + 1) * sizeof val[0]);
523 if (val == NULL) {
Kenny Rootb8494592015-09-25 02:29:14 +0000524 OPENSSL_PUT_ERROR(EC, ERR_R_MALLOC_FAILURE);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800525 goto err;
526 }
527 val[num_val] = NULL; /* pivot element */
528
529 /* allocate points for precomputation */
530 v = val;
531 for (i = 0; i < num + num_scalar; i++) {
532 val_sub[i] = v;
533 for (j = 0; j < ((size_t)1 << (wsize[i] - 1)); j++) {
534 *v = EC_POINT_new(group);
Adam Langleye9ada862015-05-11 17:20:37 -0700535 if (*v == NULL) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800536 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700537 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800538 v++;
539 }
540 }
541 if (!(v == val + num_val)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000542 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800543 goto err;
544 }
545
Adam Langleye9ada862015-05-11 17:20:37 -0700546 if (!(tmp = EC_POINT_new(group))) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800547 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700548 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800549
550 /* prepare precomputed values:
551 * val_sub[i][0] := points[i]
552 * val_sub[i][1] := 3 * points[i]
553 * val_sub[i][2] := 5 * points[i]
554 * ...
555 */
556 for (i = 0; i < num + num_scalar; i++) {
557 if (i < num) {
Adam Langleye9ada862015-05-11 17:20:37 -0700558 if (!EC_POINT_copy(val_sub[i][0], points[i])) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800559 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700560 }
561 } else if (!EC_POINT_copy(val_sub[i][0], generator)) {
562 goto err;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800563 }
564
565 if (wsize[i] > 1) {
Adam Langleye9ada862015-05-11 17:20:37 -0700566 if (!EC_POINT_dbl(group, tmp, val_sub[i][0], ctx)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800567 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700568 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800569 for (j = 1; j < ((size_t)1 << (wsize[i] - 1)); j++) {
Adam Langleye9ada862015-05-11 17:20:37 -0700570 if (!EC_POINT_add(group, val_sub[i][j], val_sub[i][j - 1], tmp, ctx)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800571 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700572 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800573 }
574 }
575 }
576
577#if 1 /* optional; EC_window_bits_for_scalar_size assumes we do this step */
Adam Langleye9ada862015-05-11 17:20:37 -0700578 if (!EC_POINTs_make_affine(group, num_val, val, ctx)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800579 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700580 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800581#endif
582
583 r_is_at_infinity = 1;
584
585 for (k = max_len - 1; k >= 0; k--) {
Adam Langleye9ada862015-05-11 17:20:37 -0700586 if (!r_is_at_infinity && !EC_POINT_dbl(group, r, r, ctx)) {
587 goto err;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800588 }
589
590 for (i = 0; i < totalnum; i++) {
591 if (wNAF_len[i] > (size_t)k) {
592 int digit = wNAF[i][k];
593 int is_neg;
594
595 if (digit) {
596 is_neg = digit < 0;
597
Adam Langleye9ada862015-05-11 17:20:37 -0700598 if (is_neg) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800599 digit = -digit;
Adam Langleye9ada862015-05-11 17:20:37 -0700600 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800601
602 if (is_neg != r_is_inverted) {
Adam Langleye9ada862015-05-11 17:20:37 -0700603 if (!r_is_at_infinity && !EC_POINT_invert(group, r, ctx)) {
604 goto err;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800605 }
606 r_is_inverted = !r_is_inverted;
607 }
608
609 /* digit > 0 */
610
611 if (r_is_at_infinity) {
Adam Langleye9ada862015-05-11 17:20:37 -0700612 if (!EC_POINT_copy(r, val_sub[i][digit >> 1])) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800613 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700614 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800615 r_is_at_infinity = 0;
616 } else {
Adam Langleye9ada862015-05-11 17:20:37 -0700617 if (!EC_POINT_add(group, r, r, val_sub[i][digit >> 1], ctx)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800618 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700619 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800620 }
621 }
622 }
623 }
624 }
625
626 if (r_is_at_infinity) {
Adam Langleye9ada862015-05-11 17:20:37 -0700627 if (!EC_POINT_set_to_infinity(group, r)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800628 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700629 }
630 } else if (r_is_inverted && !EC_POINT_invert(group, r, ctx)) {
631 goto err;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800632 }
633
634 ret = 1;
635
636err:
Adam Langleye9ada862015-05-11 17:20:37 -0700637 BN_CTX_free(new_ctx);
638 EC_POINT_free(tmp);
639 OPENSSL_free(wsize);
640 OPENSSL_free(wNAF_len);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800641 if (wNAF != NULL) {
642 signed char **w;
643
Adam Langleye9ada862015-05-11 17:20:37 -0700644 for (w = wNAF; *w != NULL; w++) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800645 OPENSSL_free(*w);
Adam Langleye9ada862015-05-11 17:20:37 -0700646 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800647
648 OPENSSL_free(wNAF);
649 }
650 if (val != NULL) {
Adam Langleye9ada862015-05-11 17:20:37 -0700651 for (v = val; *v != NULL; v++) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800652 EC_POINT_clear_free(*v);
Adam Langleye9ada862015-05-11 17:20:37 -0700653 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800654
655 OPENSSL_free(val);
656 }
Adam Langleye9ada862015-05-11 17:20:37 -0700657 OPENSSL_free(val_sub);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800658 return ret;
659}
660
661
662/* ec_wNAF_precompute_mult()
663 * creates an EC_PRE_COMP object with preprecomputed multiples of the generator
664 * for use with wNAF splitting as implemented in ec_wNAF_mul().
665 *
666 * 'pre_comp->points' is an array of multiples of the generator
667 * of the following form:
668 * points[0] = generator;
669 * points[1] = 3 * generator;
670 * ...
671 * points[2^(w-1)-1] = (2^(w-1)-1) * generator;
672 * points[2^(w-1)] = 2^blocksize * generator;
673 * points[2^(w-1)+1] = 3 * 2^blocksize * generator;
674 * ...
675 * points[2^(w-1)*(numblocks-1)-1] = (2^(w-1)) * 2^(blocksize*(numblocks-2)) *
676 *generator
677 * points[2^(w-1)*(numblocks-1)] = 2^(blocksize*(numblocks-1)) *
678 *generator
679 * ...
680 * points[2^(w-1)*numblocks-1] = (2^(w-1)) * 2^(blocksize*(numblocks-1)) *
681 *generator
682 * points[2^(w-1)*numblocks] = NULL
683 */
684int ec_wNAF_precompute_mult(EC_GROUP *group, BN_CTX *ctx) {
685 const EC_POINT *generator;
686 EC_POINT *tmp_point = NULL, *base = NULL, **var;
687 BN_CTX *new_ctx = NULL;
688 BIGNUM *order;
689 size_t i, bits, w, pre_points_per_block, blocksize, numblocks, num;
690 EC_POINT **points = NULL;
691 EC_PRE_COMP *pre_comp;
692 int ret = 0;
693
694 /* if there is an old EC_PRE_COMP object, throw it away */
Adam Langleye9ada862015-05-11 17:20:37 -0700695 ec_pre_comp_free(group->pre_comp);
696 group->pre_comp = NULL;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800697
698 generator = EC_GROUP_get0_generator(group);
699 if (generator == NULL) {
Kenny Rootb8494592015-09-25 02:29:14 +0000700 OPENSSL_PUT_ERROR(EC, EC_R_UNDEFINED_GENERATOR);
Adam Langleye9ada862015-05-11 17:20:37 -0700701 return 0;
702 }
703
704 pre_comp = ec_pre_comp_new();
705 if (pre_comp == NULL) {
706 return 0;
Adam Langleyd9e397b2015-01-22 14:27:53 -0800707 }
708
709 if (ctx == NULL) {
710 ctx = new_ctx = BN_CTX_new();
Adam Langleye9ada862015-05-11 17:20:37 -0700711 if (ctx == NULL) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800712 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700713 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800714 }
715
716 BN_CTX_start(ctx);
717 order = BN_CTX_get(ctx);
Adam Langleye9ada862015-05-11 17:20:37 -0700718 if (order == NULL) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800719 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700720 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800721
Adam Langleye9ada862015-05-11 17:20:37 -0700722 if (!EC_GROUP_get_order(group, order, ctx)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800723 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700724 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800725 if (BN_is_zero(order)) {
Kenny Rootb8494592015-09-25 02:29:14 +0000726 OPENSSL_PUT_ERROR(EC, EC_R_UNKNOWN_ORDER);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800727 goto err;
728 }
729
730 bits = BN_num_bits(order);
731 /* The following parameters mean we precompute (approximately)
732 * one point per bit.
733 *
734 * TBD: The combination 8, 4 is perfect for 160 bits; for other
735 * bit lengths, other parameter combinations might provide better
736 * efficiency.
737 */
738 blocksize = 8;
739 w = 4;
740 if (EC_window_bits_for_scalar_size(bits) > w) {
741 /* let's not make the window too small ... */
742 w = EC_window_bits_for_scalar_size(bits);
743 }
744
745 numblocks = (bits + blocksize - 1) /
746 blocksize; /* max. number of blocks to use for wNAF splitting */
747
748 pre_points_per_block = (size_t)1 << (w - 1);
749 num = pre_points_per_block *
750 numblocks; /* number of points to compute and store */
751
752 points = OPENSSL_malloc(sizeof(EC_POINT *) * (num + 1));
753 if (!points) {
Kenny Rootb8494592015-09-25 02:29:14 +0000754 OPENSSL_PUT_ERROR(EC, ERR_R_MALLOC_FAILURE);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800755 goto err;
756 }
757
758 var = points;
759 var[num] = NULL; /* pivot */
760 for (i = 0; i < num; i++) {
761 if ((var[i] = EC_POINT_new(group)) == NULL) {
Kenny Rootb8494592015-09-25 02:29:14 +0000762 OPENSSL_PUT_ERROR(EC, ERR_R_MALLOC_FAILURE);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800763 goto err;
764 }
765 }
766
767 if (!(tmp_point = EC_POINT_new(group)) || !(base = EC_POINT_new(group))) {
Kenny Rootb8494592015-09-25 02:29:14 +0000768 OPENSSL_PUT_ERROR(EC, ERR_R_MALLOC_FAILURE);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800769 goto err;
770 }
771
Adam Langleye9ada862015-05-11 17:20:37 -0700772 if (!EC_POINT_copy(base, generator)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800773 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700774 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800775
776 /* do the precomputation */
777 for (i = 0; i < numblocks; i++) {
778 size_t j;
779
Adam Langleye9ada862015-05-11 17:20:37 -0700780 if (!EC_POINT_dbl(group, tmp_point, base, ctx)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800781 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700782 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800783
Adam Langleye9ada862015-05-11 17:20:37 -0700784 if (!EC_POINT_copy(*var++, base)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800785 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700786 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800787
788 for (j = 1; j < pre_points_per_block; j++, var++) {
789 /* calculate odd multiples of the current base point */
Adam Langleye9ada862015-05-11 17:20:37 -0700790 if (!EC_POINT_add(group, *var, tmp_point, *(var - 1), ctx)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800791 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700792 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800793 }
794
795 if (i < numblocks - 1) {
796 /* get the next base (multiply current one by 2^blocksize) */
797 size_t k;
798
799 if (blocksize <= 2) {
Kenny Rootb8494592015-09-25 02:29:14 +0000800 OPENSSL_PUT_ERROR(EC, ERR_R_INTERNAL_ERROR);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800801 goto err;
802 }
803
Adam Langleye9ada862015-05-11 17:20:37 -0700804 if (!EC_POINT_dbl(group, base, tmp_point, ctx)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800805 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700806 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800807 for (k = 2; k < blocksize; k++) {
Adam Langleye9ada862015-05-11 17:20:37 -0700808 if (!EC_POINT_dbl(group, base, base, ctx)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800809 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700810 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800811 }
812 }
813 }
814
Adam Langleye9ada862015-05-11 17:20:37 -0700815 if (!EC_POINTs_make_affine(group, num, points, ctx)) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800816 goto err;
Adam Langleye9ada862015-05-11 17:20:37 -0700817 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800818
Adam Langleyd9e397b2015-01-22 14:27:53 -0800819 pre_comp->blocksize = blocksize;
820 pre_comp->numblocks = numblocks;
821 pre_comp->w = w;
822 pre_comp->points = points;
823 points = NULL;
824 pre_comp->num = num;
825
826 group->pre_comp = pre_comp;
827 pre_comp = NULL;
828
829 ret = 1;
830
831err:
Adam Langleye9ada862015-05-11 17:20:37 -0700832 if (ctx != NULL) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800833 BN_CTX_end(ctx);
Adam Langleye9ada862015-05-11 17:20:37 -0700834 }
835 BN_CTX_free(new_ctx);
836 ec_pre_comp_free(pre_comp);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800837 if (points) {
838 EC_POINT **p;
839
Adam Langleye9ada862015-05-11 17:20:37 -0700840 for (p = points; *p != NULL; p++) {
Adam Langleyd9e397b2015-01-22 14:27:53 -0800841 EC_POINT_free(*p);
Adam Langleye9ada862015-05-11 17:20:37 -0700842 }
Adam Langleyd9e397b2015-01-22 14:27:53 -0800843 OPENSSL_free(points);
844 }
Adam Langleye9ada862015-05-11 17:20:37 -0700845 EC_POINT_free(tmp_point);
846 EC_POINT_free(base);
Adam Langleyd9e397b2015-01-22 14:27:53 -0800847 return ret;
848}
849
850
851int ec_wNAF_have_precompute_mult(const EC_GROUP *group) {
852 return group->pre_comp != NULL;
853}