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)
115 if (group->meth->group_finish != 0)
116 group->meth->group_finish(group);
118 EC_GROUP_free_extra_data(group);
120 if (group->generator != NULL)
121 EC_POINT_free(group->generator);
122 BN_free(&group->order);
123 BN_free(&group->cofactor);
129 void EC_GROUP_clear_free(EC_GROUP *group)
131 if (group->meth->group_clear_finish != 0)
132 group->meth->group_clear_finish(group);
133 else if (group->meth != NULL && group->meth->group_finish != 0)
134 group->meth->group_finish(group);
136 EC_GROUP_clear_free_extra_data(group);
138 if (group->generator != NULL)
139 EC_POINT_clear_free(group->generator);
140 BN_clear_free(&group->order);
141 BN_clear_free(&group->cofactor);
143 memset(group, 0, sizeof *group);
148 int EC_GROUP_copy(EC_GROUP *dest, const EC_GROUP *src)
150 if (dest->meth->group_copy == 0)
152 ECerr(EC_F_EC_GROUP_COPY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
155 if (dest->meth != src->meth)
157 ECerr(EC_F_EC_GROUP_COPY, EC_R_INCOMPATIBLE_OBJECTS);
163 EC_GROUP_clear_free_extra_data(dest);
164 if (src->extra_data_dup_func)
166 if (src->extra_data != NULL)
168 dest->extra_data = src->extra_data_dup_func(src->extra_data);
169 if (dest->extra_data == NULL)
173 dest->extra_data_dup_func = src->extra_data_dup_func;
174 dest->extra_data_free_func = src->extra_data_free_func;
175 dest->extra_data_clear_free_func = src->extra_data_clear_free_func;
178 if (src->generator != NULL)
180 if (dest->generator == NULL)
182 dest->generator = EC_POINT_new(dest);
183 if (dest->generator == NULL) return 0;
185 if (!EC_POINT_copy(dest->generator, src->generator)) return 0;
189 /* src->generator == NULL */
190 if (dest->generator != NULL)
192 EC_POINT_clear_free(dest->generator);
193 dest->generator = NULL;
197 if (!BN_copy(&dest->order, &src->order)) return 0;
198 if (!BN_copy(&dest->cofactor, &src->cofactor)) return 0;
200 dest->nid = src->nid;
202 return dest->meth->group_copy(dest, src);
206 const EC_METHOD *EC_GROUP_method_of(const EC_GROUP *group)
212 int EC_GROUP_set_generator(EC_GROUP *group, const EC_POINT *generator, const BIGNUM *order, const BIGNUM *cofactor)
214 if (generator == NULL)
216 ECerr(EC_F_EC_GROUP_SET_GENERATOR, ERR_R_PASSED_NULL_PARAMETER);
220 if (group->generator == NULL)
222 group->generator = EC_POINT_new(group);
223 if (group->generator == NULL) return 0;
225 if (!EC_POINT_copy(group->generator, generator)) return 0;
228 { if (!BN_copy(&group->order, order)) return 0; }
230 { if (!BN_zero(&group->order)) return 0; }
232 if (cofactor != NULL)
233 { if (!BN_copy(&group->cofactor, cofactor)) return 0; }
235 { if (!BN_zero(&group->cofactor)) return 0; }
241 EC_POINT *EC_GROUP_get0_generator(const EC_GROUP *group)
243 return group->generator;
247 int EC_GROUP_get_order(const EC_GROUP *group, BIGNUM *order, BN_CTX *ctx)
249 if (!BN_copy(order, &group->order))
252 return !BN_is_zero(order);
256 int EC_GROUP_get_cofactor(const EC_GROUP *group, BIGNUM *cofactor, BN_CTX *ctx)
258 if (!BN_copy(cofactor, &group->cofactor))
261 return !BN_is_zero(&group->cofactor);
265 void EC_GROUP_set_nid(EC_GROUP *group, int nid)
271 int EC_GROUP_get_nid(const EC_GROUP *group)
277 int EC_GROUP_set_curve_GFp(EC_GROUP *group, const BIGNUM *p, const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx)
279 if (group->meth->group_set_curve_GFp == 0)
281 ECerr(EC_F_EC_GROUP_SET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
284 return group->meth->group_set_curve_GFp(group, p, a, b, ctx);
288 int EC_GROUP_get_curve_GFp(const EC_GROUP *group, BIGNUM *p, BIGNUM *a, BIGNUM *b, BN_CTX *ctx)
290 if (group->meth->group_get_curve_GFp == 0)
292 ECerr(EC_F_EC_GROUP_GET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
295 return group->meth->group_get_curve_GFp(group, p, a, b, ctx);
299 int EC_GROUP_check_discriminant(const EC_GROUP *group, BN_CTX *ctx)
301 if (group->meth->group_check_discriminant == 0)
303 ECerr(EC_F_EC_GROUP_CHECK_DISCRIMINANT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
306 return group->meth->group_check_discriminant(group, ctx);
310 /* this has 'package' visibility */
311 int EC_GROUP_set_extra_data(EC_GROUP *group, void *extra_data, void *(*extra_data_dup_func)(void *),
312 void (*extra_data_free_func)(void *), void (*extra_data_clear_free_func)(void *))
314 if ((group->extra_data != NULL)
315 || (group->extra_data_dup_func != 0)
316 || (group->extra_data_free_func != 0)
317 || (group->extra_data_clear_free_func != 0))
319 ECerr(EC_F_EC_GROUP_SET_EXTRA_DATA, EC_R_SLOT_FULL);
323 group->extra_data = extra_data;
324 group->extra_data_dup_func = extra_data_dup_func;
325 group->extra_data_free_func = extra_data_free_func;
326 group->extra_data_clear_free_func = extra_data_clear_free_func;
331 /* this has 'package' visibility */
332 void *EC_GROUP_get_extra_data(const EC_GROUP *group, void *(*extra_data_dup_func)(void *),
333 void (*extra_data_free_func)(void *), void (*extra_data_clear_free_func)(void *))
335 if ((group->extra_data_dup_func != extra_data_dup_func)
336 || (group->extra_data_free_func != extra_data_free_func)
337 || (group->extra_data_clear_free_func != extra_data_clear_free_func))
339 ECerr(EC_F_EC_GROUP_GET_EXTRA_DATA, EC_R_NO_SUCH_EXTRA_DATA);
343 return group->extra_data;
347 /* this has 'package' visibility */
348 void EC_GROUP_free_extra_data(EC_GROUP *group)
350 if (group->extra_data_free_func)
351 group->extra_data_free_func(group->extra_data);
352 group->extra_data = NULL;
353 group->extra_data_dup_func = 0;
354 group->extra_data_free_func = 0;
355 group->extra_data_clear_free_func = 0;
359 /* this has 'package' visibility */
360 void EC_GROUP_clear_free_extra_data(EC_GROUP *group)
362 if (group->extra_data_clear_free_func)
363 group->extra_data_clear_free_func(group->extra_data);
364 else if (group->extra_data_free_func)
365 group->extra_data_free_func(group->extra_data);
366 group->extra_data = NULL;
367 group->extra_data_dup_func = 0;
368 group->extra_data_free_func = 0;
369 group->extra_data_clear_free_func = 0;
373 /* functions for EC_POINT objects */
375 EC_POINT *EC_POINT_new(const EC_GROUP *group)
381 ECerr(EC_F_EC_POINT_NEW, ERR_R_PASSED_NULL_PARAMETER);
384 if (group->meth->point_init == 0)
386 ECerr(EC_F_EC_POINT_NEW, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
390 ret = OPENSSL_malloc(sizeof *ret);
393 ECerr(EC_F_EC_POINT_NEW, ERR_R_MALLOC_FAILURE);
397 ret->meth = group->meth;
399 if (!ret->meth->point_init(ret))
409 void EC_POINT_free(EC_POINT *point)
411 if (point->meth->point_finish != 0)
412 point->meth->point_finish(point);
417 void EC_POINT_clear_free(EC_POINT *point)
419 if (point->meth->point_clear_finish != 0)
420 point->meth->point_clear_finish(point);
421 else if (point->meth != NULL && point->meth->point_finish != 0)
422 point->meth->point_finish(point);
423 memset(point, 0, sizeof *point);
428 int EC_POINT_copy(EC_POINT *dest, const EC_POINT *src)
430 if (dest->meth->point_copy == 0)
432 ECerr(EC_F_EC_POINT_COPY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
435 if (dest->meth != src->meth)
437 ECerr(EC_F_EC_POINT_COPY, EC_R_INCOMPATIBLE_OBJECTS);
442 return dest->meth->point_copy(dest, src);
446 const EC_METHOD *EC_POINT_method_of(const EC_POINT *point)
452 int EC_POINT_set_to_infinity(const EC_GROUP *group, EC_POINT *point)
454 if (group->meth->point_set_to_infinity == 0)
456 ECerr(EC_F_EC_POINT_SET_TO_INFINITY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
459 if (group->meth != point->meth)
461 ECerr(EC_F_EC_POINT_SET_TO_INFINITY, EC_R_INCOMPATIBLE_OBJECTS);
464 return group->meth->point_set_to_infinity(group, point);
468 int EC_POINT_set_Jprojective_coordinates_GFp(const EC_GROUP *group, EC_POINT *point,
469 const BIGNUM *x, const BIGNUM *y, const BIGNUM *z, BN_CTX *ctx)
471 if (group->meth->point_set_Jprojective_coordinates_GFp == 0)
473 ECerr(EC_F_EC_POINT_SET_JPROJECTIVE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
476 if (group->meth != point->meth)
478 ECerr(EC_F_EC_POINT_SET_JPROJECTIVE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
481 return group->meth->point_set_Jprojective_coordinates_GFp(group, point, x, y, z, ctx);
485 int EC_POINT_get_Jprojective_coordinates_GFp(const EC_GROUP *group, const EC_POINT *point,
486 BIGNUM *x, BIGNUM *y, BIGNUM *z, BN_CTX *ctx)
488 if (group->meth->point_get_Jprojective_coordinates_GFp == 0)
490 ECerr(EC_F_EC_POINT_GET_JPROJECTIVE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
493 if (group->meth != point->meth)
495 ECerr(EC_F_EC_POINT_GET_JPROJECTIVE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
498 return group->meth->point_get_Jprojective_coordinates_GFp(group, point, x, y, z, ctx);
502 int EC_POINT_set_affine_coordinates_GFp(const EC_GROUP *group, EC_POINT *point,
503 const BIGNUM *x, const BIGNUM *y, BN_CTX *ctx)
505 if (group->meth->point_set_affine_coordinates_GFp == 0)
507 ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
510 if (group->meth != point->meth)
512 ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
515 return group->meth->point_set_affine_coordinates_GFp(group, point, x, y, ctx);
519 int EC_POINT_get_affine_coordinates_GFp(const EC_GROUP *group, const EC_POINT *point,
520 BIGNUM *x, BIGNUM *y, BN_CTX *ctx)
522 if (group->meth->point_get_affine_coordinates_GFp == 0)
524 ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
527 if (group->meth != point->meth)
529 ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
532 return group->meth->point_get_affine_coordinates_GFp(group, point, x, y, ctx);
536 int EC_POINT_set_compressed_coordinates_GFp(const EC_GROUP *group, EC_POINT *point,
537 const BIGNUM *x, int y_bit, BN_CTX *ctx)
539 if (group->meth->point_set_compressed_coordinates_GFp == 0)
541 ECerr(EC_F_EC_POINT_SET_COMPRESSED_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
544 if (group->meth != point->meth)
546 ECerr(EC_F_EC_POINT_SET_COMPRESSED_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
549 return group->meth->point_set_compressed_coordinates_GFp(group, point, x, y_bit, ctx);
553 size_t EC_POINT_point2oct(const EC_GROUP *group, const EC_POINT *point, point_conversion_form_t form,
554 unsigned char *buf, size_t len, BN_CTX *ctx)
556 if (group->meth->point2oct == 0)
558 ECerr(EC_F_EC_POINT_POINT2OCT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
561 if (group->meth != point->meth)
563 ECerr(EC_F_EC_POINT_POINT2OCT, EC_R_INCOMPATIBLE_OBJECTS);
566 return group->meth->point2oct(group, point, form, buf, len, ctx);
570 int EC_POINT_oct2point(const EC_GROUP *group, EC_POINT *point,
571 const unsigned char *buf, size_t len, BN_CTX *ctx)
573 if (group->meth->oct2point == 0)
575 ECerr(EC_F_EC_POINT_OCT2POINT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
578 if (group->meth != point->meth)
580 ECerr(EC_F_EC_POINT_OCT2POINT, EC_R_INCOMPATIBLE_OBJECTS);
583 return group->meth->oct2point(group, point, buf, len, ctx);
587 int EC_POINT_add(const EC_GROUP *group, EC_POINT *r, const EC_POINT *a, const EC_POINT *b, BN_CTX *ctx)
589 if (group->meth->add == 0)
591 ECerr(EC_F_EC_POINT_ADD, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
594 if ((group->meth != r->meth) || (r->meth != a->meth) || (a->meth != b->meth))
596 ECerr(EC_F_EC_POINT_ADD, EC_R_INCOMPATIBLE_OBJECTS);
599 return group->meth->add(group, r, a, b, ctx);
603 int EC_POINT_dbl(const EC_GROUP *group, EC_POINT *r, const EC_POINT *a, BN_CTX *ctx)
605 if (group->meth->dbl == 0)
607 ECerr(EC_F_EC_POINT_DBL, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
610 if ((group->meth != r->meth) || (r->meth != a->meth))
612 ECerr(EC_F_EC_POINT_DBL, EC_R_INCOMPATIBLE_OBJECTS);
615 return group->meth->dbl(group, r, a, ctx);
619 int EC_POINT_invert(const EC_GROUP *group, EC_POINT *a, BN_CTX *ctx)
621 if (group->meth->dbl == 0)
623 ECerr(EC_F_EC_POINT_DBL, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
626 if (group->meth != a->meth)
628 ECerr(EC_F_EC_POINT_DBL, EC_R_INCOMPATIBLE_OBJECTS);
631 return group->meth->invert(group, a, ctx);
635 int EC_POINT_is_at_infinity(const EC_GROUP *group, const EC_POINT *point)
637 if (group->meth->is_at_infinity == 0)
639 ECerr(EC_F_EC_POINT_IS_AT_INFINITY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
642 if (group->meth != point->meth)
644 ECerr(EC_F_EC_POINT_IS_AT_INFINITY, EC_R_INCOMPATIBLE_OBJECTS);
647 return group->meth->is_at_infinity(group, point);
651 int EC_POINT_is_on_curve(const EC_GROUP *group, const EC_POINT *point, BN_CTX *ctx)
653 if (group->meth->is_on_curve == 0)
655 ECerr(EC_F_EC_POINT_IS_ON_CURVE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
658 if (group->meth != point->meth)
660 ECerr(EC_F_EC_POINT_IS_ON_CURVE, EC_R_INCOMPATIBLE_OBJECTS);
663 return group->meth->is_on_curve(group, point, ctx);
667 int EC_POINT_cmp(const EC_GROUP *group, const EC_POINT *a, const EC_POINT *b, BN_CTX *ctx)
669 if (group->meth->point_cmp == 0)
671 ECerr(EC_F_EC_POINT_CMP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
674 if ((group->meth != a->meth) || (a->meth != b->meth))
676 ECerr(EC_F_EC_POINT_CMP, EC_R_INCOMPATIBLE_OBJECTS);
679 return group->meth->point_cmp(group, a, b, ctx);
683 int EC_POINT_make_affine(const EC_GROUP *group, EC_POINT *point, BN_CTX *ctx)
685 if (group->meth->make_affine == 0)
687 ECerr(EC_F_EC_POINT_MAKE_AFFINE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
690 if (group->meth != point->meth)
692 ECerr(EC_F_EC_POINT_MAKE_AFFINE, EC_R_INCOMPATIBLE_OBJECTS);
695 return group->meth->make_affine(group, point, ctx);
699 int EC_POINTs_make_affine(const EC_GROUP *group, size_t num, EC_POINT *points[], BN_CTX *ctx)
703 if (group->meth->points_make_affine == 0)
705 ECerr(EC_F_EC_POINTS_MAKE_AFFINE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
708 for (i = 0; i < num; i++)
710 if (group->meth != points[i]->meth)
712 ECerr(EC_F_EC_POINTS_MAKE_AFFINE, EC_R_INCOMPATIBLE_OBJECTS);
716 return group->meth->points_make_affine(group, num, points, ctx);