blob: 01faa621631fa3f1b799fdc05f151ccc8b35c3e8 [file] [log] [blame]
Bodo Möller14a7cfb2002-08-07 10:49:54 +00001/*
Rich Salzaa6bb132016-05-17 15:38:09 -04002 * Copyright 2002-2016 The OpenSSL Project Authors. All Rights Reserved.
3 *
4 * Licensed under the OpenSSL license (the "License"). You may not use
5 * this file except in compliance with the License. You can obtain a copy
6 * in the file LICENSE in the source distribution or at
7 * https://www.openssl.org/source/license.html
Bodo Möller14a7cfb2002-08-07 10:49:54 +00008 */
Rich Salzaa6bb132016-05-17 15:38:09 -04009
Bodo Möllere172d602002-08-09 08:43:04 +000010/* ====================================================================
11 * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
Matt Caswell0f113f32015-01-22 03:40:55 +000012 * Portions originally developed by SUN MICROSYSTEMS, INC., and
Bodo Möllere172d602002-08-09 08:43:04 +000013 * contributed to the OpenSSL project.
14 */
Bodo Möller14a7cfb2002-08-07 10:49:54 +000015
David Woodhouse984d6c62015-09-11 14:56:32 -040016#include <internal/cryptlib.h>
Richard Levitte54548292002-08-10 01:36:14 +000017#include <string.h>
Bodo Möller14a7cfb2002-08-07 10:49:54 +000018#include "ec_lcl.h"
19#include <openssl/err.h>
Rich Salz3c272082016-03-18 14:30:20 -040020#include <openssl/engine.h>
Bodo Möller14a7cfb2002-08-07 10:49:54 +000021
22EC_KEY *EC_KEY_new(void)
Matt Caswell0f113f32015-01-22 03:40:55 +000023{
Dr. Stephen Henson28572b52015-10-19 14:38:43 +010024 return EC_KEY_new_method(NULL);
Matt Caswell0f113f32015-01-22 03:40:55 +000025}
Bodo Möller14a7cfb2002-08-07 10:49:54 +000026
Nils Larsch9dd84052005-05-16 10:11:04 +000027EC_KEY *EC_KEY_new_by_curve_name(int nid)
Matt Caswell0f113f32015-01-22 03:40:55 +000028{
29 EC_KEY *ret = EC_KEY_new();
30 if (ret == NULL)
31 return NULL;
32 ret->group = EC_GROUP_new_by_curve_name(nid);
33 if (ret->group == NULL) {
34 EC_KEY_free(ret);
35 return NULL;
36 }
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +000037 if (ret->meth->set_group != NULL
38 && ret->meth->set_group(ret, ret->group) == 0) {
Dr. Stephen Henson3475bc92015-10-25 13:09:50 +000039 EC_KEY_free(ret);
40 return NULL;
41 }
Matt Caswell0f113f32015-01-22 03:40:55 +000042 return ret;
43}
Bodo Möller14a7cfb2002-08-07 10:49:54 +000044
45void EC_KEY_free(EC_KEY *r)
Matt Caswell0f113f32015-01-22 03:40:55 +000046{
47 int i;
Bodo Möller14a7cfb2002-08-07 10:49:54 +000048
Matt Caswell0f113f32015-01-22 03:40:55 +000049 if (r == NULL)
50 return;
Bodo Möller14a7cfb2002-08-07 10:49:54 +000051
Alessandro Ghedini9b398ef2016-02-29 16:57:11 +000052 CRYPTO_atomic_add(&r->references, -1, &i, r->lock);
Rich Salzf3f1cf82016-01-30 12:04:25 -050053 REF_PRINT_COUNT("EC_KEY", r);
Matt Caswell0f113f32015-01-22 03:40:55 +000054 if (i > 0)
55 return;
Rich Salzf3f1cf82016-01-30 12:04:25 -050056 REF_ASSERT_ISNT(i < 0);
Bodo Möller14a7cfb2002-08-07 10:49:54 +000057
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +000058 if (r->meth->finish != NULL)
Dr. Stephen Henson0d6ff6d2015-10-23 19:10:24 +010059 r->meth->finish(r);
60
Dr. Stephen Henson51966412015-10-23 18:46:58 +010061#ifndef OPENSSL_NO_ENGINE
Rich Salz7c96dbc2016-02-25 12:09:06 -050062 ENGINE_finish(r->engine);
Dr. Stephen Henson51966412015-10-23 18:46:58 +010063#endif
64
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +000065 if (r->group && r->group->meth->keyfinish)
66 r->group->meth->keyfinish(r);
67
Rich Salz3aef36f2016-01-05 13:06:03 -050068 CRYPTO_free_ex_data(CRYPTO_EX_INDEX_EC_KEY, r, &r->ex_data);
Alessandro Ghedini9b398ef2016-02-29 16:57:11 +000069 CRYPTO_THREAD_lock_free(r->lock);
Rich Salz8fdc3732015-03-25 18:35:24 -040070 EC_GROUP_free(r->group);
71 EC_POINT_free(r->pub_key);
Rich Salz23a1d5e2015-04-30 21:37:06 -040072 BN_clear_free(r->priv_key);
Bodo Möller14a7cfb2002-08-07 10:49:54 +000073
Rich Salz4b45c6e2015-04-30 17:57:32 -040074 OPENSSL_clear_free((void *)r, sizeof(EC_KEY));
Matt Caswell0f113f32015-01-22 03:40:55 +000075}
Bodo Möller14a7cfb2002-08-07 10:49:54 +000076
Rich Salz3aef36f2016-01-05 13:06:03 -050077EC_KEY *EC_KEY_copy(EC_KEY *dest, EC_KEY *src)
Matt Caswell0f113f32015-01-22 03:40:55 +000078{
Matt Caswell0f113f32015-01-22 03:40:55 +000079 if (dest == NULL || src == NULL) {
80 ECerr(EC_F_EC_KEY_COPY, ERR_R_PASSED_NULL_PARAMETER);
81 return NULL;
82 }
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +010083 if (src->meth != dest->meth) {
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +000084 if (dest->meth->finish != NULL)
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +010085 dest->meth->finish(dest);
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +000086 if (dest->group && dest->group->meth->keyfinish)
87 dest->group->meth->keyfinish(dest);
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +010088#ifndef OPENSSL_NO_ENGINE
Rich Salz7c96dbc2016-02-25 12:09:06 -050089 if (ENGINE_finish(dest->engine) == 0)
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +010090 return 0;
91 dest->engine = NULL;
92#endif
93 }
Matt Caswell0f113f32015-01-22 03:40:55 +000094 /* copy the parameters */
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +000095 if (src->group != NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +000096 const EC_METHOD *meth = EC_GROUP_method_of(src->group);
97 /* clear the old group */
Rich Salz8fdc3732015-03-25 18:35:24 -040098 EC_GROUP_free(dest->group);
Matt Caswell0f113f32015-01-22 03:40:55 +000099 dest->group = EC_GROUP_new(meth);
100 if (dest->group == NULL)
101 return NULL;
102 if (!EC_GROUP_copy(dest->group, src->group))
103 return NULL;
Matt Caswell40a86432016-04-29 11:44:39 +0100104
105 /* copy the public key */
106 if (src->pub_key != NULL) {
107 EC_POINT_free(dest->pub_key);
108 dest->pub_key = EC_POINT_new(src->group);
109 if (dest->pub_key == NULL)
110 return NULL;
111 if (!EC_POINT_copy(dest->pub_key, src->pub_key))
Matt Caswell0f113f32015-01-22 03:40:55 +0000112 return NULL;
113 }
Matt Caswell40a86432016-04-29 11:44:39 +0100114 /* copy the private key */
115 if (src->priv_key != NULL) {
116 if (dest->priv_key == NULL) {
117 dest->priv_key = BN_new();
118 if (dest->priv_key == NULL)
119 return NULL;
120 }
121 if (!BN_copy(dest->priv_key, src->priv_key))
122 return NULL;
123 if (src->group->meth->keycopy
124 && src->group->meth->keycopy(dest, src) == 0)
125 return NULL;
126 }
Matt Caswell0f113f32015-01-22 03:40:55 +0000127 }
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000128
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +0000129
Matt Caswell0f113f32015-01-22 03:40:55 +0000130 /* copy the rest */
131 dest->enc_flag = src->enc_flag;
132 dest->conv_form = src->conv_form;
133 dest->version = src->version;
134 dest->flags = src->flags;
Rich Salz3aef36f2016-01-05 13:06:03 -0500135 if (!CRYPTO_dup_ex_data(CRYPTO_EX_INDEX_EC_KEY,
136 &dest->ex_data, &src->ex_data))
137 return NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +0000138
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100139 if (src->meth != dest->meth) {
140#ifndef OPENSSL_NO_ENGINE
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000141 if (src->engine != NULL && ENGINE_init(src->engine) == 0)
142 return NULL;
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100143 dest->engine = src->engine;
144#endif
145 dest->meth = src->meth;
146 }
147
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000148 if (src->meth->copy != NULL && src->meth->copy(dest, src) == 0)
149 return NULL;
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100150
Matt Caswell0f113f32015-01-22 03:40:55 +0000151 return dest;
152}
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000153
Rich Salz3aef36f2016-01-05 13:06:03 -0500154EC_KEY *EC_KEY_dup(EC_KEY *ec_key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000155{
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100156 EC_KEY *ret = EC_KEY_new_method(ec_key->engine);
Rich Salz3aef36f2016-01-05 13:06:03 -0500157
Matt Caswell0f113f32015-01-22 03:40:55 +0000158 if (ret == NULL)
159 return NULL;
Alessandro Ghedini9b398ef2016-02-29 16:57:11 +0000160
Matt Caswell0f113f32015-01-22 03:40:55 +0000161 if (EC_KEY_copy(ret, ec_key) == NULL) {
162 EC_KEY_free(ret);
163 return NULL;
164 }
165 return ret;
166}
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000167
Bodo Möllere172d602002-08-09 08:43:04 +0000168int EC_KEY_up_ref(EC_KEY *r)
Matt Caswell0f113f32015-01-22 03:40:55 +0000169{
Alessandro Ghedini9b398ef2016-02-29 16:57:11 +0000170 int i;
171
172 if (CRYPTO_atomic_add(&r->references, 1, &i, r->lock) <= 0)
173 return 0;
Rich Salzf3f1cf82016-01-30 12:04:25 -0500174
175 REF_PRINT_COUNT("EC_KEY", r);
176 REF_ASSERT_ISNT(i < 2);
Matt Caswell0f113f32015-01-22 03:40:55 +0000177 return ((i > 1) ? 1 : 0);
178}
Bodo Möllere172d602002-08-09 08:43:04 +0000179
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000180int EC_KEY_generate_key(EC_KEY *eckey)
Matt Caswell0f113f32015-01-22 03:40:55 +0000181{
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000182 if (eckey == NULL || eckey->group == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000183 ECerr(EC_F_EC_KEY_GENERATE_KEY, ERR_R_PASSED_NULL_PARAMETER);
184 return 0;
185 }
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000186 if (eckey->meth->keygen != NULL)
Dr. Stephen Henson5a6a1022015-10-22 14:53:23 +0100187 return eckey->meth->keygen(eckey);
188 ECerr(EC_F_EC_KEY_GENERATE_KEY, EC_R_OPERATION_NOT_SUPPORTED);
189 return 0;
190}
191
192int ossl_ec_key_gen(EC_KEY *eckey)
193{
Dr. Stephen Henson9ff9bcc2016-02-28 17:48:48 +0000194 OPENSSL_assert(eckey->group->meth->keygen != NULL);
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000195 return eckey->group->meth->keygen(eckey);
196}
197
198int ec_key_simple_generate_key(EC_KEY *eckey)
199{
Dr. Stephen Henson5a6a1022015-10-22 14:53:23 +0100200 int ok = 0;
201 BN_CTX *ctx = NULL;
Dr. Stephen Hensonbe2e3342016-01-31 16:34:07 +0000202 BIGNUM *priv_key = NULL;
203 const BIGNUM *order = NULL;
Dr. Stephen Henson5a6a1022015-10-22 14:53:23 +0100204 EC_POINT *pub_key = NULL;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000205
Matt Caswell0f113f32015-01-22 03:40:55 +0000206 if ((ctx = BN_CTX_new()) == NULL)
207 goto err;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000208
Matt Caswell0f113f32015-01-22 03:40:55 +0000209 if (eckey->priv_key == NULL) {
210 priv_key = BN_new();
211 if (priv_key == NULL)
212 goto err;
213 } else
214 priv_key = eckey->priv_key;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000215
Dr. Stephen Hensonbe2e3342016-01-31 16:34:07 +0000216 order = EC_GROUP_get0_order(eckey->group);
217 if (order == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000218 goto err;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000219
Matt Caswell0f113f32015-01-22 03:40:55 +0000220 do
221 if (!BN_rand_range(priv_key, order))
222 goto err;
223 while (BN_is_zero(priv_key)) ;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000224
Matt Caswell0f113f32015-01-22 03:40:55 +0000225 if (eckey->pub_key == NULL) {
226 pub_key = EC_POINT_new(eckey->group);
227 if (pub_key == NULL)
228 goto err;
229 } else
230 pub_key = eckey->pub_key;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000231
Matt Caswell0f113f32015-01-22 03:40:55 +0000232 if (!EC_POINT_mul(eckey->group, pub_key, priv_key, NULL, NULL, ctx))
233 goto err;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000234
Matt Caswell0f113f32015-01-22 03:40:55 +0000235 eckey->priv_key = priv_key;
236 eckey->pub_key = pub_key;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000237
Matt Caswell0f113f32015-01-22 03:40:55 +0000238 ok = 1;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000239
Matt Caswell0f113f32015-01-22 03:40:55 +0000240 err:
Rich Salz8fdc3732015-03-25 18:35:24 -0400241 if (eckey->pub_key == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000242 EC_POINT_free(pub_key);
Rich Salz23a1d5e2015-04-30 21:37:06 -0400243 if (eckey->priv_key != priv_key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000244 BN_free(priv_key);
Rich Salz23a1d5e2015-04-30 21:37:06 -0400245 BN_CTX_free(ctx);
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000246 return ok;
247}
248
249int ec_key_simple_generate_public_key(EC_KEY *eckey)
250{
251 return EC_POINT_mul(eckey->group, eckey->pub_key, eckey->priv_key, NULL,
252 NULL, NULL);
Matt Caswell0f113f32015-01-22 03:40:55 +0000253}
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000254
255int EC_KEY_check_key(const EC_KEY *eckey)
Matt Caswell0f113f32015-01-22 03:40:55 +0000256{
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000257 if (eckey == NULL || eckey->group == NULL || eckey->pub_key == NULL) {
258 ECerr(EC_F_EC_KEY_CHECK_KEY, ERR_R_PASSED_NULL_PARAMETER);
259 return 0;
260 }
261
262 if (eckey->group->meth->keycheck == NULL) {
263 ECerr(EC_F_EC_KEY_CHECK_KEY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
264 return 0;
265 }
266
267 return eckey->group->meth->keycheck(eckey);
268}
269
270int ec_key_simple_check_key(const EC_KEY *eckey)
271{
Matt Caswell0f113f32015-01-22 03:40:55 +0000272 int ok = 0;
273 BN_CTX *ctx = NULL;
274 const BIGNUM *order = NULL;
275 EC_POINT *point = NULL;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000276
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000277 if (eckey == NULL || eckey->group == NULL || eckey->pub_key == NULL) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000278 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, ERR_R_PASSED_NULL_PARAMETER);
Matt Caswell0f113f32015-01-22 03:40:55 +0000279 return 0;
280 }
Dr. Stephen Hensona428ac42011-01-24 15:04:34 +0000281
Matt Caswell0f113f32015-01-22 03:40:55 +0000282 if (EC_POINT_is_at_infinity(eckey->group, eckey->pub_key)) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000283 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, EC_R_POINT_AT_INFINITY);
Matt Caswell0f113f32015-01-22 03:40:55 +0000284 goto err;
285 }
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000286
Matt Caswell0f113f32015-01-22 03:40:55 +0000287 if ((ctx = BN_CTX_new()) == NULL)
288 goto err;
289 if ((point = EC_POINT_new(eckey->group)) == NULL)
290 goto err;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000291
Matt Caswell0f113f32015-01-22 03:40:55 +0000292 /* testing whether the pub_key is on the elliptic curve */
Matt Caswell68886be2015-06-04 14:22:00 +0100293 if (EC_POINT_is_on_curve(eckey->group, eckey->pub_key, ctx) <= 0) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000294 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, EC_R_POINT_IS_NOT_ON_CURVE);
Matt Caswell0f113f32015-01-22 03:40:55 +0000295 goto err;
296 }
297 /* testing whether pub_key * order is the point at infinity */
298 order = eckey->group->order;
299 if (BN_is_zero(order)) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000300 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, EC_R_INVALID_GROUP_ORDER);
Matt Caswell0f113f32015-01-22 03:40:55 +0000301 goto err;
302 }
303 if (!EC_POINT_mul(eckey->group, point, NULL, eckey->pub_key, order, ctx)) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000304 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, ERR_R_EC_LIB);
Matt Caswell0f113f32015-01-22 03:40:55 +0000305 goto err;
306 }
307 if (!EC_POINT_is_at_infinity(eckey->group, point)) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000308 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, EC_R_WRONG_ORDER);
Matt Caswell0f113f32015-01-22 03:40:55 +0000309 goto err;
310 }
311 /*
312 * in case the priv_key is present : check if generator * priv_key ==
313 * pub_key
314 */
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000315 if (eckey->priv_key != NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000316 if (BN_cmp(eckey->priv_key, order) >= 0) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000317 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, EC_R_WRONG_ORDER);
Matt Caswell0f113f32015-01-22 03:40:55 +0000318 goto err;
319 }
320 if (!EC_POINT_mul(eckey->group, point, eckey->priv_key,
321 NULL, NULL, ctx)) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000322 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, ERR_R_EC_LIB);
Matt Caswell0f113f32015-01-22 03:40:55 +0000323 goto err;
324 }
325 if (EC_POINT_cmp(eckey->group, point, eckey->pub_key, ctx) != 0) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000326 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, EC_R_INVALID_PRIVATE_KEY);
Matt Caswell0f113f32015-01-22 03:40:55 +0000327 goto err;
328 }
329 }
330 ok = 1;
331 err:
Rich Salz23a1d5e2015-04-30 21:37:06 -0400332 BN_CTX_free(ctx);
Rich Salz8fdc3732015-03-25 18:35:24 -0400333 EC_POINT_free(point);
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000334 return ok;
Matt Caswell0f113f32015-01-22 03:40:55 +0000335}
Nils Larsch9dd84052005-05-16 10:11:04 +0000336
Matt Caswell0f113f32015-01-22 03:40:55 +0000337int EC_KEY_set_public_key_affine_coordinates(EC_KEY *key, BIGNUM *x,
338 BIGNUM *y)
339{
340 BN_CTX *ctx = NULL;
341 BIGNUM *tx, *ty;
342 EC_POINT *point = NULL;
Matt Caswell8d11b7c2015-07-09 16:37:54 +0100343 int ok = 0;
344#ifndef OPENSSL_NO_EC2M
345 int tmp_nid, is_char_two = 0;
346#endif
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000347
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000348 if (key == NULL || key->group == NULL || x == NULL || y == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000349 ECerr(EC_F_EC_KEY_SET_PUBLIC_KEY_AFFINE_COORDINATES,
350 ERR_R_PASSED_NULL_PARAMETER);
351 return 0;
352 }
353 ctx = BN_CTX_new();
Matt Caswell90945fa2015-10-30 11:12:26 +0000354 if (ctx == NULL)
Steven Valdez2ab851b2016-03-01 13:20:43 -0500355 return 0;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000356
Steven Valdez2ab851b2016-03-01 13:20:43 -0500357 BN_CTX_start(ctx);
Matt Caswell0f113f32015-01-22 03:40:55 +0000358 point = EC_POINT_new(key->group);
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000359
Matt Caswell90945fa2015-10-30 11:12:26 +0000360 if (point == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000361 goto err;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000362
Matt Caswell8d11b7c2015-07-09 16:37:54 +0100363 tx = BN_CTX_get(ctx);
364 ty = BN_CTX_get(ctx);
Billy Brumleydd674932016-01-21 14:06:57 +0200365 if (ty == NULL)
366 goto err;
Matt Caswell8d11b7c2015-07-09 16:37:54 +0100367
368#ifndef OPENSSL_NO_EC2M
Matt Caswell0f113f32015-01-22 03:40:55 +0000369 tmp_nid = EC_METHOD_get_field_type(EC_GROUP_method_of(key->group));
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000370
Matt Caswell0f113f32015-01-22 03:40:55 +0000371 if (tmp_nid == NID_X9_62_characteristic_two_field)
372 is_char_two = 1;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000373
Matt Caswell0f113f32015-01-22 03:40:55 +0000374 if (is_char_two) {
375 if (!EC_POINT_set_affine_coordinates_GF2m(key->group, point,
376 x, y, ctx))
377 goto err;
378 if (!EC_POINT_get_affine_coordinates_GF2m(key->group, point,
379 tx, ty, ctx))
380 goto err;
381 } else
Dr. Stephen Hensonb3310162011-02-12 17:23:32 +0000382#endif
Matt Caswell0f113f32015-01-22 03:40:55 +0000383 {
384 if (!EC_POINT_set_affine_coordinates_GFp(key->group, point,
385 x, y, ctx))
386 goto err;
387 if (!EC_POINT_get_affine_coordinates_GFp(key->group, point,
388 tx, ty, ctx))
389 goto err;
390 }
391 /*
392 * Check if retrieved coordinates match originals and are less than field
393 * order: if not values are out of range.
394 */
395 if (BN_cmp(x, tx) || BN_cmp(y, ty)
396 || (BN_cmp(x, key->group->field) >= 0)
397 || (BN_cmp(y, key->group->field) >= 0)) {
398 ECerr(EC_F_EC_KEY_SET_PUBLIC_KEY_AFFINE_COORDINATES,
399 EC_R_COORDINATES_OUT_OF_RANGE);
400 goto err;
401 }
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000402
Matt Caswell0f113f32015-01-22 03:40:55 +0000403 if (!EC_KEY_set_public_key(key, point))
404 goto err;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000405
Matt Caswell0f113f32015-01-22 03:40:55 +0000406 if (EC_KEY_check_key(key) == 0)
407 goto err;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000408
Matt Caswell0f113f32015-01-22 03:40:55 +0000409 ok = 1;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000410
Matt Caswell0f113f32015-01-22 03:40:55 +0000411 err:
Steven Valdez2ab851b2016-03-01 13:20:43 -0500412 BN_CTX_end(ctx);
Rich Salz23a1d5e2015-04-30 21:37:06 -0400413 BN_CTX_free(ctx);
Rich Salz8fdc3732015-03-25 18:35:24 -0400414 EC_POINT_free(point);
Matt Caswell0f113f32015-01-22 03:40:55 +0000415 return ok;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000416
Matt Caswell0f113f32015-01-22 03:40:55 +0000417}
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000418
Nils Larsch9dd84052005-05-16 10:11:04 +0000419const EC_GROUP *EC_KEY_get0_group(const EC_KEY *key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000420{
421 return key->group;
422}
Nils Larsch9dd84052005-05-16 10:11:04 +0000423
424int EC_KEY_set_group(EC_KEY *key, const EC_GROUP *group)
Matt Caswell0f113f32015-01-22 03:40:55 +0000425{
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000426 if (key->meth->set_group != NULL && key->meth->set_group(key, group) == 0)
Dr. Stephen Henson3475bc92015-10-25 13:09:50 +0000427 return 0;
Rich Salz8fdc3732015-03-25 18:35:24 -0400428 EC_GROUP_free(key->group);
Matt Caswell0f113f32015-01-22 03:40:55 +0000429 key->group = EC_GROUP_dup(group);
430 return (key->group == NULL) ? 0 : 1;
431}
Nils Larsch9dd84052005-05-16 10:11:04 +0000432
433const BIGNUM *EC_KEY_get0_private_key(const EC_KEY *key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000434{
435 return key->priv_key;
436}
Nils Larsch9dd84052005-05-16 10:11:04 +0000437
438int EC_KEY_set_private_key(EC_KEY *key, const BIGNUM *priv_key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000439{
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +0000440 if (key->group == NULL || key->group->meth == NULL)
441 return 0;
Kazuki Yamaguchiacde6472016-04-21 17:35:53 +0900442 if (key->group->meth->set_private != NULL
443 && key->group->meth->set_private(key, priv_key) == 0)
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +0000444 return 0;
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000445 if (key->meth->set_private != NULL
446 && key->meth->set_private(key, priv_key) == 0)
Dr. Stephen Henson3475bc92015-10-25 13:09:50 +0000447 return 0;
Rich Salz23a1d5e2015-04-30 21:37:06 -0400448 BN_clear_free(key->priv_key);
Matt Caswell0f113f32015-01-22 03:40:55 +0000449 key->priv_key = BN_dup(priv_key);
450 return (key->priv_key == NULL) ? 0 : 1;
451}
Nils Larsch9dd84052005-05-16 10:11:04 +0000452
453const EC_POINT *EC_KEY_get0_public_key(const EC_KEY *key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000454{
455 return key->pub_key;
456}
Nils Larsch9dd84052005-05-16 10:11:04 +0000457
458int EC_KEY_set_public_key(EC_KEY *key, const EC_POINT *pub_key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000459{
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000460 if (key->meth->set_public != NULL
461 && key->meth->set_public(key, pub_key) == 0)
Dr. Stephen Henson3475bc92015-10-25 13:09:50 +0000462 return 0;
Rich Salz8fdc3732015-03-25 18:35:24 -0400463 EC_POINT_free(key->pub_key);
Matt Caswell0f113f32015-01-22 03:40:55 +0000464 key->pub_key = EC_POINT_dup(pub_key, key->group);
465 return (key->pub_key == NULL) ? 0 : 1;
466}
Nils Larsch9dd84052005-05-16 10:11:04 +0000467
468unsigned int EC_KEY_get_enc_flags(const EC_KEY *key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000469{
470 return key->enc_flag;
471}
Nils Larsch9dd84052005-05-16 10:11:04 +0000472
473void EC_KEY_set_enc_flags(EC_KEY *key, unsigned int flags)
Matt Caswell0f113f32015-01-22 03:40:55 +0000474{
475 key->enc_flag = flags;
476}
Nils Larsch9dd84052005-05-16 10:11:04 +0000477
478point_conversion_form_t EC_KEY_get_conv_form(const EC_KEY *key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000479{
480 return key->conv_form;
481}
Nils Larsch9dd84052005-05-16 10:11:04 +0000482
483void EC_KEY_set_conv_form(EC_KEY *key, point_conversion_form_t cform)
Matt Caswell0f113f32015-01-22 03:40:55 +0000484{
485 key->conv_form = cform;
486 if (key->group != NULL)
487 EC_GROUP_set_point_conversion_form(key->group, cform);
488}
Nils Larsch9dd84052005-05-16 10:11:04 +0000489
Nils Larsch9dd84052005-05-16 10:11:04 +0000490void EC_KEY_set_asn1_flag(EC_KEY *key, int flag)
Matt Caswell0f113f32015-01-22 03:40:55 +0000491{
492 if (key->group != NULL)
493 EC_GROUP_set_asn1_flag(key->group, flag);
494}
Nils Larsch9dd84052005-05-16 10:11:04 +0000495
496int EC_KEY_precompute_mult(EC_KEY *key, BN_CTX *ctx)
Matt Caswell0f113f32015-01-22 03:40:55 +0000497{
498 if (key->group == NULL)
499 return 0;
500 return EC_GROUP_precompute_mult(key->group, ctx);
501}
Dr. Stephen Hensoncac4fb52011-04-23 19:55:55 +0000502
503int EC_KEY_get_flags(const EC_KEY *key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000504{
505 return key->flags;
506}
Dr. Stephen Hensoncac4fb52011-04-23 19:55:55 +0000507
508void EC_KEY_set_flags(EC_KEY *key, int flags)
Matt Caswell0f113f32015-01-22 03:40:55 +0000509{
510 key->flags |= flags;
511}
Dr. Stephen Hensoncac4fb52011-04-23 19:55:55 +0000512
513void EC_KEY_clear_flags(EC_KEY *key, int flags)
Matt Caswell0f113f32015-01-22 03:40:55 +0000514{
515 key->flags &= ~flags;
516}
Dr. Stephen Henson981bd8a2015-12-12 01:04:25 +0000517
518size_t EC_KEY_key2buf(const EC_KEY *key, point_conversion_form_t form,
519 unsigned char **pbuf, BN_CTX *ctx)
520{
521 if (key == NULL || key->pub_key == NULL || key->group == NULL)
522 return 0;
523 return EC_POINT_point2buf(key->group, key->pub_key, form, pbuf, ctx);
524}
525
526int EC_KEY_oct2key(EC_KEY *key, const unsigned char *buf, size_t len,
527 BN_CTX *ctx)
528{
529 if (key == NULL || key->group == NULL)
530 return 0;
531 if (key->pub_key == NULL)
532 key->pub_key = EC_POINT_new(key->group);
533 if (key->pub_key == NULL)
534 return 0;
Dr. Stephen Henson6ea04152016-02-17 15:05:27 +0000535 if (EC_POINT_oct2point(key->group, key->pub_key, buf, len, ctx) == 0)
536 return 0;
537 /*
538 * Save the point conversion form.
539 * For non-custom curves the first octet of the buffer (excluding
540 * the last significant bit) contains the point conversion form.
541 * EC_POINT_oct2point() has already performed sanity checking of
542 * the buffer so we know it is valid.
543 */
544 if ((key->group->meth->flags & EC_FLAGS_CUSTOM_CURVE) == 0)
545 key->conv_form = (point_conversion_form_t)(buf[0] & ~0x01);
546 return 1;
Dr. Stephen Henson981bd8a2015-12-12 01:04:25 +0000547}
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000548
FdaSilvaYY25d57dc2016-06-19 18:54:50 +0200549size_t EC_KEY_priv2oct(const EC_KEY *eckey,
550 unsigned char *buf, size_t len)
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000551{
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000552 if (eckey->group == NULL || eckey->group->meth == NULL)
553 return 0;
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000554 if (eckey->group->meth->priv2oct == NULL) {
555 ECerr(EC_F_EC_KEY_PRIV2OCT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
556 return 0;
557 }
558
559 return eckey->group->meth->priv2oct(eckey, buf, len);
560}
561
562size_t ec_key_simple_priv2oct(const EC_KEY *eckey,
563 unsigned char *buf, size_t len)
564{
565 size_t buf_len;
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000566
David Benjaminfe56d8e2016-03-07 09:57:58 -0500567 buf_len = (EC_GROUP_order_bits(eckey->group) + 7) / 8;
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000568 if (eckey->priv_key == NULL)
569 return 0;
570 if (buf == NULL)
571 return buf_len;
572 else if (len < buf_len)
573 return 0;
574
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000575 /* Octetstring may need leading zeros if BN is to short */
576
Dr. Stephen Henson907e9502016-02-03 18:51:02 +0000577 if (BN_bn2binpad(eckey->priv_key, buf, buf_len) == -1) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000578 ECerr(EC_F_EC_KEY_SIMPLE_PRIV2OCT, EC_R_BUFFER_TOO_SMALL);
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000579 return 0;
580 }
581
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000582 return buf_len;
583}
584
FdaSilvaYY25d57dc2016-06-19 18:54:50 +0200585int EC_KEY_oct2priv(EC_KEY *eckey, const unsigned char *buf, size_t len)
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000586{
587 if (eckey->group == NULL || eckey->group->meth == NULL)
588 return 0;
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000589 if (eckey->group->meth->oct2priv == NULL) {
590 ECerr(EC_F_EC_KEY_OCT2PRIV, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
591 return 0;
592 }
593 return eckey->group->meth->oct2priv(eckey, buf, len);
594}
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000595
FdaSilvaYY25d57dc2016-06-19 18:54:50 +0200596int ec_key_simple_oct2priv(EC_KEY *eckey, const unsigned char *buf, size_t len)
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000597{
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000598 if (eckey->priv_key == NULL)
599 eckey->priv_key = BN_secure_new();
600 if (eckey->priv_key == NULL) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000601 ECerr(EC_F_EC_KEY_SIMPLE_OCT2PRIV, ERR_R_MALLOC_FAILURE);
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000602 return 0;
603 }
604 eckey->priv_key = BN_bin2bn(buf, len, eckey->priv_key);
605 if (eckey->priv_key == NULL) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000606 ECerr(EC_F_EC_KEY_SIMPLE_OCT2PRIV, ERR_R_BN_LIB);
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000607 return 0;
608 }
609 return 1;
610}
Dr. Stephen Henson7fc7d1a2016-02-04 23:18:57 +0000611
612size_t EC_KEY_priv2buf(const EC_KEY *eckey, unsigned char **pbuf)
613{
614 size_t len;
615 unsigned char *buf;
616 len = EC_KEY_priv2oct(eckey, NULL, 0);
Rich Salzafcee952016-02-26 14:11:46 -0500617 if (len == 0)
618 return 0;
Dr. Stephen Henson7fc7d1a2016-02-04 23:18:57 +0000619 buf = OPENSSL_malloc(len);
620 if (buf == NULL)
621 return 0;
622 len = EC_KEY_priv2oct(eckey, buf, len);
623 if (len == 0) {
624 OPENSSL_free(buf);
625 return 0;
626 }
627 *pbuf = buf;
628 return len;
629}
Dr. Stephen Henson4b0555e2016-02-23 15:02:34 +0000630
631int EC_KEY_can_sign(const EC_KEY *eckey)
632{
633 if (eckey->group == NULL || eckey->group->meth == NULL
634 || (eckey->group->meth->flags & EC_FLAGS_NO_SIGN))
635 return 0;
636 return 1;
637}