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