]> git.ipfire.org Git - thirdparty/openssl.git/blame - crypto/ec/ec_mult.c
Cleanup OPENSSL_NO_xxx, part 1
[thirdparty/openssl.git] / crypto / ec / ec_mult.c
CommitLineData
65e81670 1/* crypto/ec/ec_mult.c */
35b73a1f 2/*
37c660ff 3 * Originally written by Bodo Moeller and Nils Larsch for the OpenSSL project.
35b73a1f 4 */
65e81670 5/* ====================================================================
19f6c524 6 * Copyright (c) 1998-2007 The OpenSSL Project. All rights reserved.
65e81670
BM
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 *
12 * 1. Redistributions of source code must retain the above copyright
13 * notice, this list of conditions and the following disclaimer.
14 *
15 * 2. Redistributions in binary form must reproduce the above copyright
16 * notice, this list of conditions and the following disclaimer in
17 * the documentation and/or other materials provided with the
18 * distribution.
19 *
20 * 3. All advertising materials mentioning features or use of this
21 * software must display the following acknowledgment:
22 * "This product includes software developed by the OpenSSL Project
23 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
24 *
25 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
26 * endorse or promote products derived from this software without
27 * prior written permission. For written permission, please contact
28 * openssl-core@openssl.org.
29 *
30 * 5. Products derived from this software may not be called "OpenSSL"
31 * nor may "OpenSSL" appear in their names without prior written
32 * permission of the OpenSSL Project.
33 *
34 * 6. Redistributions of any form whatsoever must retain the following
35 * acknowledgment:
36 * "This product includes software developed by the OpenSSL Project
37 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
38 *
39 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
40 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
41 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
42 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
43 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
44 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
45 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
46 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
48 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
49 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
50 * OF THE POSSIBILITY OF SUCH DAMAGE.
51 * ====================================================================
52 *
53 * This product includes cryptographic software written by Eric Young
54 * (eay@cryptsoft.com). This product includes software written by Tim
55 * Hudson (tjh@cryptsoft.com).
56 *
57 */
7793f30e
BM
58/* ====================================================================
59 * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
60 * Portions of this software developed by SUN MICROSYSTEMS, INC.,
61 * and contributed to the OpenSSL project.
62 */
65e81670 63
73e45b2d 64
84b08eee 65
28f573a2 66#include <string.h>
48fe4d62
BM
67#include <openssl/err.h>
68
5784a521 69#include "internal/bn_int.h"
65e81670 70#include "ec_lcl.h"
48fe4d62
BM
71
72
37c660ff
BM
73/*
74 * This file implements the wNAF-based interleaving multi-exponentation method
75 * (<URL:http://www.informatik.tu-darmstadt.de/TI/Mitarbeiter/moeller.html#multiexp>);
76 * for multiplication with precomputation, we use wNAF splitting
77 * (<URL:http://www.informatik.tu-darmstadt.de/TI/Mitarbeiter/moeller.html#fastexp>).
78 */
48fe4d62
BM
79
80
f916052e 81
37c660ff
BM
82
83/* structure for precomputed multiples of the generator */
84typedef struct ec_pre_comp_st {
85 const EC_GROUP *group; /* parent EC_GROUP object */
86 size_t blocksize; /* block size for wNAF splitting */
87 size_t numblocks; /* max. number of blocks for which we have precomputation */
88 size_t w; /* window size */
89 EC_POINT **points; /* array with pre-calculated multiples of generator:
90 * 'num' pointers to EC_POINT objects followed by a NULL */
91 size_t num; /* numblocks * 2^(w-1) */
ba729265 92 int references;
37c660ff
BM
93} EC_PRE_COMP;
94
95/* functions to manage EC_PRE_COMP within the EC_GROUP extra_data framework */
96static void *ec_pre_comp_dup(void *);
97static void ec_pre_comp_free(void *);
98static void ec_pre_comp_clear_free(void *);
99
100static EC_PRE_COMP *ec_pre_comp_new(const EC_GROUP *group)
101 {
102 EC_PRE_COMP *ret = NULL;
103
104 if (!group)
105 return NULL;
106
107 ret = (EC_PRE_COMP *)OPENSSL_malloc(sizeof(EC_PRE_COMP));
108 if (!ret)
19f6c524
BM
109 {
110 ECerr(EC_F_EC_PRE_COMP_NEW, ERR_R_MALLOC_FAILURE);
37c660ff 111 return ret;
19f6c524 112 }
37c660ff
BM
113 ret->group = group;
114 ret->blocksize = 8; /* default */
115 ret->numblocks = 0;
116 ret->w = 4; /* default */
117 ret->points = NULL;
118 ret->num = 0;
ba729265 119 ret->references = 1;
37c660ff
BM
120 return ret;
121 }
122
123static void *ec_pre_comp_dup(void *src_)
124 {
ba729265 125 EC_PRE_COMP *src = src_;
37c660ff 126
ba729265 127 /* no need to actually copy, these objects never change! */
37c660ff 128
ba729265 129 CRYPTO_add(&src->references, 1, CRYPTO_LOCK_EC_PRE_COMP);
37c660ff 130
ba729265 131 return src_;
37c660ff
BM
132 }
133
134static void ec_pre_comp_free(void *pre_)
135 {
ba729265 136 int i;
37c660ff
BM
137 EC_PRE_COMP *pre = pre_;
138
139 if (!pre)
140 return;
ba729265
BM
141
142 i = CRYPTO_add(&pre->references, -1, CRYPTO_LOCK_EC_PRE_COMP);
143 if (i > 0)
144 return;
145
37c660ff
BM
146 if (pre->points)
147 {
ba729265 148 EC_POINT **p;
37c660ff 149
ba729265
BM
150 for (p = pre->points; *p != NULL; p++)
151 EC_POINT_free(*p);
37c660ff
BM
152 OPENSSL_free(pre->points);
153 }
154 OPENSSL_free(pre);
155 }
156
157static void ec_pre_comp_clear_free(void *pre_)
158 {
ba729265 159 int i;
37c660ff
BM
160 EC_PRE_COMP *pre = pre_;
161
162 if (!pre)
163 return;
ba729265
BM
164
165 i = CRYPTO_add(&pre->references, -1, CRYPTO_LOCK_EC_PRE_COMP);
166 if (i > 0)
167 return;
168
37c660ff
BM
169 if (pre->points)
170 {
171 EC_POINT **p;
172
173 for (p = pre->points; *p != NULL; p++)
c94f7f65 174 {
37c660ff 175 EC_POINT_clear_free(*p);
c94f7f65
BM
176 OPENSSL_cleanse(p, sizeof *p);
177 }
37c660ff
BM
178 OPENSSL_free(pre->points);
179 }
c94f7f65 180 OPENSSL_cleanse(pre, sizeof *pre);
37c660ff
BM
181 OPENSSL_free(pre);
182 }
183
184
3ba1f111
BM
185
186
3ba1f111 187
3ba1f111
BM
188
189
c05940ed
BM
190/* TODO: table should be optimised for the wNAF-based implementation,
191 * sometimes smaller windows will give better performance
192 * (thus the boundaries should be increased)
193 */
3ba1f111 194#define EC_window_bits_for_scalar_size(b) \
513c01a5
RL
195 ((size_t) \
196 ((b) >= 2000 ? 6 : \
197 (b) >= 800 ? 5 : \
198 (b) >= 300 ? 4 : \
199 (b) >= 70 ? 3 : \
200 (b) >= 20 ? 2 : \
201 1))
3ba1f111
BM
202
203/* Compute
204 * \sum scalars[i]*points[i],
205 * also including
206 * scalar*generator
207 * in the addition if scalar != NULL
208 */
7793f30e 209int ec_wNAF_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar,
3ba1f111
BM
210 size_t num, const EC_POINT *points[], const BIGNUM *scalars[], BN_CTX *ctx)
211 {
212 BN_CTX *new_ctx = NULL;
9dd84053 213 const EC_POINT *generator = NULL;
3ba1f111
BM
214 EC_POINT *tmp = NULL;
215 size_t totalnum;
37c660ff
BM
216 size_t blocksize = 0, numblocks = 0; /* for wNAF splitting */
217 size_t pre_points_per_block = 0;
3ba1f111
BM
218 size_t i, j;
219 int k;
220 int r_is_inverted = 0;
221 int r_is_at_infinity = 1;
222 size_t *wsize = NULL; /* individual window sizes */
c78515f5 223 signed char **wNAF = NULL; /* individual wNAFs */
3ba1f111
BM
224 size_t *wNAF_len = NULL;
225 size_t max_len = 0;
3ba1f111
BM
226 size_t num_val;
227 EC_POINT **val = NULL; /* precomputation */
228 EC_POINT **v;
37c660ff 229 EC_POINT ***val_sub = NULL; /* pointers to sub-arrays of 'val' or 'pre_comp->points' */
ba729265 230 const EC_PRE_COMP *pre_comp = NULL;
37c660ff
BM
231 int num_scalar = 0; /* flag: will be set to 1 if 'scalar' must be treated like other scalars,
232 * i.e. precomputation is not available */
3ba1f111
BM
233 int ret = 0;
234
37c660ff 235 if (group->meth != r->meth)
3ba1f111 236 {
37c660ff
BM
237 ECerr(EC_F_EC_WNAF_MUL, EC_R_INCOMPATIBLE_OBJECTS);
238 return 0;
3ba1f111 239 }
37c660ff
BM
240
241 if ((scalar == NULL) && (num == 0))
242 {
243 return EC_POINT_set_to_infinity(group, r);
244 }
245
3ba1f111
BM
246 for (i = 0; i < num; i++)
247 {
248 if (group->meth != points[i]->meth)
249 {
7793f30e 250 ECerr(EC_F_EC_WNAF_MUL, EC_R_INCOMPATIBLE_OBJECTS);
3ba1f111
BM
251 return 0;
252 }
253 }
254
37c660ff
BM
255 if (ctx == NULL)
256 {
257 ctx = new_ctx = BN_CTX_new();
258 if (ctx == NULL)
259 goto err;
260 }
3ba1f111 261
37c660ff 262 if (scalar != NULL)
3ba1f111 263 {
37c660ff
BM
264 generator = EC_GROUP_get0_generator(group);
265 if (generator == NULL)
266 {
267 ECerr(EC_F_EC_WNAF_MUL, EC_R_UNDEFINED_GENERATOR);
268 goto err;
269 }
270
271 /* look if we can use precomputed multiples of generator */
272
9dd84053 273 pre_comp = EC_EX_DATA_get_data(group->extra_data, ec_pre_comp_dup, ec_pre_comp_free, ec_pre_comp_clear_free);
37c660ff
BM
274
275 if (pre_comp && pre_comp->numblocks && (EC_POINT_cmp(group, generator, pre_comp->points[0], ctx) == 0))
276 {
277 blocksize = pre_comp->blocksize;
278
279 /* determine maximum number of blocks that wNAF splitting may yield
280 * (NB: maximum wNAF length is bit length plus one) */
281 numblocks = (BN_num_bits(scalar) / blocksize) + 1;
282
283 /* we cannot use more blocks than we have precomputation for */
284 if (numblocks > pre_comp->numblocks)
285 numblocks = pre_comp->numblocks;
286
194274cb 287 pre_points_per_block = (size_t)1 << (pre_comp->w - 1);
37c660ff
BM
288
289 /* check that pre_comp looks sane */
290 if (pre_comp->num != (pre_comp->numblocks * pre_points_per_block))
291 {
292 ECerr(EC_F_EC_WNAF_MUL, ERR_R_INTERNAL_ERROR);
293 goto err;
294 }
295 }
296 else
297 {
298 /* can't use precomputation */
299 pre_comp = NULL;
300 numblocks = 1;
301 num_scalar = 1; /* treat 'scalar' like 'num'-th element of 'scalars' */
302 }
3ba1f111 303 }
37c660ff
BM
304
305 totalnum = num + numblocks;
306
307 wsize = OPENSSL_malloc(totalnum * sizeof wsize[0]);
308 wNAF_len = OPENSSL_malloc(totalnum * sizeof wNAF_len[0]);
309 wNAF = OPENSSL_malloc((totalnum + 1) * sizeof wNAF[0]); /* includes space for pivot */
310 val_sub = OPENSSL_malloc(totalnum * sizeof val_sub[0]);
e04d426b
MC
311
312 /* Ensure wNAF is initialised in case we end up going to err */
313 if (wNAF) wNAF[0] = NULL; /* preliminary pivot */
314
37c660ff 315 if (!wsize || !wNAF_len || !wNAF || !val_sub)
19f6c524
BM
316 {
317 ECerr(EC_F_EC_WNAF_MUL, ERR_R_MALLOC_FAILURE);
37c660ff 318 goto err;
19f6c524 319 }
3ba1f111 320
37c660ff 321 /* num_val will be the total number of temporarily precomputed points */
3ba1f111 322 num_val = 0;
37c660ff
BM
323
324 for (i = 0; i < num + num_scalar; i++)
3ba1f111
BM
325 {
326 size_t bits;
327
328 bits = i < num ? BN_num_bits(scalars[i]) : BN_num_bits(scalar);
329 wsize[i] = EC_window_bits_for_scalar_size(bits);
194274cb 330 num_val += (size_t)1 << (wsize[i] - 1);
37c660ff 331 wNAF[i + 1] = NULL; /* make sure we always have a pivot */
5784a521 332 wNAF[i] = bn_compute_wNAF((i < num ? scalars[i] : scalar), wsize[i], &wNAF_len[i]);
37c660ff
BM
333 if (wNAF[i] == NULL)
334 goto err;
335 if (wNAF_len[i] > max_len)
336 max_len = wNAF_len[i];
3ba1f111
BM
337 }
338
37c660ff
BM
339 if (numblocks)
340 {
341 /* we go here iff scalar != NULL */
342
343 if (pre_comp == NULL)
344 {
345 if (num_scalar != 1)
346 {
347 ECerr(EC_F_EC_WNAF_MUL, ERR_R_INTERNAL_ERROR);
348 goto err;
349 }
350 /* we have already generated a wNAF for 'scalar' */
351 }
352 else
353 {
354 signed char *tmp_wNAF = NULL;
355 size_t tmp_len = 0;
356
357 if (num_scalar != 0)
358 {
359 ECerr(EC_F_EC_WNAF_MUL, ERR_R_INTERNAL_ERROR);
360 goto err;
361 }
362
363 /* use the window size for which we have precomputation */
364 wsize[num] = pre_comp->w;
5784a521 365 tmp_wNAF = bn_compute_wNAF(scalar, wsize[num], &tmp_len);
37c660ff
BM
366 if (!tmp_wNAF)
367 goto err;
368
369 if (tmp_len <= max_len)
370 {
371 /* One of the other wNAFs is at least as long
372 * as the wNAF belonging to the generator,
373 * so wNAF splitting will not buy us anything. */
374
375 numblocks = 1;
376 totalnum = num + 1; /* don't use wNAF splitting */
377 wNAF[num] = tmp_wNAF;
378 wNAF[num + 1] = NULL;
379 wNAF_len[num] = tmp_len;
380 if (tmp_len > max_len)
381 max_len = tmp_len;
382 /* pre_comp->points starts with the points that we need here: */
383 val_sub[num] = pre_comp->points;
384 }
385 else
386 {
387 /* don't include tmp_wNAF directly into wNAF array
388 * - use wNAF splitting and include the blocks */
389
390 signed char *pp;
391 EC_POINT **tmp_points;
392
393 if (tmp_len < numblocks * blocksize)
394 {
395 /* possibly we can do with fewer blocks than estimated */
396 numblocks = (tmp_len + blocksize - 1) / blocksize;
397 if (numblocks > pre_comp->numblocks)
398 {
399 ECerr(EC_F_EC_WNAF_MUL, ERR_R_INTERNAL_ERROR);
400 goto err;
401 }
402 totalnum = num + numblocks;
403 }
404
405 /* split wNAF in 'numblocks' parts */
406 pp = tmp_wNAF;
407 tmp_points = pre_comp->points;
408
409 for (i = num; i < totalnum; i++)
410 {
411 if (i < totalnum - 1)
412 {
413 wNAF_len[i] = blocksize;
414 if (tmp_len < blocksize)
415 {
416 ECerr(EC_F_EC_WNAF_MUL, ERR_R_INTERNAL_ERROR);
417 goto err;
418 }
419 tmp_len -= blocksize;
420 }
421 else
422 /* last block gets whatever is left
423 * (this could be more or less than 'blocksize'!) */
424 wNAF_len[i] = tmp_len;
425
426 wNAF[i + 1] = NULL;
427 wNAF[i] = OPENSSL_malloc(wNAF_len[i]);
428 if (wNAF[i] == NULL)
429 {
19f6c524 430 ECerr(EC_F_EC_WNAF_MUL, ERR_R_MALLOC_FAILURE);
37c660ff
BM
431 OPENSSL_free(tmp_wNAF);
432 goto err;
433 }
434 memcpy(wNAF[i], pp, wNAF_len[i]);
435 if (wNAF_len[i] > max_len)
436 max_len = wNAF_len[i];
437
438 if (*tmp_points == NULL)
439 {
440 ECerr(EC_F_EC_WNAF_MUL, ERR_R_INTERNAL_ERROR);
441 OPENSSL_free(tmp_wNAF);
442 goto err;
443 }
444 val_sub[i] = tmp_points;
445 tmp_points += pre_points_per_block;
446 pp += blocksize;
447 }
448 OPENSSL_free(tmp_wNAF);
449 }
450 }
451 }
452
453 /* All points we precompute now go into a single array 'val'.
454 * 'val_sub[i]' is a pointer to the subarray for the i-th point,
455 * or to a subarray of 'pre_comp->points' if we already have precomputation. */
3ba1f111 456 val = OPENSSL_malloc((num_val + 1) * sizeof val[0]);
19f6c524
BM
457 if (val == NULL)
458 {
459 ECerr(EC_F_EC_WNAF_MUL, ERR_R_MALLOC_FAILURE);
460 goto err;
461 }
3ba1f111
BM
462 val[num_val] = NULL; /* pivot element */
463
3ba1f111
BM
464 /* allocate points for precomputation */
465 v = val;
37c660ff 466 for (i = 0; i < num + num_scalar; i++)
3ba1f111
BM
467 {
468 val_sub[i] = v;
194274cb 469 for (j = 0; j < ((size_t)1 << (wsize[i] - 1)); j++)
3ba1f111
BM
470 {
471 *v = EC_POINT_new(group);
472 if (*v == NULL) goto err;
473 v++;
474 }
475 }
476 if (!(v == val + num_val))
477 {
7793f30e 478 ECerr(EC_F_EC_WNAF_MUL, ERR_R_INTERNAL_ERROR);
3ba1f111
BM
479 goto err;
480 }
481
37c660ff
BM
482 if (!(tmp = EC_POINT_new(group)))
483 goto err;
3ba1f111 484
1d97c843
TH
485 /*-
486 * prepare precomputed values:
3ba1f111
BM
487 * val_sub[i][0] := points[i]
488 * val_sub[i][1] := 3 * points[i]
489 * val_sub[i][2] := 5 * points[i]
490 * ...
491 */
37c660ff 492 for (i = 0; i < num + num_scalar; i++)
3ba1f111
BM
493 {
494 if (i < num)
495 {
496 if (!EC_POINT_copy(val_sub[i][0], points[i])) goto err;
497 }
498 else
499 {
500 if (!EC_POINT_copy(val_sub[i][0], generator)) goto err;
501 }
502
503 if (wsize[i] > 1)
504 {
505 if (!EC_POINT_dbl(group, tmp, val_sub[i][0], ctx)) goto err;
194274cb 506 for (j = 1; j < ((size_t)1 << (wsize[i] - 1)); j++)
3ba1f111
BM
507 {
508 if (!EC_POINT_add(group, val_sub[i][j], val_sub[i][j - 1], tmp, ctx)) goto err;
509 }
510 }
3ba1f111
BM
511 }
512
513#if 1 /* optional; EC_window_bits_for_scalar_size assumes we do this step */
37c660ff
BM
514 if (!EC_POINTs_make_affine(group, num_val, val, ctx))
515 goto err;
3ba1f111
BM
516#endif
517
518 r_is_at_infinity = 1;
519
520 for (k = max_len - 1; k >= 0; k--)
521 {
522 if (!r_is_at_infinity)
523 {
524 if (!EC_POINT_dbl(group, r, r, ctx)) goto err;
525 }
526
527 for (i = 0; i < totalnum; i++)
528 {
b77fcddb 529 if (wNAF_len[i] > (size_t)k)
3ba1f111
BM
530 {
531 int digit = wNAF[i][k];
532 int is_neg;
533
534 if (digit)
535 {
536 is_neg = digit < 0;
537
538 if (is_neg)
539 digit = -digit;
540
541 if (is_neg != r_is_inverted)
542 {
543 if (!r_is_at_infinity)
544 {
545 if (!EC_POINT_invert(group, r, ctx)) goto err;
546 }
547 r_is_inverted = !r_is_inverted;
548 }
549
550 /* digit > 0 */
551
552 if (r_is_at_infinity)
553 {
554 if (!EC_POINT_copy(r, val_sub[i][digit >> 1])) goto err;
555 r_is_at_infinity = 0;
556 }
557 else
558 {
559 if (!EC_POINT_add(group, r, r, val_sub[i][digit >> 1], ctx)) goto err;
560 }
561 }
562 }
563 }
564 }
565
566 if (r_is_at_infinity)
567 {
568 if (!EC_POINT_set_to_infinity(group, r)) goto err;
569 }
570 else
571 {
572 if (r_is_inverted)
573 if (!EC_POINT_invert(group, r, ctx)) goto err;
574 }
575
576 ret = 1;
577
578 err:
579 if (new_ctx != NULL)
580 BN_CTX_free(new_ctx);
581 if (tmp != NULL)
582 EC_POINT_free(tmp);
583 if (wsize != NULL)
584 OPENSSL_free(wsize);
585 if (wNAF_len != NULL)
586 OPENSSL_free(wNAF_len);
587 if (wNAF != NULL)
588 {
589 signed char **w;
590
591 for (w = wNAF; *w != NULL; w++)
592 OPENSSL_free(*w);
593
594 OPENSSL_free(wNAF);
595 }
596 if (val != NULL)
597 {
598 for (v = val; *v != NULL; v++)
599 EC_POINT_clear_free(*v);
600
601 OPENSSL_free(val);
602 }
603 if (val_sub != NULL)
604 {
605 OPENSSL_free(val_sub);
606 }
607 return ret;
608 }
609
38374911 610
1d97c843
TH
611/*-
612 * ec_wNAF_precompute_mult()
37c660ff
BM
613 * creates an EC_PRE_COMP object with preprecomputed multiples of the generator
614 * for use with wNAF splitting as implemented in ec_wNAF_mul().
615 *
616 * 'pre_comp->points' is an array of multiples of the generator
617 * of the following form:
618 * points[0] = generator;
619 * points[1] = 3 * generator;
620 * ...
621 * points[2^(w-1)-1] = (2^(w-1)-1) * generator;
622 * points[2^(w-1)] = 2^blocksize * generator;
623 * points[2^(w-1)+1] = 3 * 2^blocksize * generator;
624 * ...
625 * points[2^(w-1)*(numblocks-1)-1] = (2^(w-1)) * 2^(blocksize*(numblocks-2)) * generator
626 * points[2^(w-1)*(numblocks-1)] = 2^(blocksize*(numblocks-1)) * generator
627 * ...
628 * points[2^(w-1)*numblocks-1] = (2^(w-1)) * 2^(blocksize*(numblocks-1)) * generator
629 * points[2^(w-1)*numblocks] = NULL
7793f30e 630 */
7793f30e 631int ec_wNAF_precompute_mult(EC_GROUP *group, BN_CTX *ctx)
38374911
BM
632 {
633 const EC_POINT *generator;
37c660ff 634 EC_POINT *tmp_point = NULL, *base = NULL, **var;
38374911
BM
635 BN_CTX *new_ctx = NULL;
636 BIGNUM *order;
37c660ff
BM
637 size_t i, bits, w, pre_points_per_block, blocksize, numblocks, num;
638 EC_POINT **points = NULL;
ba729265 639 EC_PRE_COMP *pre_comp;
38374911
BM
640 int ret = 0;
641
ba729265 642 /* if there is an old EC_PRE_COMP object, throw it away */
9dd84053 643 EC_EX_DATA_free_data(&group->extra_data, ec_pre_comp_dup, ec_pre_comp_free, ec_pre_comp_clear_free);
ba729265
BM
644
645 if ((pre_comp = ec_pre_comp_new(group)) == NULL)
646 return 0;
37c660ff 647
38374911
BM
648 generator = EC_GROUP_get0_generator(group);
649 if (generator == NULL)
650 {
7793f30e 651 ECerr(EC_F_EC_WNAF_PRECOMPUTE_MULT, EC_R_UNDEFINED_GENERATOR);
37c660ff 652 goto err;
38374911
BM
653 }
654
655 if (ctx == NULL)
656 {
657 ctx = new_ctx = BN_CTX_new();
658 if (ctx == NULL)
37c660ff 659 goto err;
38374911
BM
660 }
661
662 BN_CTX_start(ctx);
663 order = BN_CTX_get(ctx);
664 if (order == NULL) goto err;
665
37c660ff 666 if (!EC_GROUP_get_order(group, order, ctx)) goto err;
38374911
BM
667 if (BN_is_zero(order))
668 {
7793f30e 669 ECerr(EC_F_EC_WNAF_PRECOMPUTE_MULT, EC_R_UNKNOWN_ORDER);
38374911
BM
670 goto err;
671 }
672
37c660ff 673 bits = BN_num_bits(order);
82871eaa
BM
674 /* The following parameters mean we precompute (approximately)
675 * one point per bit.
676 *
677 * TBD: The combination 8, 4 is perfect for 160 bits; for other
678 * bit lengths, other parameter combinations might provide better
679 * efficiency.
680 */
37c660ff
BM
681 blocksize = 8;
682 w = 4;
683 if (EC_window_bits_for_scalar_size(bits) > w)
684 {
685 /* let's not make the window too small ... */
686 w = EC_window_bits_for_scalar_size(bits);
687 }
688
689 numblocks = (bits + blocksize - 1) / blocksize; /* max. number of blocks to use for wNAF splitting */
690
194274cb 691 pre_points_per_block = (size_t)1 << (w - 1);
37c660ff
BM
692 num = pre_points_per_block * numblocks; /* number of points to compute and store */
693
694 points = OPENSSL_malloc(sizeof (EC_POINT*)*(num + 1));
695 if (!points)
696 {
697 ECerr(EC_F_EC_WNAF_PRECOMPUTE_MULT, ERR_R_MALLOC_FAILURE);
698 goto err;
699 }
700
701 var = points;
702 var[num] = NULL; /* pivot */
703 for (i = 0; i < num; i++)
704 {
705 if ((var[i] = EC_POINT_new(group)) == NULL)
706 {
707 ECerr(EC_F_EC_WNAF_PRECOMPUTE_MULT, ERR_R_MALLOC_FAILURE);
708 goto err;
709 }
710 }
38374911 711
37c660ff
BM
712 if (!(tmp_point = EC_POINT_new(group)) || !(base = EC_POINT_new(group)))
713 {
714 ECerr(EC_F_EC_WNAF_PRECOMPUTE_MULT, ERR_R_MALLOC_FAILURE);
715 goto err;
716 }
717
718 if (!EC_POINT_copy(base, generator))
719 goto err;
720
721 /* do the precomputation */
722 for (i = 0; i < numblocks; i++)
723 {
724 size_t j;
725
726 if (!EC_POINT_dbl(group, tmp_point, base, ctx))
727 goto err;
728
729 if (!EC_POINT_copy(*var++, base))
730 goto err;
731
732 for (j = 1; j < pre_points_per_block; j++, var++)
733 {
734 /* calculate odd multiples of the current base point */
735 if (!EC_POINT_add(group, *var, tmp_point, *(var - 1), ctx))
736 goto err;
737 }
738
739 if (i < numblocks - 1)
740 {
741 /* get the next base (multiply current one by 2^blocksize) */
742 size_t k;
743
744 if (blocksize <= 2)
745 {
746 ECerr(EC_F_EC_WNAF_PRECOMPUTE_MULT, ERR_R_INTERNAL_ERROR);
747 goto err;
748 }
749
750 if (!EC_POINT_dbl(group, base, tmp_point, ctx))
751 goto err;
752 for (k = 2; k < blocksize; k++)
753 {
754 if (!EC_POINT_dbl(group,base,base,ctx))
755 goto err;
756 }
757 }
758 }
759
760 if (!EC_POINTs_make_affine(group, num, points, ctx))
761 goto err;
38374911 762
37c660ff
BM
763 pre_comp->group = group;
764 pre_comp->blocksize = blocksize;
765 pre_comp->numblocks = numblocks;
766 pre_comp->w = w;
37c660ff
BM
767 pre_comp->points = points;
768 points = NULL;
769 pre_comp->num = num;
770
9dd84053 771 if (!EC_EX_DATA_set_data(&group->extra_data, pre_comp,
ba729265
BM
772 ec_pre_comp_dup, ec_pre_comp_free, ec_pre_comp_clear_free))
773 goto err;
774 pre_comp = NULL;
37c660ff
BM
775
776 ret = 1;
38374911 777 err:
eeb821f7
NL
778 if (ctx != NULL)
779 BN_CTX_end(ctx);
38374911
BM
780 if (new_ctx != NULL)
781 BN_CTX_free(new_ctx);
ba729265
BM
782 if (pre_comp)
783 ec_pre_comp_free(pre_comp);
37c660ff
BM
784 if (points)
785 {
786 EC_POINT **p;
787
788 for (p = points; *p != NULL; p++)
789 EC_POINT_free(*p);
790 OPENSSL_free(points);
791 }
792 if (tmp_point)
793 EC_POINT_free(tmp_point);
794 if (base)
795 EC_POINT_free(base);
38374911
BM
796 return ret;
797 }
7793f30e
BM
798
799
37c660ff 800int ec_wNAF_have_precompute_mult(const EC_GROUP *group)
7793f30e 801 {
9dd84053 802 if (EC_EX_DATA_get_data(group->extra_data, ec_pre_comp_dup, ec_pre_comp_free, ec_pre_comp_clear_free) != NULL)
7793f30e 803 return 1;
37c660ff
BM
804 else
805 return 0;
7793f30e 806 }