1 | /*
|
---|
2 | * Copyright 2002-2021 The OpenSSL Project Authors. All Rights Reserved.
|
---|
3 | *
|
---|
4 | * Licensed under the Apache License 2.0 (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
|
---|
8 | */
|
---|
9 |
|
---|
10 | /*
|
---|
11 | * ECDSA low level APIs are deprecated for public use, but still ok for
|
---|
12 | * internal use.
|
---|
13 | */
|
---|
14 | #include "internal/deprecated.h"
|
---|
15 |
|
---|
16 | #include <string.h>
|
---|
17 | #include "ec_local.h"
|
---|
18 | #include <openssl/err.h>
|
---|
19 | #include <openssl/asn1t.h>
|
---|
20 | #include <openssl/objects.h>
|
---|
21 | #include "internal/nelem.h"
|
---|
22 | #include "crypto/asn1_dsa.h"
|
---|
23 |
|
---|
24 | #ifndef FIPS_MODULE
|
---|
25 |
|
---|
26 | /* some structures needed for the asn1 encoding */
|
---|
27 | typedef struct x9_62_pentanomial_st {
|
---|
28 | int32_t k1;
|
---|
29 | int32_t k2;
|
---|
30 | int32_t k3;
|
---|
31 | } X9_62_PENTANOMIAL;
|
---|
32 |
|
---|
33 | typedef struct x9_62_characteristic_two_st {
|
---|
34 | int32_t m;
|
---|
35 | ASN1_OBJECT *type;
|
---|
36 | union {
|
---|
37 | char *ptr;
|
---|
38 | /* NID_X9_62_onBasis */
|
---|
39 | ASN1_NULL *onBasis;
|
---|
40 | /* NID_X9_62_tpBasis */
|
---|
41 | ASN1_INTEGER *tpBasis;
|
---|
42 | /* NID_X9_62_ppBasis */
|
---|
43 | X9_62_PENTANOMIAL *ppBasis;
|
---|
44 | /* anything else */
|
---|
45 | ASN1_TYPE *other;
|
---|
46 | } p;
|
---|
47 | } X9_62_CHARACTERISTIC_TWO;
|
---|
48 |
|
---|
49 | typedef struct x9_62_fieldid_st {
|
---|
50 | ASN1_OBJECT *fieldType;
|
---|
51 | union {
|
---|
52 | char *ptr;
|
---|
53 | /* NID_X9_62_prime_field */
|
---|
54 | ASN1_INTEGER *prime;
|
---|
55 | /* NID_X9_62_characteristic_two_field */
|
---|
56 | X9_62_CHARACTERISTIC_TWO *char_two;
|
---|
57 | /* anything else */
|
---|
58 | ASN1_TYPE *other;
|
---|
59 | } p;
|
---|
60 | } X9_62_FIELDID;
|
---|
61 |
|
---|
62 | typedef struct x9_62_curve_st {
|
---|
63 | ASN1_OCTET_STRING *a;
|
---|
64 | ASN1_OCTET_STRING *b;
|
---|
65 | ASN1_BIT_STRING *seed;
|
---|
66 | } X9_62_CURVE;
|
---|
67 |
|
---|
68 | struct ec_parameters_st {
|
---|
69 | int32_t version;
|
---|
70 | X9_62_FIELDID *fieldID;
|
---|
71 | X9_62_CURVE *curve;
|
---|
72 | ASN1_OCTET_STRING *base;
|
---|
73 | ASN1_INTEGER *order;
|
---|
74 | ASN1_INTEGER *cofactor;
|
---|
75 | } /* ECPARAMETERS */ ;
|
---|
76 |
|
---|
77 | typedef enum {
|
---|
78 | ECPKPARAMETERS_TYPE_NAMED = 0,
|
---|
79 | ECPKPARAMETERS_TYPE_EXPLICIT,
|
---|
80 | ECPKPARAMETERS_TYPE_IMPLICIT
|
---|
81 | } ecpk_parameters_type_t;
|
---|
82 |
|
---|
83 | struct ecpk_parameters_st {
|
---|
84 | int type;
|
---|
85 | union {
|
---|
86 | ASN1_OBJECT *named_curve;
|
---|
87 | ECPARAMETERS *parameters;
|
---|
88 | ASN1_NULL *implicitlyCA;
|
---|
89 | } value;
|
---|
90 | } /* ECPKPARAMETERS */ ;
|
---|
91 |
|
---|
92 | /* SEC1 ECPrivateKey */
|
---|
93 | typedef struct ec_privatekey_st {
|
---|
94 | int32_t version;
|
---|
95 | ASN1_OCTET_STRING *privateKey;
|
---|
96 | ECPKPARAMETERS *parameters;
|
---|
97 | ASN1_BIT_STRING *publicKey;
|
---|
98 | } EC_PRIVATEKEY;
|
---|
99 |
|
---|
100 | /* the OpenSSL ASN.1 definitions */
|
---|
101 | ASN1_SEQUENCE(X9_62_PENTANOMIAL) = {
|
---|
102 | ASN1_EMBED(X9_62_PENTANOMIAL, k1, INT32),
|
---|
103 | ASN1_EMBED(X9_62_PENTANOMIAL, k2, INT32),
|
---|
104 | ASN1_EMBED(X9_62_PENTANOMIAL, k3, INT32)
|
---|
105 | } static_ASN1_SEQUENCE_END(X9_62_PENTANOMIAL)
|
---|
106 |
|
---|
107 | DECLARE_ASN1_ALLOC_FUNCTIONS(X9_62_PENTANOMIAL)
|
---|
108 | IMPLEMENT_ASN1_ALLOC_FUNCTIONS(X9_62_PENTANOMIAL)
|
---|
109 |
|
---|
110 | ASN1_ADB_TEMPLATE(char_two_def) = ASN1_SIMPLE(X9_62_CHARACTERISTIC_TWO, p.other, ASN1_ANY);
|
---|
111 |
|
---|
112 | ASN1_ADB(X9_62_CHARACTERISTIC_TWO) = {
|
---|
113 | ADB_ENTRY(NID_X9_62_onBasis, ASN1_SIMPLE(X9_62_CHARACTERISTIC_TWO, p.onBasis, ASN1_NULL)),
|
---|
114 | ADB_ENTRY(NID_X9_62_tpBasis, ASN1_SIMPLE(X9_62_CHARACTERISTIC_TWO, p.tpBasis, ASN1_INTEGER)),
|
---|
115 | ADB_ENTRY(NID_X9_62_ppBasis, ASN1_SIMPLE(X9_62_CHARACTERISTIC_TWO, p.ppBasis, X9_62_PENTANOMIAL))
|
---|
116 | } ASN1_ADB_END(X9_62_CHARACTERISTIC_TWO, 0, type, 0, &char_two_def_tt, NULL);
|
---|
117 |
|
---|
118 | ASN1_SEQUENCE(X9_62_CHARACTERISTIC_TWO) = {
|
---|
119 | ASN1_EMBED(X9_62_CHARACTERISTIC_TWO, m, INT32),
|
---|
120 | ASN1_SIMPLE(X9_62_CHARACTERISTIC_TWO, type, ASN1_OBJECT),
|
---|
121 | ASN1_ADB_OBJECT(X9_62_CHARACTERISTIC_TWO)
|
---|
122 | } static_ASN1_SEQUENCE_END(X9_62_CHARACTERISTIC_TWO)
|
---|
123 |
|
---|
124 | DECLARE_ASN1_ALLOC_FUNCTIONS(X9_62_CHARACTERISTIC_TWO)
|
---|
125 | IMPLEMENT_ASN1_ALLOC_FUNCTIONS(X9_62_CHARACTERISTIC_TWO)
|
---|
126 |
|
---|
127 | ASN1_ADB_TEMPLATE(fieldID_def) = ASN1_SIMPLE(X9_62_FIELDID, p.other, ASN1_ANY);
|
---|
128 |
|
---|
129 | ASN1_ADB(X9_62_FIELDID) = {
|
---|
130 | ADB_ENTRY(NID_X9_62_prime_field, ASN1_SIMPLE(X9_62_FIELDID, p.prime, ASN1_INTEGER)),
|
---|
131 | ADB_ENTRY(NID_X9_62_characteristic_two_field, ASN1_SIMPLE(X9_62_FIELDID, p.char_two, X9_62_CHARACTERISTIC_TWO))
|
---|
132 | } ASN1_ADB_END(X9_62_FIELDID, 0, fieldType, 0, &fieldID_def_tt, NULL);
|
---|
133 |
|
---|
134 | ASN1_SEQUENCE(X9_62_FIELDID) = {
|
---|
135 | ASN1_SIMPLE(X9_62_FIELDID, fieldType, ASN1_OBJECT),
|
---|
136 | ASN1_ADB_OBJECT(X9_62_FIELDID)
|
---|
137 | } static_ASN1_SEQUENCE_END(X9_62_FIELDID)
|
---|
138 |
|
---|
139 | ASN1_SEQUENCE(X9_62_CURVE) = {
|
---|
140 | ASN1_SIMPLE(X9_62_CURVE, a, ASN1_OCTET_STRING),
|
---|
141 | ASN1_SIMPLE(X9_62_CURVE, b, ASN1_OCTET_STRING),
|
---|
142 | ASN1_OPT(X9_62_CURVE, seed, ASN1_BIT_STRING)
|
---|
143 | } static_ASN1_SEQUENCE_END(X9_62_CURVE)
|
---|
144 |
|
---|
145 | ASN1_SEQUENCE(ECPARAMETERS) = {
|
---|
146 | ASN1_EMBED(ECPARAMETERS, version, INT32),
|
---|
147 | ASN1_SIMPLE(ECPARAMETERS, fieldID, X9_62_FIELDID),
|
---|
148 | ASN1_SIMPLE(ECPARAMETERS, curve, X9_62_CURVE),
|
---|
149 | ASN1_SIMPLE(ECPARAMETERS, base, ASN1_OCTET_STRING),
|
---|
150 | ASN1_SIMPLE(ECPARAMETERS, order, ASN1_INTEGER),
|
---|
151 | ASN1_OPT(ECPARAMETERS, cofactor, ASN1_INTEGER)
|
---|
152 | } ASN1_SEQUENCE_END(ECPARAMETERS)
|
---|
153 |
|
---|
154 | DECLARE_ASN1_ALLOC_FUNCTIONS(ECPARAMETERS)
|
---|
155 | IMPLEMENT_ASN1_ALLOC_FUNCTIONS(ECPARAMETERS)
|
---|
156 |
|
---|
157 | ASN1_CHOICE(ECPKPARAMETERS) = {
|
---|
158 | ASN1_SIMPLE(ECPKPARAMETERS, value.named_curve, ASN1_OBJECT),
|
---|
159 | ASN1_SIMPLE(ECPKPARAMETERS, value.parameters, ECPARAMETERS),
|
---|
160 | ASN1_SIMPLE(ECPKPARAMETERS, value.implicitlyCA, ASN1_NULL)
|
---|
161 | } ASN1_CHOICE_END(ECPKPARAMETERS)
|
---|
162 |
|
---|
163 | DECLARE_ASN1_FUNCTIONS(ECPKPARAMETERS)
|
---|
164 | DECLARE_ASN1_ENCODE_FUNCTIONS_name(ECPKPARAMETERS, ECPKPARAMETERS)
|
---|
165 | IMPLEMENT_ASN1_FUNCTIONS(ECPKPARAMETERS)
|
---|
166 |
|
---|
167 | ASN1_SEQUENCE(EC_PRIVATEKEY) = {
|
---|
168 | ASN1_EMBED(EC_PRIVATEKEY, version, INT32),
|
---|
169 | ASN1_SIMPLE(EC_PRIVATEKEY, privateKey, ASN1_OCTET_STRING),
|
---|
170 | ASN1_EXP_OPT(EC_PRIVATEKEY, parameters, ECPKPARAMETERS, 0),
|
---|
171 | ASN1_EXP_OPT(EC_PRIVATEKEY, publicKey, ASN1_BIT_STRING, 1)
|
---|
172 | } static_ASN1_SEQUENCE_END(EC_PRIVATEKEY)
|
---|
173 |
|
---|
174 | DECLARE_ASN1_FUNCTIONS(EC_PRIVATEKEY)
|
---|
175 | DECLARE_ASN1_ENCODE_FUNCTIONS_name(EC_PRIVATEKEY, EC_PRIVATEKEY)
|
---|
176 | IMPLEMENT_ASN1_FUNCTIONS(EC_PRIVATEKEY)
|
---|
177 |
|
---|
178 | /* some declarations of internal function */
|
---|
179 |
|
---|
180 | /* ec_asn1_group2field() sets the values in a X9_62_FIELDID object */
|
---|
181 | static int ec_asn1_group2fieldid(const EC_GROUP *, X9_62_FIELDID *);
|
---|
182 | /* ec_asn1_group2curve() sets the values in a X9_62_CURVE object */
|
---|
183 | static int ec_asn1_group2curve(const EC_GROUP *, X9_62_CURVE *);
|
---|
184 |
|
---|
185 | /* the function definitions */
|
---|
186 |
|
---|
187 | static int ec_asn1_group2fieldid(const EC_GROUP *group, X9_62_FIELDID *field)
|
---|
188 | {
|
---|
189 | int ok = 0, nid;
|
---|
190 | BIGNUM *tmp = NULL;
|
---|
191 |
|
---|
192 | if (group == NULL || field == NULL)
|
---|
193 | return 0;
|
---|
194 |
|
---|
195 | /* clear the old values (if necessary) */
|
---|
196 | ASN1_OBJECT_free(field->fieldType);
|
---|
197 | ASN1_TYPE_free(field->p.other);
|
---|
198 |
|
---|
199 | nid = EC_GROUP_get_field_type(group);
|
---|
200 | /* set OID for the field */
|
---|
201 | if ((field->fieldType = OBJ_nid2obj(nid)) == NULL) {
|
---|
202 | ERR_raise(ERR_LIB_EC, ERR_R_OBJ_LIB);
|
---|
203 | goto err;
|
---|
204 | }
|
---|
205 |
|
---|
206 | if (nid == NID_X9_62_prime_field) {
|
---|
207 | if ((tmp = BN_new()) == NULL) {
|
---|
208 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
209 | goto err;
|
---|
210 | }
|
---|
211 | /* the parameters are specified by the prime number p */
|
---|
212 | if (!EC_GROUP_get_curve(group, tmp, NULL, NULL, NULL)) {
|
---|
213 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
214 | goto err;
|
---|
215 | }
|
---|
216 | /* set the prime number */
|
---|
217 | field->p.prime = BN_to_ASN1_INTEGER(tmp, NULL);
|
---|
218 | if (field->p.prime == NULL) {
|
---|
219 | ERR_raise(ERR_LIB_EC, ERR_R_ASN1_LIB);
|
---|
220 | goto err;
|
---|
221 | }
|
---|
222 | } else if (nid == NID_X9_62_characteristic_two_field)
|
---|
223 | #ifdef OPENSSL_NO_EC2M
|
---|
224 | {
|
---|
225 | ERR_raise(ERR_LIB_EC, EC_R_GF2M_NOT_SUPPORTED);
|
---|
226 | goto err;
|
---|
227 | }
|
---|
228 | #else
|
---|
229 | {
|
---|
230 | int field_type;
|
---|
231 | X9_62_CHARACTERISTIC_TWO *char_two;
|
---|
232 |
|
---|
233 | field->p.char_two = X9_62_CHARACTERISTIC_TWO_new();
|
---|
234 | char_two = field->p.char_two;
|
---|
235 |
|
---|
236 | if (char_two == NULL) {
|
---|
237 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
238 | goto err;
|
---|
239 | }
|
---|
240 |
|
---|
241 | char_two->m = (long)EC_GROUP_get_degree(group);
|
---|
242 |
|
---|
243 | field_type = EC_GROUP_get_basis_type(group);
|
---|
244 |
|
---|
245 | if (field_type == 0) {
|
---|
246 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
247 | goto err;
|
---|
248 | }
|
---|
249 | /* set base type OID */
|
---|
250 | if ((char_two->type = OBJ_nid2obj(field_type)) == NULL) {
|
---|
251 | ERR_raise(ERR_LIB_EC, ERR_R_OBJ_LIB);
|
---|
252 | goto err;
|
---|
253 | }
|
---|
254 |
|
---|
255 | if (field_type == NID_X9_62_tpBasis) {
|
---|
256 | unsigned int k;
|
---|
257 |
|
---|
258 | if (!EC_GROUP_get_trinomial_basis(group, &k))
|
---|
259 | goto err;
|
---|
260 |
|
---|
261 | char_two->p.tpBasis = ASN1_INTEGER_new();
|
---|
262 | if (char_two->p.tpBasis == NULL) {
|
---|
263 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
264 | goto err;
|
---|
265 | }
|
---|
266 | if (!ASN1_INTEGER_set(char_two->p.tpBasis, (long)k)) {
|
---|
267 | ERR_raise(ERR_LIB_EC, ERR_R_ASN1_LIB);
|
---|
268 | goto err;
|
---|
269 | }
|
---|
270 | } else if (field_type == NID_X9_62_ppBasis) {
|
---|
271 | unsigned int k1, k2, k3;
|
---|
272 |
|
---|
273 | if (!EC_GROUP_get_pentanomial_basis(group, &k1, &k2, &k3))
|
---|
274 | goto err;
|
---|
275 |
|
---|
276 | char_two->p.ppBasis = X9_62_PENTANOMIAL_new();
|
---|
277 | if (char_two->p.ppBasis == NULL) {
|
---|
278 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
279 | goto err;
|
---|
280 | }
|
---|
281 |
|
---|
282 | /* set k? values */
|
---|
283 | char_two->p.ppBasis->k1 = (long)k1;
|
---|
284 | char_two->p.ppBasis->k2 = (long)k2;
|
---|
285 | char_two->p.ppBasis->k3 = (long)k3;
|
---|
286 | } else { /* field_type == NID_X9_62_onBasis */
|
---|
287 |
|
---|
288 | /* for ONB the parameters are (asn1) NULL */
|
---|
289 | char_two->p.onBasis = ASN1_NULL_new();
|
---|
290 | if (char_two->p.onBasis == NULL) {
|
---|
291 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
292 | goto err;
|
---|
293 | }
|
---|
294 | }
|
---|
295 | }
|
---|
296 | #endif
|
---|
297 | else {
|
---|
298 | ERR_raise(ERR_LIB_EC, EC_R_UNSUPPORTED_FIELD);
|
---|
299 | goto err;
|
---|
300 | }
|
---|
301 |
|
---|
302 | ok = 1;
|
---|
303 |
|
---|
304 | err:
|
---|
305 | BN_free(tmp);
|
---|
306 | return ok;
|
---|
307 | }
|
---|
308 |
|
---|
309 | static int ec_asn1_group2curve(const EC_GROUP *group, X9_62_CURVE *curve)
|
---|
310 | {
|
---|
311 | int ok = 0;
|
---|
312 | BIGNUM *tmp_1 = NULL, *tmp_2 = NULL;
|
---|
313 | unsigned char *a_buf = NULL, *b_buf = NULL;
|
---|
314 | size_t len;
|
---|
315 |
|
---|
316 | if (!group || !curve || !curve->a || !curve->b)
|
---|
317 | return 0;
|
---|
318 |
|
---|
319 | if ((tmp_1 = BN_new()) == NULL || (tmp_2 = BN_new()) == NULL) {
|
---|
320 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
321 | goto err;
|
---|
322 | }
|
---|
323 |
|
---|
324 | /* get a and b */
|
---|
325 | if (!EC_GROUP_get_curve(group, NULL, tmp_1, tmp_2, NULL)) {
|
---|
326 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
327 | goto err;
|
---|
328 | }
|
---|
329 |
|
---|
330 | /*
|
---|
331 | * Per SEC 1, the curve coefficients must be padded up to size. See C.2's
|
---|
332 | * definition of Curve, C.1's definition of FieldElement, and 2.3.5's
|
---|
333 | * definition of how to encode the field elements.
|
---|
334 | */
|
---|
335 | len = ((size_t)EC_GROUP_get_degree(group) + 7) / 8;
|
---|
336 | if ((a_buf = OPENSSL_malloc(len)) == NULL
|
---|
337 | || (b_buf = OPENSSL_malloc(len)) == NULL) {
|
---|
338 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
339 | goto err;
|
---|
340 | }
|
---|
341 | if (BN_bn2binpad(tmp_1, a_buf, len) < 0
|
---|
342 | || BN_bn2binpad(tmp_2, b_buf, len) < 0) {
|
---|
343 | ERR_raise(ERR_LIB_EC, ERR_R_BN_LIB);
|
---|
344 | goto err;
|
---|
345 | }
|
---|
346 |
|
---|
347 | /* set a and b */
|
---|
348 | if (!ASN1_OCTET_STRING_set(curve->a, a_buf, len)
|
---|
349 | || !ASN1_OCTET_STRING_set(curve->b, b_buf, len)) {
|
---|
350 | ERR_raise(ERR_LIB_EC, ERR_R_ASN1_LIB);
|
---|
351 | goto err;
|
---|
352 | }
|
---|
353 |
|
---|
354 | /* set the seed (optional) */
|
---|
355 | if (group->seed) {
|
---|
356 | if (!curve->seed)
|
---|
357 | if ((curve->seed = ASN1_BIT_STRING_new()) == NULL) {
|
---|
358 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
359 | goto err;
|
---|
360 | }
|
---|
361 | curve->seed->flags &= ~(ASN1_STRING_FLAG_BITS_LEFT | 0x07);
|
---|
362 | curve->seed->flags |= ASN1_STRING_FLAG_BITS_LEFT;
|
---|
363 | if (!ASN1_BIT_STRING_set(curve->seed, group->seed,
|
---|
364 | (int)group->seed_len)) {
|
---|
365 | ERR_raise(ERR_LIB_EC, ERR_R_ASN1_LIB);
|
---|
366 | goto err;
|
---|
367 | }
|
---|
368 | } else {
|
---|
369 | ASN1_BIT_STRING_free(curve->seed);
|
---|
370 | curve->seed = NULL;
|
---|
371 | }
|
---|
372 |
|
---|
373 | ok = 1;
|
---|
374 |
|
---|
375 | err:
|
---|
376 | OPENSSL_free(a_buf);
|
---|
377 | OPENSSL_free(b_buf);
|
---|
378 | BN_free(tmp_1);
|
---|
379 | BN_free(tmp_2);
|
---|
380 | return ok;
|
---|
381 | }
|
---|
382 |
|
---|
383 | ECPARAMETERS *EC_GROUP_get_ecparameters(const EC_GROUP *group,
|
---|
384 | ECPARAMETERS *params)
|
---|
385 | {
|
---|
386 | size_t len = 0;
|
---|
387 | ECPARAMETERS *ret = NULL;
|
---|
388 | const BIGNUM *tmp;
|
---|
389 | unsigned char *buffer = NULL;
|
---|
390 | const EC_POINT *point = NULL;
|
---|
391 | point_conversion_form_t form;
|
---|
392 | ASN1_INTEGER *orig;
|
---|
393 |
|
---|
394 | if (params == NULL) {
|
---|
395 | if ((ret = ECPARAMETERS_new()) == NULL) {
|
---|
396 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
397 | goto err;
|
---|
398 | }
|
---|
399 | } else
|
---|
400 | ret = params;
|
---|
401 |
|
---|
402 | /* set the version (always one) */
|
---|
403 | ret->version = (long)0x1;
|
---|
404 |
|
---|
405 | /* set the fieldID */
|
---|
406 | if (!ec_asn1_group2fieldid(group, ret->fieldID)) {
|
---|
407 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
408 | goto err;
|
---|
409 | }
|
---|
410 |
|
---|
411 | /* set the curve */
|
---|
412 | if (!ec_asn1_group2curve(group, ret->curve)) {
|
---|
413 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
414 | goto err;
|
---|
415 | }
|
---|
416 |
|
---|
417 | /* set the base point */
|
---|
418 | if ((point = EC_GROUP_get0_generator(group)) == NULL) {
|
---|
419 | ERR_raise(ERR_LIB_EC, EC_R_UNDEFINED_GENERATOR);
|
---|
420 | goto err;
|
---|
421 | }
|
---|
422 |
|
---|
423 | form = EC_GROUP_get_point_conversion_form(group);
|
---|
424 |
|
---|
425 | len = EC_POINT_point2buf(group, point, form, &buffer, NULL);
|
---|
426 | if (len == 0) {
|
---|
427 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
428 | goto err;
|
---|
429 | }
|
---|
430 | if (ret->base == NULL && (ret->base = ASN1_OCTET_STRING_new()) == NULL) {
|
---|
431 | OPENSSL_free(buffer);
|
---|
432 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
433 | goto err;
|
---|
434 | }
|
---|
435 | ASN1_STRING_set0(ret->base, buffer, len);
|
---|
436 |
|
---|
437 | /* set the order */
|
---|
438 | tmp = EC_GROUP_get0_order(group);
|
---|
439 | if (tmp == NULL) {
|
---|
440 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
441 | goto err;
|
---|
442 | }
|
---|
443 | ret->order = BN_to_ASN1_INTEGER(tmp, orig = ret->order);
|
---|
444 | if (ret->order == NULL) {
|
---|
445 | ret->order = orig;
|
---|
446 | ERR_raise(ERR_LIB_EC, ERR_R_ASN1_LIB);
|
---|
447 | goto err;
|
---|
448 | }
|
---|
449 |
|
---|
450 | /* set the cofactor (optional) */
|
---|
451 | tmp = EC_GROUP_get0_cofactor(group);
|
---|
452 | if (tmp != NULL) {
|
---|
453 | ret->cofactor = BN_to_ASN1_INTEGER(tmp, orig = ret->cofactor);
|
---|
454 | if (ret->cofactor == NULL) {
|
---|
455 | ret->cofactor = orig;
|
---|
456 | ERR_raise(ERR_LIB_EC, ERR_R_ASN1_LIB);
|
---|
457 | goto err;
|
---|
458 | }
|
---|
459 | }
|
---|
460 |
|
---|
461 | return ret;
|
---|
462 |
|
---|
463 | err:
|
---|
464 | if (params == NULL)
|
---|
465 | ECPARAMETERS_free(ret);
|
---|
466 | return NULL;
|
---|
467 | }
|
---|
468 |
|
---|
469 | ECPKPARAMETERS *EC_GROUP_get_ecpkparameters(const EC_GROUP *group,
|
---|
470 | ECPKPARAMETERS *params)
|
---|
471 | {
|
---|
472 | int ok = 1, tmp;
|
---|
473 | ECPKPARAMETERS *ret = params;
|
---|
474 |
|
---|
475 | if (ret == NULL) {
|
---|
476 | if ((ret = ECPKPARAMETERS_new()) == NULL) {
|
---|
477 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
478 | return NULL;
|
---|
479 | }
|
---|
480 | } else {
|
---|
481 | if (ret->type == ECPKPARAMETERS_TYPE_NAMED)
|
---|
482 | ASN1_OBJECT_free(ret->value.named_curve);
|
---|
483 | else if (ret->type == ECPKPARAMETERS_TYPE_EXPLICIT
|
---|
484 | && ret->value.parameters != NULL)
|
---|
485 | ECPARAMETERS_free(ret->value.parameters);
|
---|
486 | }
|
---|
487 |
|
---|
488 | if (EC_GROUP_get_asn1_flag(group) == OPENSSL_EC_NAMED_CURVE) {
|
---|
489 | /*
|
---|
490 | * use the asn1 OID to describe the elliptic curve parameters
|
---|
491 | */
|
---|
492 | tmp = EC_GROUP_get_curve_name(group);
|
---|
493 | if (tmp) {
|
---|
494 | ASN1_OBJECT *asn1obj = OBJ_nid2obj(tmp);
|
---|
495 |
|
---|
496 | if (asn1obj == NULL || OBJ_length(asn1obj) == 0) {
|
---|
497 | ASN1_OBJECT_free(asn1obj);
|
---|
498 | ERR_raise(ERR_LIB_EC, EC_R_MISSING_OID);
|
---|
499 | ok = 0;
|
---|
500 | } else {
|
---|
501 | ret->type = ECPKPARAMETERS_TYPE_NAMED;
|
---|
502 | ret->value.named_curve = asn1obj;
|
---|
503 | }
|
---|
504 | } else
|
---|
505 | /* we don't know the nid => ERROR */
|
---|
506 | ok = 0;
|
---|
507 | } else {
|
---|
508 | /* use the ECPARAMETERS structure */
|
---|
509 | ret->type = ECPKPARAMETERS_TYPE_EXPLICIT;
|
---|
510 | if ((ret->value.parameters =
|
---|
511 | EC_GROUP_get_ecparameters(group, NULL)) == NULL)
|
---|
512 | ok = 0;
|
---|
513 | }
|
---|
514 |
|
---|
515 | if (!ok) {
|
---|
516 | ECPKPARAMETERS_free(ret);
|
---|
517 | return NULL;
|
---|
518 | }
|
---|
519 | return ret;
|
---|
520 | }
|
---|
521 |
|
---|
522 | EC_GROUP *EC_GROUP_new_from_ecparameters(const ECPARAMETERS *params)
|
---|
523 | {
|
---|
524 | int ok = 0, tmp;
|
---|
525 | EC_GROUP *ret = NULL, *dup = NULL;
|
---|
526 | BIGNUM *p = NULL, *a = NULL, *b = NULL;
|
---|
527 | EC_POINT *point = NULL;
|
---|
528 | long field_bits;
|
---|
529 | int curve_name = NID_undef;
|
---|
530 | BN_CTX *ctx = NULL;
|
---|
531 |
|
---|
532 | if (params->fieldID == NULL
|
---|
533 | || params->fieldID->fieldType == NULL
|
---|
534 | || params->fieldID->p.ptr == NULL) {
|
---|
535 | ERR_raise(ERR_LIB_EC, EC_R_ASN1_ERROR);
|
---|
536 | goto err;
|
---|
537 | }
|
---|
538 |
|
---|
539 | /*
|
---|
540 | * Now extract the curve parameters a and b. Note that, although SEC 1
|
---|
541 | * specifies the length of their encodings, historical versions of OpenSSL
|
---|
542 | * encoded them incorrectly, so we must accept any length for backwards
|
---|
543 | * compatibility.
|
---|
544 | */
|
---|
545 | if (params->curve == NULL
|
---|
546 | || params->curve->a == NULL || params->curve->a->data == NULL
|
---|
547 | || params->curve->b == NULL || params->curve->b->data == NULL) {
|
---|
548 | ERR_raise(ERR_LIB_EC, EC_R_ASN1_ERROR);
|
---|
549 | goto err;
|
---|
550 | }
|
---|
551 | a = BN_bin2bn(params->curve->a->data, params->curve->a->length, NULL);
|
---|
552 | if (a == NULL) {
|
---|
553 | ERR_raise(ERR_LIB_EC, ERR_R_BN_LIB);
|
---|
554 | goto err;
|
---|
555 | }
|
---|
556 | b = BN_bin2bn(params->curve->b->data, params->curve->b->length, NULL);
|
---|
557 | if (b == NULL) {
|
---|
558 | ERR_raise(ERR_LIB_EC, ERR_R_BN_LIB);
|
---|
559 | goto err;
|
---|
560 | }
|
---|
561 |
|
---|
562 | /* get the field parameters */
|
---|
563 | tmp = OBJ_obj2nid(params->fieldID->fieldType);
|
---|
564 | if (tmp == NID_X9_62_characteristic_two_field)
|
---|
565 | #ifdef OPENSSL_NO_EC2M
|
---|
566 | {
|
---|
567 | ERR_raise(ERR_LIB_EC, EC_R_GF2M_NOT_SUPPORTED);
|
---|
568 | goto err;
|
---|
569 | }
|
---|
570 | #else
|
---|
571 | {
|
---|
572 | X9_62_CHARACTERISTIC_TWO *char_two;
|
---|
573 |
|
---|
574 | char_two = params->fieldID->p.char_two;
|
---|
575 |
|
---|
576 | field_bits = char_two->m;
|
---|
577 | if (field_bits > OPENSSL_ECC_MAX_FIELD_BITS) {
|
---|
578 | ERR_raise(ERR_LIB_EC, EC_R_FIELD_TOO_LARGE);
|
---|
579 | goto err;
|
---|
580 | }
|
---|
581 |
|
---|
582 | if ((p = BN_new()) == NULL) {
|
---|
583 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
584 | goto err;
|
---|
585 | }
|
---|
586 |
|
---|
587 | /* get the base type */
|
---|
588 | tmp = OBJ_obj2nid(char_two->type);
|
---|
589 |
|
---|
590 | if (tmp == NID_X9_62_tpBasis) {
|
---|
591 | long tmp_long;
|
---|
592 |
|
---|
593 | if (!char_two->p.tpBasis) {
|
---|
594 | ERR_raise(ERR_LIB_EC, EC_R_ASN1_ERROR);
|
---|
595 | goto err;
|
---|
596 | }
|
---|
597 |
|
---|
598 | tmp_long = ASN1_INTEGER_get(char_two->p.tpBasis);
|
---|
599 |
|
---|
600 | if (!(char_two->m > tmp_long && tmp_long > 0)) {
|
---|
601 | ERR_raise(ERR_LIB_EC, EC_R_INVALID_TRINOMIAL_BASIS);
|
---|
602 | goto err;
|
---|
603 | }
|
---|
604 |
|
---|
605 | /* create the polynomial */
|
---|
606 | if (!BN_set_bit(p, (int)char_two->m))
|
---|
607 | goto err;
|
---|
608 | if (!BN_set_bit(p, (int)tmp_long))
|
---|
609 | goto err;
|
---|
610 | if (!BN_set_bit(p, 0))
|
---|
611 | goto err;
|
---|
612 | } else if (tmp == NID_X9_62_ppBasis) {
|
---|
613 | X9_62_PENTANOMIAL *penta;
|
---|
614 |
|
---|
615 | penta = char_two->p.ppBasis;
|
---|
616 | if (penta == NULL) {
|
---|
617 | ERR_raise(ERR_LIB_EC, EC_R_ASN1_ERROR);
|
---|
618 | goto err;
|
---|
619 | }
|
---|
620 |
|
---|
621 | if (!
|
---|
622 | (char_two->m > penta->k3 && penta->k3 > penta->k2
|
---|
623 | && penta->k2 > penta->k1 && penta->k1 > 0)) {
|
---|
624 | ERR_raise(ERR_LIB_EC, EC_R_INVALID_PENTANOMIAL_BASIS);
|
---|
625 | goto err;
|
---|
626 | }
|
---|
627 |
|
---|
628 | /* create the polynomial */
|
---|
629 | if (!BN_set_bit(p, (int)char_two->m))
|
---|
630 | goto err;
|
---|
631 | if (!BN_set_bit(p, (int)penta->k1))
|
---|
632 | goto err;
|
---|
633 | if (!BN_set_bit(p, (int)penta->k2))
|
---|
634 | goto err;
|
---|
635 | if (!BN_set_bit(p, (int)penta->k3))
|
---|
636 | goto err;
|
---|
637 | if (!BN_set_bit(p, 0))
|
---|
638 | goto err;
|
---|
639 | } else if (tmp == NID_X9_62_onBasis) {
|
---|
640 | ERR_raise(ERR_LIB_EC, EC_R_NOT_IMPLEMENTED);
|
---|
641 | goto err;
|
---|
642 | } else { /* error */
|
---|
643 |
|
---|
644 | ERR_raise(ERR_LIB_EC, EC_R_ASN1_ERROR);
|
---|
645 | goto err;
|
---|
646 | }
|
---|
647 |
|
---|
648 | /* create the EC_GROUP structure */
|
---|
649 | ret = EC_GROUP_new_curve_GF2m(p, a, b, NULL);
|
---|
650 | }
|
---|
651 | #endif
|
---|
652 | else if (tmp == NID_X9_62_prime_field) {
|
---|
653 | /* we have a curve over a prime field */
|
---|
654 | /* extract the prime number */
|
---|
655 | if (params->fieldID->p.prime == NULL) {
|
---|
656 | ERR_raise(ERR_LIB_EC, EC_R_ASN1_ERROR);
|
---|
657 | goto err;
|
---|
658 | }
|
---|
659 | p = ASN1_INTEGER_to_BN(params->fieldID->p.prime, NULL);
|
---|
660 | if (p == NULL) {
|
---|
661 | ERR_raise(ERR_LIB_EC, ERR_R_ASN1_LIB);
|
---|
662 | goto err;
|
---|
663 | }
|
---|
664 |
|
---|
665 | if (BN_is_negative(p) || BN_is_zero(p)) {
|
---|
666 | ERR_raise(ERR_LIB_EC, EC_R_INVALID_FIELD);
|
---|
667 | goto err;
|
---|
668 | }
|
---|
669 |
|
---|
670 | field_bits = BN_num_bits(p);
|
---|
671 | if (field_bits > OPENSSL_ECC_MAX_FIELD_BITS) {
|
---|
672 | ERR_raise(ERR_LIB_EC, EC_R_FIELD_TOO_LARGE);
|
---|
673 | goto err;
|
---|
674 | }
|
---|
675 |
|
---|
676 | /* create the EC_GROUP structure */
|
---|
677 | ret = EC_GROUP_new_curve_GFp(p, a, b, NULL);
|
---|
678 | } else {
|
---|
679 | ERR_raise(ERR_LIB_EC, EC_R_INVALID_FIELD);
|
---|
680 | goto err;
|
---|
681 | }
|
---|
682 |
|
---|
683 | if (ret == NULL) {
|
---|
684 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
685 | goto err;
|
---|
686 | }
|
---|
687 |
|
---|
688 | /* extract seed (optional) */
|
---|
689 | if (params->curve->seed != NULL) {
|
---|
690 | OPENSSL_free(ret->seed);
|
---|
691 | if ((ret->seed = OPENSSL_malloc(params->curve->seed->length)) == NULL) {
|
---|
692 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
693 | goto err;
|
---|
694 | }
|
---|
695 | memcpy(ret->seed, params->curve->seed->data,
|
---|
696 | params->curve->seed->length);
|
---|
697 | ret->seed_len = params->curve->seed->length;
|
---|
698 | }
|
---|
699 |
|
---|
700 | if (params->order == NULL
|
---|
701 | || params->base == NULL
|
---|
702 | || params->base->data == NULL
|
---|
703 | || params->base->length == 0) {
|
---|
704 | ERR_raise(ERR_LIB_EC, EC_R_ASN1_ERROR);
|
---|
705 | goto err;
|
---|
706 | }
|
---|
707 |
|
---|
708 | if ((point = EC_POINT_new(ret)) == NULL)
|
---|
709 | goto err;
|
---|
710 |
|
---|
711 | /* set the point conversion form */
|
---|
712 | EC_GROUP_set_point_conversion_form(ret, (point_conversion_form_t)
|
---|
713 | (params->base->data[0] & ~0x01));
|
---|
714 |
|
---|
715 | /* extract the ec point */
|
---|
716 | if (!EC_POINT_oct2point(ret, point, params->base->data,
|
---|
717 | params->base->length, NULL)) {
|
---|
718 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
719 | goto err;
|
---|
720 | }
|
---|
721 |
|
---|
722 | /* extract the order */
|
---|
723 | if ((a = ASN1_INTEGER_to_BN(params->order, a)) == NULL) {
|
---|
724 | ERR_raise(ERR_LIB_EC, ERR_R_ASN1_LIB);
|
---|
725 | goto err;
|
---|
726 | }
|
---|
727 | if (BN_is_negative(a) || BN_is_zero(a)) {
|
---|
728 | ERR_raise(ERR_LIB_EC, EC_R_INVALID_GROUP_ORDER);
|
---|
729 | goto err;
|
---|
730 | }
|
---|
731 | if (BN_num_bits(a) > (int)field_bits + 1) { /* Hasse bound */
|
---|
732 | ERR_raise(ERR_LIB_EC, EC_R_INVALID_GROUP_ORDER);
|
---|
733 | goto err;
|
---|
734 | }
|
---|
735 |
|
---|
736 | /* extract the cofactor (optional) */
|
---|
737 | if (params->cofactor == NULL) {
|
---|
738 | BN_free(b);
|
---|
739 | b = NULL;
|
---|
740 | } else if ((b = ASN1_INTEGER_to_BN(params->cofactor, b)) == NULL) {
|
---|
741 | ERR_raise(ERR_LIB_EC, ERR_R_ASN1_LIB);
|
---|
742 | goto err;
|
---|
743 | }
|
---|
744 | /* set the generator, order and cofactor (if present) */
|
---|
745 | if (!EC_GROUP_set_generator(ret, point, a, b)) {
|
---|
746 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
747 | goto err;
|
---|
748 | }
|
---|
749 |
|
---|
750 | /*
|
---|
751 | * Check if the explicit parameters group just created matches one of the
|
---|
752 | * built-in curves.
|
---|
753 | *
|
---|
754 | * We create a copy of the group just built, so that we can remove optional
|
---|
755 | * fields for the lookup: we do this to avoid the possibility that one of
|
---|
756 | * the optional parameters is used to force the library into using a less
|
---|
757 | * performant and less secure EC_METHOD instead of the specialized one.
|
---|
758 | * In any case, `seed` is not really used in any computation, while a
|
---|
759 | * cofactor different from the one in the built-in table is just
|
---|
760 | * mathematically wrong anyway and should not be used.
|
---|
761 | */
|
---|
762 | if ((ctx = BN_CTX_new()) == NULL) {
|
---|
763 | ERR_raise(ERR_LIB_EC, ERR_R_BN_LIB);
|
---|
764 | goto err;
|
---|
765 | }
|
---|
766 | if ((dup = EC_GROUP_dup(ret)) == NULL
|
---|
767 | || EC_GROUP_set_seed(dup, NULL, 0) != 1
|
---|
768 | || !EC_GROUP_set_generator(dup, point, a, NULL)) {
|
---|
769 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
770 | goto err;
|
---|
771 | }
|
---|
772 | if ((curve_name = ossl_ec_curve_nid_from_params(dup, ctx)) != NID_undef) {
|
---|
773 | /*
|
---|
774 | * The input explicit parameters successfully matched one of the
|
---|
775 | * built-in curves: often for built-in curves we have specialized
|
---|
776 | * methods with better performance and hardening.
|
---|
777 | *
|
---|
778 | * In this case we replace the `EC_GROUP` created through explicit
|
---|
779 | * parameters with one created from a named group.
|
---|
780 | */
|
---|
781 | EC_GROUP *named_group = NULL;
|
---|
782 |
|
---|
783 | #ifndef OPENSSL_NO_EC_NISTP_64_GCC_128
|
---|
784 | /*
|
---|
785 | * NID_wap_wsg_idm_ecid_wtls12 and NID_secp224r1 are both aliases for
|
---|
786 | * the same curve, we prefer the SECP nid when matching explicit
|
---|
787 | * parameters as that is associated with a specialized EC_METHOD.
|
---|
788 | */
|
---|
789 | if (curve_name == NID_wap_wsg_idm_ecid_wtls12)
|
---|
790 | curve_name = NID_secp224r1;
|
---|
791 | #endif /* !def(OPENSSL_NO_EC_NISTP_64_GCC_128) */
|
---|
792 |
|
---|
793 | if ((named_group = EC_GROUP_new_by_curve_name(curve_name)) == NULL) {
|
---|
794 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
795 | goto err;
|
---|
796 | }
|
---|
797 | EC_GROUP_free(ret);
|
---|
798 | ret = named_group;
|
---|
799 |
|
---|
800 | /*
|
---|
801 | * Set the flag so that EC_GROUPs created from explicit parameters are
|
---|
802 | * serialized using explicit parameters by default.
|
---|
803 | */
|
---|
804 | EC_GROUP_set_asn1_flag(ret, OPENSSL_EC_EXPLICIT_CURVE);
|
---|
805 |
|
---|
806 | /*
|
---|
807 | * If the input params do not contain the optional seed field we make
|
---|
808 | * sure it is not added to the returned group.
|
---|
809 | *
|
---|
810 | * The seed field is not really used inside libcrypto anyway, and
|
---|
811 | * adding it to parsed explicit parameter keys would alter their DER
|
---|
812 | * encoding output (because of the extra field) which could impact
|
---|
813 | * applications fingerprinting keys by their DER encoding.
|
---|
814 | */
|
---|
815 | if (params->curve->seed == NULL) {
|
---|
816 | if (EC_GROUP_set_seed(ret, NULL, 0) != 1)
|
---|
817 | goto err;
|
---|
818 | }
|
---|
819 | }
|
---|
820 |
|
---|
821 | ok = 1;
|
---|
822 |
|
---|
823 | err:
|
---|
824 | if (!ok) {
|
---|
825 | EC_GROUP_free(ret);
|
---|
826 | ret = NULL;
|
---|
827 | }
|
---|
828 | EC_GROUP_free(dup);
|
---|
829 |
|
---|
830 | BN_free(p);
|
---|
831 | BN_free(a);
|
---|
832 | BN_free(b);
|
---|
833 | EC_POINT_free(point);
|
---|
834 |
|
---|
835 | BN_CTX_free(ctx);
|
---|
836 |
|
---|
837 | return ret;
|
---|
838 | }
|
---|
839 |
|
---|
840 | EC_GROUP *EC_GROUP_new_from_ecpkparameters(const ECPKPARAMETERS *params)
|
---|
841 | {
|
---|
842 | EC_GROUP *ret = NULL;
|
---|
843 | int tmp = 0;
|
---|
844 |
|
---|
845 | if (params == NULL) {
|
---|
846 | ERR_raise(ERR_LIB_EC, EC_R_MISSING_PARAMETERS);
|
---|
847 | return NULL;
|
---|
848 | }
|
---|
849 |
|
---|
850 | if (params->type == ECPKPARAMETERS_TYPE_NAMED) {
|
---|
851 | /* the curve is given by an OID */
|
---|
852 | tmp = OBJ_obj2nid(params->value.named_curve);
|
---|
853 | if ((ret = EC_GROUP_new_by_curve_name(tmp)) == NULL) {
|
---|
854 | ERR_raise(ERR_LIB_EC, EC_R_EC_GROUP_NEW_BY_NAME_FAILURE);
|
---|
855 | return NULL;
|
---|
856 | }
|
---|
857 | EC_GROUP_set_asn1_flag(ret, OPENSSL_EC_NAMED_CURVE);
|
---|
858 | } else if (params->type == ECPKPARAMETERS_TYPE_EXPLICIT) {
|
---|
859 | /* the parameters are given by an ECPARAMETERS structure */
|
---|
860 | ret = EC_GROUP_new_from_ecparameters(params->value.parameters);
|
---|
861 | if (!ret) {
|
---|
862 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
863 | return NULL;
|
---|
864 | }
|
---|
865 | EC_GROUP_set_asn1_flag(ret, OPENSSL_EC_EXPLICIT_CURVE);
|
---|
866 | } else if (params->type == ECPKPARAMETERS_TYPE_IMPLICIT) {
|
---|
867 | /* implicit parameters inherited from CA - unsupported */
|
---|
868 | return NULL;
|
---|
869 | } else {
|
---|
870 | ERR_raise(ERR_LIB_EC, EC_R_ASN1_ERROR);
|
---|
871 | return NULL;
|
---|
872 | }
|
---|
873 |
|
---|
874 | return ret;
|
---|
875 | }
|
---|
876 |
|
---|
877 | /* EC_GROUP <-> DER encoding of ECPKPARAMETERS */
|
---|
878 |
|
---|
879 | EC_GROUP *d2i_ECPKParameters(EC_GROUP **a, const unsigned char **in, long len)
|
---|
880 | {
|
---|
881 | EC_GROUP *group = NULL;
|
---|
882 | ECPKPARAMETERS *params = NULL;
|
---|
883 | const unsigned char *p = *in;
|
---|
884 |
|
---|
885 | if ((params = d2i_ECPKPARAMETERS(NULL, &p, len)) == NULL) {
|
---|
886 | ECPKPARAMETERS_free(params);
|
---|
887 | return NULL;
|
---|
888 | }
|
---|
889 |
|
---|
890 | if ((group = EC_GROUP_new_from_ecpkparameters(params)) == NULL) {
|
---|
891 | ECPKPARAMETERS_free(params);
|
---|
892 | return NULL;
|
---|
893 | }
|
---|
894 |
|
---|
895 | if (params->type == ECPKPARAMETERS_TYPE_EXPLICIT)
|
---|
896 | group->decoded_from_explicit_params = 1;
|
---|
897 |
|
---|
898 | if (a) {
|
---|
899 | EC_GROUP_free(*a);
|
---|
900 | *a = group;
|
---|
901 | }
|
---|
902 |
|
---|
903 | ECPKPARAMETERS_free(params);
|
---|
904 | *in = p;
|
---|
905 | return group;
|
---|
906 | }
|
---|
907 |
|
---|
908 | int i2d_ECPKParameters(const EC_GROUP *a, unsigned char **out)
|
---|
909 | {
|
---|
910 | int ret = 0;
|
---|
911 | ECPKPARAMETERS *tmp = EC_GROUP_get_ecpkparameters(a, NULL);
|
---|
912 | if (tmp == NULL) {
|
---|
913 | ERR_raise(ERR_LIB_EC, EC_R_GROUP2PKPARAMETERS_FAILURE);
|
---|
914 | return 0;
|
---|
915 | }
|
---|
916 | if ((ret = i2d_ECPKPARAMETERS(tmp, out)) == 0) {
|
---|
917 | ERR_raise(ERR_LIB_EC, EC_R_I2D_ECPKPARAMETERS_FAILURE);
|
---|
918 | ECPKPARAMETERS_free(tmp);
|
---|
919 | return 0;
|
---|
920 | }
|
---|
921 | ECPKPARAMETERS_free(tmp);
|
---|
922 | return ret;
|
---|
923 | }
|
---|
924 |
|
---|
925 | /* some EC_KEY functions */
|
---|
926 |
|
---|
927 | EC_KEY *d2i_ECPrivateKey(EC_KEY **a, const unsigned char **in, long len)
|
---|
928 | {
|
---|
929 | EC_KEY *ret = NULL;
|
---|
930 | EC_PRIVATEKEY *priv_key = NULL;
|
---|
931 | const unsigned char *p = *in;
|
---|
932 |
|
---|
933 | if ((priv_key = d2i_EC_PRIVATEKEY(NULL, &p, len)) == NULL)
|
---|
934 | return NULL;
|
---|
935 |
|
---|
936 | if (a == NULL || *a == NULL) {
|
---|
937 | if ((ret = EC_KEY_new()) == NULL) {
|
---|
938 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
939 | goto err;
|
---|
940 | }
|
---|
941 | } else
|
---|
942 | ret = *a;
|
---|
943 |
|
---|
944 | if (priv_key->parameters) {
|
---|
945 | EC_GROUP_free(ret->group);
|
---|
946 | ret->group = EC_GROUP_new_from_ecpkparameters(priv_key->parameters);
|
---|
947 | if (ret->group != NULL
|
---|
948 | && priv_key->parameters->type == ECPKPARAMETERS_TYPE_EXPLICIT)
|
---|
949 | ret->group->decoded_from_explicit_params = 1;
|
---|
950 | }
|
---|
951 |
|
---|
952 | if (ret->group == NULL) {
|
---|
953 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
954 | goto err;
|
---|
955 | }
|
---|
956 |
|
---|
957 | ret->version = priv_key->version;
|
---|
958 |
|
---|
959 | if (priv_key->privateKey) {
|
---|
960 | ASN1_OCTET_STRING *pkey = priv_key->privateKey;
|
---|
961 | if (EC_KEY_oct2priv(ret, ASN1_STRING_get0_data(pkey),
|
---|
962 | ASN1_STRING_length(pkey)) == 0)
|
---|
963 | goto err;
|
---|
964 | } else {
|
---|
965 | ERR_raise(ERR_LIB_EC, EC_R_MISSING_PRIVATE_KEY);
|
---|
966 | goto err;
|
---|
967 | }
|
---|
968 |
|
---|
969 | if (EC_GROUP_get_curve_name(ret->group) == NID_sm2)
|
---|
970 | EC_KEY_set_flags(ret, EC_FLAG_SM2_RANGE);
|
---|
971 |
|
---|
972 | EC_POINT_clear_free(ret->pub_key);
|
---|
973 | ret->pub_key = EC_POINT_new(ret->group);
|
---|
974 | if (ret->pub_key == NULL) {
|
---|
975 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
976 | goto err;
|
---|
977 | }
|
---|
978 |
|
---|
979 | if (priv_key->publicKey) {
|
---|
980 | const unsigned char *pub_oct;
|
---|
981 | int pub_oct_len;
|
---|
982 |
|
---|
983 | pub_oct = ASN1_STRING_get0_data(priv_key->publicKey);
|
---|
984 | pub_oct_len = ASN1_STRING_length(priv_key->publicKey);
|
---|
985 | if (!EC_KEY_oct2key(ret, pub_oct, pub_oct_len, NULL)) {
|
---|
986 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
987 | goto err;
|
---|
988 | }
|
---|
989 | } else {
|
---|
990 | if (ret->group->meth->keygenpub == NULL
|
---|
991 | || ret->group->meth->keygenpub(ret) == 0)
|
---|
992 | goto err;
|
---|
993 | /* Remember the original private-key-only encoding. */
|
---|
994 | ret->enc_flag |= EC_PKEY_NO_PUBKEY;
|
---|
995 | }
|
---|
996 |
|
---|
997 | if (a)
|
---|
998 | *a = ret;
|
---|
999 | EC_PRIVATEKEY_free(priv_key);
|
---|
1000 | *in = p;
|
---|
1001 | ret->dirty_cnt++;
|
---|
1002 | return ret;
|
---|
1003 |
|
---|
1004 | err:
|
---|
1005 | if (a == NULL || *a != ret)
|
---|
1006 | EC_KEY_free(ret);
|
---|
1007 | EC_PRIVATEKEY_free(priv_key);
|
---|
1008 | return NULL;
|
---|
1009 | }
|
---|
1010 |
|
---|
1011 | int i2d_ECPrivateKey(const EC_KEY *a, unsigned char **out)
|
---|
1012 | {
|
---|
1013 | int ret = 0, ok = 0;
|
---|
1014 | unsigned char *priv= NULL, *pub= NULL;
|
---|
1015 | size_t privlen = 0, publen = 0;
|
---|
1016 |
|
---|
1017 | EC_PRIVATEKEY *priv_key = NULL;
|
---|
1018 |
|
---|
1019 | if (a == NULL || a->group == NULL ||
|
---|
1020 | (!(a->enc_flag & EC_PKEY_NO_PUBKEY) && a->pub_key == NULL)) {
|
---|
1021 | ERR_raise(ERR_LIB_EC, ERR_R_PASSED_NULL_PARAMETER);
|
---|
1022 | goto err;
|
---|
1023 | }
|
---|
1024 |
|
---|
1025 | if ((priv_key = EC_PRIVATEKEY_new()) == NULL) {
|
---|
1026 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
1027 | goto err;
|
---|
1028 | }
|
---|
1029 |
|
---|
1030 | priv_key->version = a->version;
|
---|
1031 |
|
---|
1032 | privlen = EC_KEY_priv2buf(a, &priv);
|
---|
1033 |
|
---|
1034 | if (privlen == 0) {
|
---|
1035 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
1036 | goto err;
|
---|
1037 | }
|
---|
1038 |
|
---|
1039 | ASN1_STRING_set0(priv_key->privateKey, priv, privlen);
|
---|
1040 | priv = NULL;
|
---|
1041 |
|
---|
1042 | if (!(a->enc_flag & EC_PKEY_NO_PARAMETERS)) {
|
---|
1043 | if ((priv_key->parameters =
|
---|
1044 | EC_GROUP_get_ecpkparameters(a->group,
|
---|
1045 | priv_key->parameters)) == NULL) {
|
---|
1046 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
1047 | goto err;
|
---|
1048 | }
|
---|
1049 | }
|
---|
1050 |
|
---|
1051 | if (!(a->enc_flag & EC_PKEY_NO_PUBKEY)) {
|
---|
1052 | priv_key->publicKey = ASN1_BIT_STRING_new();
|
---|
1053 | if (priv_key->publicKey == NULL) {
|
---|
1054 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
1055 | goto err;
|
---|
1056 | }
|
---|
1057 |
|
---|
1058 | publen = EC_KEY_key2buf(a, a->conv_form, &pub, NULL);
|
---|
1059 |
|
---|
1060 | if (publen == 0) {
|
---|
1061 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
1062 | goto err;
|
---|
1063 | }
|
---|
1064 |
|
---|
1065 | priv_key->publicKey->flags &= ~(ASN1_STRING_FLAG_BITS_LEFT | 0x07);
|
---|
1066 | priv_key->publicKey->flags |= ASN1_STRING_FLAG_BITS_LEFT;
|
---|
1067 | ASN1_STRING_set0(priv_key->publicKey, pub, publen);
|
---|
1068 | pub = NULL;
|
---|
1069 | }
|
---|
1070 |
|
---|
1071 | if ((ret = i2d_EC_PRIVATEKEY(priv_key, out)) == 0) {
|
---|
1072 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
1073 | goto err;
|
---|
1074 | }
|
---|
1075 | ok = 1;
|
---|
1076 | err:
|
---|
1077 | OPENSSL_clear_free(priv, privlen);
|
---|
1078 | OPENSSL_free(pub);
|
---|
1079 | EC_PRIVATEKEY_free(priv_key);
|
---|
1080 | return (ok ? ret : 0);
|
---|
1081 | }
|
---|
1082 |
|
---|
1083 | int i2d_ECParameters(const EC_KEY *a, unsigned char **out)
|
---|
1084 | {
|
---|
1085 | if (a == NULL) {
|
---|
1086 | ERR_raise(ERR_LIB_EC, ERR_R_PASSED_NULL_PARAMETER);
|
---|
1087 | return 0;
|
---|
1088 | }
|
---|
1089 | return i2d_ECPKParameters(a->group, out);
|
---|
1090 | }
|
---|
1091 |
|
---|
1092 | EC_KEY *d2i_ECParameters(EC_KEY **a, const unsigned char **in, long len)
|
---|
1093 | {
|
---|
1094 | EC_KEY *ret;
|
---|
1095 |
|
---|
1096 | if (in == NULL || *in == NULL) {
|
---|
1097 | ERR_raise(ERR_LIB_EC, ERR_R_PASSED_NULL_PARAMETER);
|
---|
1098 | return NULL;
|
---|
1099 | }
|
---|
1100 |
|
---|
1101 | if (a == NULL || *a == NULL) {
|
---|
1102 | if ((ret = EC_KEY_new()) == NULL) {
|
---|
1103 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
1104 | return NULL;
|
---|
1105 | }
|
---|
1106 | } else
|
---|
1107 | ret = *a;
|
---|
1108 |
|
---|
1109 | if (!d2i_ECPKParameters(&ret->group, in, len)) {
|
---|
1110 | if (a == NULL || *a != ret)
|
---|
1111 | EC_KEY_free(ret);
|
---|
1112 | else
|
---|
1113 | ret->dirty_cnt++;
|
---|
1114 | return NULL;
|
---|
1115 | }
|
---|
1116 |
|
---|
1117 | if (EC_GROUP_get_curve_name(ret->group) == NID_sm2)
|
---|
1118 | EC_KEY_set_flags(ret, EC_FLAG_SM2_RANGE);
|
---|
1119 |
|
---|
1120 | ret->dirty_cnt++;
|
---|
1121 |
|
---|
1122 | if (a)
|
---|
1123 | *a = ret;
|
---|
1124 |
|
---|
1125 | return ret;
|
---|
1126 | }
|
---|
1127 |
|
---|
1128 | EC_KEY *o2i_ECPublicKey(EC_KEY **a, const unsigned char **in, long len)
|
---|
1129 | {
|
---|
1130 | EC_KEY *ret = NULL;
|
---|
1131 |
|
---|
1132 | if (a == NULL || (*a) == NULL || (*a)->group == NULL) {
|
---|
1133 | /*
|
---|
1134 | * sorry, but a EC_GROUP-structure is necessary to set the public key
|
---|
1135 | */
|
---|
1136 | ERR_raise(ERR_LIB_EC, ERR_R_PASSED_NULL_PARAMETER);
|
---|
1137 | return 0;
|
---|
1138 | }
|
---|
1139 | ret = *a;
|
---|
1140 | /* EC_KEY_opt2key updates dirty_cnt */
|
---|
1141 | if (!EC_KEY_oct2key(ret, *in, len, NULL)) {
|
---|
1142 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
1143 | return 0;
|
---|
1144 | }
|
---|
1145 | *in += len;
|
---|
1146 | return ret;
|
---|
1147 | }
|
---|
1148 |
|
---|
1149 | int i2o_ECPublicKey(const EC_KEY *a, unsigned char **out)
|
---|
1150 | {
|
---|
1151 | size_t buf_len = 0;
|
---|
1152 | int new_buffer = 0;
|
---|
1153 |
|
---|
1154 | if (a == NULL) {
|
---|
1155 | ERR_raise(ERR_LIB_EC, ERR_R_PASSED_NULL_PARAMETER);
|
---|
1156 | return 0;
|
---|
1157 | }
|
---|
1158 |
|
---|
1159 | buf_len = EC_POINT_point2oct(a->group, a->pub_key,
|
---|
1160 | a->conv_form, NULL, 0, NULL);
|
---|
1161 |
|
---|
1162 | if (out == NULL || buf_len == 0)
|
---|
1163 | /* out == NULL => just return the length of the octet string */
|
---|
1164 | return buf_len;
|
---|
1165 |
|
---|
1166 | if (*out == NULL) {
|
---|
1167 | if ((*out = OPENSSL_malloc(buf_len)) == NULL) {
|
---|
1168 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
1169 | return 0;
|
---|
1170 | }
|
---|
1171 | new_buffer = 1;
|
---|
1172 | }
|
---|
1173 | if (!EC_POINT_point2oct(a->group, a->pub_key, a->conv_form,
|
---|
1174 | *out, buf_len, NULL)) {
|
---|
1175 | ERR_raise(ERR_LIB_EC, ERR_R_EC_LIB);
|
---|
1176 | if (new_buffer) {
|
---|
1177 | OPENSSL_free(*out);
|
---|
1178 | *out = NULL;
|
---|
1179 | }
|
---|
1180 | return 0;
|
---|
1181 | }
|
---|
1182 | if (!new_buffer)
|
---|
1183 | *out += buf_len;
|
---|
1184 | return buf_len;
|
---|
1185 | }
|
---|
1186 |
|
---|
1187 | DECLARE_ASN1_FUNCTIONS(ECDSA_SIG)
|
---|
1188 | DECLARE_ASN1_ENCODE_FUNCTIONS_name(ECDSA_SIG, ECDSA_SIG)
|
---|
1189 |
|
---|
1190 | #endif /* FIPS_MODULE */
|
---|
1191 |
|
---|
1192 | ECDSA_SIG *ECDSA_SIG_new(void)
|
---|
1193 | {
|
---|
1194 | ECDSA_SIG *sig = OPENSSL_zalloc(sizeof(*sig));
|
---|
1195 | if (sig == NULL)
|
---|
1196 | ERR_raise(ERR_LIB_EC, ERR_R_MALLOC_FAILURE);
|
---|
1197 | return sig;
|
---|
1198 | }
|
---|
1199 |
|
---|
1200 | void ECDSA_SIG_free(ECDSA_SIG *sig)
|
---|
1201 | {
|
---|
1202 | if (sig == NULL)
|
---|
1203 | return;
|
---|
1204 | BN_clear_free(sig->r);
|
---|
1205 | BN_clear_free(sig->s);
|
---|
1206 | OPENSSL_free(sig);
|
---|
1207 | }
|
---|
1208 |
|
---|
1209 | ECDSA_SIG *d2i_ECDSA_SIG(ECDSA_SIG **psig, const unsigned char **ppin, long len)
|
---|
1210 | {
|
---|
1211 | ECDSA_SIG *sig;
|
---|
1212 |
|
---|
1213 | if (len < 0)
|
---|
1214 | return NULL;
|
---|
1215 | if (psig != NULL && *psig != NULL) {
|
---|
1216 | sig = *psig;
|
---|
1217 | } else {
|
---|
1218 | sig = ECDSA_SIG_new();
|
---|
1219 | if (sig == NULL)
|
---|
1220 | return NULL;
|
---|
1221 | }
|
---|
1222 | if (sig->r == NULL)
|
---|
1223 | sig->r = BN_new();
|
---|
1224 | if (sig->s == NULL)
|
---|
1225 | sig->s = BN_new();
|
---|
1226 | if (sig->r == NULL || sig->s == NULL
|
---|
1227 | || ossl_decode_der_dsa_sig(sig->r, sig->s, ppin, (size_t)len) == 0) {
|
---|
1228 | if (psig == NULL || *psig == NULL)
|
---|
1229 | ECDSA_SIG_free(sig);
|
---|
1230 | return NULL;
|
---|
1231 | }
|
---|
1232 | if (psig != NULL && *psig == NULL)
|
---|
1233 | *psig = sig;
|
---|
1234 | return sig;
|
---|
1235 | }
|
---|
1236 |
|
---|
1237 | int i2d_ECDSA_SIG(const ECDSA_SIG *sig, unsigned char **ppout)
|
---|
1238 | {
|
---|
1239 | BUF_MEM *buf = NULL;
|
---|
1240 | size_t encoded_len;
|
---|
1241 | WPACKET pkt;
|
---|
1242 |
|
---|
1243 | if (ppout == NULL) {
|
---|
1244 | if (!WPACKET_init_null(&pkt, 0))
|
---|
1245 | return -1;
|
---|
1246 | } else if (*ppout == NULL) {
|
---|
1247 | if ((buf = BUF_MEM_new()) == NULL
|
---|
1248 | || !WPACKET_init_len(&pkt, buf, 0)) {
|
---|
1249 | BUF_MEM_free(buf);
|
---|
1250 | return -1;
|
---|
1251 | }
|
---|
1252 | } else {
|
---|
1253 | if (!WPACKET_init_static_len(&pkt, *ppout, SIZE_MAX, 0))
|
---|
1254 | return -1;
|
---|
1255 | }
|
---|
1256 |
|
---|
1257 | if (!ossl_encode_der_dsa_sig(&pkt, sig->r, sig->s)
|
---|
1258 | || !WPACKET_get_total_written(&pkt, &encoded_len)
|
---|
1259 | || !WPACKET_finish(&pkt)) {
|
---|
1260 | BUF_MEM_free(buf);
|
---|
1261 | WPACKET_cleanup(&pkt);
|
---|
1262 | return -1;
|
---|
1263 | }
|
---|
1264 |
|
---|
1265 | if (ppout != NULL) {
|
---|
1266 | if (*ppout == NULL) {
|
---|
1267 | *ppout = (unsigned char *)buf->data;
|
---|
1268 | buf->data = NULL;
|
---|
1269 | BUF_MEM_free(buf);
|
---|
1270 | } else {
|
---|
1271 | *ppout += encoded_len;
|
---|
1272 | }
|
---|
1273 | }
|
---|
1274 |
|
---|
1275 | return (int)encoded_len;
|
---|
1276 | }
|
---|
1277 |
|
---|
1278 | void ECDSA_SIG_get0(const ECDSA_SIG *sig, const BIGNUM **pr, const BIGNUM **ps)
|
---|
1279 | {
|
---|
1280 | if (pr != NULL)
|
---|
1281 | *pr = sig->r;
|
---|
1282 | if (ps != NULL)
|
---|
1283 | *ps = sig->s;
|
---|
1284 | }
|
---|
1285 |
|
---|
1286 | const BIGNUM *ECDSA_SIG_get0_r(const ECDSA_SIG *sig)
|
---|
1287 | {
|
---|
1288 | return sig->r;
|
---|
1289 | }
|
---|
1290 |
|
---|
1291 | const BIGNUM *ECDSA_SIG_get0_s(const ECDSA_SIG *sig)
|
---|
1292 | {
|
---|
1293 | return sig->s;
|
---|
1294 | }
|
---|
1295 |
|
---|
1296 | int ECDSA_SIG_set0(ECDSA_SIG *sig, BIGNUM *r, BIGNUM *s)
|
---|
1297 | {
|
---|
1298 | if (r == NULL || s == NULL)
|
---|
1299 | return 0;
|
---|
1300 | BN_clear_free(sig->r);
|
---|
1301 | BN_clear_free(sig->s);
|
---|
1302 | sig->r = r;
|
---|
1303 | sig->s = s;
|
---|
1304 | return 1;
|
---|
1305 | }
|
---|
1306 |
|
---|
1307 | int ECDSA_size(const EC_KEY *ec)
|
---|
1308 | {
|
---|
1309 | int ret;
|
---|
1310 | ECDSA_SIG sig;
|
---|
1311 | const EC_GROUP *group;
|
---|
1312 | const BIGNUM *bn;
|
---|
1313 |
|
---|
1314 | if (ec == NULL)
|
---|
1315 | return 0;
|
---|
1316 | group = EC_KEY_get0_group(ec);
|
---|
1317 | if (group == NULL)
|
---|
1318 | return 0;
|
---|
1319 |
|
---|
1320 | bn = EC_GROUP_get0_order(group);
|
---|
1321 | if (bn == NULL)
|
---|
1322 | return 0;
|
---|
1323 |
|
---|
1324 | sig.r = sig.s = (BIGNUM *)bn;
|
---|
1325 | ret = i2d_ECDSA_SIG(&sig, NULL);
|
---|
1326 |
|
---|
1327 | if (ret < 0)
|
---|
1328 | ret = 0;
|
---|
1329 | return ret;
|
---|
1330 | }
|
---|