ec_lib.c 25.1 KB
Newer Older
1
/* crypto/ec/ec_lib.c */
2 3 4
/*
 * Originally written by Bodo Moeller for the OpenSSL project.
 */
5
/* ====================================================================
6
 * Copyright (c) 1998-2003 The OpenSSL Project.  All rights reserved.
7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 *
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer. 
 *
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in
 *    the documentation and/or other materials provided with the
 *    distribution.
 *
 * 3. All advertising materials mentioning features or use of this
 *    software must display the following acknowledgment:
 *    "This product includes software developed by the OpenSSL Project
 *    for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
 *
 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
 *    endorse or promote products derived from this software without
 *    prior written permission. For written permission, please contact
 *    openssl-core@openssl.org.
 *
 * 5. Products derived from this software may not be called "OpenSSL"
 *    nor may "OpenSSL" appear in their names without prior written
 *    permission of the OpenSSL Project.
 *
 * 6. Redistributions of any form whatsoever must retain the following
 *    acknowledgment:
 *    "This product includes software developed by the OpenSSL Project
 *    for use in the OpenSSL Toolkit (http://www.openssl.org/)"
 *
 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE ARE DISCLAIMED.  IN NO EVENT SHALL THE OpenSSL PROJECT OR
 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
 * OF THE POSSIBILITY OF SUCH DAMAGE.
 * ====================================================================
 *
 * This product includes cryptographic software written by Eric Young
 * (eay@cryptsoft.com).  This product includes software written by Tim
 * Hudson (tjh@cryptsoft.com).
 *
 */
58 59 60 61 62
/* ====================================================================
 * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
 * Binary polynomial ECC support in OpenSSL originally developed by 
 * SUN MICROSYSTEMS, INC., and contributed to the OpenSSL project.
 */
63

64 65
#define OPENSSL_FIPSAPI

B
Bodo Möller 已提交
66 67
#include <string.h>

68
#include <openssl/err.h>
69
#include <openssl/opensslv.h>
70

71
#include "ec_lcl.h"
72

73
__fips_constseg
74 75
static const char EC_version[] = "EC" OPENSSL_VERSION_PTEXT;

76 77 78 79 80 81 82 83 84

/* functions for EC_GROUP objects */

