blob: 2ff4449de3fcc1075ff412dbc330179489921a03 [file] [log] [blame]
Bodo Möller14a7cfb2002-08-07 10:49:54 +00001/*
2 * Written by Nils Larsch for the OpenSSL project.
3 */
4/* ====================================================================
Nils Larsch9dd84052005-05-16 10:11:04 +00005 * Copyright (c) 1998-2005 The OpenSSL Project. All rights reserved.
Bodo Möller14a7cfb2002-08-07 10:49:54 +00006 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 *
11 * 1. Redistributions of source code must retain the above copyright
Matt Caswell0f113f32015-01-22 03:40:55 +000012 * notice, this list of conditions and the following disclaimer.
Bodo Möller14a7cfb2002-08-07 10:49:54 +000013 *
14 * 2. Redistributions in binary form must reproduce the above copyright
15 * notice, this list of conditions and the following disclaimer in
16 * the documentation and/or other materials provided with the
17 * distribution.
18 *
19 * 3. All advertising materials mentioning features or use of this
20 * software must display the following acknowledgment:
21 * "This product includes software developed by the OpenSSL Project
22 * for use in the OpenSSL Toolkit. (http://www.openssl.org/)"
23 *
24 * 4. The names "OpenSSL Toolkit" and "OpenSSL Project" must not be used to
25 * endorse or promote products derived from this software without
26 * prior written permission. For written permission, please contact
27 * openssl-core@openssl.org.
28 *
29 * 5. Products derived from this software may not be called "OpenSSL"
30 * nor may "OpenSSL" appear in their names without prior written
31 * permission of the OpenSSL Project.
32 *
33 * 6. Redistributions of any form whatsoever must retain the following
34 * acknowledgment:
35 * "This product includes software developed by the OpenSSL Project
36 * for use in the OpenSSL Toolkit (http://www.openssl.org/)"
37 *
38 * THIS SOFTWARE IS PROVIDED BY THE OpenSSL PROJECT ``AS IS'' AND ANY
39 * EXPRESSED OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
40 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
41 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE OpenSSL PROJECT OR
42 * ITS CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
43 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
44 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
45 * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
46 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
47 * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
48 * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED
49 * OF THE POSSIBILITY OF SUCH DAMAGE.
50 * ====================================================================
51 *
52 * This product includes cryptographic software written by Eric Young
53 * (eay@cryptsoft.com). This product includes software written by Tim
54 * Hudson (tjh@cryptsoft.com).
55 *
56 */
Bodo Möllere172d602002-08-09 08:43:04 +000057/* ====================================================================
58 * Copyright 2002 Sun Microsystems, Inc. ALL RIGHTS RESERVED.
Matt Caswell0f113f32015-01-22 03:40:55 +000059 * Portions originally developed by SUN MICROSYSTEMS, INC., and
Bodo Möllere172d602002-08-09 08:43:04 +000060 * contributed to the OpenSSL project.
61 */
Bodo Möller14a7cfb2002-08-07 10:49:54 +000062
David Woodhouse984d6c62015-09-11 14:56:32 -040063#include <internal/cryptlib.h>
Richard Levitte54548292002-08-10 01:36:14 +000064#include <string.h>
Bodo Möller14a7cfb2002-08-07 10:49:54 +000065#include "ec_lcl.h"
66#include <openssl/err.h>
Ben Laurie33bed282015-12-27 14:59:04 +000067#ifndef OPENSSL_NO_ENGINE
Dr. Stephen Henson51966412015-10-23 18:46:58 +010068# include <openssl/engine.h>
69#endif
Bodo Möller14a7cfb2002-08-07 10:49:54 +000070
71EC_KEY *EC_KEY_new(void)
Matt Caswell0f113f32015-01-22 03:40:55 +000072{
Dr. Stephen Henson28572b52015-10-19 14:38:43 +010073 return EC_KEY_new_method(NULL);
Matt Caswell0f113f32015-01-22 03:40:55 +000074}
Bodo Möller14a7cfb2002-08-07 10:49:54 +000075
Nils Larsch9dd84052005-05-16 10:11:04 +000076EC_KEY *EC_KEY_new_by_curve_name(int nid)
Matt Caswell0f113f32015-01-22 03:40:55 +000077{
78 EC_KEY *ret = EC_KEY_new();
79 if (ret == NULL)
80 return NULL;
81 ret->group = EC_GROUP_new_by_curve_name(nid);
82 if (ret->group == NULL) {
83 EC_KEY_free(ret);
84 return NULL;
85 }
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +000086 if (ret->meth->set_group != NULL
87 && ret->meth->set_group(ret, ret->group) == 0) {
Dr. Stephen Henson3475bc92015-10-25 13:09:50 +000088 EC_KEY_free(ret);
89 return NULL;
90 }
Matt Caswell0f113f32015-01-22 03:40:55 +000091 return ret;
92}
Bodo Möller14a7cfb2002-08-07 10:49:54 +000093
94void EC_KEY_free(EC_KEY *r)
Matt Caswell0f113f32015-01-22 03:40:55 +000095{
96 int i;
Bodo Möller14a7cfb2002-08-07 10:49:54 +000097
Matt Caswell0f113f32015-01-22 03:40:55 +000098 if (r == NULL)
99 return;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000100
Matt Caswell0f113f32015-01-22 03:40:55 +0000101 i = CRYPTO_add(&r->references, -1, CRYPTO_LOCK_EC);
Rich Salzf3f1cf82016-01-30 12:04:25 -0500102 REF_PRINT_COUNT("EC_KEY", r);
Matt Caswell0f113f32015-01-22 03:40:55 +0000103 if (i > 0)
104 return;
Rich Salzf3f1cf82016-01-30 12:04:25 -0500105 REF_ASSERT_ISNT(i < 0);
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000106
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000107 if (r->meth->finish != NULL)
Dr. Stephen Henson0d6ff6d2015-10-23 19:10:24 +0100108 r->meth->finish(r);
109
Dr. Stephen Henson51966412015-10-23 18:46:58 +0100110#ifndef OPENSSL_NO_ENGINE
Rich Salz7c96dbc2016-02-25 12:09:06 -0500111 ENGINE_finish(r->engine);
Dr. Stephen Henson51966412015-10-23 18:46:58 +0100112#endif
113
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +0000114 if (r->group && r->group->meth->keyfinish)
115 r->group->meth->keyfinish(r);
116
Rich Salz3aef36f2016-01-05 13:06:03 -0500117 CRYPTO_free_ex_data(CRYPTO_EX_INDEX_EC_KEY, r, &r->ex_data);
Rich Salz8fdc3732015-03-25 18:35:24 -0400118 EC_GROUP_free(r->group);
119 EC_POINT_free(r->pub_key);
Rich Salz23a1d5e2015-04-30 21:37:06 -0400120 BN_clear_free(r->priv_key);
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000121
Rich Salz4b45c6e2015-04-30 17:57:32 -0400122 OPENSSL_clear_free((void *)r, sizeof(EC_KEY));
Matt Caswell0f113f32015-01-22 03:40:55 +0000123}
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000124
Rich Salz3aef36f2016-01-05 13:06:03 -0500125EC_KEY *EC_KEY_copy(EC_KEY *dest, EC_KEY *src)
Matt Caswell0f113f32015-01-22 03:40:55 +0000126{
Matt Caswell0f113f32015-01-22 03:40:55 +0000127 if (dest == NULL || src == NULL) {
128 ECerr(EC_F_EC_KEY_COPY, ERR_R_PASSED_NULL_PARAMETER);
129 return NULL;
130 }
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100131 if (src->meth != dest->meth) {
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000132 if (dest->meth->finish != NULL)
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100133 dest->meth->finish(dest);
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +0000134 if (dest->group && dest->group->meth->keyfinish)
135 dest->group->meth->keyfinish(dest);
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100136#ifndef OPENSSL_NO_ENGINE
Rich Salz7c96dbc2016-02-25 12:09:06 -0500137 if (ENGINE_finish(dest->engine) == 0)
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100138 return 0;
139 dest->engine = NULL;
140#endif
141 }
Matt Caswell0f113f32015-01-22 03:40:55 +0000142 /* copy the parameters */
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000143 if (src->group != NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000144 const EC_METHOD *meth = EC_GROUP_method_of(src->group);
145 /* clear the old group */
Rich Salz8fdc3732015-03-25 18:35:24 -0400146 EC_GROUP_free(dest->group);
Matt Caswell0f113f32015-01-22 03:40:55 +0000147 dest->group = EC_GROUP_new(meth);
148 if (dest->group == NULL)
149 return NULL;
150 if (!EC_GROUP_copy(dest->group, src->group))
151 return NULL;
152 }
153 /* copy the public key */
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000154 if (src->pub_key != NULL && src->group != NULL) {
Rich Salz8fdc3732015-03-25 18:35:24 -0400155 EC_POINT_free(dest->pub_key);
Matt Caswell0f113f32015-01-22 03:40:55 +0000156 dest->pub_key = EC_POINT_new(src->group);
157 if (dest->pub_key == NULL)
158 return NULL;
159 if (!EC_POINT_copy(dest->pub_key, src->pub_key))
160 return NULL;
161 }
162 /* copy the private key */
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000163 if (src->priv_key != NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000164 if (dest->priv_key == NULL) {
165 dest->priv_key = BN_new();
166 if (dest->priv_key == NULL)
167 return NULL;
168 }
169 if (!BN_copy(dest->priv_key, src->priv_key))
170 return NULL;
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +0000171 if (src->group->meth->keycopy
172 && src->group->meth->keycopy(dest, src) == 0)
173 return NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +0000174 }
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000175
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +0000176
Matt Caswell0f113f32015-01-22 03:40:55 +0000177 /* copy the rest */
178 dest->enc_flag = src->enc_flag;
179 dest->conv_form = src->conv_form;
180 dest->version = src->version;
181 dest->flags = src->flags;
Rich Salz3aef36f2016-01-05 13:06:03 -0500182 if (!CRYPTO_dup_ex_data(CRYPTO_EX_INDEX_EC_KEY,
183 &dest->ex_data, &src->ex_data))
184 return NULL;
Matt Caswell0f113f32015-01-22 03:40:55 +0000185
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100186 if (src->meth != dest->meth) {
187#ifndef OPENSSL_NO_ENGINE
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000188 if (src->engine != NULL && ENGINE_init(src->engine) == 0)
189 return NULL;
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100190 dest->engine = src->engine;
191#endif
192 dest->meth = src->meth;
193 }
194
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000195 if (src->meth->copy != NULL && src->meth->copy(dest, src) == 0)
196 return NULL;
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100197
Matt Caswell0f113f32015-01-22 03:40:55 +0000198 return dest;
199}
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000200
Rich Salz3aef36f2016-01-05 13:06:03 -0500201EC_KEY *EC_KEY_dup(EC_KEY *ec_key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000202{
Dr. Stephen Hensonea0392b2015-10-23 19:19:57 +0100203 EC_KEY *ret = EC_KEY_new_method(ec_key->engine);
Rich Salz3aef36f2016-01-05 13:06:03 -0500204
Matt Caswell0f113f32015-01-22 03:40:55 +0000205 if (ret == NULL)
206 return NULL;
207 if (EC_KEY_copy(ret, ec_key) == NULL) {
208 EC_KEY_free(ret);
209 return NULL;
210 }
211 return ret;
212}
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000213
Bodo Möllere172d602002-08-09 08:43:04 +0000214int EC_KEY_up_ref(EC_KEY *r)
Matt Caswell0f113f32015-01-22 03:40:55 +0000215{
216 int i = CRYPTO_add(&r->references, 1, CRYPTO_LOCK_EC);
Rich Salzf3f1cf82016-01-30 12:04:25 -0500217
218 REF_PRINT_COUNT("EC_KEY", r);
219 REF_ASSERT_ISNT(i < 2);
Matt Caswell0f113f32015-01-22 03:40:55 +0000220 return ((i > 1) ? 1 : 0);
221}
Bodo Möllere172d602002-08-09 08:43:04 +0000222
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000223int EC_KEY_generate_key(EC_KEY *eckey)
Matt Caswell0f113f32015-01-22 03:40:55 +0000224{
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000225 if (eckey == NULL || eckey->group == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000226 ECerr(EC_F_EC_KEY_GENERATE_KEY, ERR_R_PASSED_NULL_PARAMETER);
227 return 0;
228 }
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000229 if (eckey->meth->keygen != NULL)
Dr. Stephen Henson5a6a1022015-10-22 14:53:23 +0100230 return eckey->meth->keygen(eckey);
231 ECerr(EC_F_EC_KEY_GENERATE_KEY, EC_R_OPERATION_NOT_SUPPORTED);
232 return 0;
233}
234
235int ossl_ec_key_gen(EC_KEY *eckey)
236{
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000237 if (eckey->group->meth->keygen == NULL) {
238 ECerr(EC_F_OSSL_EC_KEY_GEN, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
239 return 0;
240 }
241
242 return eckey->group->meth->keygen(eckey);
243}
244
245int ec_key_simple_generate_key(EC_KEY *eckey)
246{
Dr. Stephen Henson5a6a1022015-10-22 14:53:23 +0100247 int ok = 0;
248 BN_CTX *ctx = NULL;
Dr. Stephen Hensonbe2e3342016-01-31 16:34:07 +0000249 BIGNUM *priv_key = NULL;
250 const BIGNUM *order = NULL;
Dr. Stephen Henson5a6a1022015-10-22 14:53:23 +0100251 EC_POINT *pub_key = NULL;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000252
Matt Caswell0f113f32015-01-22 03:40:55 +0000253 if ((ctx = BN_CTX_new()) == NULL)
254 goto err;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000255
Matt Caswell0f113f32015-01-22 03:40:55 +0000256 if (eckey->priv_key == NULL) {
257 priv_key = BN_new();
258 if (priv_key == NULL)
259 goto err;
260 } else
261 priv_key = eckey->priv_key;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000262
Dr. Stephen Hensonbe2e3342016-01-31 16:34:07 +0000263 order = EC_GROUP_get0_order(eckey->group);
264 if (order == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000265 goto err;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000266
Matt Caswell0f113f32015-01-22 03:40:55 +0000267 do
268 if (!BN_rand_range(priv_key, order))
269 goto err;
270 while (BN_is_zero(priv_key)) ;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000271
Matt Caswell0f113f32015-01-22 03:40:55 +0000272 if (eckey->pub_key == NULL) {
273 pub_key = EC_POINT_new(eckey->group);
274 if (pub_key == NULL)
275 goto err;
276 } else
277 pub_key = eckey->pub_key;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000278
Matt Caswell0f113f32015-01-22 03:40:55 +0000279 if (!EC_POINT_mul(eckey->group, pub_key, priv_key, NULL, NULL, ctx))
280 goto err;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000281
Matt Caswell0f113f32015-01-22 03:40:55 +0000282 eckey->priv_key = priv_key;
283 eckey->pub_key = pub_key;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000284
Matt Caswell0f113f32015-01-22 03:40:55 +0000285 ok = 1;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000286
Matt Caswell0f113f32015-01-22 03:40:55 +0000287 err:
Rich Salz8fdc3732015-03-25 18:35:24 -0400288 if (eckey->pub_key == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000289 EC_POINT_free(pub_key);
Rich Salz23a1d5e2015-04-30 21:37:06 -0400290 if (eckey->priv_key != priv_key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000291 BN_free(priv_key);
Rich Salz23a1d5e2015-04-30 21:37:06 -0400292 BN_CTX_free(ctx);
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000293 return ok;
294}
295
296int ec_key_simple_generate_public_key(EC_KEY *eckey)
297{
298 return EC_POINT_mul(eckey->group, eckey->pub_key, eckey->priv_key, NULL,
299 NULL, NULL);
Matt Caswell0f113f32015-01-22 03:40:55 +0000300}
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000301
302int EC_KEY_check_key(const EC_KEY *eckey)
Matt Caswell0f113f32015-01-22 03:40:55 +0000303{
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000304 if (eckey == NULL || eckey->group == NULL || eckey->pub_key == NULL) {
305 ECerr(EC_F_EC_KEY_CHECK_KEY, ERR_R_PASSED_NULL_PARAMETER);
306 return 0;
307 }
308
309 if (eckey->group->meth->keycheck == NULL) {
310 ECerr(EC_F_EC_KEY_CHECK_KEY, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
311 return 0;
312 }
313
314 return eckey->group->meth->keycheck(eckey);
315}
316
317int ec_key_simple_check_key(const EC_KEY *eckey)
318{
Matt Caswell0f113f32015-01-22 03:40:55 +0000319 int ok = 0;
320 BN_CTX *ctx = NULL;
321 const BIGNUM *order = NULL;
322 EC_POINT *point = NULL;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000323
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000324 if (eckey == NULL || eckey->group == NULL || eckey->pub_key == NULL) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000325 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, ERR_R_PASSED_NULL_PARAMETER);
Matt Caswell0f113f32015-01-22 03:40:55 +0000326 return 0;
327 }
Dr. Stephen Hensona428ac42011-01-24 15:04:34 +0000328
Matt Caswell0f113f32015-01-22 03:40:55 +0000329 if (EC_POINT_is_at_infinity(eckey->group, eckey->pub_key)) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000330 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, EC_R_POINT_AT_INFINITY);
Matt Caswell0f113f32015-01-22 03:40:55 +0000331 goto err;
332 }
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000333
Matt Caswell0f113f32015-01-22 03:40:55 +0000334 if ((ctx = BN_CTX_new()) == NULL)
335 goto err;
336 if ((point = EC_POINT_new(eckey->group)) == NULL)
337 goto err;
Bodo Möller14a7cfb2002-08-07 10:49:54 +0000338
Matt Caswell0f113f32015-01-22 03:40:55 +0000339 /* testing whether the pub_key is on the elliptic curve */
Matt Caswell68886be2015-06-04 14:22:00 +0100340 if (EC_POINT_is_on_curve(eckey->group, eckey->pub_key, ctx) <= 0) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000341 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, EC_R_POINT_IS_NOT_ON_CURVE);
Matt Caswell0f113f32015-01-22 03:40:55 +0000342 goto err;
343 }
344 /* testing whether pub_key * order is the point at infinity */
345 order = eckey->group->order;
346 if (BN_is_zero(order)) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000347 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, EC_R_INVALID_GROUP_ORDER);
Matt Caswell0f113f32015-01-22 03:40:55 +0000348 goto err;
349 }
350 if (!EC_POINT_mul(eckey->group, point, NULL, eckey->pub_key, order, ctx)) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000351 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, ERR_R_EC_LIB);
Matt Caswell0f113f32015-01-22 03:40:55 +0000352 goto err;
353 }
354 if (!EC_POINT_is_at_infinity(eckey->group, point)) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000355 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, EC_R_WRONG_ORDER);
Matt Caswell0f113f32015-01-22 03:40:55 +0000356 goto err;
357 }
358 /*
359 * in case the priv_key is present : check if generator * priv_key ==
360 * pub_key
361 */
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000362 if (eckey->priv_key != NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000363 if (BN_cmp(eckey->priv_key, order) >= 0) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000364 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, EC_R_WRONG_ORDER);
Matt Caswell0f113f32015-01-22 03:40:55 +0000365 goto err;
366 }
367 if (!EC_POINT_mul(eckey->group, point, eckey->priv_key,
368 NULL, NULL, ctx)) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000369 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, ERR_R_EC_LIB);
Matt Caswell0f113f32015-01-22 03:40:55 +0000370 goto err;
371 }
372 if (EC_POINT_cmp(eckey->group, point, eckey->pub_key, ctx) != 0) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000373 ECerr(EC_F_EC_KEY_SIMPLE_CHECK_KEY, EC_R_INVALID_PRIVATE_KEY);
Matt Caswell0f113f32015-01-22 03:40:55 +0000374 goto err;
375 }
376 }
377 ok = 1;
378 err:
Rich Salz23a1d5e2015-04-30 21:37:06 -0400379 BN_CTX_free(ctx);
Rich Salz8fdc3732015-03-25 18:35:24 -0400380 EC_POINT_free(point);
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000381 return ok;
Matt Caswell0f113f32015-01-22 03:40:55 +0000382}
Nils Larsch9dd84052005-05-16 10:11:04 +0000383
Matt Caswell0f113f32015-01-22 03:40:55 +0000384int EC_KEY_set_public_key_affine_coordinates(EC_KEY *key, BIGNUM *x,
385 BIGNUM *y)
386{
387 BN_CTX *ctx = NULL;
388 BIGNUM *tx, *ty;
389 EC_POINT *point = NULL;
Matt Caswell8d11b7c2015-07-09 16:37:54 +0100390 int ok = 0;
391#ifndef OPENSSL_NO_EC2M
392 int tmp_nid, is_char_two = 0;
393#endif
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000394
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000395 if (key == NULL || key->group == NULL || x == NULL || y == NULL) {
Matt Caswell0f113f32015-01-22 03:40:55 +0000396 ECerr(EC_F_EC_KEY_SET_PUBLIC_KEY_AFFINE_COORDINATES,
397 ERR_R_PASSED_NULL_PARAMETER);
398 return 0;
399 }
400 ctx = BN_CTX_new();
Matt Caswell90945fa2015-10-30 11:12:26 +0000401 if (ctx == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000402 goto err;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000403
Matt Caswell0f113f32015-01-22 03:40:55 +0000404 point = EC_POINT_new(key->group);
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000405
Matt Caswell90945fa2015-10-30 11:12:26 +0000406 if (point == NULL)
Matt Caswell0f113f32015-01-22 03:40:55 +0000407 goto err;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000408
Matt Caswell8d11b7c2015-07-09 16:37:54 +0100409 tx = BN_CTX_get(ctx);
410 ty = BN_CTX_get(ctx);
Billy Brumleydd674932016-01-21 14:06:57 +0200411 if (ty == NULL)
412 goto err;
Matt Caswell8d11b7c2015-07-09 16:37:54 +0100413
414#ifndef OPENSSL_NO_EC2M
Matt Caswell0f113f32015-01-22 03:40:55 +0000415 tmp_nid = EC_METHOD_get_field_type(EC_GROUP_method_of(key->group));
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000416
Matt Caswell0f113f32015-01-22 03:40:55 +0000417 if (tmp_nid == NID_X9_62_characteristic_two_field)
418 is_char_two = 1;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000419
Matt Caswell0f113f32015-01-22 03:40:55 +0000420 if (is_char_two) {
421 if (!EC_POINT_set_affine_coordinates_GF2m(key->group, point,
422 x, y, ctx))
423 goto err;
424 if (!EC_POINT_get_affine_coordinates_GF2m(key->group, point,
425 tx, ty, ctx))
426 goto err;
427 } else
Dr. Stephen Hensonb3310162011-02-12 17:23:32 +0000428#endif
Matt Caswell0f113f32015-01-22 03:40:55 +0000429 {
430 if (!EC_POINT_set_affine_coordinates_GFp(key->group, point,
431 x, y, ctx))
432 goto err;
433 if (!EC_POINT_get_affine_coordinates_GFp(key->group, point,
434 tx, ty, ctx))
435 goto err;
436 }
437 /*
438 * Check if retrieved coordinates match originals and are less than field
439 * order: if not values are out of range.
440 */
441 if (BN_cmp(x, tx) || BN_cmp(y, ty)
442 || (BN_cmp(x, key->group->field) >= 0)
443 || (BN_cmp(y, key->group->field) >= 0)) {
444 ECerr(EC_F_EC_KEY_SET_PUBLIC_KEY_AFFINE_COORDINATES,
445 EC_R_COORDINATES_OUT_OF_RANGE);
446 goto err;
447 }
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000448
Matt Caswell0f113f32015-01-22 03:40:55 +0000449 if (!EC_KEY_set_public_key(key, point))
450 goto err;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000451
Matt Caswell0f113f32015-01-22 03:40:55 +0000452 if (EC_KEY_check_key(key) == 0)
453 goto err;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000454
Matt Caswell0f113f32015-01-22 03:40:55 +0000455 ok = 1;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000456
Matt Caswell0f113f32015-01-22 03:40:55 +0000457 err:
Rich Salz23a1d5e2015-04-30 21:37:06 -0400458 BN_CTX_free(ctx);
Rich Salz8fdc3732015-03-25 18:35:24 -0400459 EC_POINT_free(point);
Matt Caswell0f113f32015-01-22 03:40:55 +0000460 return ok;
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000461
Matt Caswell0f113f32015-01-22 03:40:55 +0000462}
Dr. Stephen Hensonfef1c402011-01-24 16:07:40 +0000463
Nils Larsch9dd84052005-05-16 10:11:04 +0000464const EC_GROUP *EC_KEY_get0_group(const EC_KEY *key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000465{
466 return key->group;
467}
Nils Larsch9dd84052005-05-16 10:11:04 +0000468
469int EC_KEY_set_group(EC_KEY *key, const EC_GROUP *group)
Matt Caswell0f113f32015-01-22 03:40:55 +0000470{
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000471 if (key->meth->set_group != NULL && key->meth->set_group(key, group) == 0)
Dr. Stephen Henson3475bc92015-10-25 13:09:50 +0000472 return 0;
Rich Salz8fdc3732015-03-25 18:35:24 -0400473 EC_GROUP_free(key->group);
Matt Caswell0f113f32015-01-22 03:40:55 +0000474 key->group = EC_GROUP_dup(group);
475 return (key->group == NULL) ? 0 : 1;
476}
Nils Larsch9dd84052005-05-16 10:11:04 +0000477
478const BIGNUM *EC_KEY_get0_private_key(const EC_KEY *key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000479{
480 return key->priv_key;
481}
Nils Larsch9dd84052005-05-16 10:11:04 +0000482
483int EC_KEY_set_private_key(EC_KEY *key, const BIGNUM *priv_key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000484{
Dr. Stephen Henson6903e2e2016-02-01 18:15:57 +0000485 if (key->group == NULL || key->group->meth == NULL)
486 return 0;
487 if (key->group->meth->set_private
488 && key->meth->set_private(key, priv_key) == 0)
489 return 0;
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000490 if (key->meth->set_private != NULL
491 && key->meth->set_private(key, priv_key) == 0)
Dr. Stephen Henson3475bc92015-10-25 13:09:50 +0000492 return 0;
Rich Salz23a1d5e2015-04-30 21:37:06 -0400493 BN_clear_free(key->priv_key);
Matt Caswell0f113f32015-01-22 03:40:55 +0000494 key->priv_key = BN_dup(priv_key);
495 return (key->priv_key == NULL) ? 0 : 1;
496}
Nils Larsch9dd84052005-05-16 10:11:04 +0000497
498const EC_POINT *EC_KEY_get0_public_key(const EC_KEY *key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000499{
500 return key->pub_key;
501}
Nils Larsch9dd84052005-05-16 10:11:04 +0000502
503int EC_KEY_set_public_key(EC_KEY *key, const EC_POINT *pub_key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000504{
Dr. Stephen Henson91e7bcc2015-12-09 13:10:36 +0000505 if (key->meth->set_public != NULL
506 && key->meth->set_public(key, pub_key) == 0)
Dr. Stephen Henson3475bc92015-10-25 13:09:50 +0000507 return 0;
Rich Salz8fdc3732015-03-25 18:35:24 -0400508 EC_POINT_free(key->pub_key);
Matt Caswell0f113f32015-01-22 03:40:55 +0000509 key->pub_key = EC_POINT_dup(pub_key, key->group);
510 return (key->pub_key == NULL) ? 0 : 1;
511}
Nils Larsch9dd84052005-05-16 10:11:04 +0000512
513unsigned int EC_KEY_get_enc_flags(const EC_KEY *key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000514{
515 return key->enc_flag;
516}
Nils Larsch9dd84052005-05-16 10:11:04 +0000517
518void EC_KEY_set_enc_flags(EC_KEY *key, unsigned int flags)
Matt Caswell0f113f32015-01-22 03:40:55 +0000519{
520 key->enc_flag = flags;
521}
Nils Larsch9dd84052005-05-16 10:11:04 +0000522
523point_conversion_form_t EC_KEY_get_conv_form(const EC_KEY *key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000524{
525 return key->conv_form;
526}
Nils Larsch9dd84052005-05-16 10:11:04 +0000527
528void EC_KEY_set_conv_form(EC_KEY *key, point_conversion_form_t cform)
Matt Caswell0f113f32015-01-22 03:40:55 +0000529{
530 key->conv_form = cform;
531 if (key->group != NULL)
532 EC_GROUP_set_point_conversion_form(key->group, cform);
533}
Nils Larsch9dd84052005-05-16 10:11:04 +0000534
Nils Larsch9dd84052005-05-16 10:11:04 +0000535void EC_KEY_set_asn1_flag(EC_KEY *key, int flag)
Matt Caswell0f113f32015-01-22 03:40:55 +0000536{
537 if (key->group != NULL)
538 EC_GROUP_set_asn1_flag(key->group, flag);
539}
Nils Larsch9dd84052005-05-16 10:11:04 +0000540
541int EC_KEY_precompute_mult(EC_KEY *key, BN_CTX *ctx)
Matt Caswell0f113f32015-01-22 03:40:55 +0000542{
543 if (key->group == NULL)
544 return 0;
545 return EC_GROUP_precompute_mult(key->group, ctx);
546}
Dr. Stephen Hensoncac4fb52011-04-23 19:55:55 +0000547
548int EC_KEY_get_flags(const EC_KEY *key)
Matt Caswell0f113f32015-01-22 03:40:55 +0000549{
550 return key->flags;
551}
Dr. Stephen Hensoncac4fb52011-04-23 19:55:55 +0000552
553void EC_KEY_set_flags(EC_KEY *key, int flags)
Matt Caswell0f113f32015-01-22 03:40:55 +0000554{
555 key->flags |= flags;
556}
Dr. Stephen Hensoncac4fb52011-04-23 19:55:55 +0000557
558void EC_KEY_clear_flags(EC_KEY *key, int flags)
Matt Caswell0f113f32015-01-22 03:40:55 +0000559{
560 key->flags &= ~flags;
561}
Dr. Stephen Henson981bd8a2015-12-12 01:04:25 +0000562
563size_t EC_KEY_key2buf(const EC_KEY *key, point_conversion_form_t form,
564 unsigned char **pbuf, BN_CTX *ctx)
565{
566 if (key == NULL || key->pub_key == NULL || key->group == NULL)
567 return 0;
568 return EC_POINT_point2buf(key->group, key->pub_key, form, pbuf, ctx);
569}
570
571int EC_KEY_oct2key(EC_KEY *key, const unsigned char *buf, size_t len,
572 BN_CTX *ctx)
573{
574 if (key == NULL || key->group == NULL)
575 return 0;
576 if (key->pub_key == NULL)
577 key->pub_key = EC_POINT_new(key->group);
578 if (key->pub_key == NULL)
579 return 0;
Dr. Stephen Henson6ea04152016-02-17 15:05:27 +0000580 if (EC_POINT_oct2point(key->group, key->pub_key, buf, len, ctx) == 0)
581 return 0;
582 /*
583 * Save the point conversion form.
584 * For non-custom curves the first octet of the buffer (excluding
585 * the last significant bit) contains the point conversion form.
586 * EC_POINT_oct2point() has already performed sanity checking of
587 * the buffer so we know it is valid.
588 */
589 if ((key->group->meth->flags & EC_FLAGS_CUSTOM_CURVE) == 0)
590 key->conv_form = (point_conversion_form_t)(buf[0] & ~0x01);
591 return 1;
Dr. Stephen Henson981bd8a2015-12-12 01:04:25 +0000592}
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000593
594size_t EC_KEY_priv2oct(const EC_KEY *eckey, unsigned char *buf, size_t len)
595{
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000596 if (eckey->group == NULL || eckey->group->meth == NULL)
597 return 0;
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000598 if (eckey->group->meth->priv2oct == NULL) {
599 ECerr(EC_F_EC_KEY_PRIV2OCT, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
600 return 0;
601 }
602
603 return eckey->group->meth->priv2oct(eckey, buf, len);
604}
605
606size_t ec_key_simple_priv2oct(const EC_KEY *eckey,
607 unsigned char *buf, size_t len)
608{
609 size_t buf_len;
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000610
611 buf_len = (EC_GROUP_get_degree(eckey->group) + 7) / 8;
612 if (eckey->priv_key == NULL)
613 return 0;
614 if (buf == NULL)
615 return buf_len;
616 else if (len < buf_len)
617 return 0;
618
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000619 /* Octetstring may need leading zeros if BN is to short */
620
Dr. Stephen Henson907e9502016-02-03 18:51:02 +0000621 if (BN_bn2binpad(eckey->priv_key, buf, buf_len) == -1) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000622 ECerr(EC_F_EC_KEY_SIMPLE_PRIV2OCT, EC_R_BUFFER_TOO_SMALL);
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000623 return 0;
624 }
625
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000626 return buf_len;
627}
628
629int EC_KEY_oct2priv(EC_KEY *eckey, unsigned char *buf, size_t len)
630{
631 if (eckey->group == NULL || eckey->group->meth == NULL)
632 return 0;
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000633 if (eckey->group->meth->oct2priv == NULL) {
634 ECerr(EC_F_EC_KEY_OCT2PRIV, ERR_R_SHOULD_NOT_HAVE_BEEN_CALLED);
635 return 0;
636 }
637 return eckey->group->meth->oct2priv(eckey, buf, len);
638}
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000639
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000640int ec_key_simple_oct2priv(EC_KEY *eckey, unsigned char *buf, size_t len)
641{
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000642 if (eckey->priv_key == NULL)
643 eckey->priv_key = BN_secure_new();
644 if (eckey->priv_key == NULL) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000645 ECerr(EC_F_EC_KEY_SIMPLE_OCT2PRIV, ERR_R_MALLOC_FAILURE);
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000646 return 0;
647 }
648 eckey->priv_key = BN_bin2bn(buf, len, eckey->priv_key);
649 if (eckey->priv_key == NULL) {
Dr. Stephen Henson77470e92016-02-28 17:47:06 +0000650 ECerr(EC_F_EC_KEY_SIMPLE_OCT2PRIV, ERR_R_BN_LIB);
Dr. Stephen Hensoncf241392016-02-01 15:34:13 +0000651 return 0;
652 }
653 return 1;
654}
Dr. Stephen Henson7fc7d1a2016-02-04 23:18:57 +0000655
656size_t EC_KEY_priv2buf(const EC_KEY *eckey, unsigned char **pbuf)
657{
658 size_t len;
659 unsigned char *buf;
660 len = EC_KEY_priv2oct(eckey, NULL, 0);
Rich Salzafcee952016-02-26 14:11:46 -0500661 if (len == 0)
662 return 0;
Dr. Stephen Henson7fc7d1a2016-02-04 23:18:57 +0000663 buf = OPENSSL_malloc(len);
664 if (buf == NULL)
665 return 0;
666 len = EC_KEY_priv2oct(eckey, buf, len);
667 if (len == 0) {
668 OPENSSL_free(buf);
669 return 0;
670 }
671 *pbuf = buf;
672 return len;
673}
Dr. Stephen Henson4b0555e2016-02-23 15:02:34 +0000674
675int EC_KEY_can_sign(const EC_KEY *eckey)
676{
677 if (eckey->group == NULL || eckey->group->meth == NULL
678 || (eckey->group->meth->flags & EC_FLAGS_NO_SIGN))
679 return 0;
680 return 1;
681}