diff options
Diffstat (limited to 'src/lib/libcrypto/ec/ec_lib.c')
-rw-r--r-- | src/lib/libcrypto/ec/ec_lib.c | 678 |
1 files changed, 593 insertions, 85 deletions
diff --git a/src/lib/libcrypto/ec/ec_lib.c b/src/lib/libcrypto/ec/ec_lib.c index deb522060f..5af84376c6 100644 --- a/src/lib/libcrypto/ec/ec_lib.c +++ b/src/lib/libcrypto/ec/ec_lib.c | |||
@@ -1,6 +1,9 @@ | |||
1 | /* crypto/ec/ec_lib.c */ | 1 | /* crypto/ec/ec_lib.c */ |
2 | /* | ||
3 | * Originally written by Bodo Moeller for the OpenSSL project. | ||
4 | */ | ||
2 | /* ==================================================================== | 5 | /* ==================================================================== |
3 | * Copyright (c) 1998-2001 The OpenSSL Project. All rights reserved. | 6 | * Copyright (c) 1998-2003 The OpenSSL Project. All rights reserved. |
4 | * | 7 | * |
5 | * Redistribution and use in source and binary forms, with or without | 8 | * Redistribution and use in source and binary forms, with or without |
6 | * modification, are permitted provided that the following conditions | 9 | * modification, are permitted provided that the following conditions |
@@ -52,6 +55,11 @@ | |||
52 | * Hudson (tjh@cryptsoft.com). | 55 | * Hudson (tjh@cryptsoft.com). |
53 | * | 56 | * |
54 | */ | 57 | */ |
58 | /* ==================================================================== | ||
59 | * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED. | ||
60 | * Binary polynomial ECC support in OpenSSL originally developed by | ||
61 | * SUN MICROSYSTEMS, INC., and contributed to the OpenSSL project. | ||
62 | */ | ||
55 | 63 | ||
56 | #include <string.h> | 64 | #include <string.h> |
57 | 65 | ||
@@ -90,10 +98,18 @@ EC_GROUP *EC_GROUP_new(const EC_METHOD *meth) | |||
90 | ret->meth = meth; | 98 | ret->meth = meth; |
91 | 99 | ||
92 | ret->extra_data = NULL; | 100 | ret->extra_data = NULL; |
93 | ret->extra_data_dup_func = 0; | 101 | |
94 | ret->extra_data_free_func = 0; | 102 | ret->generator = NULL; |
95 | ret->extra_data_clear_free_func = 0; | 103 | BN_init(&ret->order); |
96 | 104 | BN_init(&ret->cofactor); | |
105 | |||
106 | ret->curve_name = 0; | ||
107 | ret->asn1_flag = 0; | ||
108 | ret->asn1_form = POINT_CONVERSION_UNCOMPRESSED; | ||
109 | |||
110 | ret->seed = NULL; | ||
111 | ret->seed_len = 0; | ||
112 | |||
97 | if (!meth->group_init(ret)) | 113 | if (!meth->group_init(ret)) |
98 | { | 114 | { |
99 | OPENSSL_free(ret); | 115 | OPENSSL_free(ret); |
@@ -111,7 +127,15 @@ void EC_GROUP_free(EC_GROUP *group) | |||
111 | if (group->meth->group_finish != 0) | 127 | if (group->meth->group_finish != 0) |
112 | group->meth->group_finish(group); | 128 | group->meth->group_finish(group); |
113 | 129 | ||
114 | EC_GROUP_free_extra_data(group); | 130 | EC_EX_DATA_free_all_data(&group->extra_data); |
131 | |||
132 | if (group->generator != NULL) | ||
133 | EC_POINT_free(group->generator); | ||
134 | BN_free(&group->order); | ||
135 | BN_free(&group->cofactor); | ||
136 | |||
137 | if (group->seed) | ||
138 | OPENSSL_free(group->seed); | ||
115 | 139 | ||
116 | OPENSSL_free(group); | 140 | OPENSSL_free(group); |
117 | } | 141 | } |
@@ -123,10 +147,21 @@ void EC_GROUP_clear_free(EC_GROUP *group) | |||
123 | 147 | ||
124 | if (group->meth->group_clear_finish != 0) | 148 | if (group->meth->group_clear_finish != 0) |
125 | group->meth->group_clear_finish(group); | 149 | group->meth->group_clear_finish(group); |
126 | else if (group->meth != NULL && group->meth->group_finish != 0) | 150 | else if (group->meth->group_finish != 0) |
127 | group->meth->group_finish(group); | 151 | group->meth->group_finish(group); |
128 | 152 | ||
129 | EC_GROUP_clear_free_extra_data(group); | 153 | EC_EX_DATA_clear_free_all_data(&group->extra_data); |
154 | |||
155 | if (group->generator != NULL) | ||
156 | EC_POINT_clear_free(group->generator); | ||
157 | BN_clear_free(&group->order); | ||
158 | BN_clear_free(&group->cofactor); | ||
159 | |||
160 | if (group->seed) | ||
161 | { | ||
162 | OPENSSL_cleanse(group->seed, group->seed_len); | ||
163 | OPENSSL_free(group->seed); | ||
164 | } | ||
130 | 165 | ||
131 | OPENSSL_cleanse(group, sizeof *group); | 166 | OPENSSL_cleanse(group, sizeof *group); |
132 | OPENSSL_free(group); | 167 | OPENSSL_free(group); |
@@ -135,6 +170,8 @@ void EC_GROUP_clear_free(EC_GROUP *group) | |||
135 | 170 | ||
136 | int EC_GROUP_copy(EC_GROUP *dest, const EC_GROUP *src) | 171 | int EC_GROUP_copy(EC_GROUP *dest, const EC_GROUP *src) |
137 | { | 172 | { |
173 | EC_EXTRA_DATA *d; | ||
174 | |||
138 | if (dest->meth->group_copy == 0) | 175 | if (dest->meth->group_copy == 0) |
139 | { | 176 | { |
140 | ECerr(EC_F_EC_GROUP_COPY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | 177 | ECerr(EC_F_EC_GROUP_COPY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
@@ -148,161 +185,507 @@ int EC_GROUP_copy(EC_GROUP *dest, const EC_GROUP *src) | |||
148 | if (dest == src) | 185 | if (dest == src) |
149 | return 1; | 186 | return 1; |
150 | 187 | ||
151 | EC_GROUP_clear_free_extra_data(dest); | 188 | EC_EX_DATA_free_all_data(&dest->extra_data); |
152 | if (src->extra_data_dup_func) | 189 | |
190 | for (d = src->extra_data; d != NULL; d = d->next) | ||
153 | { | 191 | { |
154 | if (src->extra_data != NULL) | 192 | void *t = d->dup_func(d->data); |
193 | |||
194 | if (t == NULL) | ||
195 | return 0; | ||
196 | if (!EC_EX_DATA_set_data(&dest->extra_data, t, d->dup_func, d->free_func, d->clear_free_func)) | ||
197 | return 0; | ||
198 | } | ||
199 | |||
200 | if (src->generator != NULL) | ||
201 | { | ||
202 | if (dest->generator == NULL) | ||
203 | { | ||
204 | dest->generator = EC_POINT_new(dest); | ||
205 | if (dest->generator == NULL) return 0; | ||
206 | } | ||
207 | if (!EC_POINT_copy(dest->generator, src->generator)) return 0; | ||
208 | } | ||
209 | else | ||
210 | { | ||
211 | /* src->generator == NULL */ | ||
212 | if (dest->generator != NULL) | ||
155 | { | 213 | { |
156 | dest->extra_data = src->extra_data_dup_func(src->extra_data); | 214 | EC_POINT_clear_free(dest->generator); |
157 | if (dest->extra_data == NULL) | 215 | dest->generator = NULL; |
158 | return 0; | ||
159 | } | 216 | } |
217 | } | ||
218 | |||
219 | if (!BN_copy(&dest->order, &src->order)) return 0; | ||
220 | if (!BN_copy(&dest->cofactor, &src->cofactor)) return 0; | ||
160 | 221 | ||
161 | dest->extra_data_dup_func = src->extra_data_dup_func; | 222 | dest->curve_name = src->curve_name; |
162 | dest->extra_data_free_func = src->extra_data_free_func; | 223 | dest->asn1_flag = src->asn1_flag; |
163 | dest->extra_data_clear_free_func = src->extra_data_clear_free_func; | 224 | dest->asn1_form = src->asn1_form; |
225 | |||
226 | if (src->seed) | ||
227 | { | ||
228 | if (dest->seed) | ||
229 | OPENSSL_free(dest->seed); | ||
230 | dest->seed = OPENSSL_malloc(src->seed_len); | ||
231 | if (dest->seed == NULL) | ||
232 | return 0; | ||
233 | if (!memcpy(dest->seed, src->seed, src->seed_len)) | ||
234 | return 0; | ||
235 | dest->seed_len = src->seed_len; | ||
236 | } | ||
237 | else | ||
238 | { | ||
239 | if (dest->seed) | ||
240 | OPENSSL_free(dest->seed); | ||
241 | dest->seed = NULL; | ||
242 | dest->seed_len = 0; | ||
164 | } | 243 | } |
244 | |||
165 | 245 | ||
166 | return dest->meth->group_copy(dest, src); | 246 | return dest->meth->group_copy(dest, src); |
167 | } | 247 | } |
168 | 248 | ||
169 | 249 | ||
250 | EC_GROUP *EC_GROUP_dup(const EC_GROUP *a) | ||
251 | { | ||
252 | EC_GROUP *t = NULL; | ||
253 | int ok = 0; | ||
254 | |||
255 | if (a == NULL) return NULL; | ||
256 | |||
257 | if ((t = EC_GROUP_new(a->meth)) == NULL) return(NULL); | ||
258 | if (!EC_GROUP_copy(t, a)) goto err; | ||
259 | |||
260 | ok = 1; | ||
261 | |||
262 | err: | ||
263 | if (!ok) | ||
264 | { | ||
265 | if (t) EC_GROUP_free(t); | ||
266 | return NULL; | ||
267 | } | ||
268 | else return t; | ||
269 | } | ||
270 | |||
271 | |||
170 | const EC_METHOD *EC_GROUP_method_of(const EC_GROUP *group) | 272 | const EC_METHOD *EC_GROUP_method_of(const EC_GROUP *group) |
171 | { | 273 | { |
172 | return group->meth; | 274 | return group->meth; |
173 | } | 275 | } |
174 | 276 | ||
175 | 277 | ||
278 | int EC_METHOD_get_field_type(const EC_METHOD *meth) | ||
279 | { | ||
280 | return meth->field_type; | ||
281 | } | ||
282 | |||
283 | |||
284 | int EC_GROUP_set_generator(EC_GROUP *group, const EC_POINT *generator, const BIGNUM *order, const BIGNUM *cofactor) | ||
285 | { | ||
286 | if (generator == NULL) | ||
287 | { | ||
288 | ECerr(EC_F_EC_GROUP_SET_GENERATOR, ERR_R_PASSED_NULL_PARAMETER); | ||
289 | return 0 ; | ||
290 | } | ||
291 | |||
292 | if (group->generator == NULL) | ||
293 | { | ||
294 | group->generator = EC_POINT_new(group); | ||
295 | if (group->generator == NULL) return 0; | ||
296 | } | ||
297 | if (!EC_POINT_copy(group->generator, generator)) return 0; | ||
298 | |||
299 | if (order != NULL) | ||
300 | { if (!BN_copy(&group->order, order)) return 0; } | ||
301 | else | ||
302 | BN_zero(&group->order); | ||
303 | |||
304 | if (cofactor != NULL) | ||
305 | { if (!BN_copy(&group->cofactor, cofactor)) return 0; } | ||
306 | else | ||
307 | BN_zero(&group->cofactor); | ||
308 | |||
309 | return 1; | ||
310 | } | ||
311 | |||
312 | |||
313 | const EC_POINT *EC_GROUP_get0_generator(const EC_GROUP *group) | ||
314 | { | ||
315 | return group->generator; | ||
316 | } | ||
317 | |||
318 | |||
319 | int EC_GROUP_get_order(const EC_GROUP *group, BIGNUM *order, BN_CTX *ctx) | ||
320 | { | ||
321 | if (!BN_copy(order, &group->order)) | ||
322 | return 0; | ||
323 | |||
324 | return !BN_is_zero(order); | ||
325 | } | ||
326 | |||
327 | |||
328 | int EC_GROUP_get_cofactor(const EC_GROUP *group, BIGNUM *cofactor, BN_CTX *ctx) | ||
329 | { | ||
330 | if (!BN_copy(cofactor, &group->cofactor)) | ||
331 | return 0; | ||
332 | |||
333 | return !BN_is_zero(&group->cofactor); | ||
334 | } | ||
335 | |||
336 | |||
337 | void EC_GROUP_set_curve_name(EC_GROUP *group, int nid) | ||
338 | { | ||
339 | group->curve_name = nid; | ||
340 | } | ||
341 | |||
342 | |||
343 | int EC_GROUP_get_curve_name(const EC_GROUP *group) | ||
344 | { | ||
345 | return group->curve_name; | ||
346 | } | ||
347 | |||
348 | |||
349 | void EC_GROUP_set_asn1_flag(EC_GROUP *group, int flag) | ||
350 | { | ||
351 | group->asn1_flag = flag; | ||
352 | } | ||
353 | |||
354 | |||
355 | int EC_GROUP_get_asn1_flag(const EC_GROUP *group) | ||
356 | { | ||
357 | return group->asn1_flag; | ||
358 | } | ||
359 | |||
360 | |||
361 | void EC_GROUP_set_point_conversion_form(EC_GROUP *group, | ||
362 | point_conversion_form_t form) | ||
363 | { | ||
364 | group->asn1_form = form; | ||
365 | } | ||
366 | |||
367 | |||
368 | point_conversion_form_t EC_GROUP_get_point_conversion_form(const EC_GROUP *group) | ||
369 | { | ||
370 | return group->asn1_form; | ||
371 | } | ||
372 | |||
373 | |||
374 | size_t EC_GROUP_set_seed(EC_GROUP *group, const unsigned char *p, size_t len) | ||
375 | { | ||
376 | if (group->seed) | ||
377 | { | ||
378 | OPENSSL_free(group->seed); | ||
379 | group->seed = NULL; | ||
380 | group->seed_len = 0; | ||
381 | } | ||
382 | |||
383 | if (!len || !p) | ||
384 | return 1; | ||
385 | |||
386 | if ((group->seed = OPENSSL_malloc(len)) == NULL) | ||
387 | return 0; | ||
388 | memcpy(group->seed, p, len); | ||
389 | group->seed_len = len; | ||
390 | |||
391 | return len; | ||
392 | } | ||
393 | |||
394 | |||
395 | unsigned char *EC_GROUP_get0_seed(const EC_GROUP *group) | ||
396 | { | ||
397 | return group->seed; | ||
398 | } | ||
399 | |||
400 | |||
401 | size_t EC_GROUP_get_seed_len(const EC_GROUP *group) | ||
402 | { | ||
403 | return group->seed_len; | ||
404 | } | ||
405 | |||
406 | |||
176 | int EC_GROUP_set_curve_GFp(EC_GROUP *group, const BIGNUM *p, const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx) | 407 | int EC_GROUP_set_curve_GFp(EC_GROUP *group, const BIGNUM *p, const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx) |
177 | { | 408 | { |
178 | if (group->meth->group_set_curve_GFp == 0) | 409 | if (group->meth->group_set_curve == 0) |
179 | { | 410 | { |
180 | ECerr(EC_F_EC_GROUP_SET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | 411 | ECerr(EC_F_EC_GROUP_SET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
181 | return 0; | 412 | return 0; |
182 | } | 413 | } |
183 | return group->meth->group_set_curve_GFp(group, p, a, b, ctx); | 414 | return group->meth->group_set_curve(group, p, a, b, ctx); |
184 | } | 415 | } |
185 | 416 | ||
186 | 417 | ||
187 | int EC_GROUP_get_curve_GFp(const EC_GROUP *group, BIGNUM *p, BIGNUM *a, BIGNUM *b, BN_CTX *ctx) | 418 | int EC_GROUP_get_curve_GFp(const EC_GROUP *group, BIGNUM *p, BIGNUM *a, BIGNUM *b, BN_CTX *ctx) |
188 | { | 419 | { |
189 | if (group->meth->group_get_curve_GFp == 0) | 420 | if (group->meth->group_get_curve == 0) |
190 | { | 421 | { |
191 | ECerr(EC_F_EC_GROUP_GET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | 422 | ECerr(EC_F_EC_GROUP_GET_CURVE_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
192 | return 0; | 423 | return 0; |
193 | } | 424 | } |
194 | return group->meth->group_get_curve_GFp(group, p, a, b, ctx); | 425 | return group->meth->group_get_curve(group, p, a, b, ctx); |
195 | } | 426 | } |
196 | 427 | ||
197 | 428 | ||
198 | int EC_GROUP_set_generator(EC_GROUP *group, const EC_POINT *generator, const BIGNUM *order, const BIGNUM *cofactor) | 429 | int EC_GROUP_set_curve_GF2m(EC_GROUP *group, const BIGNUM *p, const BIGNUM *a, const BIGNUM *b, BN_CTX *ctx) |
199 | { | 430 | { |
200 | if (group->meth->group_set_generator == 0) | 431 | if (group->meth->group_set_curve == 0) |
201 | { | 432 | { |
202 | ECerr(EC_F_EC_GROUP_SET_GENERATOR, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | 433 | ECerr(EC_F_EC_GROUP_SET_CURVE_GF2M, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
203 | return 0; | 434 | return 0; |
204 | } | 435 | } |
205 | return group->meth->group_set_generator(group, generator, order, cofactor); | 436 | return group->meth->group_set_curve(group, p, a, b, ctx); |
206 | } | 437 | } |
207 | 438 | ||
208 | 439 | ||
209 | EC_POINT *EC_GROUP_get0_generator(const EC_GROUP *group) | 440 | int EC_GROUP_get_curve_GF2m(const EC_GROUP *group, BIGNUM *p, BIGNUM *a, BIGNUM *b, BN_CTX *ctx) |
210 | { | 441 | { |
211 | if (group->meth->group_get0_generator == 0) | 442 | if (group->meth->group_get_curve == 0) |
212 | { | 443 | { |
213 | ECerr(EC_F_EC_GROUP_GET0_GENERATOR, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | 444 | ECerr(EC_F_EC_GROUP_GET_CURVE_GF2M, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
214 | return 0; | 445 | return 0; |
215 | } | 446 | } |
216 | return group->meth->group_get0_generator(group); | 447 | return group->meth->group_get_curve(group, p, a, b, ctx); |
217 | } | 448 | } |
218 | 449 | ||
219 | 450 | ||
220 | int EC_GROUP_get_order(const EC_GROUP *group, BIGNUM *order, BN_CTX *ctx) | 451 | int EC_GROUP_get_degree(const EC_GROUP *group) |
221 | { | 452 | { |
222 | if (group->meth->group_get_order == 0) | 453 | if (group->meth->group_get_degree == 0) |
223 | { | 454 | { |
224 | ECerr(EC_F_EC_GROUP_GET_ORDER, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | 455 | ECerr(EC_F_EC_GROUP_GET_DEGREE, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
225 | return 0; | 456 | return 0; |
226 | } | 457 | } |
227 | return group->meth->group_get_order(group, order, ctx); | 458 | return group->meth->group_get_degree(group); |
228 | } | 459 | } |
229 | 460 | ||
230 | 461 | ||
231 | int EC_GROUP_get_cofactor(const EC_GROUP *group, BIGNUM *cofactor, BN_CTX *ctx) | 462 | int EC_GROUP_check_discriminant(const EC_GROUP *group, BN_CTX *ctx) |
232 | { | 463 | { |
233 | if (group->meth->group_get_cofactor == 0) | 464 | if (group->meth->group_check_discriminant == 0) |
234 | { | 465 | { |
235 | ECerr(EC_F_EC_GROUP_GET_COFACTOR, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | 466 | ECerr(EC_F_EC_GROUP_CHECK_DISCRIMINANT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
236 | return 0; | 467 | return 0; |
237 | } | 468 | } |
238 | return group->meth->group_get_cofactor(group, cofactor, ctx); | 469 | return group->meth->group_check_discriminant(group, ctx); |
239 | } | 470 | } |
240 | 471 | ||
241 | 472 | ||
242 | /* this has 'package' visibility */ | 473 | int EC_GROUP_cmp(const EC_GROUP *a, const EC_GROUP *b, BN_CTX *ctx) |
243 | int EC_GROUP_set_extra_data(EC_GROUP *group, void *extra_data, void *(*extra_data_dup_func)(void *), | ||
244 | void (*extra_data_free_func)(void *), void (*extra_data_clear_free_func)(void *)) | ||
245 | { | 474 | { |
246 | if ((group->extra_data != NULL) | 475 | int r = 0; |
247 | || (group->extra_data_dup_func != 0) | 476 | BIGNUM *a1, *a2, *a3, *b1, *b2, *b3; |
248 | || (group->extra_data_free_func != 0) | 477 | BN_CTX *ctx_new = NULL; |
249 | || (group->extra_data_clear_free_func != 0)) | 478 | |
250 | { | 479 | /* compare the field types*/ |
251 | ECerr(EC_F_EC_GROUP_SET_EXTRA_DATA, EC_R_SLOT_FULL); | 480 | if (EC_METHOD_get_field_type(EC_GROUP_method_of(a)) != |
481 | EC_METHOD_get_field_type(EC_GROUP_method_of(b))) | ||
482 | return 1; | ||
483 | /* compare the curve name (if present) */ | ||
484 | if (EC_GROUP_get_curve_name(a) && EC_GROUP_get_curve_name(b) && | ||
485 | EC_GROUP_get_curve_name(a) == EC_GROUP_get_curve_name(b)) | ||
252 | return 0; | 486 | return 0; |
487 | |||
488 | if (!ctx) | ||
489 | ctx_new = ctx = BN_CTX_new(); | ||
490 | if (!ctx) | ||
491 | return -1; | ||
492 | |||
493 | BN_CTX_start(ctx); | ||
494 | a1 = BN_CTX_get(ctx); | ||
495 | a2 = BN_CTX_get(ctx); | ||
496 | a3 = BN_CTX_get(ctx); | ||
497 | b1 = BN_CTX_get(ctx); | ||
498 | b2 = BN_CTX_get(ctx); | ||
499 | b3 = BN_CTX_get(ctx); | ||
500 | if (!b3) | ||
501 | { | ||
502 | BN_CTX_end(ctx); | ||
503 | if (ctx_new) | ||
504 | BN_CTX_free(ctx); | ||
505 | return -1; | ||
253 | } | 506 | } |
254 | 507 | ||
255 | group->extra_data = extra_data; | 508 | /* XXX This approach assumes that the external representation |
256 | group->extra_data_dup_func = extra_data_dup_func; | 509 | * of curves over the same field type is the same. |
257 | group->extra_data_free_func = extra_data_free_func; | 510 | */ |
258 | group->extra_data_clear_free_func = extra_data_clear_free_func; | 511 | if (!a->meth->group_get_curve(a, a1, a2, a3, ctx) || |
259 | return 1; | 512 | !b->meth->group_get_curve(b, b1, b2, b3, ctx)) |
513 | r = 1; | ||
514 | |||
515 | if (r || BN_cmp(a1, b1) || BN_cmp(a2, b2) || BN_cmp(a3, b3)) | ||
516 | r = 1; | ||
517 | |||
518 | /* XXX EC_POINT_cmp() assumes that the methods are equal */ | ||
519 | if (r || EC_POINT_cmp(a, EC_GROUP_get0_generator(a), | ||
520 | EC_GROUP_get0_generator(b), ctx)) | ||
521 | r = 1; | ||
522 | |||
523 | if (!r) | ||
524 | { | ||
525 | /* compare the order and cofactor */ | ||
526 | if (!EC_GROUP_get_order(a, a1, ctx) || | ||
527 | !EC_GROUP_get_order(b, b1, ctx) || | ||
528 | !EC_GROUP_get_cofactor(a, a2, ctx) || | ||
529 | !EC_GROUP_get_cofactor(b, b2, ctx)) | ||
530 | { | ||
531 | BN_CTX_end(ctx); | ||
532 | if (ctx_new) | ||
533 | BN_CTX_free(ctx); | ||
534 | return -1; | ||
535 | } | ||
536 | if (BN_cmp(a1, b1) || BN_cmp(a2, b2)) | ||
537 | r = 1; | ||
538 | } | ||
539 | |||
540 | BN_CTX_end(ctx); | ||
541 | if (ctx_new) | ||
542 | BN_CTX_free(ctx); | ||
543 | |||
544 | return r; | ||
260 | } | 545 | } |
261 | 546 | ||
262 | 547 | ||
263 | /* this has 'package' visibility */ | 548 | /* this has 'package' visibility */ |
264 | void *EC_GROUP_get_extra_data(const EC_GROUP *group, void *(*extra_data_dup_func)(void *), | 549 | int EC_EX_DATA_set_data(EC_EXTRA_DATA **ex_data, void *data, |
265 | void (*extra_data_free_func)(void *), void (*extra_data_clear_free_func)(void *)) | 550 | void *(*dup_func)(void *), void (*free_func)(void *), void (*clear_free_func)(void *)) |
266 | { | 551 | { |
267 | if ((group->extra_data_dup_func != extra_data_dup_func) | 552 | EC_EXTRA_DATA *d; |
268 | || (group->extra_data_free_func != extra_data_free_func) | 553 | |
269 | || (group->extra_data_clear_free_func != extra_data_clear_free_func)) | 554 | if (ex_data == NULL) |
555 | return 0; | ||
556 | |||
557 | for (d = *ex_data; d != NULL; d = d->next) | ||
270 | { | 558 | { |
271 | #if 0 /* this was an error in 0.9.7, but that does not make a lot of sense */ | 559 | if (d->dup_func == dup_func && d->free_func == free_func && d->clear_free_func == clear_free_func) |
272 | ECerr(..._F_EC_GROUP_GET_EXTRA_DATA, ..._R_NO_SUCH_EXTRA_DATA); | 560 | { |
273 | #endif | 561 | ECerr(EC_F_EC_EX_DATA_SET_DATA, EC_R_SLOT_FULL); |
274 | return NULL; | 562 | return 0; |
563 | } | ||
275 | } | 564 | } |
276 | 565 | ||
277 | return group->extra_data; | 566 | if (data == NULL) |
567 | /* no explicit entry needed */ | ||
568 | return 1; | ||
569 | |||
570 | d = OPENSSL_malloc(sizeof *d); | ||
571 | if (d == NULL) | ||
572 | return 0; | ||
573 | |||
574 | d->data = data; | ||
575 | d->dup_func = dup_func; | ||
576 | d->free_func = free_func; | ||
577 | d->clear_free_func = clear_free_func; | ||
578 | |||
579 | d->next = *ex_data; | ||
580 | *ex_data = d; | ||
581 | |||
582 | return 1; | ||
278 | } | 583 | } |
279 | 584 | ||
585 | /* this has 'package' visibility */ | ||
586 | void *EC_EX_DATA_get_data(const EC_EXTRA_DATA *ex_data, | ||
587 | void *(*dup_func)(void *), void (*free_func)(void *), void (*clear_free_func)(void *)) | ||
588 | { | ||
589 | const EC_EXTRA_DATA *d; | ||
590 | |||
591 | for (d = ex_data; d != NULL; d = d->next) | ||
592 | { | ||
593 | if (d->dup_func == dup_func && d->free_func == free_func && d->clear_free_func == clear_free_func) | ||
594 | return d->data; | ||
595 | } | ||
596 | |||
597 | return NULL; | ||
598 | } | ||
280 | 599 | ||
281 | /* this has 'package' visibility */ | 600 | /* this has 'package' visibility */ |
282 | void EC_GROUP_free_extra_data(EC_GROUP *group) | 601 | void EC_EX_DATA_free_data(EC_EXTRA_DATA **ex_data, |
602 | void *(*dup_func)(void *), void (*free_func)(void *), void (*clear_free_func)(void *)) | ||
283 | { | 603 | { |
284 | if (group->extra_data_free_func) | 604 | EC_EXTRA_DATA **p; |
285 | group->extra_data_free_func(group->extra_data); | 605 | |
286 | group->extra_data = NULL; | 606 | if (ex_data == NULL) |
287 | group->extra_data_dup_func = 0; | 607 | return; |
288 | group->extra_data_free_func = 0; | 608 | |
289 | group->extra_data_clear_free_func = 0; | 609 | for (p = ex_data; *p != NULL; p = &((*p)->next)) |
610 | { | ||
611 | if ((*p)->dup_func == dup_func && (*p)->free_func == free_func && (*p)->clear_free_func == clear_free_func) | ||
612 | { | ||
613 | EC_EXTRA_DATA *next = (*p)->next; | ||
614 | |||
615 | (*p)->free_func((*p)->data); | ||
616 | OPENSSL_free(*p); | ||
617 | |||
618 | *p = next; | ||
619 | return; | ||
620 | } | ||
621 | } | ||
290 | } | 622 | } |
291 | 623 | ||
624 | /* this has 'package' visibility */ | ||
625 | void EC_EX_DATA_clear_free_data(EC_EXTRA_DATA **ex_data, | ||
626 | void *(*dup_func)(void *), void (*free_func)(void *), void (*clear_free_func)(void *)) | ||
627 | { | ||
628 | EC_EXTRA_DATA **p; | ||
629 | |||
630 | if (ex_data == NULL) | ||
631 | return; | ||
632 | |||
633 | for (p = ex_data; *p != NULL; p = &((*p)->next)) | ||
634 | { | ||
635 | if ((*p)->dup_func == dup_func && (*p)->free_func == free_func && (*p)->clear_free_func == clear_free_func) | ||
636 | { | ||
637 | EC_EXTRA_DATA *next = (*p)->next; | ||
638 | |||
639 | (*p)->clear_free_func((*p)->data); | ||
640 | OPENSSL_free(*p); | ||
641 | |||
642 | *p = next; | ||
643 | return; | ||
644 | } | ||
645 | } | ||
646 | } | ||
292 | 647 | ||
293 | /* this has 'package' visibility */ | 648 | /* this has 'package' visibility */ |
294 | void EC_GROUP_clear_free_extra_data(EC_GROUP *group) | 649 | void EC_EX_DATA_free_all_data(EC_EXTRA_DATA **ex_data) |
295 | { | 650 | { |
296 | if (group->extra_data_clear_free_func) | 651 | EC_EXTRA_DATA *d; |
297 | group->extra_data_clear_free_func(group->extra_data); | 652 | |
298 | else if (group->extra_data_free_func) | 653 | if (ex_data == NULL) |
299 | group->extra_data_free_func(group->extra_data); | 654 | return; |
300 | group->extra_data = NULL; | 655 | |
301 | group->extra_data_dup_func = 0; | 656 | d = *ex_data; |
302 | group->extra_data_free_func = 0; | 657 | while (d) |
303 | group->extra_data_clear_free_func = 0; | 658 | { |
659 | EC_EXTRA_DATA *next = d->next; | ||
660 | |||
661 | d->free_func(d->data); | ||
662 | OPENSSL_free(d); | ||
663 | |||
664 | d = next; | ||
665 | } | ||
666 | *ex_data = NULL; | ||
304 | } | 667 | } |
305 | 668 | ||
669 | /* this has 'package' visibility */ | ||
670 | void EC_EX_DATA_clear_free_all_data(EC_EXTRA_DATA **ex_data) | ||
671 | { | ||
672 | EC_EXTRA_DATA *d; | ||
673 | |||
674 | if (ex_data == NULL) | ||
675 | return; | ||
676 | |||
677 | d = *ex_data; | ||
678 | while (d) | ||
679 | { | ||
680 | EC_EXTRA_DATA *next = d->next; | ||
681 | |||
682 | d->clear_free_func(d->data); | ||
683 | OPENSSL_free(d); | ||
684 | |||
685 | d = next; | ||
686 | } | ||
687 | *ex_data = NULL; | ||
688 | } | ||
306 | 689 | ||
307 | 690 | ||
308 | /* functions for EC_POINT objects */ | 691 | /* functions for EC_POINT objects */ |
@@ -382,6 +765,25 @@ int EC_POINT_copy(EC_POINT *dest, const EC_POINT *src) | |||
382 | } | 765 | } |
383 | 766 | ||
384 | 767 | ||
768 | EC_POINT *EC_POINT_dup(const EC_POINT *a, const EC_GROUP *group) | ||
769 | { | ||
770 | EC_POINT *t; | ||
771 | int r; | ||
772 | |||
773 | if (a == NULL) return NULL; | ||
774 | |||
775 | t = EC_POINT_new(group); | ||
776 | if (t == NULL) return(NULL); | ||
777 | r = EC_POINT_copy(t, a); | ||
778 | if (!r) | ||
779 | { | ||
780 | EC_POINT_free(t); | ||
781 | return NULL; | ||
782 | } | ||
783 | else return t; | ||
784 | } | ||
785 | |||
786 | |||
385 | const EC_METHOD *EC_POINT_method_of(const EC_POINT *point) | 787 | const EC_METHOD *EC_POINT_method_of(const EC_POINT *point) |
386 | { | 788 | { |
387 | return point->meth; | 789 | return point->meth; |
@@ -441,7 +843,7 @@ int EC_POINT_get_Jprojective_coordinates_GFp(const EC_GROUP *group, const EC_POI | |||
441 | int EC_POINT_set_affine_coordinates_GFp(const EC_GROUP *group, EC_POINT *point, | 843 | int EC_POINT_set_affine_coordinates_GFp(const EC_GROUP *group, EC_POINT *point, |
442 | const BIGNUM *x, const BIGNUM *y, BN_CTX *ctx) | 844 | const BIGNUM *x, const BIGNUM *y, BN_CTX *ctx) |
443 | { | 845 | { |
444 | if (group->meth->point_set_affine_coordinates_GFp == 0) | 846 | if (group->meth->point_set_affine_coordinates == 0) |
445 | { | 847 | { |
446 | ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | 848 | ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
447 | return 0; | 849 | return 0; |
@@ -451,14 +853,31 @@ int EC_POINT_set_affine_coordinates_GFp(const EC_GROUP *group, EC_POINT *point, | |||
451 | ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS); | 853 | ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS); |
452 | return 0; | 854 | return 0; |
453 | } | 855 | } |
454 | return group->meth->point_set_affine_coordinates_GFp(group, point, x, y, ctx); | 856 | return group->meth->point_set_affine_coordinates(group, point, x, y, ctx); |
857 | } | ||
858 | |||
859 | |||
860 | int EC_POINT_set_affine_coordinates_GF2m(const EC_GROUP *group, EC_POINT *point, | ||
861 | const BIGNUM *x, const BIGNUM *y, BN_CTX *ctx) | ||
862 | { | ||
863 | if (group->meth->point_set_affine_coordinates == 0) | ||
864 | { | ||
865 | ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GF2M, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | ||
866 | return 0; | ||
867 | } | ||
868 | if (group->meth != point->meth) | ||
869 | { | ||
870 | ECerr(EC_F_EC_POINT_SET_AFFINE_COORDINATES_GF2M, EC_R_INCOMPATIBLE_OBJECTS); | ||
871 | return 0; | ||
872 | } | ||
873 | return group->meth->point_set_affine_coordinates(group, point, x, y, ctx); | ||
455 | } | 874 | } |
456 | 875 | ||
457 | 876 | ||
458 | int EC_POINT_get_affine_coordinates_GFp(const EC_GROUP *group, const EC_POINT *point, | 877 | int EC_POINT_get_affine_coordinates_GFp(const EC_GROUP *group, const EC_POINT *point, |
459 | BIGNUM *x, BIGNUM *y, BN_CTX *ctx) | 878 | BIGNUM *x, BIGNUM *y, BN_CTX *ctx) |
460 | { | 879 | { |
461 | if (group->meth->point_get_affine_coordinates_GFp == 0) | 880 | if (group->meth->point_get_affine_coordinates == 0) |
462 | { | 881 | { |
463 | ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | 882 | ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
464 | return 0; | 883 | return 0; |
@@ -468,14 +887,31 @@ int EC_POINT_get_affine_coordinates_GFp(const EC_GROUP *group, const EC_POINT *p | |||
468 | ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS); | 887 | ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS); |
469 | return 0; | 888 | return 0; |
470 | } | 889 | } |
471 | return group->meth->point_get_affine_coordinates_GFp(group, point, x, y, ctx); | 890 | return group->meth->point_get_affine_coordinates(group, point, x, y, ctx); |
891 | } | ||
892 | |||
893 | |||
894 | int EC_POINT_get_affine_coordinates_GF2m(const EC_GROUP *group, const EC_POINT *point, | ||
895 | BIGNUM *x, BIGNUM *y, BN_CTX *ctx) | ||
896 | { | ||
897 | if (group->meth->point_get_affine_coordinates == 0) | ||
898 | { | ||
899 | ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GF2M, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | ||
900 | return 0; | ||
901 | } | ||
902 | if (group->meth != point->meth) | ||
903 | { | ||
904 | ECerr(EC_F_EC_POINT_GET_AFFINE_COORDINATES_GF2M, EC_R_INCOMPATIBLE_OBJECTS); | ||
905 | return 0; | ||
906 | } | ||
907 | return group->meth->point_get_affine_coordinates(group, point, x, y, ctx); | ||
472 | } | 908 | } |
473 | 909 | ||
474 | 910 | ||
475 | int EC_POINT_set_compressed_coordinates_GFp(const EC_GROUP *group, EC_POINT *point, | 911 | int EC_POINT_set_compressed_coordinates_GFp(const EC_GROUP *group, EC_POINT *point, |
476 | const BIGNUM *x, int y_bit, BN_CTX *ctx) | 912 | const BIGNUM *x, int y_bit, BN_CTX *ctx) |
477 | { | 913 | { |
478 | if (group->meth->point_set_compressed_coordinates_GFp == 0) | 914 | if (group->meth->point_set_compressed_coordinates == 0) |
479 | { | 915 | { |
480 | ECerr(EC_F_EC_POINT_SET_COMPRESSED_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | 916 | ECerr(EC_F_EC_POINT_SET_COMPRESSED_COORDINATES_GFP, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
481 | return 0; | 917 | return 0; |
@@ -485,7 +921,24 @@ int EC_POINT_set_compressed_coordinates_GFp(const EC_GROUP *group, EC_POINT *poi | |||
485 | ECerr(EC_F_EC_POINT_SET_COMPRESSED_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS); | 921 | ECerr(EC_F_EC_POINT_SET_COMPRESSED_COORDINATES_GFP, EC_R_INCOMPATIBLE_OBJECTS); |
486 | return 0; | 922 | return 0; |
487 | } | 923 | } |
488 | return group->meth->point_set_compressed_coordinates_GFp(group, point, x, y_bit, ctx); | 924 | return group->meth->point_set_compressed_coordinates(group, point, x, y_bit, ctx); |
925 | } | ||
926 | |||
927 | |||
928 | int EC_POINT_set_compressed_coordinates_GF2m(const EC_GROUP *group, EC_POINT *point, | ||
929 | const BIGNUM *x, int y_bit, BN_CTX *ctx) | ||
930 | { | ||
931 | if (group->meth->point_set_compressed_coordinates == 0) | ||
932 | { | ||
933 | ECerr(EC_F_EC_POINT_SET_COMPRESSED_COORDINATES_GF2M, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | ||
934 | return 0; | ||
935 | } | ||
936 | if (group->meth != point->meth) | ||
937 | { | ||
938 | ECerr(EC_F_EC_POINT_SET_COMPRESSED_COORDINATES_GF2M, EC_R_INCOMPATIBLE_OBJECTS); | ||
939 | return 0; | ||
940 | } | ||
941 | return group->meth->point_set_compressed_coordinates(group, point, x, y_bit, ctx); | ||
489 | } | 942 | } |
490 | 943 | ||
491 | 944 | ||
@@ -559,12 +1012,12 @@ int EC_POINT_invert(const EC_GROUP *group, EC_POINT *a, BN_CTX *ctx) | |||
559 | { | 1012 | { |
560 | if (group->meth->dbl == 0) | 1013 | if (group->meth->dbl == 0) |
561 | { | 1014 | { |
562 | ECerr(EC_F_EC_POINT_DBL, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); | 1015 | ECerr(EC_F_EC_POINT_INVERT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED); |
563 | return 0; | 1016 | return 0; |
564 | } | 1017 | } |
565 | if (group->meth != a->meth) | 1018 | if (group->meth != a->meth) |
566 | { | 1019 | { |
567 | ECerr(EC_F_EC_POINT_DBL, EC_R_INCOMPATIBLE_OBJECTS); | 1020 | ECerr(EC_F_EC_POINT_INVERT, EC_R_INCOMPATIBLE_OBJECTS); |
568 | return 0; | 1021 | return 0; |
569 | } | 1022 | } |
570 | return group->meth->invert(group, a, ctx); | 1023 | return group->meth->invert(group, a, ctx); |
@@ -654,3 +1107,58 @@ int EC_POINTs_make_affine(const EC_GROUP *group, size_t num, EC_POINT *points[], | |||
654 | } | 1107 | } |
655 | return group->meth->points_make_affine(group, num, points, ctx); | 1108 | return group->meth->points_make_affine(group, num, points, ctx); |
656 | } | 1109 | } |
1110 | |||
1111 | |||
1112 | /* Functions for point multiplication. | ||
1113 | * | ||
1114 | * If group->meth->mul is 0, we use the wNAF-based implementations in ec_mult.c; | ||
1115 | * otherwise we dispatch through methods. | ||
1116 | */ | ||
1117 | |||
1118 | int EC_POINTs_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *scalar, | ||
1119 | size_t num, const EC_POINT *points[], const BIGNUM *scalars[], BN_CTX *ctx) | ||
1120 | { | ||
1121 | if (group->meth->mul == 0) | ||
1122 | /* use default */ | ||
1123 | return ec_wNAF_mul(group, r, scalar, num, points, scalars, ctx); | ||
1124 | |||
1125 | return group->meth->mul(group, r, scalar, num, points, scalars, ctx); | ||
1126 | } | ||
1127 | |||
1128 | int EC_POINT_mul(const EC_GROUP *group, EC_POINT *r, const BIGNUM *g_scalar, | ||
1129 | const EC_POINT *point, const BIGNUM *p_scalar, BN_CTX *ctx) | ||
1130 | { | ||
1131 | /* just a convenient interface to EC_POINTs_mul() */ | ||
1132 | |||
1133 | const EC_POINT *points[1]; | ||
1134 | const BIGNUM *scalars[1]; | ||
1135 | |||
1136 | points[0] = point; | ||
1137 | scalars[0] = p_scalar; | ||
1138 | |||
1139 | return EC_POINTs_mul(group, r, g_scalar, (point != NULL && p_scalar != NULL), points, scalars, ctx); | ||
1140 | } | ||
1141 | |||
1142 | int EC_GROUP_precompute_mult(EC_GROUP *group, BN_CTX *ctx) | ||
1143 | { | ||
1144 | if (group->meth->mul == 0) | ||
1145 | /* use default */ | ||
1146 | return ec_wNAF_precompute_mult(group, ctx); | ||
1147 | |||
1148 | if (group->meth->precompute_mult != 0) | ||
1149 | return group->meth->precompute_mult(group, ctx); | ||
1150 | else | ||
1151 | return 1; /* nothing to do, so report success */ | ||
1152 | } | ||
1153 | |||
1154 | int EC_GROUP_have_precompute_mult(const EC_GROUP *group) | ||
1155 | { | ||
1156 | if (group->meth->mul == 0) | ||
1157 | /* use default */ | ||
1158 | return ec_wNAF_have_precompute_mult(group); | ||
1159 | |||
1160 | if (group->meth->have_precompute_mult != 0) | ||
1161 | return group->meth->have_precompute_mult(group); | ||
1162 | else | ||
1163 | return 0; /* cannot tell whether precomputation has been performed */ | ||
1164 | } | ||