/src/openssl/crypto/ec/ec_lib.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* crypto/ec/ec_lib.c */ |
2 | | /* |
3 | | * Originally written by Bodo Moeller for the OpenSSL project. |
4 | | */ |
5 | | /* ==================================================================== |
6 | | * Copyright (c) 1998-2003 The OpenSSL Project. All rights reserved. |
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 | | */ |
58 | | /* ==================================================================== |
59 | | * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED. |
60 | | * Binary polynomial ECC support in OpenSSL originally developed by |
61 | | * SUN MICROSYSTEMS, INC., and contributed to the OpenSSL project. |
62 | | */ |
63 | | |
64 | | #include <string.h> |
65 | | |
66 | | #include <openssl/err.h> |
67 | | #include <openssl/opensslv.h> |
68 | | |
69 | | #include "ec_lcl.h" |
70 | | |
71 | | const char EC_version[] = "EC" OPENSSL_VERSION_PTEXT; |
72 | | |
73 | | /* functions for EC_GROUP objects */ |
74 | | |
75 | | EC_GROUP *EC_GROUP_new(const EC_METHOD *meth) |
76 | 0 | { |
77 | 0 | EC_GROUP *ret; |
78 | |
|
79 | 0 | if (meth == NULL) { |
80 | 0 | ECerr(EC_F_EC_GROUP_NEW, EC_R_SLOT_FULL); |
81 | 0 | return NULL; |
82 | 0 | } |
83 | 0 | if (meth->group_init == 0) { |
84 | 0 | ECerr(EC_F_EC_GROUP_NEW, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
85 | 0 | return NULL; |
86 | 0 | } |
87 | | |
88 | 0 | ret = OPENSSL_malloc(sizeof *ret); |
89 | 0 | if (ret == NULL) { |
90 | 0 | ECerr(EC_F_EC_GROUP_NEW, ERR_R_MALLOC_FAILURE); |
91 | 0 | return NULL; |
92 | 0 | } |
93 | | |
94 | 0 | ret->meth = meth; |
95 | |
|
96 | 0 | ret->extra_data = NULL; |
97 | 0 | ret->mont_data = NULL; |
98 | |
|
99 | 0 | ret->generator = NULL; |
100 | 0 | BN_init(&ret->order); |
101 | 0 | BN_init(&ret->cofactor); |
102 | |
|
103 | 0 | ret->curve_name = 0; |
104 | 0 | ret->asn1_flag = ~EC_GROUP_ASN1_FLAG_MASK; |
105 | 0 | ret->asn1_form = POINT_CONVERSION_UNCOMPRESSED; |
106 | |
|
107 | 0 | ret->seed = NULL; |
108 | 0 | ret->seed_len = 0; |
109 | |
|
110 | 0 | if (!meth->group_init(ret)) { |
111 | 0 | OPENSSL_free(ret); |
112 | 0 | return NULL; |
113 | 0 | } |
114 | | |
115 | 0 | return ret; |
116 | 0 | } |
117 | | |
118 | | void EC_GROUP_free(EC_GROUP *group) |
119 | 0 | { |
120 | 0 | if (!group) |
121 | 0 | return; |
122 | | |
123 | 0 | if (group->meth->group_finish != 0) |
124 | 0 | group->meth->group_finish(group); |
125 | |
|
126 | 0 | EC_EX_DATA_free_all_data(&group->extra_data); |
127 | |
|
128 | 0 | if (EC_GROUP_VERSION(group) && group->mont_data) |
129 | 0 | BN_MONT_CTX_free(group->mont_data); |
130 | |
|
131 | 0 | if (group->generator != NULL) |
132 | 0 | EC_POINT_free(group->generator); |
133 | 0 | BN_free(&group->order); |
134 | 0 | BN_free(&group->cofactor); |
135 | |
|
136 | 0 | if (group->seed) |
137 | 0 | OPENSSL_free(group->seed); |
138 | |
|
139 | 0 | OPENSSL_free(group); |
140 | 0 | } |
141 | | |
142 | | void EC_GROUP_clear_free(EC_GROUP *group) |
143 | 0 | { |
144 | 0 | if (!group) |
145 | 0 | return; |
146 | | |
147 | 0 | if (group->meth->group_clear_finish != 0) |
148 | 0 | group->meth->group_clear_finish(group); |
149 | 0 | else if (group->meth->group_finish != 0) |
150 | 0 | group->meth->group_finish(group); |
151 | |
|
152 | 0 | EC_EX_DATA_clear_free_all_data(&group->extra_data); |
153 | |
|
154 | 0 | if (EC_GROUP_VERSION(group) && group->mont_data) |
155 | 0 | BN_MONT_CTX_free(group->mont_data); |
156 | |
|
157 | 0 | if (group->generator != NULL) |
158 | 0 | EC_POINT_clear_free(group->generator); |
159 | 0 | BN_clear_free(&group->order); |
160 | 0 | BN_clear_free(&group->cofactor); |
161 | |
|
162 | 0 | if (group->seed) { |
163 | 0 | OPENSSL_cleanse(group->seed, group->seed_len); |
164 | 0 | OPENSSL_free(group->seed); |
165 | 0 | } |
166 | |
|
167 | 0 | OPENSSL_cleanse(group, sizeof *group); |
168 | 0 | OPENSSL_free(group); |
169 | 0 | } |
170 | | |
171 | | int EC_GROUP_copy(EC_GROUP *dest, const EC_GROUP *src) |
172 | 0 | { |
173 | 0 | EC_EXTRA_DATA *d; |
174 | |
|
175 | 0 | if (dest->meth->group_copy == 0) { |
176 | 0 | ECerr(EC_F_EC_GROUP_COPY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
177 | 0 | return 0; |
178 | 0 | } |
179 | 0 | if (dest->meth != src->meth) { |
180 | 0 | ECerr(EC_F_EC_GROUP_COPY, EC_R_INCOMPATIBLE_OBJECTS); |
181 | 0 | return 0; |
182 | 0 | } |
183 | 0 | if (dest == src) |
184 | 0 | return 1; |
185 | | |
186 | 0 | EC_EX_DATA_free_all_data(&dest->extra_data); |
187 | |
|
188 | 0 | for (d = src->extra_data; d != NULL; d = d->next) { |
189 | 0 | void *t = d->dup_func(d->data); |
190 | |
|
191 | 0 | if (t == NULL) |
192 | 0 | return 0; |
193 | 0 | if (!EC_EX_DATA_set_data |
194 | 0 | (&dest->extra_data, t, d->dup_func, d->free_func, |
195 | 0 | d->clear_free_func)) |
196 | 0 | return 0; |
197 | 0 | } |
198 | | |
199 | 0 | if (EC_GROUP_VERSION(src) && src->mont_data != NULL) { |
200 | 0 | if (dest->mont_data == NULL) { |
201 | 0 | dest->mont_data = BN_MONT_CTX_new(); |
202 | 0 | if (dest->mont_data == NULL) |
203 | 0 | return 0; |
204 | 0 | } |
205 | 0 | if (!BN_MONT_CTX_copy(dest->mont_data, src->mont_data)) |
206 | 0 | return 0; |
207 | 0 | } else { |
208 | | /* src->generator == NULL */ |
209 | 0 | if (EC_GROUP_VERSION(dest) && dest->mont_data != NULL) { |
210 | 0 | BN_MONT_CTX_free(dest->mont_data); |
211 | 0 | dest->mont_data = NULL; |
212 | 0 | } |
213 | 0 | } |
214 | | |
215 | 0 | if (src->generator != NULL) { |
216 | 0 | if (dest->generator == NULL) { |
217 | 0 | dest->generator = EC_POINT_new(dest); |
218 | 0 | if (dest->generator == NULL) |
219 | 0 | return 0; |
220 | 0 | } |
221 | 0 | if (!EC_POINT_copy(dest->generator, src->generator)) |
222 | 0 | return 0; |
223 | 0 | } else { |
224 | | /* src->generator == NULL */ |
225 | 0 | if (dest->generator != NULL) { |
226 | 0 | EC_POINT_clear_free(dest->generator); |
227 | 0 | dest->generator = NULL; |
228 | 0 | } |
229 | 0 | } |
230 | | |
231 | 0 | if (!BN_copy(&dest->order, &src->order)) |
232 | 0 | return 0; |
233 | 0 | if (!BN_copy(&dest->cofactor, &src->cofactor)) |
234 | 0 | return 0; |
235 | | |
236 | 0 | dest->curve_name = src->curve_name; |
237 | 0 | dest->asn1_flag = src->asn1_flag; |
238 | 0 | dest->asn1_form = src->asn1_form; |
239 | |
|
240 | 0 | if (src->seed) { |
241 | 0 | if (dest->seed) |
242 | 0 | OPENSSL_free(dest->seed); |
243 | 0 | dest->seed = OPENSSL_malloc(src->seed_len); |
244 | 0 | if (dest->seed == NULL) |
245 | 0 | return 0; |
246 | 0 | if (!memcpy(dest->seed, src->seed, src->seed_len)) |
247 | 0 | return 0; |
248 | 0 | dest->seed_len = src->seed_len; |
249 | 0 | } else { |
250 | 0 | if (dest->seed) |
251 | 0 | OPENSSL_free(dest->seed); |
252 | 0 | dest->seed = NULL; |
253 | 0 | dest->seed_len = 0; |
254 | 0 | } |
255 | | |
256 | 0 | return dest->meth->group_copy(dest, src); |
257 | 0 | } |
258 | | |
259 | | EC_GROUP *EC_GROUP_dup(const EC_GROUP *a) |
260 | 0 | { |
261 | 0 | EC_GROUP *t = NULL; |
262 | 0 | int ok = 0; |
263 | |
|
264 | 0 | if (a == NULL) |
265 | 0 | return NULL; |
266 | | |
267 | 0 | if ((t = EC_GROUP_new(a->meth)) == NULL) |
268 | 0 | return (NULL); |
269 | 0 | if (!EC_GROUP_copy(t, a)) |
270 | 0 | goto err; |
271 | | |
272 | 0 | ok = 1; |
273 | |
|
274 | 0 | err: |
275 | 0 | if (!ok) { |
276 | 0 | if (t) |
277 | 0 | EC_GROUP_free(t); |
278 | 0 | return NULL; |
279 | 0 | } else |
280 | 0 | return t; |
281 | 0 | } |
282 | | |
283 | | const EC_METHOD *EC_GROUP_method_of(const EC_GROUP *group) |
284 | 0 | { |
285 | 0 | return group->meth; |
286 | 0 | } |
287 | | |
288 | | int EC_METHOD_get_field_type(const EC_METHOD *meth) |
289 | 0 | { |
290 | 0 | return meth->field_type; |
291 | 0 | } |
292 | | |
293 | | int EC_GROUP_set_generator(EC_GROUP *group, const EC_POINT *generator, |
294 | | const BIGNUM *order, const BIGNUM *cofactor) |
295 | 0 | { |
296 | 0 | if (generator == NULL) { |
297 | 0 | ECerr(EC_F_EC_GROUP_SET_GENERATOR, ERR_R_PASSED_NULL_PARAMETER); |
298 | 0 | return 0; |
299 | 0 | } |
300 | | |
301 | 0 | if (group->generator == NULL) { |
302 | 0 | group->generator = EC_POINT_new(group); |
303 | 0 | if (group->generator == NULL) |
304 | 0 | return 0; |
305 | 0 | } |
306 | 0 | if (!EC_POINT_copy(group->generator, generator)) |
307 | 0 | return 0; |
308 | | |
309 | 0 | if (order != NULL) { |
310 | 0 | if (!BN_copy(&group->order, order)) |
311 | 0 | return 0; |
312 | 0 | } else |
313 | 0 | BN_zero(&group->order); |
314 | | |
315 | 0 | if (cofactor != NULL) { |
316 | 0 | if (!BN_copy(&group->cofactor, cofactor)) |
317 | 0 | return 0; |
318 | 0 | } else |
319 | 0 | BN_zero(&group->cofactor); |
320 | | |
321 | | /* |
322 | | * We ignore the return value because some groups have an order with |
323 | | * factors of two, which makes the Montgomery setup fail. |
324 | | * |group->mont_data| will be NULL in this case. |
325 | | */ |
326 | 0 | ec_precompute_mont_data(group); |
327 | |
|
328 | 0 | return 1; |
329 | 0 | } |
330 | | |
331 | | const EC_POINT *EC_GROUP_get0_generator(const EC_GROUP *group) |
332 | 0 | { |
333 | 0 | return group->generator; |
334 | 0 | } |
335 | | |
336 | | BN_MONT_CTX *EC_GROUP_get_mont_data(const EC_GROUP *group) |
337 | 0 | { |
338 | 0 | return EC_GROUP_VERSION(group) ? group->mont_data : NULL; |
339 | 0 | } |
340 | | |
341 | | int EC_GROUP_get_order(const EC_GROUP *group, BIGNUM *order, BN_CTX *ctx) |
342 | 0 | { |
343 | 0 | if (!BN_copy(order, &group->order)) |
344 | 0 | return 0; |
345 | | |
346 | 0 | return !BN_is_zero(order); |
347 | 0 | } |
348 | | |
349 | | int EC_GROUP_get_cofactor(const EC_GROUP *group, BIGNUM *cofactor, |
350 | | BN_CTX *ctx) |
351 | 0 | { |
352 | 0 | if (!BN_copy(cofactor, &group->cofactor)) |
353 | 0 | return 0; |
354 | | |
355 | 0 | return !BN_is_zero(&group->cofactor); |
356 | 0 | } |
357 | | |
358 | | void EC_GROUP_set_curve_name(EC_GROUP *group, int nid) |
359 | 0 | { |
360 | 0 | group->curve_name = nid; |
361 | 0 | } |
362 | | |
363 | | int EC_GROUP_get_curve_name(const EC_GROUP *group) |
364 | 0 | { |
365 | 0 | return group->curve_name; |
366 | 0 | } |
367 | | |
368 | | void EC_GROUP_set_asn1_flag(EC_GROUP *group, int flag) |
369 | 0 | { |
370 | 0 | group->asn1_flag &= ~EC_GROUP_ASN1_FLAG_MASK; |
371 | 0 | group->asn1_flag |= flag & EC_GROUP_ASN1_FLAG_MASK; |
372 | 0 | } |
373 | | |
374 | | int EC_GROUP_get_asn1_flag(const EC_GROUP *group) |
375 | 0 | { |
376 | 0 | return group->asn1_flag & EC_GROUP_ASN1_FLAG_MASK; |
377 | 0 | } |
378 | | |
379 | | void EC_GROUP_set_point_conversion_form(EC_GROUP *group, |
380 | | point_conversion_form_t form) |
381 | 0 | { |
382 | 0 | group->asn1_form = form; |
383 | 0 | } |
384 | | |
385 | | point_conversion_form_t EC_GROUP_get_point_conversion_form(const EC_GROUP |
386 | | *group) |
387 | 0 | { |
388 | 0 | return group->asn1_form; |
389 | 0 | } |
390 | | |
391 | | size_t EC_GROUP_set_seed(EC_GROUP *group, const unsigned char *p, size_t len) |
392 | 0 | { |
393 | 0 | if (group->seed) { |
394 | 0 | OPENSSL_free(group->seed); |
395 | 0 | group->seed = NULL; |
396 | 0 | group->seed_len = 0; |
397 | 0 | } |
398 | |
|
399 | 0 | if (!len || !p) |
400 | 0 | return 1; |
401 | | |
402 | 0 | if ((group->seed = OPENSSL_malloc(len)) == NULL) |
403 | 0 | return 0; |
404 | 0 | memcpy(group->seed, p, len); |
405 | 0 | group->seed_len = len; |
406 | |
|
407 | 0 | return len; |
408 | 0 | } |
409 | | |
410 | | unsigned char *EC_GROUP_get0_seed(const EC_GROUP *group) |
411 | 0 | { |
412 | 0 | return group->seed; |
413 | 0 | } |
414 | | |
415 | | size_t EC_GROUP_get_seed_len(const EC_GROUP *group) |
416 | 0 | { |
417 | 0 | return group->seed_len; |
418 | 0 | } |
419 | | |
420 | | int EC_GROUP_set_curve_GFp(EC_GROUP *group, const BIGNUM *p, const BIGNUM *a, |
421 | | const BIGNUM *b, BN_CTX *ctx) |
422 | 0 | { |
423 | 0 | if (group->meth->group_set_curve == 0) { |
424 | 0 | ECerr(EC_F_EC_GROUP_SET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
425 | 0 | return 0; |
426 | 0 | } |
427 | 0 | return group->meth->group_set_curve(group, p, a, b, ctx); |
428 | 0 | } |
429 | | |
430 | | int EC_GROUP_get_curve_GFp(const EC_GROUP *group, BIGNUM *p, BIGNUM *a, |
431 | | BIGNUM *b, BN_CTX *ctx) |
432 | 0 | { |
433 | 0 | if (group->meth->group_get_curve == 0) { |
434 | 0 | ECerr(EC_F_EC_GROUP_GET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
435 | 0 | return 0; |
436 | 0 | } |
437 | 0 | return group->meth->group_get_curve(group, p, a, b, ctx); |
438 | 0 | } |
439 | | |
440 | | #ifndef OPENSSL_NO_EC2M |
441 | | int EC_GROUP_set_curve_GF2m(EC_GROUP *group, const BIGNUM *p, const BIGNUM *a, |
442 | | const BIGNUM *b, BN_CTX *ctx) |
443 | 0 | { |
444 | 0 | if (group->meth->group_set_curve == 0) { |
445 | 0 | ECerr(EC_F_EC_GROUP_SET_CURVE_GF2M, |
446 | 0 | ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
447 | 0 | return 0; |
448 | 0 | } |
449 | 0 | return group->meth->group_set_curve(group, p, a, b, ctx); |
450 | 0 | } |
451 | | |
452 | | int EC_GROUP_get_curve_GF2m(const EC_GROUP *group, BIGNUM *p, BIGNUM *a, |
453 | | BIGNUM *b, BN_CTX *ctx) |
454 | 0 | { |
455 | 0 | if (group->meth->group_get_curve == 0) { |
456 | 0 | ECerr(EC_F_EC_GROUP_GET_CURVE_GF2M, |
457 | 0 | ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
458 | 0 | return 0; |
459 | 0 | } |
460 | 0 | return group->meth->group_get_curve(group, p, a, b, ctx); |
461 | 0 | } |
462 | | #endif |
463 | | |
464 | | int EC_GROUP_get_degree(const EC_GROUP *group) |
465 | 0 | { |
466 | 0 | if (group->meth->group_get_degree == 0) { |
467 | 0 | ECerr(EC_F_EC_GROUP_GET_DEGREE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
468 | 0 | return 0; |
469 | 0 | } |
470 | 0 | return group->meth->group_get_degree(group); |
471 | 0 | } |
472 | | |
473 | | int EC_GROUP_check_discriminant(const EC_GROUP *group, BN_CTX *ctx) |
474 | 0 | { |
475 | 0 | if (group->meth->group_check_discriminant == 0) { |
476 | 0 | ECerr(EC_F_EC_GROUP_CHECK_DISCRIMINANT, |
477 | 0 | ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
478 | 0 | return 0; |
479 | 0 | } |
480 | 0 | return group->meth->group_check_discriminant(group, ctx); |
481 | 0 | } |
482 | | |
483 | | int EC_GROUP_cmp(const EC_GROUP *a, const EC_GROUP *b, BN_CTX *ctx) |
484 | 0 | { |
485 | 0 | int r = 0; |
486 | 0 | BIGNUM *a1, *a2, *a3, *b1, *b2, *b3; |
487 | 0 | BN_CTX *ctx_new = NULL; |
488 | | |
489 | | /* compare the field types */ |
490 | 0 | if (EC_METHOD_get_field_type(EC_GROUP_method_of(a)) != |
491 | 0 | EC_METHOD_get_field_type(EC_GROUP_method_of(b))) |
492 | 0 | return 1; |
493 | | /* compare the curve name (if present in both) */ |
494 | 0 | if (EC_GROUP_get_curve_name(a) && EC_GROUP_get_curve_name(b) && |
495 | 0 | EC_GROUP_get_curve_name(a) != EC_GROUP_get_curve_name(b)) |
496 | 0 | return 1; |
497 | | |
498 | 0 | if (!ctx) |
499 | 0 | ctx_new = ctx = BN_CTX_new(); |
500 | 0 | if (!ctx) |
501 | 0 | return -1; |
502 | | |
503 | 0 | BN_CTX_start(ctx); |
504 | 0 | a1 = BN_CTX_get(ctx); |
505 | 0 | a2 = BN_CTX_get(ctx); |
506 | 0 | a3 = BN_CTX_get(ctx); |
507 | 0 | b1 = BN_CTX_get(ctx); |
508 | 0 | b2 = BN_CTX_get(ctx); |
509 | 0 | b3 = BN_CTX_get(ctx); |
510 | 0 | if (!b3) { |
511 | 0 | BN_CTX_end(ctx); |
512 | 0 | if (ctx_new) |
513 | 0 | BN_CTX_free(ctx); |
514 | 0 | return -1; |
515 | 0 | } |
516 | | |
517 | | /* |
518 | | * XXX This approach assumes that the external representation of curves |
519 | | * over the same field type is the same. |
520 | | */ |
521 | 0 | if (!a->meth->group_get_curve(a, a1, a2, a3, ctx) || |
522 | 0 | !b->meth->group_get_curve(b, b1, b2, b3, ctx)) |
523 | 0 | r = 1; |
524 | |
|
525 | 0 | if (r || BN_cmp(a1, b1) || BN_cmp(a2, b2) || BN_cmp(a3, b3)) |
526 | 0 | r = 1; |
527 | | |
528 | | /* XXX EC_POINT_cmp() assumes that the methods are equal */ |
529 | 0 | if (r || EC_POINT_cmp(a, EC_GROUP_get0_generator(a), |
530 | 0 | EC_GROUP_get0_generator(b), ctx)) |
531 | 0 | r = 1; |
532 | |
|
533 | 0 | if (!r) { |
534 | | /* compare the order and cofactor */ |
535 | 0 | if (!EC_GROUP_get_order(a, a1, ctx) || |
536 | 0 | !EC_GROUP_get_order(b, b1, ctx) || |
537 | 0 | !EC_GROUP_get_cofactor(a, a2, ctx) || |
538 | 0 | !EC_GROUP_get_cofactor(b, b2, ctx)) { |
539 | 0 | BN_CTX_end(ctx); |
540 | 0 | if (ctx_new) |
541 | 0 | BN_CTX_free(ctx); |
542 | 0 | return -1; |
543 | 0 | } |
544 | 0 | if (BN_cmp(a1, b1) || BN_cmp(a2, b2)) |
545 | 0 | r = 1; |
546 | 0 | } |
547 | | |
548 | 0 | BN_CTX_end(ctx); |
549 | 0 | if (ctx_new) |
550 | 0 | BN_CTX_free(ctx); |
551 | |
|
552 | 0 | return r; |
553 | 0 | } |
554 | | |
555 | | /* this has 'package' visibility */ |
556 | | int EC_EX_DATA_set_data(EC_EXTRA_DATA **ex_data, void *data, |
557 | | void *(*dup_func) (void *), |
558 | | void (*free_func) (void *), |
559 | | void (*clear_free_func) (void *)) |
560 | 0 | { |
561 | 0 | EC_EXTRA_DATA *d; |
562 | |
|
563 | 0 | if (ex_data == NULL) |
564 | 0 | return 0; |
565 | | |
566 | 0 | for (d = *ex_data; d != NULL; d = d->next) { |
567 | 0 | if (d->dup_func == dup_func && d->free_func == free_func |
568 | 0 | && d->clear_free_func == clear_free_func) { |
569 | 0 | ECerr(EC_F_EC_EX_DATA_SET_DATA, EC_R_SLOT_FULL); |
570 | 0 | return 0; |
571 | 0 | } |
572 | 0 | } |
573 | | |
574 | 0 | if (data == NULL) |
575 | | /* no explicit entry needed */ |
576 | 0 | return 1; |
577 | | |
578 | 0 | d = OPENSSL_malloc(sizeof *d); |
579 | 0 | if (d == NULL) |
580 | 0 | return 0; |
581 | | |
582 | 0 | d->data = data; |
583 | 0 | d->dup_func = dup_func; |
584 | 0 | d->free_func = free_func; |
585 | 0 | d->clear_free_func = clear_free_func; |
586 | |
|
587 | 0 | d->next = *ex_data; |
588 | 0 | *ex_data = d; |
589 | |
|
590 | 0 | return 1; |
591 | 0 | } |
592 | | |
593 | | /* this has 'package' visibility */ |
594 | | void *EC_EX_DATA_get_data(const EC_EXTRA_DATA *ex_data, |
595 | | void *(*dup_func) (void *), |
596 | | void (*free_func) (void *), |
597 | | void (*clear_free_func) (void *)) |
598 | 0 | { |
599 | 0 | const EC_EXTRA_DATA *d; |
600 | |
|
601 | 0 | for (d = ex_data; d != NULL; d = d->next) { |
602 | 0 | if (d->dup_func == dup_func && d->free_func == free_func |
603 | 0 | && d->clear_free_func == clear_free_func) |
604 | 0 | return d->data; |
605 | 0 | } |
606 | | |
607 | 0 | return NULL; |
608 | 0 | } |
609 | | |
610 | | /* this has 'package' visibility */ |
611 | | void EC_EX_DATA_free_data(EC_EXTRA_DATA **ex_data, |
612 | | void *(*dup_func) (void *), |
613 | | void (*free_func) (void *), |
614 | | void (*clear_free_func) (void *)) |
615 | 0 | { |
616 | 0 | EC_EXTRA_DATA **p; |
617 | |
|
618 | 0 | if (ex_data == NULL) |
619 | 0 | return; |
620 | | |
621 | 0 | for (p = ex_data; *p != NULL; p = &((*p)->next)) { |
622 | 0 | if ((*p)->dup_func == dup_func && (*p)->free_func == free_func |
623 | 0 | && (*p)->clear_free_func == clear_free_func) { |
624 | 0 | EC_EXTRA_DATA *next = (*p)->next; |
625 | |
|
626 | 0 | (*p)->free_func((*p)->data); |
627 | 0 | OPENSSL_free(*p); |
628 | |
|
629 | 0 | *p = next; |
630 | 0 | return; |
631 | 0 | } |
632 | 0 | } |
633 | 0 | } |
634 | | |
635 | | /* this has 'package' visibility */ |
636 | | void EC_EX_DATA_clear_free_data(EC_EXTRA_DATA **ex_data, |
637 | | void *(*dup_func) (void *), |
638 | | void (*free_func) (void *), |
639 | | void (*clear_free_func) (void *)) |
640 | 0 | { |
641 | 0 | EC_EXTRA_DATA **p; |
642 | |
|
643 | 0 | if (ex_data == NULL) |
644 | 0 | return; |
645 | | |
646 | 0 | for (p = ex_data; *p != NULL; p = &((*p)->next)) { |
647 | 0 | if ((*p)->dup_func == dup_func && (*p)->free_func == free_func |
648 | 0 | && (*p)->clear_free_func == clear_free_func) { |
649 | 0 | EC_EXTRA_DATA *next = (*p)->next; |
650 | |
|
651 | 0 | (*p)->clear_free_func((*p)->data); |
652 | 0 | OPENSSL_free(*p); |
653 | |
|
654 | 0 | *p = next; |
655 | 0 | return; |
656 | 0 | } |
657 | 0 | } |
658 | 0 | } |
659 | | |
660 | | /* this has 'package' visibility */ |
661 | | void EC_EX_DATA_free_all_data(EC_EXTRA_DATA **ex_data) |
662 | 0 | { |
663 | 0 | EC_EXTRA_DATA *d; |
664 | |
|
665 | 0 | if (ex_data == NULL) |
666 | 0 | return; |
667 | | |
668 | 0 | d = *ex_data; |
669 | 0 | while (d) { |
670 | 0 | EC_EXTRA_DATA *next = d->next; |
671 | |
|
672 | 0 | d->free_func(d->data); |
673 | 0 | OPENSSL_free(d); |
674 | |
|
675 | 0 | d = next; |
676 | 0 | } |
677 | 0 | *ex_data = NULL; |
678 | 0 | } |
679 | | |
680 | | /* this has 'package' visibility */ |
681 | | void EC_EX_DATA_clear_free_all_data(EC_EXTRA_DATA **ex_data) |
682 | 0 | { |
683 | 0 | EC_EXTRA_DATA *d; |
684 | |
|
685 | 0 | if (ex_data == NULL) |
686 | 0 | return; |
687 | | |
688 | 0 | d = *ex_data; |
689 | 0 | while (d) { |
690 | 0 | EC_EXTRA_DATA *next = d->next; |
691 | |
|
692 | 0 | d->clear_free_func(d->data); |
693 | 0 | OPENSSL_free(d); |
694 | |
|
695 | 0 | d = next; |
696 | 0 | } |
697 | 0 | *ex_data = NULL; |
698 | 0 | } |
699 | | |
700 | | /* functions for EC_POINT objects */ |
701 | | |
702 | | EC_POINT *EC_POINT_new(const EC_GROUP *group) |
703 | 0 | { |
704 | 0 | EC_POINT *ret; |
705 | |
|
706 | 0 | if (group == NULL) { |
707 | 0 | ECerr(EC_F_EC_POINT_NEW, ERR_R_PASSED_NULL_PARAMETER); |
708 | 0 | return NULL; |
709 | 0 | } |
710 | 0 | if (group->meth->point_init == 0) { |
711 | 0 | ECerr(EC_F_EC_POINT_NEW, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
712 | 0 | return NULL; |
713 | 0 | } |
714 | | |
715 | 0 | ret = OPENSSL_malloc(sizeof *ret); |
716 | 0 | if (ret == NULL) { |
717 | 0 | ECerr(EC_F_EC_POINT_NEW, ERR_R_MALLOC_FAILURE); |
718 | 0 | return NULL; |
719 | 0 | } |
720 | | |
721 | 0 | ret->meth = group->meth; |
722 | |
|
723 | 0 | if (!ret->meth->point_init(ret)) { |
724 | 0 | OPENSSL_free(ret); |
725 | 0 | return NULL; |
726 | 0 | } |
727 | | |
728 | 0 | return ret; |
729 | 0 | } |
730 | | |
731 | | void EC_POINT_free(EC_POINT *point) |
732 | 0 | { |
733 | 0 | if (!point) |
734 | 0 | return; |
735 | | |
736 | 0 | if (point->meth->point_finish != 0) |
737 | 0 | point->meth->point_finish(point); |
738 | 0 | OPENSSL_free(point); |
739 | 0 | } |
740 | | |
741 | | void EC_POINT_clear_free(EC_POINT *point) |
742 | 0 | { |
743 | 0 | if (!point) |
744 | 0 | return; |
745 | | |
746 | 0 | if (point->meth->point_clear_finish != 0) |
747 | 0 | point->meth->point_clear_finish(point); |
748 | 0 | else if (point->meth->point_finish != 0) |
749 | 0 | point->meth->point_finish(point); |
750 | 0 | OPENSSL_cleanse(point, sizeof *point); |
751 | 0 | OPENSSL_free(point); |
752 | 0 | } |
753 | | |
754 | | int EC_POINT_copy(EC_POINT *dest, const EC_POINT *src) |
755 | 0 | { |
756 | 0 | if (dest->meth->point_copy == 0) { |
757 | 0 | ECerr(EC_F_EC_POINT_COPY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
758 | 0 | return 0; |
759 | 0 | } |
760 | 0 | if (dest->meth != src->meth) { |
761 | 0 | ECerr(EC_F_EC_POINT_COPY, EC_R_INCOMPATIBLE_OBJECTS); |
762 | 0 | return 0; |
763 | 0 | } |
764 | 0 | if (dest == src) |
765 | 0 | return 1; |
766 | 0 | return dest->meth->point_copy(dest, src); |
767 | 0 | } |
768 | | |
769 | | EC_POINT *EC_POINT_dup(const EC_POINT *a, const EC_GROUP *group) |
770 | 0 | { |
771 | 0 | EC_POINT *t; |
772 | 0 | int r; |
773 | |
|
774 | 0 | if (a == NULL) |
775 | 0 | return NULL; |
776 | | |
777 | 0 | t = EC_POINT_new(group); |
778 | 0 | if (t == NULL) |
779 | 0 | return (NULL); |
780 | 0 | r = EC_POINT_copy(t, a); |
781 | 0 | if (!r) { |
782 | 0 | EC_POINT_free(t); |
783 | 0 | return NULL; |
784 | 0 | } else |
785 | 0 | return t; |
786 | 0 | } |
787 | | |
788 | | const EC_METHOD *EC_POINT_method_of(const EC_POINT *point) |
789 | 0 | { |
790 | 0 | return point->meth; |
791 | 0 | } |
792 | | |
793 | | int EC_POINT_set_to_infinity(const EC_GROUP *group, EC_POINT *point) |
794 | 0 | { |
795 | 0 | if (group->meth->point_set_to_infinity == 0) { |
796 | 0 | ECerr(EC_F_EC_POINT_SET_TO_INFINITY, |
797 | 0 | ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
798 | 0 | return 0; |
799 | 0 | } |
800 | 0 | if (group->meth != point->meth) { |
801 | 0 | ECerr(EC_F_EC_POINT_SET_TO_INFINITY, EC_R_INCOMPATIBLE_OBJECTS); |
802 | 0 | return 0; |
803 | 0 | } |
804 | 0 | return group->meth->point_set_to_infinity(group, point); |
805 | 0 | } |
806 | | |
807 | | int EC_POINT_set_Jprojective_coordinates_GFp(const EC_GROUP *group, |
808 | | EC_POINT *point, const BIGNUM *x, |
809 | | const BIGNUM *y, const BIGNUM *z, |
810 | | BN_CTX *ctx) |
811 | 0 | { |
812 | 0 | if (group->meth->point_set_Jprojective_coordinates_GFp == 0) { |
813 | 0 | ECerr(EC_F_EC_POINT_SET_JPROJECTIVE_COORDINATES_GFP, |
814 | 0 | ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
815 | 0 | return 0; |
816 | 0 | } |
817 | 0 | if (group->meth != point->meth) { |
818 | 0 | ECerr(EC_F_EC_POINT_SET_JPROJECTIVE_COORDINATES_GFP, |
819 | 0 | EC_R_INCOMPATIBLE_OBJECTS); |
820 | 0 | return 0; |
821 | 0 | } |
822 | 0 | return group->meth->point_set_Jprojective_coordinates_GFp(group, point, x, |
823 | 0 | y, z, ctx); |
824 | 0 | } |
825 | | |
826 | | int EC_POINT_get_Jprojective_coordinates_GFp(const EC_GROUP *group, |
827 | | const EC_POINT *point, BIGNUM *x, |
828 | | BIGNUM *y, BIGNUM *z, |
829 | | BN_CTX *ctx) |
830 | 0 | { |
831 | 0 | if (group->meth->point_get_Jprojective_coordinates_GFp == 0) { |
832 | 0 | ECerr(EC_F_EC_POINT_GET_JPROJECTIVE_COORDINATES_GFP, |
833 | 0 | ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
834 | 0 | return 0; |
835 | 0 | } |
836 | 0 | if (group->meth != point->meth) { |
837 | 0 | ECerr(EC_F_EC_POINT_GET_JPROJECTIVE_COORDINATES_GFP, |
838 | 0 | EC_R_INCOMPATIBLE_OBJECTS); |
839 | 0 | return 0; |
840 | 0 | } |
841 | 0 | return group->meth->point_get_Jprojective_coordinates_GFp(group, point, x, |
842 | 0 | y, z, ctx); |
843 | 0 | } |
844 | | |
845 | | int EC_POINT_set_affine_coordinates_GFp(const EC_GROUP *group, |
846 | | EC_POINT *point, const BIGNUM *x, |
847 | | const BIGNUM *y, BN_CTX *ctx) |
848 | 0 | { |
849 | 0 | if (group->meth->point_set_affine_coordinates == 0) { |
850 | 0 | ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP, |
851 | 0 | ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
852 | 0 | return 0; |
853 | 0 | } |
854 | 0 | if (group->meth != point->meth) { |
855 | 0 | ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP, |
856 | 0 | EC_R_INCOMPATIBLE_OBJECTS); |
857 | 0 | return 0; |
858 | 0 | } |
859 | 0 | return group->meth->point_set_affine_coordinates(group, point, x, y, ctx); |
860 | 0 | } |
861 | | |
862 | | #ifndef OPENSSL_NO_EC2M |
863 | | int EC_POINT_set_affine_coordinates_GF2m(const EC_GROUP *group, |
864 | | EC_POINT *point, const BIGNUM *x, |
865 | | const BIGNUM *y, BN_CTX *ctx) |
866 | 0 | { |
867 | 0 | if (group->meth->point_set_affine_coordinates == 0) { |
868 | 0 | ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GF2M, |
869 | 0 | ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
870 | 0 | return 0; |
871 | 0 | } |
872 | 0 | if (group->meth != point->meth) { |
873 | 0 | ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GF2M, |
874 | 0 | EC_R_INCOMPATIBLE_OBJECTS); |
875 | 0 | return 0; |
876 | 0 | } |
877 | 0 | return group->meth->point_set_affine_coordinates(group, point, x, y, ctx); |
878 | 0 | } |
879 | | #endif |
880 | | |
881 | | int EC_POINT_get_affine_coordinates_GFp(const EC_GROUP *group, |
882 | | const EC_POINT *point, BIGNUM *x, |
883 | | BIGNUM *y, BN_CTX *ctx) |
884 | 0 | { |
885 | 0 | if (group->meth->point_get_affine_coordinates == 0) { |
886 | 0 | ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP, |
887 | 0 | ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
888 | 0 | return 0; |
889 | 0 | } |
890 | 0 | if (group->meth != point->meth) { |
891 | 0 | ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP, |
892 | 0 | EC_R_INCOMPATIBLE_OBJECTS); |
893 | 0 | return 0; |
894 | 0 | } |
895 | 0 | return group->meth->point_get_affine_coordinates(group, point, x, y, ctx); |
896 | 0 | } |
897 | | |
898 | | #ifndef OPENSSL_NO_EC2M |
899 | | int EC_POINT_get_affine_coordinates_GF2m(const EC_GROUP *group, |
900 | | const EC_POINT *point, BIGNUM *x, |
901 | | BIGNUM *y, BN_CTX *ctx) |
902 | 0 | { |
903 | 0 | if (group->meth->point_get_affine_coordinates == 0) { |
904 | 0 | ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GF2M, |
905 | 0 | ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
906 | 0 | return 0; |
907 | 0 | } |
908 | 0 | if (group->meth != point->meth) { |
909 | 0 | ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GF2M, |
910 | 0 | EC_R_INCOMPATIBLE_OBJECTS); |
911 | 0 | return 0; |
912 | 0 | } |
913 | 0 | return group->meth->point_get_affine_coordinates(group, point, x, y, ctx); |
914 | 0 | } |
915 | | #endif |
916 | | |
917 | | int EC_POINT_add(const EC_GROUP *group, EC_POINT *r, const EC_POINT *a, |
918 | | const EC_POINT *b, BN_CTX *ctx) |
919 | 0 | { |
920 | 0 | if (group->meth->add == 0) { |
921 | 0 | ECerr(EC_F_EC_POINT_ADD, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
922 | 0 | return 0; |
923 | 0 | } |
924 | 0 | if ((group->meth != r->meth) || (r->meth != a->meth) |
925 | 0 | || (a->meth != b->meth)) { |
926 | 0 | ECerr(EC_F_EC_POINT_ADD, EC_R_INCOMPATIBLE_OBJECTS); |
927 | 0 | return 0; |
928 | 0 | } |
929 | 0 | return group->meth->add(group, r, a, b, ctx); |
930 | 0 | } |
931 | | |
932 | | int EC_POINT_dbl(const EC_GROUP *group, EC_POINT *r, const EC_POINT *a, |
933 | | BN_CTX *ctx) |
934 | 0 | { |
935 | 0 | if (group->meth->dbl == 0) { |
936 | 0 | ECerr(EC_F_EC_POINT_DBL, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
937 | 0 | return 0; |
938 | 0 | } |
939 | 0 | if ((group->meth != r->meth) || (r->meth != a->meth)) { |
940 | 0 | ECerr(EC_F_EC_POINT_DBL, EC_R_INCOMPATIBLE_OBJECTS); |
941 | 0 | return 0; |
942 | 0 | } |
943 | 0 | return group->meth->dbl(group, r, a, ctx); |
944 | 0 | } |
945 | | |
946 | | int EC_POINT_invert(const EC_GROUP *group, EC_POINT *a, BN_CTX *ctx) |
947 | 0 | { |
948 | 0 | if (group->meth->invert == 0) { |
949 | 0 | ECerr(EC_F_EC_POINT_INVERT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
950 | 0 | return 0; |
951 | 0 | } |
952 | 0 | if (group->meth != a->meth) { |
953 | 0 | ECerr(EC_F_EC_POINT_INVERT, EC_R_INCOMPATIBLE_OBJECTS); |
954 | 0 | return 0; |
955 | 0 | } |
956 | 0 | return group->meth->invert(group, a, ctx); |
957 | 0 | } |
958 | | |
959 | | int EC_POINT_is_at_infinity(const EC_GROUP *group, const EC_POINT *point) |
960 | 0 | { |
961 | 0 | if (group->meth->is_at_infinity == 0) { |
962 | 0 | ECerr(EC_F_EC_POINT_IS_AT_INFINITY, |
963 | 0 | ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
964 | 0 | return 0; |
965 | 0 | } |
966 | 0 | if (group->meth != point->meth) { |
967 | 0 | ECerr(EC_F_EC_POINT_IS_AT_INFINITY, EC_R_INCOMPATIBLE_OBJECTS); |
968 | 0 | return 0; |
969 | 0 | } |
970 | 0 | return group->meth->is_at_infinity(group, point); |
971 | 0 | } |
972 | | |
973 | | /* |
974 | | * Check whether an EC_POINT is on the curve or not. Note that the return |
975 | | * value for this function should NOT be treated as a boolean. Return values: |
976 | | * 1: The point is on the curve |
977 | | * 0: The point is not on the curve |
978 | | * -1: An error occurred |
979 | | */ |
980 | | int EC_POINT_is_on_curve(const EC_GROUP *group, const EC_POINT *point, |
981 | | BN_CTX *ctx) |
982 | 0 | { |
983 | 0 | if (group->meth->is_on_curve == 0) { |
984 | 0 | ECerr(EC_F_EC_POINT_IS_ON_CURVE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
985 | 0 | return 0; |
986 | 0 | } |
987 | 0 | if (group->meth != point->meth) { |
988 | 0 | ECerr(EC_F_EC_POINT_IS_ON_CURVE, EC_R_INCOMPATIBLE_OBJECTS); |
989 | 0 | return 0; |
990 | 0 | } |
991 | 0 | return group->meth->is_on_curve(group, point, ctx); |
992 | 0 | } |
993 | | |
994 | | int EC_POINT_cmp(const EC_GROUP *group, const EC_POINT *a, const EC_POINT *b, |
995 | | BN_CTX *ctx) |
996 | 0 | { |
997 | 0 | if (group->meth->point_cmp == 0) { |
998 | 0 | ECerr(EC_F_EC_POINT_CMP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
999 | 0 | return -1; |
1000 | 0 | } |
1001 | 0 | if ((group->meth != a->meth) || (a->meth != b->meth)) { |
1002 | 0 | ECerr(EC_F_EC_POINT_CMP, EC_R_INCOMPATIBLE_OBJECTS); |
1003 | 0 | return -1; |
1004 | 0 | } |
1005 | 0 | return group->meth->point_cmp(group, a, b, ctx); |
1006 | 0 | } |
1007 | | |
1008 | | int EC_POINT_make_affine(const EC_GROUP *group, EC_POINT *point, BN_CTX *ctx) |
1009 | 0 | { |
1010 | 0 | if (group->meth->make_affine == 0) { |
1011 | 0 | ECerr(EC_F_EC_POINT_MAKE_AFFINE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
1012 | 0 | return 0; |
1013 | 0 | } |
1014 | 0 | if (group->meth != point->meth) { |
1015 | 0 | ECerr(EC_F_EC_POINT_MAKE_AFFINE, EC_R_INCOMPATIBLE_OBJECTS); |
1016 | 0 | return 0; |
1017 | 0 | } |
1018 | 0 | return group->meth->make_affine(group, point, ctx); |
1019 | 0 | } |
1020 | | |
1021 | | int EC_POINTs_make_affine(const EC_GROUP *group, size_t num, |
1022 | | EC_POINT *points[], BN_CTX *ctx) |
1023 | 0 | { |
1024 | 0 | size_t i; |
1025 | |
|
1026 | 0 | if (group->meth->points_make_affine == 0) { |
1027 | 0 | ECerr(EC_F_EC_POINTS_MAKE_AFFINE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
1028 | 0 | return 0; |
1029 | 0 | } |
1030 | 0 | for (i = 0; i < num; i++) { |
1031 | 0 | if (group->meth != points[i]->meth) { |
1032 | 0 | ECerr(EC_F_EC_POINTS_MAKE_AFFINE, EC_R_INCOMPATIBLE_OBJECTS); |
1033 | 0 | return 0; |
1034 | 0 | } |
1035 | 0 | } |
1036 | 0 | return group->meth->points_make_affine(group, num, points, ctx); |
1037 | 0 | } |
1038 | | |
1039 | | /* |
1040 | | * Functions for point multiplication. If group->meth->mul is 0, we use the |
1041 | | * wNAF-based implementations in ec_mult.c; otherwise we dispatch through |
1042 | | * methods. |
1043 | | */ |
1044 | | |
1045 | | int EC_POINTs_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar, |
1046 | | size_t num, const EC_POINT *points[], |
1047 | | const BIGNUM *scalars[], BN_CTX *ctx) |
1048 | 0 | { |
1049 | 0 | if (group->meth->mul == 0) |
1050 | | /* use default */ |
1051 | 0 | return ec_wNAF_mul(group, r, scalar, num, points, scalars, ctx); |
1052 | | |
1053 | 0 | return group->meth->mul(group, r, scalar, num, points, scalars, ctx); |
1054 | 0 | } |
1055 | | |
1056 | | int EC_POINT_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *g_scalar, |
1057 | | const EC_POINT *point, const BIGNUM *p_scalar, BN_CTX *ctx) |
1058 | 0 | { |
1059 | | /* just a convenient interface to EC_POINTs_mul() */ |
1060 | |
|
1061 | 0 | const EC_POINT *points[1]; |
1062 | 0 | const BIGNUM *scalars[1]; |
1063 | |
|
1064 | 0 | points[0] = point; |
1065 | 0 | scalars[0] = p_scalar; |
1066 | |
|
1067 | 0 | return EC_POINTs_mul(group, r, g_scalar, |
1068 | 0 | (point != NULL |
1069 | 0 | && p_scalar != NULL), points, scalars, ctx); |
1070 | 0 | } |
1071 | | |
1072 | | int EC_GROUP_precompute_mult(EC_GROUP *group, BN_CTX *ctx) |
1073 | 0 | { |
1074 | 0 | if (group->meth->mul == 0) |
1075 | | /* use default */ |
1076 | 0 | return ec_wNAF_precompute_mult(group, ctx); |
1077 | | |
1078 | 0 | if (group->meth->precompute_mult != 0) |
1079 | 0 | return group->meth->precompute_mult(group, ctx); |
1080 | 0 | else |
1081 | 0 | return 1; /* nothing to do, so report success */ |
1082 | 0 | } |
1083 | | |
1084 | | int EC_GROUP_have_precompute_mult(const EC_GROUP *group) |
1085 | 0 | { |
1086 | 0 | if (group->meth->mul == 0) |
1087 | | /* use default */ |
1088 | 0 | return ec_wNAF_have_precompute_mult(group); |
1089 | | |
1090 | 0 | if (group->meth->have_precompute_mult != 0) |
1091 | 0 | return group->meth->have_precompute_mult(group); |
1092 | 0 | else |
1093 | 0 | return 0; /* cannot tell whether precomputation has |
1094 | | * been performed */ |
1095 | 0 | } |
1096 | | |
1097 | | /* |
1098 | | * ec_precompute_mont_data sets |group->mont_data| from |group->order| and |
1099 | | * returns one on success. On error it returns zero. |
1100 | | */ |
1101 | | int ec_precompute_mont_data(EC_GROUP *group) |
1102 | 0 | { |
1103 | 0 | BN_CTX *ctx = BN_CTX_new(); |
1104 | 0 | int ret = 0; |
1105 | |
|
1106 | 0 | if (!EC_GROUP_VERSION(group)) |
1107 | 0 | goto err; |
1108 | | |
1109 | 0 | if (group->mont_data) { |
1110 | 0 | BN_MONT_CTX_free(group->mont_data); |
1111 | 0 | group->mont_data = NULL; |
1112 | 0 | } |
1113 | |
|
1114 | 0 | if (ctx == NULL) |
1115 | 0 | goto err; |
1116 | | |
1117 | 0 | group->mont_data = BN_MONT_CTX_new(); |
1118 | 0 | if (!group->mont_data) |
1119 | 0 | goto err; |
1120 | | |
1121 | 0 | if (!BN_MONT_CTX_set(group->mont_data, &group->order, ctx)) { |
1122 | 0 | BN_MONT_CTX_free(group->mont_data); |
1123 | 0 | group->mont_data = NULL; |
1124 | 0 | goto err; |
1125 | 0 | } |
1126 | | |
1127 | 0 | ret = 1; |
1128 | |
|
1129 | 0 | err: |
1130 | |
|
1131 | 0 | if (ctx) |
1132 | 0 | BN_CTX_free(ctx); |
1133 | 0 | return ret; |
1134 | 0 | } |