EC_GROUP *EC_GROUP_new(const EC_METHOD *meth)
	{
	EC_GROUP *ret;

	if (meth == NULL)
		{
85
		ECerr(EC_F_EC_GROUP_NEW, EC_R_SLOT_FULL);
86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101
		return NULL;
		}
	if (meth->group_init == 0)
		{
		ECerr(EC_F_EC_GROUP_NEW, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return NULL;
		}

	ret = OPENSSL_malloc(sizeof *ret);
	if (ret == NULL)
		{
		ECerr(EC_F_EC_GROUP_NEW, ERR_R_MALLOC_FAILURE);
		return NULL;
		}

	ret->meth = meth;
B
Bodo Möller 已提交
102 103

	ret->extra_data = NULL;
B
Bodo Möller 已提交
104

105 106 107 108
	ret->generator = NULL;
	BN_init(&ret->order);
	BN_init(&ret->cofactor);

B
Bodo Möller 已提交
109 110
	ret->curve_name = 0;	
	ret->asn1_flag  = 0;
111
	ret->asn1_form  = POINT_CONVERSION_UNCOMPRESSED;
112 113 114

	ret->seed = NULL;
	ret->seed_len = 0;
B
Bodo Möller 已提交
115

116 117 118 119 120 121 122 123 124 125 126 127
	if (!meth->group_init(ret))
		{
		OPENSSL_free(ret);
		return NULL;
		}
	
	return ret;
	}


void EC_GROUP_free(EC_GROUP *group)
	{
B
Bodo Möller 已提交
128 129
	if (!group) return;

130 131
	if (group->meth->group_finish != 0)
		group->meth->group_finish(group);
B
Bodo Möller 已提交
132

N
Nils Larsch 已提交
133
	EC_EX_DATA_free_all_data(&group->extra_data);
B
Bodo Möller 已提交
134

135 136 137 138 139
	if (group->generator != NULL)
		EC_POINT_free(group->generator);
	BN_free(&group->order);
	BN_free(&group->cofactor);

140 141 142
	if (group->seed)
		OPENSSL_free(group->seed);

143 144 145 146 147 148
	OPENSSL_free(group);
	}
 

void EC_GROUP_clear_free(EC_GROUP *group)
	{
B
Bodo Möller 已提交
149 150
	if (!group) return;

151 152
	if (group->meth->group_clear_finish != 0)
		group->meth->group_clear_finish(group);
N
Nils Larsch 已提交
153
	else if (group->meth->group_finish != 0)
154
		group->meth->group_finish(group);
B
Bodo Möller 已提交
155

N
Nils Larsch 已提交
156
	EC_EX_DATA_clear_free_all_data(&group->extra_data);
B
Bodo Möller 已提交
157

158 159 160 161 162
	if (group->generator != NULL)
		EC_POINT_clear_free(group->generator);
	BN_clear_free(&group->order);
	BN_clear_free(&group->cofactor);

163 164
	if (group->seed)
		{
165
		OPENSSL_cleanse(group->seed, group->seed_len);
166 167 168
		OPENSSL_free(group->seed);
		}

169
	OPENSSL_cleanse(group, sizeof *group);
170 171 172 173 174 175
	OPENSSL_free(group);
	}


int EC_GROUP_copy(EC_GROUP *dest, const EC_GROUP *src)
	{
176 177
	EC_EXTRA_DATA *d;

178 179 180 181 182 183 184 185 186 187
	if (dest->meth->group_copy == 0)
		{
		ECerr(EC_F_EC_GROUP_COPY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	if (dest->meth != src->meth)
		{
		ECerr(EC_F_EC_GROUP_COPY, EC_R_INCOMPATIBLE_OBJECTS);
		return 0;
		}
B
Bodo Möller 已提交
188 189
	if (dest == src)
		return 1;
190
	
N
Nils Larsch 已提交
191
	EC_EX_DATA_free_all_data(&dest->extra_data);
B
Bodo Möller 已提交
192

193 194 195 196 197 198
	for (d = src->extra_data; d != NULL; d = d->next)
		{
		void *t = d->dup_func(d->data);
		
		if (t == NULL)
			return 0;
N
Nils Larsch 已提交
199
		if (!EC_EX_DATA_set_data(&dest->extra_data, t, d->dup_func, d->free_func, d->clear_free_func))
200
			return 0;
B
Bodo Möller 已提交
201 202
		}

203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224
	if (src->generator != NULL)
		{
		if (dest->generator == NULL)
			{
			dest->generator = EC_POINT_new(dest);
			if (dest->generator == NULL) return 0;
			}
		if (!EC_POINT_copy(dest->generator, src->generator)) return 0;
		}
	else
		{
		/* src->generator == NULL */
		if (dest->generator != NULL)
			{
			EC_POINT_clear_free(dest->generator);
			dest->generator = NULL;
			}
		}

	if (!BN_copy(&dest->order, &src->order)) return 0;
	if (!BN_copy(&dest->cofactor, &src->cofactor)) return 0;

B
Bodo Möller 已提交
225 226 227
	dest->curve_name = src->curve_name;
	dest->asn1_flag  = src->asn1_flag;
	dest->asn1_form  = src->asn1_form;
228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247

	if (src->seed)
		{
		if (dest->seed)
			OPENSSL_free(dest->seed);
		dest->seed = OPENSSL_malloc(src->seed_len);
		if (dest->seed == NULL)
			return 0;
		if (!memcpy(dest->seed, src->seed, src->seed_len))
			return 0;
		dest->seed_len = src->seed_len;
		}
	else
		{
		if (dest->seed)
			OPENSSL_free(dest->seed);
		dest->seed = NULL;
		dest->seed_len = 0;
		}
	
248

249 250 251 252
	return dest->meth->group_copy(dest, src);
	}


253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274
EC_GROUP *EC_GROUP_dup(const EC_GROUP *a)
	{
	EC_GROUP *t = NULL;
	int ok = 0;

	if (a == NULL) return NULL;

	if ((t = EC_GROUP_new(a->meth)) == NULL) return(NULL);
	if (!EC_GROUP_copy(t, a)) goto err;

	ok = 1;

  err:	
	if (!ok)
		{
		if (t) EC_GROUP_free(t);
		return NULL;
		}
	else return t;
	}


275 276 277 278 279 280
const EC_METHOD *EC_GROUP_method_of(const EC_GROUP *group)
	{
	return group->meth;
	}


281 282 283 284 285 286
int EC_METHOD_get_field_type(const EC_METHOD *meth)
        {
        return meth->field_type;
        }


287
int EC_GROUP_set_generator(EC_GROUP *group, const EC_POINT *generator, const BIGNUM *order, const BIGNUM *cofactor)
288
	{
289
	if (generator == NULL)
290
		{
291 292
		ECerr(EC_F_EC_GROUP_SET_GENERATOR, ERR_R_PASSED_NULL_PARAMETER);
		return 0   ;
293
		}
294 295 296 297 298 299 300 301 302 303 304

	if (group->generator == NULL)
		{
		group->generator = EC_POINT_new(group);
		if (group->generator == NULL) return 0;
		}
	if (!EC_POINT_copy(group->generator, generator)) return 0;

	if (order != NULL)
		{ if (!BN_copy(&group->order, order)) return 0; }	
	else
305
		BN_zero(&group->order);
306 307 308 309

	if (cofactor != NULL)
		{ if (!BN_copy(&group->cofactor, cofactor)) return 0; }	
	else
310
		BN_zero(&group->cofactor);
311 312

	return 1;
313 314 315
	}


N
Nils Larsch 已提交
316
const EC_POINT *EC_GROUP_get0_generator(const EC_GROUP *group)
317
	{
318
	return group->generator;
319 320 321
	}


322
int EC_GROUP_get_order(const EC_GROUP *group, BIGNUM *order, BN_CTX *ctx)
323
	{
324
	if (!BN_copy(order, &group->order))
325
		return 0;
326 327

	return !BN_is_zero(order);
328 329 330
	}


331
int EC_GROUP_get_cofactor(const EC_GROUP *group, BIGNUM *cofactor, BN_CTX *ctx)
332
	{
333
	if (!BN_copy(cofactor, &group->cofactor))
334
		return 0;
335 336

	return !BN_is_zero(&group->cofactor);
337 338 339
	}


340
void EC_GROUP_set_curve_name(EC_GROUP *group, int nid)
341
	{
B
Bodo Möller 已提交
342
	group->curve_name = nid;
343 344 345
	}


346
int EC_GROUP_get_curve_name(const EC_GROUP *group)
347
	{
B
Bodo Möller 已提交
348
	return group->curve_name;
349 350 351
	}


352 353 354 355 356 357 358 359 360 361 362 363
void EC_GROUP_set_asn1_flag(EC_GROUP *group, int flag)
	{
	group->asn1_flag = flag;
	}


int EC_GROUP_get_asn1_flag(const EC_GROUP *group)
	{
	return group->asn1_flag;
	}


B
Bodo Möller 已提交
364 365 366 367 368 369 370 371 372 373 374 375 376
void EC_GROUP_set_point_conversion_form(EC_GROUP *group, 
                                        point_conversion_form_t form)
	{
	group->asn1_form = form;
	}


point_conversion_form_t EC_GROUP_get_point_conversion_form(const EC_GROUP *group)
	{
	return group->asn1_form;
	}


377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409
size_t EC_GROUP_set_seed(EC_GROUP *group, const unsigned char *p, size_t len)
	{
	if (group->seed)
		{
		OPENSSL_free(group->seed);
		group->seed = NULL;
		group->seed_len = 0;
		}

	if (!len || !p)
		return 1;

	if ((group->seed = OPENSSL_malloc(len)) == NULL)
		return 0;
	memcpy(group->seed, p, len);
	group->seed_len = len;

	return len;
	}


unsigned char *EC_GROUP_get0_seed(const EC_GROUP *group)
	{
	return group->seed;
	}


size_t EC_GROUP_get_seed_len(const EC_GROUP *group)
	{
	return group->seed_len;
	}


410
int EC_GROUP_set_curve_GFp(EC_GROUP *group, const BIGNUM *p, const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx)
411
	{
412
	if (group->meth->group_set_curve == 0)
413
		{
414
		ECerr(EC_F_EC_GROUP_SET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
415 416
		return 0;
		}
417
	return group->meth->group_set_curve(group, p, a, b, ctx);
418 419 420
	}


421
int EC_GROUP_get_curve_GFp(const EC_GROUP *group, BIGNUM *p, BIGNUM *a, BIGNUM *b, BN_CTX *ctx)
422
	{
423
	if (group->meth->group_get_curve == 0)
424
		{
425
		ECerr(EC_F_EC_GROUP_GET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
426 427
		return 0;
		}
428 429 430
	return group->meth->group_get_curve(group, p, a, b, ctx);
	}

431
#ifndef OPENSSL_NO_EC2M
432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451
int EC_GROUP_set_curve_GF2m(EC_GROUP *group, const BIGNUM *p, const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx)
	{
	if (group->meth->group_set_curve == 0)
		{
		ECerr(EC_F_EC_GROUP_SET_CURVE_GF2M, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	return group->meth->group_set_curve(group, p, a, b, ctx);
	}


int EC_GROUP_get_curve_GF2m(const EC_GROUP *group, BIGNUM *p, BIGNUM *a, BIGNUM *b, BN_CTX *ctx)
	{
	if (group->meth->group_get_curve == 0)
		{
		ECerr(EC_F_EC_GROUP_GET_CURVE_GF2M, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	return group->meth->group_get_curve(group, p, a, b, ctx);
	}
452
#endif
453 454 455 456 457 458 459 460 461

int EC_GROUP_get_degree(const EC_GROUP *group)
	{
	if (group->meth->group_get_degree == 0)
		{
		ECerr(EC_F_EC_GROUP_GET_DEGREE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	return group->meth->group_get_degree(group);
462 463 464
	}


465
int EC_GROUP_check_discriminant(const EC_GROUP *group, BN_CTX *ctx)
B
Bodo Möller 已提交
466
	{
467
	if (group->meth->group_check_discriminant == 0)
B
Bodo Möller 已提交
468
		{
469
		ECerr(EC_F_EC_GROUP_CHECK_DISCRIMINANT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
B
Bodo Möller 已提交
470 471
		return 0;
		}
472
	return group->meth->group_check_discriminant(group, ctx);
B
Bodo Möller 已提交
473 474 475
	}


476 477 478 479 480 481 482 483 484 485
int EC_GROUP_cmp(const EC_GROUP *a, const EC_GROUP *b, BN_CTX *ctx)
	{
	int    r = 0;
	BIGNUM *a1, *a2, *a3, *b1, *b2, *b3;
	BN_CTX *ctx_new = NULL;

	/* compare the field types*/
	if (EC_METHOD_get_field_type(EC_GROUP_method_of(a)) !=
	    EC_METHOD_get_field_type(EC_GROUP_method_of(b)))
		return 1;
B
Bodo Moeller 已提交
486
	/* compare the curve name (if present in both) */
487
	if (EC_GROUP_get_curve_name(a) && EC_GROUP_get_curve_name(b) &&
B
Bodo Moeller 已提交
488 489
	    EC_GROUP_get_curve_name(a) != EC_GROUP_get_curve_name(b))
		return 1;
490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517

	if (!ctx)
		ctx_new = ctx = BN_CTX_new();
	if (!ctx)
		return -1;
	
	BN_CTX_start(ctx);
	a1 = BN_CTX_get(ctx);
	a2 = BN_CTX_get(ctx);
	a3 = BN_CTX_get(ctx);
	b1 = BN_CTX_get(ctx);
	b2 = BN_CTX_get(ctx);
	b3 = BN_CTX_get(ctx);
	if (!b3)
		{
		BN_CTX_end(ctx);
		if (ctx_new)
			BN_CTX_free(ctx);
		return -1;
		}

	/* XXX This approach assumes that the external representation
	 * of curves over the same field type is the same.
	 */
	if (!a->meth->group_get_curve(a, a1, a2, a3, ctx) ||
	    !b->meth->group_get_curve(b, b1, b2, b3, ctx))
		r = 1;

B
Bodo Möller 已提交
518
	if (r || BN_cmp(a1, b1) || BN_cmp(a2, b2) || BN_cmp(a3, b3))
519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550
		r = 1;

	/* XXX EC_POINT_cmp() assumes that the methods are equal */
	if (r || EC_POINT_cmp(a, EC_GROUP_get0_generator(a),
	    EC_GROUP_get0_generator(b), ctx))
		r = 1;

	if (!r)
		{
		/* compare the order and cofactor */
		if (!EC_GROUP_get_order(a, a1, ctx) ||
		    !EC_GROUP_get_order(b, b1, ctx) ||
		    !EC_GROUP_get_cofactor(a, a2, ctx) ||
		    !EC_GROUP_get_cofactor(b, b2, ctx))
			{
			BN_CTX_end(ctx);
			if (ctx_new)
				BN_CTX_free(ctx);
			return -1;
			}
		if (BN_cmp(a1, b1) || BN_cmp(a2, b2))
			r = 1;
		}

	BN_CTX_end(ctx);
	if (ctx_new)
		BN_CTX_free(ctx);

	return r;
	}


B
Bodo Möller 已提交
551
/* this has 'package' visibility */
N
Nils Larsch 已提交
552
int EC_EX_DATA_set_data(EC_EXTRA_DATA **ex_data, void *data,
553
	void *(*dup_func)(void *), void (*free_func)(void *), void (*clear_free_func)(void *))
B
Bodo Möller 已提交
554
	{
555 556
	EC_EXTRA_DATA *d;

N
Nils Larsch 已提交
557
	if (ex_data == NULL)
B
Bodo Möller 已提交
558
		return 0;
559

N
Nils Larsch 已提交
560
	for (d = *ex_data; d != NULL; d = d->next)
561 562 563
		{
		if (d->dup_func == dup_func && d->free_func == free_func && d->clear_free_func == clear_free_func)
			{
N
Nils Larsch 已提交
564
			ECerr(EC_F_EC_EX_DATA_SET_DATA, EC_R_SLOT_FULL);
565 566
			return 0;
			}
B
Bodo Möller 已提交
567 568
		}

569 570 571 572 573 574 575 576 577 578 579 580 581
	if (data == NULL)
		/* no explicit entry needed */
		return 1;

	d = OPENSSL_malloc(sizeof *d);
	if (d == NULL)
		return 0;

	d->data = data;
	d->dup_func = dup_func;
	d->free_func = free_func;
	d->clear_free_func = clear_free_func;

N
Nils Larsch 已提交
582 583
	d->next = *ex_data;
	*ex_data = d;
584

B
Bodo Möller 已提交
585 586 587 588
	return 1;
	}

/* this has 'package' visibility */
N
Nils Larsch 已提交
589
void *EC_EX_DATA_get_data(const EC_EXTRA_DATA *ex_data,
590
	void *(*dup_func)(void *), void (*free_func)(void *), void (*clear_free_func)(void *))
B
Bodo Möller 已提交
591
	{
N
Nils Larsch 已提交
592
	const EC_EXTRA_DATA *d;
593

N
Nils Larsch 已提交
594
	for (d = ex_data; d != NULL; d = d->next)
595 596 597
		{
		if (d->dup_func == dup_func && d->free_func == free_func && d->clear_free_func == clear_free_func)
			return d->data;
B
Bodo Möller 已提交
598
		}
599 600 601
	
	return NULL;
	}
B
Bodo Möller 已提交
602

603
/* this has 'package' visibility */
N
Nils Larsch 已提交
604
void EC_EX_DATA_free_data(EC_EXTRA_DATA **ex_data,
605 606 607 608
	void *(*dup_func)(void *), void (*free_func)(void *), void (*clear_free_func)(void *))
	{
	EC_EXTRA_DATA **p;

N
Nils Larsch 已提交
609
	if (ex_data == NULL)
610 611
		return;

N
Nils Larsch 已提交
612
	for (p = ex_data; *p != NULL; p = &((*p)->next))
613 614 615 616 617 618 619 620 621 622 623 624
		{
		if ((*p)->dup_func == dup_func && (*p)->free_func == free_func && (*p)->clear_free_func == clear_free_func)
			{
			EC_EXTRA_DATA *next = (*p)->next;

			(*p)->free_func((*p)->data);
			OPENSSL_free(*p);
			
			*p = next;
			return;
			}
		}
B
Bodo Möller 已提交
625 626
	}

627
/* this has 'package' visibility */
N
Nils Larsch 已提交
628
void EC_EX_DATA_clear_free_data(EC_EXTRA_DATA **ex_data,
629 630 631 632
	void *(*dup_func)(void *), void (*free_func)(void *), void (*clear_free_func)(void *))
	{
	EC_EXTRA_DATA **p;

N
Nils Larsch 已提交
633
	if (ex_data == NULL)
634 635
		return;

N
Nils Larsch 已提交
636
	for (p = ex_data; *p != NULL; p = &((*p)->next))
637 638 639 640 641 642 643 644 645 646 647 648 649
		{
		if ((*p)->dup_func == dup_func && (*p)->free_func == free_func && (*p)->clear_free_func == clear_free_func)
			{
			EC_EXTRA_DATA *next = (*p)->next;

			(*p)->clear_free_func((*p)->data);
			OPENSSL_free(*p);
			
			*p = next;
			return;
			}
		}
	}
B
Bodo Möller 已提交
650 651

/* this has 'package' visibility */
N
Nils Larsch 已提交
652
void EC_EX_DATA_free_all_data(EC_EXTRA_DATA **ex_data)
B
Bodo Möller 已提交
653
	{
654 655
	EC_EXTRA_DATA *d;

N
Nils Larsch 已提交
656
	if (ex_data == NULL)
657 658
		return;

N
Nils Larsch 已提交
659
	d = *ex_data;
660 661 662 663 664 665 666 667 668
	while (d)
		{
		EC_EXTRA_DATA *next = d->next;
		
		d->free_func(d->data);
		OPENSSL_free(d);
		
		d = next;
		}
N
Nils Larsch 已提交
669
	*ex_data = NULL;
B
Bodo Möller 已提交
670 671 672
	}

/* this has 'package' visibility */
N
Nils Larsch 已提交
673
void EC_EX_DATA_clear_free_all_data(EC_EXTRA_DATA **ex_data)
B
Bodo Möller 已提交
674
	{
675 676
	EC_EXTRA_DATA *d;

N
Nils Larsch 已提交
677
	if (ex_data == NULL)
678 679
		return;

N
Nils Larsch 已提交
680
	d = *ex_data;
681 682 683 684 685 686 687 688 689
	while (d)
		{
		EC_EXTRA_DATA *next = d->next;
		
		d->clear_free_func(d->data);
		OPENSSL_free(d);
		
		d = next;
		}
N
Nils Larsch 已提交
690
	*ex_data = NULL;
B
Bodo Möller 已提交
691 692
	}

693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731

/* functions for EC_POINT objects */

EC_POINT *EC_POINT_new(const EC_GROUP *group)
	{
	EC_POINT *ret;

	if (group == NULL)
		{
		ECerr(EC_F_EC_POINT_NEW, ERR_R_PASSED_NULL_PARAMETER);
		return NULL;
		}
	if (group->meth->point_init == 0)
		{
		ECerr(EC_F_EC_POINT_NEW, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return NULL;
		}

	ret = OPENSSL_malloc(sizeof *ret);
	if (ret == NULL)
		{
		ECerr(EC_F_EC_POINT_NEW, ERR_R_MALLOC_FAILURE);
		return NULL;
		}

	ret->meth = group->meth;
	
	if (!ret->meth->point_init(ret))
		{
		OPENSSL_free(ret);
		return NULL;
		}
	
	return ret;
	}


void EC_POINT_free(EC_POINT *point)
	{
B
Bodo Möller 已提交
732 733
	if (!point) return;

734 735 736 737 738 739 740 741
	if (point->meth->point_finish != 0)
		point->meth->point_finish(point);
	OPENSSL_free(point);
	}
 

void EC_POINT_clear_free(EC_POINT *point)
	{
B
Bodo Möller 已提交
742 743
	if (!point) return;

744 745
	if (point->meth->point_clear_finish != 0)
		point->meth->point_clear_finish(point);
746
	else if (point->meth->point_finish != 0)
747
		point->meth->point_finish(point);
748
	OPENSSL_cleanse(point, sizeof *point);
749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764
	OPENSSL_free(point);
	}


int EC_POINT_copy(EC_POINT *dest, const EC_POINT *src)
	{
	if (dest->meth->point_copy == 0)
		{
		ECerr(EC_F_EC_POINT_COPY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	if (dest->meth != src->meth)
		{
		ECerr(EC_F_EC_POINT_COPY, EC_R_INCOMPATIBLE_OBJECTS);
		return 0;
		}
765 766
	if (dest == src)
		return 1;
767 768 769 770
	return dest->meth->point_copy(dest, src);
	}


771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789
EC_POINT *EC_POINT_dup(const EC_POINT *a, const EC_GROUP *group)
	{
	EC_POINT *t;
	int r;

	if (a == NULL) return NULL;

	t = EC_POINT_new(group);
	if (t == NULL) return(NULL);
	r = EC_POINT_copy(t, a);
	if (!r)
		{
		EC_POINT_free(t);
		return NULL;
		}
	else return t;
	}


790 791 792 793 794 795
const EC_METHOD *EC_POINT_method_of(const EC_POINT *point)
	{
	return point->meth;
	}


796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811
int EC_POINT_set_to_infinity(const EC_GROUP *group, EC_POINT *point)
	{
	if (group->meth->point_set_to_infinity == 0)
		{
		ECerr(EC_F_EC_POINT_SET_TO_INFINITY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	if (group->meth != point->meth)
		{
		ECerr(EC_F_EC_POINT_SET_TO_INFINITY, EC_R_INCOMPATIBLE_OBJECTS);
		return 0;
		}
	return group->meth->point_set_to_infinity(group, point);
	}


B
Bodo Möller 已提交
812 813 814
int EC_POINT_set_Jprojective_coordinates_GFp(const EC_GROUP *group, EC_POINT *point,
	const BIGNUM *x, const BIGNUM *y, const BIGNUM *z, BN_CTX *ctx)
	{
815
	if (group->meth->point_set_Jprojective_coordinates_GFp == 0)
B
Bodo Möller 已提交
816 817 818 819 820 821 822 823 824
		{
		ECerr(EC_F_EC_POINT_SET_JPROJECTIVE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	if (group->meth != point->meth)
		{
		ECerr(EC_F_EC_POINT_SET_JPROJECTIVE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
		return 0;
		}
825
	return group->meth->point_set_Jprojective_coordinates_GFp(group, point, x, y, z, ctx);
B
Bodo Möller 已提交
826 827 828 829 830 831
	}


int EC_POINT_get_Jprojective_coordinates_GFp(const EC_GROUP *group, const EC_POINT *point,
	BIGNUM *x, BIGNUM *y, BIGNUM *z, BN_CTX *ctx)
	{
832
	if (group->meth->point_get_Jprojective_coordinates_GFp == 0)
B
Bodo Möller 已提交
833 834 835 836 837 838 839 840 841
		{
		ECerr(EC_F_EC_POINT_GET_JPROJECTIVE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	if (group->meth != point->meth)
		{
		ECerr(EC_F_EC_POINT_GET_JPROJECTIVE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
		return 0;
		}
842
	return group->meth->point_get_Jprojective_coordinates_GFp(group, point, x, y, z, ctx);
B
Bodo Möller 已提交
843 844 845
	}


846 847 848
int EC_POINT_set_affine_coordinates_GFp(const EC_GROUP *group, EC_POINT *point,
	const BIGNUM *x, const BIGNUM *y, BN_CTX *ctx)
	{
849
	if (group->meth->point_set_affine_coordinates == 0)
850 851 852 853 854 855 856 857 858
		{
		ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	if (group->meth != point->meth)
		{
		ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
		return 0;
		}
859
	return group->meth->point_set_affine_coordinates(group, point, x, y, ctx);
860 861
	}

862
#ifndef OPENSSL_NO_EC2M
863 864
int EC_POINT_set_affine_coordinates_GF2m(const EC_GROUP *group, EC_POINT *point,
	const BIGNUM *x, const BIGNUM *y, BN_CTX *ctx)
865
	{
866
	if (group->meth->point_set_affine_coordinates == 0)
867
		{
868
		ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GF2M, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
869 870 871 872
		return 0;
		}
	if (group->meth != point->meth)
		{
873
		ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GF2M, EC_R_INCOMPATIBLE_OBJECTS);
874 875
		return 0;
		}
876
	return group->meth->point_set_affine_coordinates(group, point, x, y, ctx);
877
	}
878
#endif
879

880 881
int EC_POINT_get_affine_coordinates_GFp(const EC_GROUP *group, const EC_POINT *point,
	BIGNUM *x, BIGNUM *y, BN_CTX *ctx)
882
	{
883
	if (group->meth->point_get_affine_coordinates == 0)
884
		{
885
		ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
886 887 888 889
		return 0;
		}
	if (group->meth != point->meth)
		{
890
		ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS);
891 892
		return 0;
		}
893
	return group->meth->point_get_affine_coordinates(group, point, x, y, ctx);
894 895
	}

896
#ifndef OPENSSL_NO_EC2M
897 898
int EC_POINT_get_affine_coordinates_GF2m(const EC_GROUP *group, const EC_POINT *point,
	BIGNUM *x, BIGNUM *y, BN_CTX *ctx)
899
	{
900
	if (group->meth->point_get_affine_coordinates == 0)
901
		{
902
		ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GF2M, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
903 904 905 906
		return 0;
		}
	if (group->meth != point->meth)
		{
907
		ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GF2M, EC_R_INCOMPATIBLE_OBJECTS);
908 909
		return 0;
		}
910
	return group->meth->point_get_affine_coordinates(group, point, x, y, ctx);
911
	}
912
#endif
913

914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945
int EC_POINT_add(const EC_GROUP *group, EC_POINT *r, const EC_POINT *a, const EC_POINT *b, BN_CTX *ctx)
	{
	if (group->meth->add == 0)
		{
		ECerr(EC_F_EC_POINT_ADD, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	if ((group->meth != r->meth) || (r->meth != a->meth) || (a->meth != b->meth))
		{
		ECerr(EC_F_EC_POINT_ADD, EC_R_INCOMPATIBLE_OBJECTS);
		return 0;
		}
	return group->meth->add(group, r, a, b, ctx);
	}


int EC_POINT_dbl(const EC_GROUP *group, EC_POINT *r, const EC_POINT *a, BN_CTX *ctx)
	{
	if (group->meth->dbl == 0)
		{
		ECerr(EC_F_EC_POINT_DBL, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	if ((group->meth != r->meth) || (r->meth != a->meth))
		{
		ECerr(EC_F_EC_POINT_DBL, EC_R_INCOMPATIBLE_OBJECTS);
		return 0;
		}
	return group->meth->dbl(group, r, a, ctx);
	}


B
Bodo Möller 已提交
946 947
int EC_POINT_invert(const EC_GROUP *group, EC_POINT *a, BN_CTX *ctx)
	{
948
	if (group->meth->invert == 0)
B
Bodo Möller 已提交
949
		{
950
		ECerr(EC_F_EC_POINT_INVERT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
B
Bodo Möller 已提交
951 952 953 954
		return 0;
		}
	if (group->meth != a->meth)
		{
955
		ECerr(EC_F_EC_POINT_INVERT, EC_R_INCOMPATIBLE_OBJECTS);
B
Bodo Möller 已提交
956 957 958 959 960 961
		return 0;
		}
	return group->meth->invert(group, a, ctx);
	}


962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993
int EC_POINT_is_at_infinity(const EC_GROUP *group, const EC_POINT *point)
	{
	if (group->meth->is_at_infinity == 0)
		{
		ECerr(EC_F_EC_POINT_IS_AT_INFINITY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	if (group->meth != point->meth)
		{
		ECerr(EC_F_EC_POINT_IS_AT_INFINITY, EC_R_INCOMPATIBLE_OBJECTS);
		return 0;
		}
	return group->meth->is_at_infinity(group, point);
	}


int EC_POINT_is_on_curve(const EC_GROUP *group, const EC_POINT *point, BN_CTX *ctx)
	{
	if (group->meth->is_on_curve == 0)
		{
		ECerr(EC_F_EC_POINT_IS_ON_CURVE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	if (group->meth != point->meth)
		{
		ECerr(EC_F_EC_POINT_IS_ON_CURVE, EC_R_INCOMPATIBLE_OBJECTS);
		return 0;
		}
	return group->meth->is_on_curve(group, point, ctx);
	}


B
Bodo Möller 已提交
994 995 996 997 998
int EC_POINT_cmp(const EC_GROUP *group, const EC_POINT *a, const EC_POINT *b, BN_CTX *ctx)
	{
	if (group->meth->point_cmp == 0)
		{
		ECerr(EC_F_EC_POINT_CMP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
B
Bodo Moeller 已提交
999
		return -1;
B
Bodo Möller 已提交
1000 1001 1002 1003
		}
	if ((group->meth != a->meth) || (a->meth != b->meth))
		{
		ECerr(EC_F_EC_POINT_CMP, EC_R_INCOMPATIBLE_OBJECTS);
B
Bodo Moeller 已提交
1004
		return -1;
B
Bodo Möller 已提交
1005 1006 1007 1008 1009
		}
	return group->meth->point_cmp(group, a, b, ctx);
	}


B
Bodo Möller 已提交
1010
int EC_POINT_make_affine(const EC_GROUP *group, EC_POINT *point, BN_CTX *ctx)
1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023
	{
	if (group->meth->make_affine == 0)
		{
		ECerr(EC_F_EC_POINT_MAKE_AFFINE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	if (group->meth != point->meth)
		{
		ECerr(EC_F_EC_POINT_MAKE_AFFINE, EC_R_INCOMPATIBLE_OBJECTS);
		return 0;
		}
	return group->meth->make_affine(group, point, ctx);
	}
1024 1025 1026 1027 1028 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040 1041 1042 1043 1044


int EC_POINTs_make_affine(const EC_GROUP *group, size_t num, EC_POINT *points[], BN_CTX *ctx)
	{
	size_t i;

	if (group->meth->points_make_affine == 0)
		{
		ECerr(EC_F_EC_POINTS_MAKE_AFFINE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
		return 0;
		}
	for (i = 0; i < num; i++)
		{
		if (group->meth != points[i]->meth)
			{
			ECerr(EC_F_EC_POINTS_MAKE_AFFINE, EC_R_INCOMPATIBLE_OBJECTS);
			return 0;
			}
		}
	return group->meth->points_make_affine(group, num, points, ctx);
	}
1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095 1096 1097 1098 1099


/* Functions for point multiplication.
 *
 * If group->meth->mul is 0, we use the wNAF-based implementations in ec_mult.c;
 * otherwise we dispatch through methods.
 */

int EC_POINTs_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar,
	size_t num, const EC_POINT *points[], const BIGNUM *scalars[], BN_CTX *ctx)
	{
	if (group->meth->mul == 0)
		/* use default */
		return ec_wNAF_mul(group, r, scalar, num, points, scalars, ctx);

	return group->meth->mul(group, r, scalar, num, points, scalars, ctx);
	}

int EC_POINT_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *g_scalar,
	const EC_POINT *point, const BIGNUM *p_scalar, BN_CTX *ctx)
	{
	/* just a convenient interface to EC_POINTs_mul() */

	const EC_POINT *points[1];
	const BIGNUM *scalars[1];

	points[0] = point;
	scalars[0] = p_scalar;

	return EC_POINTs_mul(group, r, g_scalar, (point != NULL && p_scalar != NULL), points, scalars, ctx);
	}

int EC_GROUP_precompute_mult(EC_GROUP *group, BN_CTX *ctx)
	{
	if (group->meth->mul == 0)
		/* use default */
		return ec_wNAF_precompute_mult(group, ctx);

	if (group->meth->precompute_mult != 0)
		return group->meth->precompute_mult(group, ctx);
	else
		return 1; /* nothing to do, so report success */
	}

int EC_GROUP_have_precompute_mult(const EC_GROUP *group)
	{
	if (group->meth->mul == 0)
		/* use default */
		return ec_wNAF_have_precompute_mult(group);

	if (group->meth->have_precompute_mult != 0)
		return group->meth->have_precompute_mult(group);
	else
		return 0; /* cannot tell whether precomputation has been performed */
	}