]> git.ipfire.org Git - thirdparty/openssl.git/blame - crypto/ec/ec_lib.c
Add missing RAND_DRBG locking
[thirdparty/openssl.git] / crypto / ec / ec_lib.c
CommitLineData
35b73a1f 1/*
aa6bb135 2 * Copyright 2001-2016 The OpenSSL Project Authors. All Rights Reserved.
aa8f3d76 3 * Copyright (c) 2002, Oracle and/or its affiliates. All rights reserved
65e81670 4 *
aa6bb135
RS
5 * Licensed under the OpenSSL license (the "License"). You may not use
6 * this file except in compliance with the License. You can obtain a copy
7 * in the file LICENSE in the source distribution or at
8 * https://www.openssl.org/source/license.html
65e81670 9 */
aa6bb135 10
c4b36ff4
BM
11#include <string.h>
12
0657bf9c 13#include <openssl/err.h>
bb62a8b0 14#include <openssl/opensslv.h>
0657bf9c 15
65e81670 16#include "ec_lcl.h"
0657bf9c 17
0657bf9c
BM
18/* functions for EC_GROUP objects */
19
20EC_GROUP *EC_GROUP_new(const EC_METHOD *meth)
0f113f3e
MC
21{
22 EC_GROUP *ret;
23
24 if (meth == NULL) {
25 ECerr(EC_F_EC_GROUP_NEW, EC_R_SLOT_FULL);
26 return NULL;
27 }
28 if (meth->group_init == 0) {
29 ECerr(EC_F_EC_GROUP_NEW, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
30 return NULL;
31 }
32
64b25758 33 ret = OPENSSL_zalloc(sizeof(*ret));
0f113f3e
MC
34 if (ret == NULL) {
35 ECerr(EC_F_EC_GROUP_NEW, ERR_R_MALLOC_FAILURE);
36 return NULL;
37 }
38
39 ret->meth = meth;
6903e2e7
DSH
40 if ((ret->meth->flags & EC_FLAGS_CUSTOM_CURVE) == 0) {
41 ret->order = BN_new();
42 if (ret->order == NULL)
43 goto err;
44 ret->cofactor = BN_new();
45 if (ret->cofactor == NULL)
46 goto err;
47 }
86f300d3 48 ret->asn1_flag = OPENSSL_EC_NAMED_CURVE;
0f113f3e 49 ret->asn1_form = POINT_CONVERSION_UNCOMPRESSED;
0f113f3e
MC
50 if (!meth->group_init(ret))
51 goto err;
0f113f3e 52 return ret;
64b25758 53
0f113f3e 54 err:
23a1d5e9
RS
55 BN_free(ret->order);
56 BN_free(ret->cofactor);
0f113f3e
MC
57 OPENSSL_free(ret);
58 return NULL;
59}
0657bf9c 60
2c52ac9b 61void EC_pre_comp_free(EC_GROUP *group)
3aef36ff
RS
62{
63 switch (group->pre_comp_type) {
f3b3d7f0 64 case PCT_none:
3aef36ff 65 break;
66117ab0 66 case PCT_nistz256:
f3b3d7f0 67#ifdef ECP_NISTZ256_ASM
3aef36ff 68 EC_nistz256_pre_comp_free(group->pre_comp.nistz256);
e69aa800 69#endif
f3b3d7f0 70 break;
3aef36ff 71#ifndef OPENSSL_NO_EC_NISTP_64_GCC_128
66117ab0 72 case PCT_nistp224:
3aef36ff
RS
73 EC_nistp224_pre_comp_free(group->pre_comp.nistp224);
74 break;
66117ab0 75 case PCT_nistp256:
3aef36ff
RS
76 EC_nistp256_pre_comp_free(group->pre_comp.nistp256);
77 break;
66117ab0 78 case PCT_nistp521:
3aef36ff
RS
79 EC_nistp521_pre_comp_free(group->pre_comp.nistp521);
80 break;
f3b3d7f0
RS
81#else
82 case PCT_nistp224:
83 case PCT_nistp256:
84 case PCT_nistp521:
85 break;
3aef36ff 86#endif
66117ab0 87 case PCT_ec:
3aef36ff
RS
88 EC_ec_pre_comp_free(group->pre_comp.ec);
89 break;
90 }
91 group->pre_comp.ec = NULL;
92}
93
0657bf9c 94void EC_GROUP_free(EC_GROUP *group)
0f113f3e
MC
95{
96 if (!group)
97 return;
7711de24 98
0f113f3e
MC
99 if (group->meth->group_finish != 0)
100 group->meth->group_finish(group);
df9cc153 101
2c52ac9b 102 EC_pre_comp_free(group);
23a1d5e9 103 BN_MONT_CTX_free(group->mont_data);
8fdc3734 104 EC_POINT_free(group->generator);
0f113f3e
MC
105 BN_free(group->order);
106 BN_free(group->cofactor);
25aaa98a 107 OPENSSL_free(group->seed);
0f113f3e
MC
108 OPENSSL_free(group);
109}
0657bf9c
BM
110
111void EC_GROUP_clear_free(EC_GROUP *group)
0f113f3e
MC
112{
113 if (!group)
114 return;
df9cc153 115
0f113f3e
MC
116 if (group->meth->group_clear_finish != 0)
117 group->meth->group_clear_finish(group);
118 else if (group->meth->group_finish != 0)
119 group->meth->group_finish(group);
df9cc153 120
2c52ac9b 121 EC_pre_comp_free(group);
23a1d5e9 122 BN_MONT_CTX_free(group->mont_data);
8fdc3734 123 EC_POINT_clear_free(group->generator);
0f113f3e
MC
124 BN_clear_free(group->order);
125 BN_clear_free(group->cofactor);
4b45c6e5 126 OPENSSL_clear_free(group->seed, group->seed_len);
b4faea50 127 OPENSSL_clear_free(group, sizeof(*group));
0f113f3e 128}
0657bf9c
BM
129
130int EC_GROUP_copy(EC_GROUP *dest, const EC_GROUP *src)
0f113f3e 131{
0f113f3e
MC
132 if (dest->meth->group_copy == 0) {
133 ECerr(EC_F_EC_GROUP_COPY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
134 return 0;
135 }
136 if (dest->meth != src->meth) {
137 ECerr(EC_F_EC_GROUP_COPY, EC_R_INCOMPATIBLE_OBJECTS);
138 return 0;
139 }
140 if (dest == src)
141 return 1;
142
3aef36ff
RS
143 /* Copy precomputed */
144 dest->pre_comp_type = src->pre_comp_type;
145 switch (src->pre_comp_type) {
f3b3d7f0 146 case PCT_none:
3aef36ff
RS
147 dest->pre_comp.ec = NULL;
148 break;
66117ab0 149 case PCT_nistz256:
f3b3d7f0 150#ifdef ECP_NISTZ256_ASM
3aef36ff 151 dest->pre_comp.nistz256 = EC_nistz256_pre_comp_dup(src->pre_comp.nistz256);
e69aa800 152#endif
f3b3d7f0 153 break;
3aef36ff 154#ifndef OPENSSL_NO_EC_NISTP_64_GCC_128
66117ab0 155 case PCT_nistp224:
3aef36ff
RS
156 dest->pre_comp.nistp224 = EC_nistp224_pre_comp_dup(src->pre_comp.nistp224);
157 break;
66117ab0 158 case PCT_nistp256:
3aef36ff
RS
159 dest->pre_comp.nistp256 = EC_nistp256_pre_comp_dup(src->pre_comp.nistp256);
160 break;
66117ab0 161 case PCT_nistp521:
3aef36ff
RS
162 dest->pre_comp.nistp521 = EC_nistp521_pre_comp_dup(src->pre_comp.nistp521);
163 break;
f3b3d7f0
RS
164#else
165 case PCT_nistp224:
166 case PCT_nistp256:
167 case PCT_nistp521:
168 break;
3aef36ff 169#endif
66117ab0 170 case PCT_ec:
3aef36ff
RS
171 dest->pre_comp.ec = EC_ec_pre_comp_dup(src->pre_comp.ec);
172 break;
0f113f3e
MC
173 }
174
175 if (src->mont_data != NULL) {
176 if (dest->mont_data == NULL) {
177 dest->mont_data = BN_MONT_CTX_new();
178 if (dest->mont_data == NULL)
179 return 0;
180 }
181 if (!BN_MONT_CTX_copy(dest->mont_data, src->mont_data))
182 return 0;
183 } else {
184 /* src->generator == NULL */
23a1d5e9
RS
185 BN_MONT_CTX_free(dest->mont_data);
186 dest->mont_data = NULL;
0f113f3e 187 }
0657bf9c 188
0f113f3e
MC
189 if (src->generator != NULL) {
190 if (dest->generator == NULL) {
191 dest->generator = EC_POINT_new(dest);
192 if (dest->generator == NULL)
193 return 0;
194 }
195 if (!EC_POINT_copy(dest->generator, src->generator))
196 return 0;
197 } else {
198 /* src->generator == NULL */
8fdc3734
RS
199 EC_POINT_clear_free(dest->generator);
200 dest->generator = NULL;
0f113f3e
MC
201 }
202
6903e2e7
DSH
203 if ((src->meth->flags & EC_FLAGS_CUSTOM_CURVE) == 0) {
204 if (!BN_copy(dest->order, src->order))
205 return 0;
206 if (!BN_copy(dest->cofactor, src->cofactor))
207 return 0;
208 }
0f113f3e
MC
209
210 dest->curve_name = src->curve_name;
211 dest->asn1_flag = src->asn1_flag;
212 dest->asn1_form = src->asn1_form;
213
214 if (src->seed) {
b548a1f1 215 OPENSSL_free(dest->seed);
0f113f3e
MC
216 dest->seed = OPENSSL_malloc(src->seed_len);
217 if (dest->seed == NULL)
218 return 0;
219 if (!memcpy(dest->seed, src->seed, src->seed_len))
220 return 0;
221 dest->seed_len = src->seed_len;
222 } else {
b548a1f1 223 OPENSSL_free(dest->seed);
0f113f3e
MC
224 dest->seed = NULL;
225 dest->seed_len = 0;
226 }
227
228 return dest->meth->group_copy(dest, src);
229}
0657bf9c 230
7793f30e 231EC_GROUP *EC_GROUP_dup(const EC_GROUP *a)
0f113f3e
MC
232{
233 EC_GROUP *t = NULL;
234 int ok = 0;
7793f30e 235
0f113f3e
MC
236 if (a == NULL)
237 return NULL;
7793f30e 238
0f113f3e
MC
239 if ((t = EC_GROUP_new(a->meth)) == NULL)
240 return (NULL);
241 if (!EC_GROUP_copy(t, a))
242 goto err;
7793f30e 243
0f113f3e 244 ok = 1;
7793f30e 245
0f113f3e
MC
246 err:
247 if (!ok) {
8fdc3734 248 EC_GROUP_free(t);
0f113f3e 249 return NULL;
8fdc3734 250 }
0f113f3e
MC
251 return t;
252}
7793f30e 253
48fe4d62 254const EC_METHOD *EC_GROUP_method_of(const EC_GROUP *group)
0f113f3e
MC
255{
256 return group->meth;
257}
48fe4d62 258
458c2917 259int EC_METHOD_get_field_type(const EC_METHOD *meth)
0f113f3e
MC
260{
261 return meth->field_type;
262}
263
264int EC_GROUP_set_generator(EC_GROUP *group, const EC_POINT *generator,
265 const BIGNUM *order, const BIGNUM *cofactor)
266{
267 if (generator == NULL) {
268 ECerr(EC_F_EC_GROUP_SET_GENERATOR, ERR_R_PASSED_NULL_PARAMETER);
269 return 0;
270 }
271
272 if (group->generator == NULL) {
273 group->generator = EC_POINT_new(group);
274 if (group->generator == NULL)
275 return 0;
276 }
277 if (!EC_POINT_copy(group->generator, generator))
278 return 0;
279
280 if (order != NULL) {
281 if (!BN_copy(group->order, order))
282 return 0;
283 } else
284 BN_zero(group->order);
285
286 if (cofactor != NULL) {
287 if (!BN_copy(group->cofactor, cofactor))
288 return 0;
289 } else
290 BN_zero(group->cofactor);
291
292 /*
3a6a4a93 293 * Some groups have an order with
0f113f3e
MC
294 * factors of two, which makes the Montgomery setup fail.
295 * |group->mont_data| will be NULL in this case.
296 */
3a6a4a93
BB
297 if (BN_is_odd(group->order)) {
298 return ec_precompute_mont_data(group);
299 }
0f113f3e 300
3a6a4a93
BB
301 BN_MONT_CTX_free(group->mont_data);
302 group->mont_data = NULL;
0f113f3e
MC
303 return 1;
304}
bb62a8b0 305
9dd84053 306const EC_POINT *EC_GROUP_get0_generator(const EC_GROUP *group)
0f113f3e
MC
307{
308 return group->generator;
309}
bb62a8b0 310
f54be179 311BN_MONT_CTX *EC_GROUP_get_mont_data(const EC_GROUP *group)
0f113f3e
MC
312{
313 return group->mont_data;
314}
bb62a8b0 315
b6db386f 316int EC_GROUP_get_order(const EC_GROUP *group, BIGNUM *order, BN_CTX *ctx)
0f113f3e 317{
be2e334f
DSH
318 if (group->order == NULL)
319 return 0;
0f113f3e
MC
320 if (!BN_copy(order, group->order))
321 return 0;
0657bf9c 322
0f113f3e
MC
323 return !BN_is_zero(order);
324}
0657bf9c 325
be2e334f
DSH
326const BIGNUM *EC_GROUP_get0_order(const EC_GROUP *group)
327{
328 return group->order;
329}
330
331int EC_GROUP_order_bits(const EC_GROUP *group)
332{
77470e98 333 return group->meth->group_order_bits(group);
be2e334f
DSH
334}
335
0f113f3e
MC
336int EC_GROUP_get_cofactor(const EC_GROUP *group, BIGNUM *cofactor,
337 BN_CTX *ctx)
338{
be2e334f
DSH
339
340 if (group->cofactor == NULL)
341 return 0;
0f113f3e
MC
342 if (!BN_copy(cofactor, group->cofactor))
343 return 0;
48fe4d62 344
0f113f3e
MC
345 return !BN_is_zero(group->cofactor);
346}
48fe4d62 347
be2e334f
DSH
348const BIGNUM *EC_GROUP_get0_cofactor(const EC_GROUP *group)
349{
350 return group->cofactor;
351}
352
7dc17a6c 353void EC_GROUP_set_curve_name(EC_GROUP *group, int nid)
0f113f3e
MC
354{
355 group->curve_name = nid;
356}
b6db386f 357
7dc17a6c 358int EC_GROUP_get_curve_name(const EC_GROUP *group)
0f113f3e
MC
359{
360 return group->curve_name;
361}
b6db386f 362
458c2917 363void EC_GROUP_set_asn1_flag(EC_GROUP *group, int flag)
0f113f3e
MC
364{
365 group->asn1_flag = flag;
366}
458c2917
BM
367
368int EC_GROUP_get_asn1_flag(const EC_GROUP *group)
0f113f3e
MC
369{
370 return group->asn1_flag;
371}
458c2917 372
0f113f3e 373void EC_GROUP_set_point_conversion_form(EC_GROUP *group,
254ef80d 374 point_conversion_form_t form)
0f113f3e
MC
375{
376 group->asn1_form = form;
377}
254ef80d 378
0f113f3e
MC
379point_conversion_form_t EC_GROUP_get_point_conversion_form(const EC_GROUP
380 *group)
381{
382 return group->asn1_form;
383}
254ef80d 384
5f3d6f70 385size_t EC_GROUP_set_seed(EC_GROUP *group, const unsigned char *p, size_t len)
0f113f3e 386{
b548a1f1
RS
387 OPENSSL_free(group->seed);
388 group->seed = NULL;
389 group->seed_len = 0;
5f3d6f70 390
0f113f3e
MC
391 if (!len || !p)
392 return 1;
5f3d6f70 393
0f113f3e
MC
394 if ((group->seed = OPENSSL_malloc(len)) == NULL)
395 return 0;
396 memcpy(group->seed, p, len);
397 group->seed_len = len;
5f3d6f70 398
0f113f3e
MC
399 return len;
400}
5f3d6f70
BM
401
402unsigned char *EC_GROUP_get0_seed(const EC_GROUP *group)
0f113f3e
MC
403{
404 return group->seed;
405}
5f3d6f70
BM
406
407size_t EC_GROUP_get_seed_len(const EC_GROUP *group)
0f113f3e
MC
408{
409 return group->seed_len;
410}
411
412int EC_GROUP_set_curve_GFp(EC_GROUP *group, const BIGNUM *p, const BIGNUM *a,
413 const BIGNUM *b, BN_CTX *ctx)
414{
415 if (group->meth->group_set_curve == 0) {
416 ECerr(EC_F_EC_GROUP_SET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
417 return 0;
418 }
419 return group->meth->group_set_curve(group, p, a, b, ctx);
420}
421
422int EC_GROUP_get_curve_GFp(const EC_GROUP *group, BIGNUM *p, BIGNUM *a,
423 BIGNUM *b, BN_CTX *ctx)
424{
425 if (group->meth->group_get_curve == 0) {
426 ECerr(EC_F_EC_GROUP_GET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
427 return 0;
428 }
429 return group->meth->group_get_curve(group, p, a, b, ctx);
430}
7793f30e 431
b3310161 432#ifndef OPENSSL_NO_EC2M
0f113f3e
MC
433int EC_GROUP_set_curve_GF2m(EC_GROUP *group, const BIGNUM *p, const BIGNUM *a,
434 const BIGNUM *b, BN_CTX *ctx)
435{
436 if (group->meth->group_set_curve == 0) {
437 ECerr(EC_F_EC_GROUP_SET_CURVE_GF2M,
438 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
439 return 0;
440 }
441 return group->meth->group_set_curve(group, p, a, b, ctx);
442}
443
444int EC_GROUP_get_curve_GF2m(const EC_GROUP *group, BIGNUM *p, BIGNUM *a,
445 BIGNUM *b, BN_CTX *ctx)
446{
447 if (group->meth->group_get_curve == 0) {
448 ECerr(EC_F_EC_GROUP_GET_CURVE_GF2M,
449 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
450 return 0;
451 }
452 return group->meth->group_get_curve(group, p, a, b, ctx);
453}
b3310161 454#endif
7793f30e
BM
455
456int EC_GROUP_get_degree(const EC_GROUP *group)
0f113f3e
MC
457{
458 if (group->meth->group_get_degree == 0) {
459 ECerr(EC_F_EC_GROUP_GET_DEGREE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
460 return 0;
461 }
462 return group->meth->group_get_degree(group);
463}
48fe4d62 464
17d6bb81 465int EC_GROUP_check_discriminant(const EC_GROUP *group, BN_CTX *ctx)
0f113f3e
MC
466{
467 if (group->meth->group_check_discriminant == 0) {
468 ECerr(EC_F_EC_GROUP_CHECK_DISCRIMINANT,
469 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
470 return 0;
471 }
472 return group->meth->group_check_discriminant(group, ctx);
473}
af28dd6c 474
ada0e717 475int EC_GROUP_cmp(const EC_GROUP *a, const EC_GROUP *b, BN_CTX *ctx)
0f113f3e
MC
476{
477 int r = 0;
478 BIGNUM *a1, *a2, *a3, *b1, *b2, *b3;
479 BN_CTX *ctx_new = NULL;
480
481 /* compare the field types */
482 if (EC_METHOD_get_field_type(EC_GROUP_method_of(a)) !=
483 EC_METHOD_get_field_type(EC_GROUP_method_of(b)))
484 return 1;
485 /* compare the curve name (if present in both) */
486 if (EC_GROUP_get_curve_name(a) && EC_GROUP_get_curve_name(b) &&
487 EC_GROUP_get_curve_name(a) != EC_GROUP_get_curve_name(b))
488 return 1;
6903e2e7
DSH
489 if (a->meth->flags & EC_FLAGS_CUSTOM_CURVE)
490 return 0;
0f113f3e 491
90945fa3 492 if (ctx == NULL)
0f113f3e 493 ctx_new = ctx = BN_CTX_new();
90945fa3 494 if (ctx == NULL)
0f113f3e
MC
495 return -1;
496
497 BN_CTX_start(ctx);
498 a1 = BN_CTX_get(ctx);
499 a2 = BN_CTX_get(ctx);
500 a3 = BN_CTX_get(ctx);
501 b1 = BN_CTX_get(ctx);
502 b2 = BN_CTX_get(ctx);
503 b3 = BN_CTX_get(ctx);
90945fa3 504 if (b3 == NULL) {
0f113f3e 505 BN_CTX_end(ctx);
23a1d5e9 506 BN_CTX_free(ctx_new);
0f113f3e
MC
507 return -1;
508 }
509
510 /*
511 * XXX This approach assumes that the external representation of curves
512 * over the same field type is the same.
513 */
514 if (!a->meth->group_get_curve(a, a1, a2, a3, ctx) ||
515 !b->meth->group_get_curve(b, b1, b2, b3, ctx))
516 r = 1;
517
518 if (r || BN_cmp(a1, b1) || BN_cmp(a2, b2) || BN_cmp(a3, b3))
519 r = 1;
520
521 /* XXX EC_POINT_cmp() assumes that the methods are equal */
522 if (r || EC_POINT_cmp(a, EC_GROUP_get0_generator(a),
523 EC_GROUP_get0_generator(b), ctx))
524 r = 1;
525
526 if (!r) {
be2e334f 527 const BIGNUM *ao, *bo, *ac, *bc;
0f113f3e 528 /* compare the order and cofactor */
be2e334f
DSH
529 ao = EC_GROUP_get0_order(a);
530 bo = EC_GROUP_get0_order(b);
531 ac = EC_GROUP_get0_cofactor(a);
532 bc = EC_GROUP_get0_cofactor(b);
533 if (ao == NULL || bo == NULL) {
0f113f3e 534 BN_CTX_end(ctx);
23a1d5e9 535 BN_CTX_free(ctx_new);
0f113f3e
MC
536 return -1;
537 }
be2e334f 538 if (BN_cmp(ao, bo) || BN_cmp(ac, bc))
0f113f3e
MC
539 r = 1;
540 }
541
542 BN_CTX_end(ctx);
23a1d5e9 543 BN_CTX_free(ctx_new);
ada0e717 544
0f113f3e
MC
545 return r;
546}
ada0e717 547
0657bf9c
BM
548/* functions for EC_POINT objects */
549
550EC_POINT *EC_POINT_new(const EC_GROUP *group)
0f113f3e
MC
551{
552 EC_POINT *ret;
553
554 if (group == NULL) {
555 ECerr(EC_F_EC_POINT_NEW, ERR_R_PASSED_NULL_PARAMETER);
556 return NULL;
557 }
558 if (group->meth->point_init == 0) {
559 ECerr(EC_F_EC_POINT_NEW, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
560 return NULL;
561 }
562
1b4cf96f 563 ret = OPENSSL_zalloc(sizeof(*ret));
0f113f3e
MC
564 if (ret == NULL) {
565 ECerr(EC_F_EC_POINT_NEW, ERR_R_MALLOC_FAILURE);
566 return NULL;
567 }
568
569 ret->meth = group->meth;
570
571 if (!ret->meth->point_init(ret)) {
572 OPENSSL_free(ret);
573 return NULL;
574 }
575
576 return ret;
577}
0657bf9c
BM
578
579void EC_POINT_free(EC_POINT *point)
0f113f3e
MC
580{
581 if (!point)
582 return;
7711de24 583
0f113f3e
MC
584 if (point->meth->point_finish != 0)
585 point->meth->point_finish(point);
586 OPENSSL_free(point);
587}
0657bf9c
BM
588
589void EC_POINT_clear_free(EC_POINT *point)
0f113f3e
MC
590{
591 if (!point)
592 return;
593
594 if (point->meth->point_clear_finish != 0)
595 point->meth->point_clear_finish(point);
596 else if (point->meth->point_finish != 0)
597 point->meth->point_finish(point);
b4faea50 598 OPENSSL_clear_free(point, sizeof(*point));
0f113f3e 599}
0657bf9c
BM
600
601int EC_POINT_copy(EC_POINT *dest, const EC_POINT *src)
0f113f3e
MC
602{
603 if (dest->meth->point_copy == 0) {
604 ECerr(EC_F_EC_POINT_COPY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
605 return 0;
606 }
607 if (dest->meth != src->meth) {
608 ECerr(EC_F_EC_POINT_COPY, EC_R_INCOMPATIBLE_OBJECTS);
609 return 0;
610 }
611 if (dest == src)
612 return 1;
613 return dest->meth->point_copy(dest, src);
614}
0657bf9c 615
7793f30e 616EC_POINT *EC_POINT_dup(const EC_POINT *a, const EC_GROUP *group)
0f113f3e
MC
617{
618 EC_POINT *t;
619 int r;
620
621 if (a == NULL)
622 return NULL;
623
624 t = EC_POINT_new(group);
625 if (t == NULL)
626 return (NULL);
627 r = EC_POINT_copy(t, a);
628 if (!r) {
629 EC_POINT_free(t);
630 return NULL;
8fdc3734
RS
631 }
632 return t;
0f113f3e 633}
7793f30e 634
48fe4d62 635const EC_METHOD *EC_POINT_method_of(const EC_POINT *point)
0f113f3e
MC
636{
637 return point->meth;
638}
48fe4d62 639
226cc7de 640int EC_POINT_set_to_infinity(const EC_GROUP *group, EC_POINT *point)
0f113f3e
MC
641{
642 if (group->meth->point_set_to_infinity == 0) {
643 ECerr(EC_F_EC_POINT_SET_TO_INFINITY,
644 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
645 return 0;
646 }
647 if (group->meth != point->meth) {
648 ECerr(EC_F_EC_POINT_SET_TO_INFINITY, EC_R_INCOMPATIBLE_OBJECTS);
649 return 0;
650 }
651 return group->meth->point_set_to_infinity(group, point);
652}
653
654int EC_POINT_set_Jprojective_coordinates_GFp(const EC_GROUP *group,
655 EC_POINT *point, const BIGNUM *x,
656 const BIGNUM *y, const BIGNUM *z,
657 BN_CTX *ctx)
658{
659 if (group->meth->point_set_Jprojective_coordinates_GFp == 0) {
660 ECerr(EC_F_EC_POINT_SET_JPROJECTIVE_COORDINATES_GFP,
661 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
662 return 0;
663 }
664 if (group->meth != point->meth) {
665 ECerr(EC_F_EC_POINT_SET_JPROJECTIVE_COORDINATES_GFP,
666 EC_R_INCOMPATIBLE_OBJECTS);
667 return 0;
668 }
669 return group->meth->point_set_Jprojective_coordinates_GFp(group, point, x,
670 y, z, ctx);
671}
672
673int EC_POINT_get_Jprojective_coordinates_GFp(const EC_GROUP *group,
674 const EC_POINT *point, BIGNUM *x,
675 BIGNUM *y, BIGNUM *z,
676 BN_CTX *ctx)
677{
678 if (group->meth->point_get_Jprojective_coordinates_GFp == 0) {
679 ECerr(EC_F_EC_POINT_GET_JPROJECTIVE_COORDINATES_GFP,
680 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
681 return 0;
682 }
683 if (group->meth != point->meth) {
684 ECerr(EC_F_EC_POINT_GET_JPROJECTIVE_COORDINATES_GFP,
685 EC_R_INCOMPATIBLE_OBJECTS);
686 return 0;
687 }
688 return group->meth->point_get_Jprojective_coordinates_GFp(group, point, x,
689 y, z, ctx);
690}
691
692int EC_POINT_set_affine_coordinates_GFp(const EC_GROUP *group,
693 EC_POINT *point, const BIGNUM *x,
694 const BIGNUM *y, BN_CTX *ctx)
695{
696 if (group->meth->point_set_affine_coordinates == 0) {
697 ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP,
698 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
699 return 0;
700 }
701 if (group->meth != point->meth) {
702 ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP,
703 EC_R_INCOMPATIBLE_OBJECTS);
704 return 0;
705 }
1e2012b7
EK
706 if (!group->meth->point_set_affine_coordinates(group, point, x, y, ctx))
707 return 0;
708
709 if (EC_POINT_is_on_curve(group, point, ctx) <= 0) {
710 ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP,
711 EC_R_POINT_IS_NOT_ON_CURVE);
712 return 0;
713 }
714 return 1;
0f113f3e 715}
226cc7de 716
b3310161 717#ifndef OPENSSL_NO_EC2M
0f113f3e
MC
718int EC_POINT_set_affine_coordinates_GF2m(const EC_GROUP *group,
719 EC_POINT *point, const BIGNUM *x,
720 const BIGNUM *y, BN_CTX *ctx)
721{
722 if (group->meth->point_set_affine_coordinates == 0) {
723 ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GF2M,
724 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
725 return 0;
726 }
727 if (group->meth != point->meth) {
728 ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GF2M,
729 EC_R_INCOMPATIBLE_OBJECTS);
730 return 0;
731 }
1e2012b7
EK
732 if (!group->meth->point_set_affine_coordinates(group, point, x, y, ctx))
733 return 0;
734
735 if (EC_POINT_is_on_curve(group, point, ctx) <= 0) {
736 ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GF2M,
737 EC_R_POINT_IS_NOT_ON_CURVE);
738 return 0;
739 }
740 return 1;
0f113f3e 741}
b3310161 742#endif
7793f30e 743
0f113f3e
MC
744int EC_POINT_get_affine_coordinates_GFp(const EC_GROUP *group,
745 const EC_POINT *point, BIGNUM *x,
746 BIGNUM *y, BN_CTX *ctx)
747{
748 if (group->meth->point_get_affine_coordinates == 0) {
749 ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP,
750 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
751 return 0;
752 }
753 if (group->meth != point->meth) {
754 ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP,
755 EC_R_INCOMPATIBLE_OBJECTS);
756 return 0;
757 }
758 return group->meth->point_get_affine_coordinates(group, point, x, y, ctx);
759}
7793f30e 760
b3310161 761#ifndef OPENSSL_NO_EC2M
0f113f3e
MC
762int EC_POINT_get_affine_coordinates_GF2m(const EC_GROUP *group,
763 const EC_POINT *point, BIGNUM *x,
764 BIGNUM *y, BN_CTX *ctx)
765{
766 if (group->meth->point_get_affine_coordinates == 0) {
767 ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GF2M,
768 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
769 return 0;
770 }
771 if (group->meth != point->meth) {
772 ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GF2M,
773 EC_R_INCOMPATIBLE_OBJECTS);
774 return 0;
775 }
776 return group->meth->point_get_affine_coordinates(group, point, x, y, ctx);
777}
b3310161 778#endif
7793f30e 779
0f113f3e
MC
780int EC_POINT_add(const EC_GROUP *group, EC_POINT *r, const EC_POINT *a,
781 const EC_POINT *b, BN_CTX *ctx)
782{
783 if (group->meth->add == 0) {
784 ECerr(EC_F_EC_POINT_ADD, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
785 return 0;
786 }
787 if ((group->meth != r->meth) || (r->meth != a->meth)
788 || (a->meth != b->meth)) {
789 ECerr(EC_F_EC_POINT_ADD, EC_R_INCOMPATIBLE_OBJECTS);
790 return 0;
791 }
792 return group->meth->add(group, r, a, b, ctx);
793}
794
795int EC_POINT_dbl(const EC_GROUP *group, EC_POINT *r, const EC_POINT *a,
796 BN_CTX *ctx)
797{
798 if (group->meth->dbl == 0) {
799 ECerr(EC_F_EC_POINT_DBL, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
800 return 0;
801 }
802 if ((group->meth != r->meth) || (r->meth != a->meth)) {
803 ECerr(EC_F_EC_POINT_DBL, EC_R_INCOMPATIBLE_OBJECTS);
804 return 0;
805 }
806 return group->meth->dbl(group, r, a, ctx);
807}
0657bf9c 808
1d5bd6cf 809int EC_POINT_invert(const EC_GROUP *group, EC_POINT *a, BN_CTX *ctx)
0f113f3e
MC
810{
811 if (group->meth->invert == 0) {
812 ECerr(EC_F_EC_POINT_INVERT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
813 return 0;
814 }
815 if (group->meth != a->meth) {
816 ECerr(EC_F_EC_POINT_INVERT, EC_R_INCOMPATIBLE_OBJECTS);
817 return 0;
818 }
819 return group->meth->invert(group, a, ctx);
820}
1d5bd6cf 821
0657bf9c 822int EC_POINT_is_at_infinity(const EC_GROUP *group, const EC_POINT *point)
0f113f3e
MC
823{
824 if (group->meth->is_at_infinity == 0) {
825 ECerr(EC_F_EC_POINT_IS_AT_INFINITY,
826 ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
827 return 0;
828 }
829 if (group->meth != point->meth) {
830 ECerr(EC_F_EC_POINT_IS_AT_INFINITY, EC_R_INCOMPATIBLE_OBJECTS);
831 return 0;
832 }
833 return group->meth->is_at_infinity(group, point);
834}
835
68886be7
MC
836/*
837 * Check whether an EC_POINT is on the curve or not. Note that the return
838 * value for this function should NOT be treated as a boolean. Return values:
839 * 1: The point is on the curve
840 * 0: The point is not on the curve
841 * -1: An error occurred
842 */
0f113f3e
MC
843int EC_POINT_is_on_curve(const EC_GROUP *group, const EC_POINT *point,
844 BN_CTX *ctx)
845{
846 if (group->meth->is_on_curve == 0) {
847 ECerr(EC_F_EC_POINT_IS_ON_CURVE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
848 return 0;
849 }
850 if (group->meth != point->meth) {
851 ECerr(EC_F_EC_POINT_IS_ON_CURVE, EC_R_INCOMPATIBLE_OBJECTS);
852 return 0;
853 }
854 return group->meth->is_on_curve(group, point, ctx);
855}
856
857int EC_POINT_cmp(const EC_GROUP *group, const EC_POINT *a, const EC_POINT *b,
858 BN_CTX *ctx)
859{
860 if (group->meth->point_cmp == 0) {
861 ECerr(EC_F_EC_POINT_CMP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
862 return -1;
863 }
864 if ((group->meth != a->meth) || (a->meth != b->meth)) {
865 ECerr(EC_F_EC_POINT_CMP, EC_R_INCOMPATIBLE_OBJECTS);
866 return -1;
867 }
868 return group->meth->point_cmp(group, a, b, ctx);
869}
1d5bd6cf 870
e869d4bd 871int EC_POINT_make_affine(const EC_GROUP *group, EC_POINT *point, BN_CTX *ctx)
0f113f3e
MC
872{
873 if (group->meth->make_affine == 0) {
874 ECerr(EC_F_EC_POINT_MAKE_AFFINE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
875 return 0;
876 }
877 if (group->meth != point->meth) {
878 ECerr(EC_F_EC_POINT_MAKE_AFFINE, EC_R_INCOMPATIBLE_OBJECTS);
879 return 0;
880 }
881 return group->meth->make_affine(group, point, ctx);
882}
883
884int EC_POINTs_make_affine(const EC_GROUP *group, size_t num,
885 EC_POINT *points[], BN_CTX *ctx)
886{
887 size_t i;
888
889 if (group->meth->points_make_affine == 0) {
890 ECerr(EC_F_EC_POINTS_MAKE_AFFINE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
891 return 0;
892 }
893 for (i = 0; i < num; i++) {
894 if (group->meth != points[i]->meth) {
895 ECerr(EC_F_EC_POINTS_MAKE_AFFINE, EC_R_INCOMPATIBLE_OBJECTS);
896 return 0;
897 }
898 }
899 return group->meth->points_make_affine(group, num, points, ctx);
900}
901
902/*
903 * Functions for point multiplication. If group->meth->mul is 0, we use the
904 * wNAF-based implementations in ec_mult.c; otherwise we dispatch through
905 * methods.
37c660ff
BM
906 */
907
908int EC_POINTs_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar,
0f113f3e
MC
909 size_t num, const EC_POINT *points[],
910 const BIGNUM *scalars[], BN_CTX *ctx)
911{
912 if (group->meth->mul == 0)
913 /* use default */
914 return ec_wNAF_mul(group, r, scalar, num, points, scalars, ctx);
37c660ff 915
0f113f3e
MC
916 return group->meth->mul(group, r, scalar, num, points, scalars, ctx);
917}
37c660ff
BM
918
919int EC_POINT_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *g_scalar,
0f113f3e
MC
920 const EC_POINT *point, const BIGNUM *p_scalar, BN_CTX *ctx)
921{
922 /* just a convenient interface to EC_POINTs_mul() */
37c660ff 923
0f113f3e
MC
924 const EC_POINT *points[1];
925 const BIGNUM *scalars[1];
37c660ff 926
0f113f3e
MC
927 points[0] = point;
928 scalars[0] = p_scalar;
37c660ff 929
0f113f3e
MC
930 return EC_POINTs_mul(group, r, g_scalar,
931 (point != NULL
932 && p_scalar != NULL), points, scalars, ctx);
933}
37c660ff
BM
934
935int EC_GROUP_precompute_mult(EC_GROUP *group, BN_CTX *ctx)
0f113f3e
MC
936{
937 if (group->meth->mul == 0)
938 /* use default */
939 return ec_wNAF_precompute_mult(group, ctx);
37c660ff 940
0f113f3e
MC
941 if (group->meth->precompute_mult != 0)
942 return group->meth->precompute_mult(group, ctx);
943 else
944 return 1; /* nothing to do, so report success */
945}
37c660ff
BM
946
947int EC_GROUP_have_precompute_mult(const EC_GROUP *group)
0f113f3e
MC
948{
949 if (group->meth->mul == 0)
950 /* use default */
951 return ec_wNAF_have_precompute_mult(group);
952
953 if (group->meth->have_precompute_mult != 0)
954 return group->meth->have_precompute_mult(group);
955 else
956 return 0; /* cannot tell whether precomputation has
957 * been performed */
958}
959
960/*
961 * ec_precompute_mont_data sets |group->mont_data| from |group->order| and
962 * returns one on success. On error it returns zero.
963 */
f54be179 964int ec_precompute_mont_data(EC_GROUP *group)
0f113f3e
MC
965{
966 BN_CTX *ctx = BN_CTX_new();
967 int ret = 0;
968
23a1d5e9
RS
969 BN_MONT_CTX_free(group->mont_data);
970 group->mont_data = NULL;
0f113f3e
MC
971
972 if (ctx == NULL)
973 goto err;
974
975 group->mont_data = BN_MONT_CTX_new();
90945fa3 976 if (group->mont_data == NULL)
0f113f3e
MC
977 goto err;
978
979 if (!BN_MONT_CTX_set(group->mont_data, group->order, ctx)) {
980 BN_MONT_CTX_free(group->mont_data);
981 group->mont_data = NULL;
982 goto err;
983 }
984
985 ret = 1;
986
987 err:
988
23a1d5e9 989 BN_CTX_free(ctx);
0f113f3e
MC
990 return ret;
991}
3aef36ff
RS
992
993int EC_KEY_set_ex_data(EC_KEY *key, int idx, void *arg)
994{
995 return CRYPTO_set_ex_data(&key->ex_data, idx, arg);
996}
997
998void *EC_KEY_get_ex_data(const EC_KEY *key, int idx)
999{
1000 return CRYPTO_get_ex_data(&key->ex_data, idx);
1001}
77470e98
DSH
1002
1003int ec_group_simple_order_bits(const EC_GROUP *group)
1004{
1005 if (group->order == NULL)
1006 return 0;
1007 return BN_num_bits(group->order);
1008}