1 /* crypto/ec/ec_lib.c */
2 /* ====================================================================
3 * Copyright (c) 1998-2002 The OpenSSL Project. All rights reserved.
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
9 * 1. Redistributions of source code must retain the above copyright
10 * notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 * notice, this list of conditions and the following disclaimer in
14 * the documentation and/or other materials provided with the
17 * 3. All advertising materials mentioning features or use of this
18 * software must display the following acknowledgment:
19 * "This product includes software developed by the OpenSSL Project
20 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
22 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
23 * endorse or promote products derived from this software without
24 * prior written permission. For written permission, please contact
25 * openssl-core@openssl.org.
27 * 5. Products derived from this software may not be called "OpenSSL"
28 * nor may "OpenSSL" appear in their names without prior written
29 * permission of the OpenSSL Project.
31 * 6. Redistributions of any form whatsoever must retain the following
33 * "This product includes software developed by the OpenSSL Project
34 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
36 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
37 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
38 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
39 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
40 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
41 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
42 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
43 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
44 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
45 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
46 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
47 * OF THE POSSIBILITY OF SUCH DAMAGE.
48 * ====================================================================
50 * This product includes cryptographic software written by Eric Young
51 * (eay@cryptsoft.com). This product includes software written by Tim
52 * Hudson (tjh@cryptsoft.com).
58 #include <openssl/err.h>
59 #include <openssl/opensslv.h>
63 static const char EC_version[] = "EC" OPENSSL_VERSION_PTEXT;
66 /* functions for EC_GROUP objects */
68 EC_GROUP *EC_GROUP_new(const EC_METHOD *meth)
74 ECerr(EC_F_EC_GROUP_NEW, ERR_R_PASSED_NULL_PARAMETER);
77 if (meth->group_init == 0)
79 ECerr(EC_F_EC_GROUP_NEW, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
83 ret = OPENSSL_malloc(sizeof *ret);
86 ECerr(EC_F_EC_GROUP_NEW, ERR_R_MALLOC_FAILURE);
92 ret->extra_data = NULL;
93 ret->extra_data_dup_func = 0;
94 ret->extra_data_free_func = 0;
95 ret->extra_data_clear_free_func = 0;
97 ret->generator = NULL;
99 BN_init(&ret->cofactor);
103 if (!meth->group_init(ret))
113 void EC_GROUP_free(EC_GROUP *group)
117 if (group->meth->group_finish != 0)
118 group->meth->group_finish(group);
120 EC_GROUP_free_extra_data(group);
122 if (group->generator != NULL)
123 EC_POINT_free(group->generator);
124 BN_free(&group->order);
125 BN_free(&group->cofactor);
131 void EC_GROUP_clear_free(EC_GROUP *group)
135 if (group->meth->group_clear_finish != 0)
136 group->meth->group_clear_finish(group);
137 else if (group->meth != NULL && group->meth->group_finish != 0)
138 group->meth->group_finish(group);
140 EC_GROUP_clear_free_extra_data(group);
142 if (group->generator != NULL)
143 EC_POINT_clear_free(group->generator);
144 BN_clear_free(&group->order);
145 BN_clear_free(&group->cofactor);
147 memset(group, 0, sizeof *group);
152 int EC_GROUP_copy(EC_GROUP *dest, const EC_GROUP *src)
154 if (dest->meth->group_copy == 0)
156 ECerr(EC_F_EC_GROUP_COPY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
159 if (dest->meth != src->meth)
161 ECerr(EC_F_EC_GROUP_COPY, EC_R_INCOMPATIBLE_OBJECTS);
167 EC_GROUP_clear_free_extra_data(dest);
168 if (src->extra_data_dup_func)
170 if (src->extra_data != NULL)
172 dest->extra_data = src->extra_data_dup_func(src->extra_data);
173 if (dest->extra_data == NULL)
177 dest->extra_data_dup_func = src->extra_data_dup_func;
178 dest->extra_data_free_func = src->extra_data_free_func;
179 dest->extra_data_clear_free_func = src->extra_data_clear_free_func;
182 if (src->generator != NULL)
184 if (dest->generator == NULL)
186 dest->generator = EC_POINT_new(dest);
187 if (dest->generator == NULL) return 0;
189 if (!EC_POINT_copy(dest->generator, src->generator)) return 0;
193 /* src->generator == NULL */
194 if (dest->generator != NULL)
196 EC_POINT_clear_free(dest->generator);
197 dest->generator = NULL;
201 if (!BN_copy(&dest->order, &src->order)) return 0;
202 if (!BN_copy(&dest->cofactor, &src->cofactor)) return 0;
204 dest->nid = src->nid;
206 return dest->meth->group_copy(dest, src);
210 const EC_METHOD *EC_GROUP_method_of(const EC_GROUP *group)
216 int EC_GROUP_set_generator(EC_GROUP *group, const EC_POINT *generator, const BIGNUM *order, const BIGNUM *cofactor)
218 if (generator == NULL)
220 ECerr(EC_F_EC_GROUP_SET_GENERATOR, ERR_R_PASSED_NULL_PARAMETER);
224 if (group->generator == NULL)
226 group->generator = EC_POINT_new(group);
227 if (group->generator == NULL) return 0;
229 if (!EC_POINT_copy(group->generator, generator)) return 0;
232 { if (!BN_copy(&group->order, order)) return 0; }
234 { if (!BN_zero(&group->order)) return 0; }
236 if (cofactor != NULL)
237 { if (!BN_copy(&group->cofactor, cofactor)) return 0; }
239 { if (!BN_zero(&group->cofactor)) return 0; }
245 EC_POINT *EC_GROUP_get0_generator(const EC_GROUP *group)
247 return group->generator;
251 int EC_GROUP_get_order(const EC_GROUP *group, BIGNUM *order, BN_CTX *ctx)
253 if (!BN_copy(order, &group->order))
256 return !BN_is_zero(order);
260 int EC_GROUP_get_cofactor(const EC_GROUP *group, BIGNUM *cofactor, BN_CTX *ctx)
262 if (!BN_copy(cofactor, &group->cofactor))
265 return !BN_is_zero(&group->cofactor);
269 void EC_GROUP_set_nid(EC_GROUP *group, int nid)
275 int EC_GROUP_get_nid(const EC_GROUP *group)
281 int EC_GROUP_set_curve_GFp(EC_GROUP *group, const BIGNUM *p, const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx)
283 if (group->meth->group_set_curve_GFp == 0)
285 ECerr(EC_F_EC_GROUP_SET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
288 return group->meth->group_set_curve_GFp(group, p, a, b, ctx);
292 int EC_GROUP_get_curve_GFp(const EC_GROUP *group, BIGNUM *p, BIGNUM *a, BIGNUM *b, BN_CTX *ctx)
294 if (group->meth->group_get_curve_GFp == 0)
296 ECerr(EC_F_EC_GROUP_GET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
299 return group->meth->group_get_curve_GFp(group, p, a, b, ctx);
303 int EC_GROUP_check_discriminant(const EC_GROUP *group, BN_CTX *ctx)
305 if (group->meth->group_check_discriminant == 0)
307 ECerr(EC_F_EC_GROUP_CHECK_DISCRIMINANT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
310 return group->meth->group_check_discriminant(group, ctx);
314 /* this has 'package' visibility */
315 int EC_GROUP_set_extra_data(EC_GROUP *group, void *extra_data, void *(*extra_data_dup_func)(void *),
316 void (*extra_data_free_func)(void *), void (*extra_data_clear_free_func)(void *))
318 if ((group->extra_data != NULL)
319 || (group->extra_data_dup_func != 0)
320 || (group->extra_data_free_func != 0)
321 || (group->extra_data_clear_free_func != 0))
323 ECerr(EC_F_EC_GROUP_SET_EXTRA_DATA, EC_R_SLOT_FULL);
327 group->extra_data = extra_data;
328 group->extra_data_dup_func = extra_data_dup_func;
329 group->extra_data_free_func = extra_data_free_func;
330 group->extra_data_clear_free_func = extra_data_clear_free_func;
335 /* this has 'package' visibility */
336 void *EC_GROUP_get_extra_data(const EC_GROUP *group, void *(*extra_data_dup_func)(void *),
337 void (*extra_data_free_func)(void *), void (*extra_data_clear_free_func)(void *))
339 if ((group->extra_data_dup_func != extra_data_dup_func)
340 || (group->extra_data_free_func != extra_data_free_func)
341 || (group->extra_data_clear_free_func != extra_data_clear_free_func))
343 ECerr(EC_F_EC_GROUP_GET_EXTRA_DATA, EC_R_NO_SUCH_EXTRA_DATA);
347 return group->extra_data;
351 /* this has 'package' visibility */
352 void EC_GROUP_free_extra_data(EC_GROUP *group)
354 if (group->extra_data_free_func)
355 group->extra_data_free_func(group->extra_data);
356 group->extra_data = NULL;
357 group->extra_data_dup_func = 0;
358 group->extra_data_free_func = 0;
359 group->extra_data_clear_free_func = 0;
363 /* this has 'package' visibility */
364 void EC_GROUP_clear_free_extra_data(EC_GROUP *group)
366 if (group->extra_data_clear_free_func)
367 group->extra_data_clear_free_func(group->extra_data);
368 else if (group->extra_data_free_func)
369 group->extra_data_free_func(group->extra_data);
370 group->extra_data = NULL;
371 group->extra_data_dup_func = 0;
372 group->extra_data_free_func = 0;
373 group->extra_data_clear_free_func = 0;
377 /* functions for EC_POINT objects */
379 EC_POINT *EC_POINT_new(const EC_GROUP *group)
385 ECerr(EC_F_EC_POINT_NEW, ERR_R_PASSED_NULL_PARAMETER);
388 if (group->meth->point_init == 0)
390 ECerr(EC_F_EC_POINT_NEW, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
394 ret = OPENSSL_malloc(sizeof *ret);
397 ECerr(EC_F_EC_POINT_NEW, ERR_R_MALLOC_FAILURE);
401 ret->meth = group->meth;
403 if (!ret->meth->point_init(ret))
413 void EC_POINT_free(EC_POINT *point)
417 if (point->meth->point_finish != 0)
418 point->meth->point_finish(point);
423 void EC_POINT_clear_free(EC_POINT *point)
427 if (point->meth->point_clear_finish != 0)
428 point->meth->point_clear_finish(point);
429 else if (point->meth != NULL && point->meth->point_finish != 0)
430 point->meth->point_finish(point);
431 memset(point, 0, sizeof *point);
436 int EC_POINT_copy(EC_POINT *dest, const EC_POINT *src)
438 if (dest->meth->point_copy == 0)
440 ECerr(EC_F_EC_POINT_COPY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
443 if (dest->meth != src->meth)
445 ECerr(EC_F_EC_POINT_COPY, EC_R_INCOMPATIBLE_OBJECTS);
450 return dest->meth->point_copy(dest, src);
454 const EC_METHOD *EC_POINT_method_of(const EC_POINT *point)
460 int EC_POINT_set_to_infinity(const EC_GROUP *group, EC_POINT *point)
462 if (group->meth->point_set_to_infinity == 0)
464 ECerr(EC_F_EC_POINT_SET_TO_INFINITY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
467 if (group->meth != point->meth)
469 ECerr(EC_F_EC_POINT_SET_TO_INFINITY, EC_R_INCOMPATIBLE_OBJECTS);
472 return group->meth->point_set_to_infinity(group, point);
476 int EC_POINT_set_Jprojective_coordinates_GFp(const EC_GROUP *group, EC_POINT *point,
477 const BIGNUM *x, const BIGNUM *y, const BIGNUM *z, BN_CTX *ctx)
479 if (group->meth->point_set_Jprojective_coordinates_GFp == 0)
481 ECerr(EC_F_EC_POINT_SET_JPROJECTIVE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
484 if (group->meth != point->meth)
486 ECerr(EC_F_EC_POINT_SET_JPROJECTIVE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
489 return group->meth->point_set_Jprojective_coordinates_GFp(group, point, x, y, z, ctx);
493 int EC_POINT_get_Jprojective_coordinates_GFp(const EC_GROUP *group, const EC_POINT *point,
494 BIGNUM *x, BIGNUM *y, BIGNUM *z, BN_CTX *ctx)
496 if (group->meth->point_get_Jprojective_coordinates_GFp == 0)
498 ECerr(EC_F_EC_POINT_GET_JPROJECTIVE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
501 if (group->meth != point->meth)
503 ECerr(EC_F_EC_POINT_GET_JPROJECTIVE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
506 return group->meth->point_get_Jprojective_coordinates_GFp(group, point, x, y, z, ctx);
510 int EC_POINT_set_affine_coordinates_GFp(const EC_GROUP *group, EC_POINT *point,
511 const BIGNUM *x, const BIGNUM *y, BN_CTX *ctx)
513 if (group->meth->point_set_affine_coordinates_GFp == 0)
515 ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
518 if (group->meth != point->meth)
520 ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
523 return group->meth->point_set_affine_coordinates_GFp(group, point, x, y, ctx);
527 int EC_POINT_get_affine_coordinates_GFp(const EC_GROUP *group, const EC_POINT *point,
528 BIGNUM *x, BIGNUM *y, BN_CTX *ctx)
530 if (group->meth->point_get_affine_coordinates_GFp == 0)
532 ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
535 if (group->meth != point->meth)
537 ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
540 return group->meth->point_get_affine_coordinates_GFp(group, point, x, y, ctx);
544 int EC_POINT_set_compressed_coordinates_GFp(const EC_GROUP *group, EC_POINT *point,
545 const BIGNUM *x, int y_bit, BN_CTX *ctx)
547 if (group->meth->point_set_compressed_coordinates_GFp == 0)
549 ECerr(EC_F_EC_POINT_SET_COMPRESSED_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
552 if (group->meth != point->meth)
554 ECerr(EC_F_EC_POINT_SET_COMPRESSED_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
557 return group->meth->point_set_compressed_coordinates_GFp(group, point, x, y_bit, ctx);
561 size_t EC_POINT_point2oct(const EC_GROUP *group, const EC_POINT *point, point_conversion_form_t form,
562 unsigned char *buf, size_t len, BN_CTX *ctx)
564 if (group->meth->point2oct == 0)
566 ECerr(EC_F_EC_POINT_POINT2OCT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
569 if (group->meth != point->meth)
571 ECerr(EC_F_EC_POINT_POINT2OCT, EC_R_INCOMPATIBLE_OBJECTS);
574 return group->meth->point2oct(group, point, form, buf, len, ctx);
578 int EC_POINT_oct2point(const EC_GROUP *group, EC_POINT *point,
579 const unsigned char *buf, size_t len, BN_CTX *ctx)
581 if (group->meth->oct2point == 0)
583 ECerr(EC_F_EC_POINT_OCT2POINT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
586 if (group->meth != point->meth)
588 ECerr(EC_F_EC_POINT_OCT2POINT, EC_R_INCOMPATIBLE_OBJECTS);
591 return group->meth->oct2point(group, point, buf, len, ctx);
595 int EC_POINT_add(const EC_GROUP *group, EC_POINT *r, const EC_POINT *a, const EC_POINT *b, BN_CTX *ctx)
597 if (group->meth->add == 0)
599 ECerr(EC_F_EC_POINT_ADD, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
602 if ((group->meth != r->meth) || (r->meth != a->meth) || (a->meth != b->meth))
604 ECerr(EC_F_EC_POINT_ADD, EC_R_INCOMPATIBLE_OBJECTS);
607 return group->meth->add(group, r, a, b, ctx);
611 int EC_POINT_dbl(const EC_GROUP *group, EC_POINT *r, const EC_POINT *a, BN_CTX *ctx)
613 if (group->meth->dbl == 0)
615 ECerr(EC_F_EC_POINT_DBL, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
618 if ((group->meth != r->meth) || (r->meth != a->meth))
620 ECerr(EC_F_EC_POINT_DBL, EC_R_INCOMPATIBLE_OBJECTS);
623 return group->meth->dbl(group, r, a, ctx);
627 int EC_POINT_invert(const EC_GROUP *group, EC_POINT *a, BN_CTX *ctx)
629 if (group->meth->dbl == 0)
631 ECerr(EC_F_EC_POINT_DBL, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
634 if (group->meth != a->meth)
636 ECerr(EC_F_EC_POINT_DBL, EC_R_INCOMPATIBLE_OBJECTS);
639 return group->meth->invert(group, a, ctx);
643 int EC_POINT_is_at_infinity(const EC_GROUP *group, const EC_POINT *point)
645 if (group->meth->is_at_infinity == 0)
647 ECerr(EC_F_EC_POINT_IS_AT_INFINITY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
650 if (group->meth != point->meth)
652 ECerr(EC_F_EC_POINT_IS_AT_INFINITY, EC_R_INCOMPATIBLE_OBJECTS);
655 return group->meth->is_at_infinity(group, point);
659 int EC_POINT_is_on_curve(const EC_GROUP *group, const EC_POINT *point, BN_CTX *ctx)
661 if (group->meth->is_on_curve == 0)
663 ECerr(EC_F_EC_POINT_IS_ON_CURVE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
666 if (group->meth != point->meth)
668 ECerr(EC_F_EC_POINT_IS_ON_CURVE, EC_R_INCOMPATIBLE_OBJECTS);
671 return group->meth->is_on_curve(group, point, ctx);
675 int EC_POINT_cmp(const EC_GROUP *group, const EC_POINT *a, const EC_POINT *b, BN_CTX *ctx)
677 if (group->meth->point_cmp == 0)
679 ECerr(EC_F_EC_POINT_CMP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
682 if ((group->meth != a->meth) || (a->meth != b->meth))
684 ECerr(EC_F_EC_POINT_CMP, EC_R_INCOMPATIBLE_OBJECTS);
687 return group->meth->point_cmp(group, a, b, ctx);
691 int EC_POINT_make_affine(const EC_GROUP *group, EC_POINT *point, BN_CTX *ctx)
693 if (group->meth->make_affine == 0)
695 ECerr(EC_F_EC_POINT_MAKE_AFFINE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
698 if (group->meth != point->meth)
700 ECerr(EC_F_EC_POINT_MAKE_AFFINE, EC_R_INCOMPATIBLE_OBJECTS);
703 return group->meth->make_affine(group, point, ctx);
707 int EC_POINTs_make_affine(const EC_GROUP *group, size_t num, EC_POINT *points[], BN_CTX *ctx)
711 if (group->meth->points_make_affine == 0)
713 ECerr(EC_F_EC_POINTS_MAKE_AFFINE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
716 for (i = 0; i < num; i++)
718 if (group->meth != points[i]->meth)
720 ECerr(EC_F_EC_POINTS_MAKE_AFFINE, EC_R_INCOMPATIBLE_OBJECTS);
724 return group->meth->points_make_affine(group, num, points, ctx);