blob: c841236ea974d5ba1d17f5519fe4f23c18f259e2 [file] [log] [blame]
Bodo Möller14a7cfb2002-08-07 10:49:54 +00001/*
Richard Levitte28428132018-04-17 15:18:40 +02002 * Copyright 2002-2018 The OpenSSL Project Authors. All Rights Reserved.
Rich Salzaa8f3d72017-06-15 10:16:46 -04003 * Copyright (c) 2002, Oracle and/or its affiliates. All rights reserved
Rich Salzaa6bb132016-05-17 15:38:09 -04004 *
5 * Licensed under the OpenSSL license (the "License"). You may not use
6 * this file except in compliance with the License. You can obtain a copy
7 * in the file LICENSE in the source distribution or at
8 * https://www.openssl.org/source/license.html
Bodo Möller14a7cfb2002-08-07 10:49:54 +00009 */
Rich Salzaa6bb132016-05-17 15:38:09 -040010
Rich Salz5f8dd0f2017-08-03 16:21:01 -040011#include "internal/cryptlib.h"
Richard Levitte54548292002-08-10 01:36:14 +000012#include <string.h>
Bodo Möller14a7cfb2002-08-07 10:49:54 +000013#include "ec_lcl.h"
Paulicd420b02017-08-22 07:17:35 +100014#include "internal/refcount.h"
Bodo Möller14a7cfb2002-08-07 10:49:54 +000015#include <openssl/err.h>
Rich Salz3c272082016-03-18 14:30:20 -040016#include <openssl/engine.h>
Bodo Möller14a7cfb2002-08-07 10:49:54 +000017
18EC_KEY *EC_KEY_new(void)
Matt Caswell0f113f32015-01-22 03:40:55 +000019{
Dr. Stephen Henson28572b52015-10-19 14:38:43 +010020 return EC_KEY_new_method(NULL);
Matt Caswell0f113f32015-01-22 03:40:55 +000021}
Bodo Möller14a7cfb2002-08-07 10:49:54 +000022
Nils Larsch9dd84052005-05-16 10:11:04 +000023EC_KEY *EC_KEY_new_by_curve_name(int nid)
Matt Caswell0f113f32015-01-22 03:40:55 +000024{
25 EC_KEY *ret = EC_KEY_new();
26 if (ret == NULL)
27 return NULL;
28 ret->group = EC_GROUP_new_by_curve_name(nid);
29 if (ret->group == NULL) {
30 EC_KEY_free(ret);
31 return NULL;
32 }
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +000033 if (ret->meth->set_group != NULL
34 && ret->meth->set_group(ret, ret->group) == 0) {
Dr. Stephen Henson3475bc92015-10-25 13:09:50 +000035 EC_KEY_free(ret);
36 return NULL;
37 }
Matt Caswell0f113f32015-01-22 03:40:55 +000038 return ret;
39}
Bodo Möller14a7cfb2002-08-07 10:49:54 +000040
41void EC_KEY_free(EC_KEY *r)
Matt Caswell0f113f32015-01-22 03:40:55 +000042{
43 int i;
Bodo Möller14a7cfb2002-08-07 10:49:54 +000044
Matt Caswell0f113f32015-01-22 03:40:55 +000045 if (r == NULL)
46 return;
Bodo Möller14a7cfb2002-08-07 10:49:54 +000047
Kurt Roeckx2f545ae2016-08-27 16:01:08 +020048 CRYPTO_DOWN_REF(&r->references, &i, r->lock);
Rich Salzf3f1cf82016-01-30 12:04:25 -050049 REF_PRINT_COUNT("EC_KEY", r);
Matt Caswell0f113f32015-01-22 03:40:55 +000050 if (i > 0)
51 return;
Rich Salzf3f1cf82016-01-30 12:04:25 -050052 REF_ASSERT_ISNT(i < 0);
Bodo Möller14a7cfb2002-08-07 10:49:54 +000053
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +000054 if (r->meth->finish != NULL)
Dr. Stephen Henson0d6ff6d2015-10-23 19:10:24 +010055 r->meth->finish(r);
56
Dr. Stephen Henson51966412015-10-23 18:46:58 +010057#ifndef OPENSSL_NO_ENGINE
Rich Salz7c96dbc2016-02-25 12:09:06 -050058 ENGINE_finish(r->engine);
Dr. Stephen Henson51966412015-10-23 18:46:58 +010059#endif
60
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +000061 if (r->group && r->group->meth->keyfinish)
62 r->group->meth->keyfinish(r);
63
Rich Salz3aef36f2016-01-05 13:06:03 -050064 CRYPTO_free_ex_data(CRYPTO_EX_INDEX_EC_KEY, r, &r->ex_data);
Alessandro Ghedini9b398ef2016-02-29 16:57:11 +000065 CRYPTO_THREAD_lock_free(r->lock);
Rich Salz8fdc3732015-03-25 18:35:24 -040066 EC_GROUP_free(r->group);
67 EC_POINT_free(r->pub_key);
Rich Salz23a1d5e2015-04-30 21:37:06 -040068 BN_clear_free(r->priv_key);
Bodo Möller14a7cfb2002-08-07 10:49:54 +000069
Rich Salz4b45c6e2015-04-30 17:57:32 -040070 OPENSSL_clear_free((void *)r, sizeof(EC_KEY));
Matt Caswell0f113f32015-01-22 03:40:55 +000071}
Bodo Möller14a7cfb2002-08-07 10:49:54 +000072
Richard J. Moore4a9a0d92016-07-31 01:08:30 +010073EC_KEY *EC_KEY_copy(EC_KEY *dest, const EC_KEY *src)
Matt Caswell0f113f32015-01-22 03:40:55 +000074{
Matt Caswell0f113f32015-01-22 03:40:55 +000075 if (dest == NULL || src == NULL) {
76 ECerr(EC_F_EC_KEY_COPY, ERR_R_PASSED_NULL_PARAMETER);
77 return NULL;
78 }
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +010079 if (src->meth != dest->meth) {
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +000080 if (dest->meth->finish != NULL)
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +010081 dest->meth->finish(dest);
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +000082 if (dest->group && dest->group->meth->keyfinish)
83 dest->group->meth->keyfinish(dest);
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +010084#ifndef OPENSSL_NO_ENGINE
Rich Salz7c96dbc2016-02-25 12:09:06 -050085 if (ENGINE_finish(dest->engine) == 0)
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +010086 return 0;
87 dest->engine = NULL;
88#endif
89 }
Matt Caswell0f113f32015-01-22 03:40:55 +000090 /* copy the parameters */
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +000091 if (src->group != NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +000092 const EC_METHOD *meth = EC_GROUP_method_of(src->group);
93 /* clear the old group */
Rich Salz8fdc3732015-03-25 18:35:24 -040094 EC_GROUP_free(dest->group);
Matt Caswell0f113f32015-01-22 03:40:55 +000095 dest->group = EC_GROUP_new(meth);
96 if (dest->group == NULL)
97 return NULL;
98 if (!EC_GROUP_copy(dest->group, src->group))
99 return NULL;
Matt Caswell40a86432016-04-29 11:44:39 +0100100
101 /* copy the public key */
102 if (src->pub_key != NULL) {
103 EC_POINT_free(dest->pub_key);
104 dest->pub_key = EC_POINT_new(src->group);
105 if (dest->pub_key == NULL)
106 return NULL;
107 if (!EC_POINT_copy(dest->pub_key, src->pub_key))
Matt Caswell0f113f32015-01-22 03:40:55 +0000108 return NULL;
109 }
Matt Caswell40a86432016-04-29 11:44:39 +0100110 /* copy the private key */
111 if (src->priv_key != NULL) {
112 if (dest->priv_key == NULL) {
113 dest->priv_key = BN_new();
114 if (dest->priv_key == NULL)
115 return NULL;
116 }
117 if (!BN_copy(dest->priv_key, src->priv_key))
118 return NULL;
119 if (src->group->meth->keycopy
120 && src->group->meth->keycopy(dest, src) == 0)
121 return NULL;
122 }
Matt Caswell0f113f32015-01-22 03:40:55 +0000123 }
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000124
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +0000125
Matt Caswell0f113f32015-01-22 03:40:55 +0000126 /* copy the rest */
127 dest->enc_flag = src->enc_flag;
128 dest->conv_form = src->conv_form;
129 dest->version = src->version;
130 dest->flags = src->flags;
Rich Salz3aef36f2016-01-05 13:06:03 -0500131 if (!CRYPTO_dup_ex_data(CRYPTO_EX_INDEX_EC_KEY,
132 &dest->ex_data, &src->ex_data))
133 return NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +0000134
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100135 if (src->meth != dest->meth) {
136#ifndef OPENSSL_NO_ENGINE
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000137 if (src->engine != NULL && ENGINE_init(src->engine) == 0)
138 return NULL;
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100139 dest->engine = src->engine;
140#endif
141 dest->meth = src->meth;
142 }
143
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000144 if (src->meth->copy != NULL && src->meth->copy(dest, src) == 0)
145 return NULL;
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100146
Matt Caswell0f113f32015-01-22 03:40:55 +0000147 return dest;
148}
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000149
Richard J. Moore4a9a0d92016-07-31 01:08:30 +0100150EC_KEY *EC_KEY_dup(const EC_KEY *ec_key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000151{
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100152 EC_KEY *ret = EC_KEY_new_method(ec_key->engine);
Rich Salz3aef36f2016-01-05 13:06:03 -0500153
Matt Caswell0f113f32015-01-22 03:40:55 +0000154 if (ret == NULL)
155 return NULL;
Alessandro Ghedini9b398ef2016-02-29 16:57:11 +0000156
Matt Caswell0f113f32015-01-22 03:40:55 +0000157 if (EC_KEY_copy(ret, ec_key) == NULL) {
158 EC_KEY_free(ret);
159 return NULL;
160 }
161 return ret;
162}
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000163
Bodo Möllere172d602002-08-09 08:43:04 +0000164int EC_KEY_up_ref(EC_KEY *r)
Matt Caswell0f113f32015-01-22 03:40:55 +0000165{
Alessandro Ghedini9b398ef2016-02-29 16:57:11 +0000166 int i;
167
Kurt Roeckx2f545ae2016-08-27 16:01:08 +0200168 if (CRYPTO_UP_REF(&r->references, &i, r->lock) <= 0)
Alessandro Ghedini9b398ef2016-02-29 16:57:11 +0000169 return 0;
Rich Salzf3f1cf82016-01-30 12:04:25 -0500170
171 REF_PRINT_COUNT("EC_KEY", r);
172 REF_ASSERT_ISNT(i < 2);
Matt Caswell0f113f32015-01-22 03:40:55 +0000173 return ((i > 1) ? 1 : 0);
174}
Bodo Möllere172d602002-08-09 08:43:04 +0000175
Richard Levitted1da3352017-03-15 14:11:34 +0100176ENGINE *EC_KEY_get0_engine(const EC_KEY *eckey)
177{
178 return eckey->engine;
179}
180
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000181int EC_KEY_generate_key(EC_KEY *eckey)
Matt Caswell0f113f32015-01-22 03:40:55 +0000182{
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000183 if (eckey == NULL || eckey->group == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000184 ECerr(EC_F_EC_KEY_GENERATE_KEY, ERR_R_PASSED_NULL_PARAMETER);
185 return 0;
186 }
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000187 if (eckey->meth->keygen != NULL)
Dr. Stephen Henson5a6a1022015-10-22 14:53:23 +0100188 return eckey->meth->keygen(eckey);
189 ECerr(EC_F_EC_KEY_GENERATE_KEY, EC_R_OPERATION_NOT_SUPPORTED);
190 return 0;
191}
192
193int ossl_ec_key_gen(EC_KEY *eckey)
194{
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
Rich Salzddc6a5c2017-08-02 14:00:52 -0400221 if (!BN_priv_rand_range(priv_key, order))
Matt Caswell0f113f32015-01-22 03:40:55 +0000222 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
FdaSilvaYY700b8142016-07-28 21:15:52 +0200549size_t EC_KEY_priv2oct(const EC_KEY *eckey,
FdaSilvaYY25d57dc2016-06-19 18:54:50 +0200550 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;
Rich Salzcdb10ba2018-04-03 11:31:16 -0400616
Dr. Stephen Henson7fc7d1a2016-02-04 23:18:57 +0000617 len = EC_KEY_priv2oct(eckey, NULL, 0);
Rich Salzafcee952016-02-26 14:11:46 -0500618 if (len == 0)
619 return 0;
Rich Salzcdb10ba2018-04-03 11:31:16 -0400620 if ((buf = OPENSSL_malloc(len)) == NULL) {
621 ECerr(EC_F_EC_KEY_PRIV2BUF, ERR_R_MALLOC_FAILURE);
Dr. Stephen Henson7fc7d1a2016-02-04 23:18:57 +0000622 return 0;
Rich Salzcdb10ba2018-04-03 11:31:16 -0400623 }
Dr. Stephen Henson7fc7d1a2016-02-04 23:18:57 +0000624 len = EC_KEY_priv2oct(eckey, buf, len);
625 if (len == 0) {
626 OPENSSL_free(buf);
627 return 0;
628 }
629 *pbuf = buf;
630 return len;
631}
Dr. Stephen Henson4b0555e2016-02-23 15:02:34 +0000632
633int EC_KEY_can_sign(const EC_KEY *eckey)
634{
635 if (eckey->group == NULL || eckey->group->meth == NULL
636 || (eckey->group->meth->flags & EC_FLAGS_NO_SIGN))
637 return 0;
638 return 1;
639}