1*b0563631STom Van Eyck /*
2*b0563631STom Van Eyck * ECC setters for PK.
3*b0563631STom Van Eyck *
4*b0563631STom Van Eyck * Copyright The Mbed TLS Contributors
5*b0563631STom Van Eyck * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
6*b0563631STom Van Eyck */
7*b0563631STom Van Eyck
8*b0563631STom Van Eyck #include "common.h"
9*b0563631STom Van Eyck
10*b0563631STom Van Eyck #include "mbedtls/pk.h"
11*b0563631STom Van Eyck #include "mbedtls/error.h"
12*b0563631STom Van Eyck #include "mbedtls/ecp.h"
13*b0563631STom Van Eyck #include "pk_internal.h"
14*b0563631STom Van Eyck
15*b0563631STom Van Eyck #if defined(MBEDTLS_PK_C) && defined(MBEDTLS_PK_HAVE_ECC_KEYS)
16*b0563631STom Van Eyck
mbedtls_pk_ecc_set_group(mbedtls_pk_context * pk,mbedtls_ecp_group_id grp_id)17*b0563631STom Van Eyck int mbedtls_pk_ecc_set_group(mbedtls_pk_context *pk, mbedtls_ecp_group_id grp_id)
18*b0563631STom Van Eyck {
19*b0563631STom Van Eyck #if defined(MBEDTLS_PK_USE_PSA_EC_DATA)
20*b0563631STom Van Eyck size_t ec_bits;
21*b0563631STom Van Eyck psa_ecc_family_t ec_family = mbedtls_ecc_group_to_psa(grp_id, &ec_bits);
22*b0563631STom Van Eyck
23*b0563631STom Van Eyck /* group may already be initialized; if so, make sure IDs match */
24*b0563631STom Van Eyck if ((pk->ec_family != 0 && pk->ec_family != ec_family) ||
25*b0563631STom Van Eyck (pk->ec_bits != 0 && pk->ec_bits != ec_bits)) {
26*b0563631STom Van Eyck return MBEDTLS_ERR_PK_KEY_INVALID_FORMAT;
27*b0563631STom Van Eyck }
28*b0563631STom Van Eyck
29*b0563631STom Van Eyck /* set group */
30*b0563631STom Van Eyck pk->ec_family = ec_family;
31*b0563631STom Van Eyck pk->ec_bits = ec_bits;
32*b0563631STom Van Eyck
33*b0563631STom Van Eyck return 0;
34*b0563631STom Van Eyck #else /* MBEDTLS_PK_USE_PSA_EC_DATA */
35*b0563631STom Van Eyck mbedtls_ecp_keypair *ecp = mbedtls_pk_ec_rw(*pk);
36*b0563631STom Van Eyck
37*b0563631STom Van Eyck /* grp may already be initialized; if so, make sure IDs match */
38*b0563631STom Van Eyck if (mbedtls_pk_ec_ro(*pk)->grp.id != MBEDTLS_ECP_DP_NONE &&
39*b0563631STom Van Eyck mbedtls_pk_ec_ro(*pk)->grp.id != grp_id) {
40*b0563631STom Van Eyck return MBEDTLS_ERR_PK_KEY_INVALID_FORMAT;
41*b0563631STom Van Eyck }
42*b0563631STom Van Eyck
43*b0563631STom Van Eyck /* set group */
44*b0563631STom Van Eyck return mbedtls_ecp_group_load(&(ecp->grp), grp_id);
45*b0563631STom Van Eyck #endif /* MBEDTLS_PK_USE_PSA_EC_DATA */
46*b0563631STom Van Eyck }
47*b0563631STom Van Eyck
mbedtls_pk_ecc_set_key(mbedtls_pk_context * pk,unsigned char * key,size_t key_len)48*b0563631STom Van Eyck int mbedtls_pk_ecc_set_key(mbedtls_pk_context *pk, unsigned char *key, size_t key_len)
49*b0563631STom Van Eyck {
50*b0563631STom Van Eyck #if defined(MBEDTLS_PK_USE_PSA_EC_DATA)
51*b0563631STom Van Eyck psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
52*b0563631STom Van Eyck psa_key_usage_t flags;
53*b0563631STom Van Eyck psa_status_t status;
54*b0563631STom Van Eyck
55*b0563631STom Van Eyck psa_set_key_type(&attributes, PSA_KEY_TYPE_ECC_KEY_PAIR(pk->ec_family));
56*b0563631STom Van Eyck if (pk->ec_family == PSA_ECC_FAMILY_MONTGOMERY) {
57*b0563631STom Van Eyck /* Do not set algorithm here because Montgomery keys cannot do ECDSA and
58*b0563631STom Van Eyck * the PK module cannot do ECDH. When the key will be used in TLS for
59*b0563631STom Van Eyck * ECDH, it will be exported and then re-imported with proper flags
60*b0563631STom Van Eyck * and algorithm. */
61*b0563631STom Van Eyck flags = PSA_KEY_USAGE_EXPORT;
62*b0563631STom Van Eyck } else {
63*b0563631STom Van Eyck psa_set_key_algorithm(&attributes,
64*b0563631STom Van Eyck MBEDTLS_PK_PSA_ALG_ECDSA_MAYBE_DET(PSA_ALG_ANY_HASH));
65*b0563631STom Van Eyck flags = PSA_KEY_USAGE_SIGN_HASH | PSA_KEY_USAGE_SIGN_MESSAGE |
66*b0563631STom Van Eyck PSA_KEY_USAGE_EXPORT;
67*b0563631STom Van Eyck }
68*b0563631STom Van Eyck psa_set_key_usage_flags(&attributes, flags);
69*b0563631STom Van Eyck
70*b0563631STom Van Eyck status = psa_import_key(&attributes, key, key_len, &pk->priv_id);
71*b0563631STom Van Eyck return psa_pk_status_to_mbedtls(status);
72*b0563631STom Van Eyck
73*b0563631STom Van Eyck #else /* MBEDTLS_PK_USE_PSA_EC_DATA */
74*b0563631STom Van Eyck
75*b0563631STom Van Eyck mbedtls_ecp_keypair *eck = mbedtls_pk_ec_rw(*pk);
76*b0563631STom Van Eyck int ret = mbedtls_ecp_read_key(eck->grp.id, eck, key, key_len);
77*b0563631STom Van Eyck if (ret != 0) {
78*b0563631STom Van Eyck return MBEDTLS_ERROR_ADD(MBEDTLS_ERR_PK_KEY_INVALID_FORMAT, ret);
79*b0563631STom Van Eyck }
80*b0563631STom Van Eyck return 0;
81*b0563631STom Van Eyck #endif /* MBEDTLS_PK_USE_PSA_EC_DATA */
82*b0563631STom Van Eyck }
83*b0563631STom Van Eyck
mbedtls_pk_ecc_set_pubkey_from_prv(mbedtls_pk_context * pk,const unsigned char * prv,size_t prv_len,int (* f_rng)(void *,unsigned char *,size_t),void * p_rng)84*b0563631STom Van Eyck int mbedtls_pk_ecc_set_pubkey_from_prv(mbedtls_pk_context *pk,
85*b0563631STom Van Eyck const unsigned char *prv, size_t prv_len,
86*b0563631STom Van Eyck int (*f_rng)(void *, unsigned char *, size_t), void *p_rng)
87*b0563631STom Van Eyck {
88*b0563631STom Van Eyck #if defined(MBEDTLS_PK_USE_PSA_EC_DATA)
89*b0563631STom Van Eyck
90*b0563631STom Van Eyck (void) f_rng;
91*b0563631STom Van Eyck (void) p_rng;
92*b0563631STom Van Eyck (void) prv;
93*b0563631STom Van Eyck (void) prv_len;
94*b0563631STom Van Eyck psa_status_t status;
95*b0563631STom Van Eyck
96*b0563631STom Van Eyck status = psa_export_public_key(pk->priv_id, pk->pub_raw, sizeof(pk->pub_raw),
97*b0563631STom Van Eyck &pk->pub_raw_len);
98*b0563631STom Van Eyck return psa_pk_status_to_mbedtls(status);
99*b0563631STom Van Eyck
100*b0563631STom Van Eyck #elif defined(MBEDTLS_USE_PSA_CRYPTO) /* && !MBEDTLS_PK_USE_PSA_EC_DATA */
101*b0563631STom Van Eyck
102*b0563631STom Van Eyck (void) f_rng;
103*b0563631STom Van Eyck (void) p_rng;
104*b0563631STom Van Eyck psa_status_t status;
105*b0563631STom Van Eyck
106*b0563631STom Van Eyck mbedtls_ecp_keypair *eck = (mbedtls_ecp_keypair *) pk->pk_ctx;
107*b0563631STom Van Eyck size_t curve_bits;
108*b0563631STom Van Eyck psa_ecc_family_t curve = mbedtls_ecc_group_to_psa(eck->grp.id, &curve_bits);
109*b0563631STom Van Eyck
110*b0563631STom Van Eyck /* Import private key into PSA, from serialized input */
111*b0563631STom Van Eyck mbedtls_svc_key_id_t key_id = MBEDTLS_SVC_KEY_ID_INIT;
112*b0563631STom Van Eyck psa_key_attributes_t key_attr = PSA_KEY_ATTRIBUTES_INIT;
113*b0563631STom Van Eyck psa_set_key_type(&key_attr, PSA_KEY_TYPE_ECC_KEY_PAIR(curve));
114*b0563631STom Van Eyck psa_set_key_usage_flags(&key_attr, PSA_KEY_USAGE_EXPORT);
115*b0563631STom Van Eyck status = psa_import_key(&key_attr, prv, prv_len, &key_id);
116*b0563631STom Van Eyck if (status != PSA_SUCCESS) {
117*b0563631STom Van Eyck return psa_pk_status_to_mbedtls(status);
118*b0563631STom Van Eyck }
119*b0563631STom Van Eyck
120*b0563631STom Van Eyck /* Export public key from PSA */
121*b0563631STom Van Eyck unsigned char pub[MBEDTLS_PSA_MAX_EC_PUBKEY_LENGTH];
122*b0563631STom Van Eyck size_t pub_len;
123*b0563631STom Van Eyck status = psa_export_public_key(key_id, pub, sizeof(pub), &pub_len);
124*b0563631STom Van Eyck psa_status_t destruction_status = psa_destroy_key(key_id);
125*b0563631STom Van Eyck if (status != PSA_SUCCESS) {
126*b0563631STom Van Eyck return psa_pk_status_to_mbedtls(status);
127*b0563631STom Van Eyck } else if (destruction_status != PSA_SUCCESS) {
128*b0563631STom Van Eyck return psa_pk_status_to_mbedtls(destruction_status);
129*b0563631STom Van Eyck }
130*b0563631STom Van Eyck
131*b0563631STom Van Eyck /* Load serialized public key into ecp_keypair structure */
132*b0563631STom Van Eyck return mbedtls_ecp_point_read_binary(&eck->grp, &eck->Q, pub, pub_len);
133*b0563631STom Van Eyck
134*b0563631STom Van Eyck #else /* MBEDTLS_USE_PSA_CRYPTO */
135*b0563631STom Van Eyck
136*b0563631STom Van Eyck (void) prv;
137*b0563631STom Van Eyck (void) prv_len;
138*b0563631STom Van Eyck
139*b0563631STom Van Eyck mbedtls_ecp_keypair *eck = (mbedtls_ecp_keypair *) pk->pk_ctx;
140*b0563631STom Van Eyck return mbedtls_ecp_mul(&eck->grp, &eck->Q, &eck->d, &eck->grp.G, f_rng, p_rng);
141*b0563631STom Van Eyck
142*b0563631STom Van Eyck #endif /* MBEDTLS_USE_PSA_CRYPTO */
143*b0563631STom Van Eyck }
144*b0563631STom Van Eyck
145*b0563631STom Van Eyck #if defined(MBEDTLS_PK_USE_PSA_EC_DATA)
146*b0563631STom Van Eyck /*
147*b0563631STom Van Eyck * Set the public key: fallback using ECP_LIGHT in the USE_PSA_EC_DATA case.
148*b0563631STom Van Eyck *
149*b0563631STom Van Eyck * Normally, when MBEDTLS_PK_USE_PSA_EC_DATA is enabled, we only use PSA
150*b0563631STom Van Eyck * functions to handle keys. However, currently psa_import_key() does not
151*b0563631STom Van Eyck * support compressed points. In case that support was explicitly requested,
152*b0563631STom Van Eyck * this fallback uses ECP functions to get the job done. This is the reason
153*b0563631STom Van Eyck * why MBEDTLS_PK_PARSE_EC_COMPRESSED auto-enables MBEDTLS_ECP_LIGHT.
154*b0563631STom Van Eyck *
155*b0563631STom Van Eyck * [in/out] pk: in: must have the group set, see mbedtls_pk_ecc_set_group().
156*b0563631STom Van Eyck * out: will have the public key set.
157*b0563631STom Van Eyck * [in] pub, pub_len: the public key as an ECPoint,
158*b0563631STom Van Eyck * in any format supported by ECP.
159*b0563631STom Van Eyck *
160*b0563631STom Van Eyck * Return:
161*b0563631STom Van Eyck * - 0 on success;
162*b0563631STom Van Eyck * - MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE if the format is potentially valid
163*b0563631STom Van Eyck * but not supported;
164*b0563631STom Van Eyck * - another error code otherwise.
165*b0563631STom Van Eyck */
pk_ecc_set_pubkey_psa_ecp_fallback(mbedtls_pk_context * pk,const unsigned char * pub,size_t pub_len)166*b0563631STom Van Eyck static int pk_ecc_set_pubkey_psa_ecp_fallback(mbedtls_pk_context *pk,
167*b0563631STom Van Eyck const unsigned char *pub,
168*b0563631STom Van Eyck size_t pub_len)
169*b0563631STom Van Eyck {
170*b0563631STom Van Eyck #if !defined(MBEDTLS_PK_PARSE_EC_COMPRESSED)
171*b0563631STom Van Eyck (void) pk;
172*b0563631STom Van Eyck (void) pub;
173*b0563631STom Van Eyck (void) pub_len;
174*b0563631STom Van Eyck return MBEDTLS_ERR_ECP_FEATURE_UNAVAILABLE;
175*b0563631STom Van Eyck #else /* MBEDTLS_PK_PARSE_EC_COMPRESSED */
176*b0563631STom Van Eyck mbedtls_ecp_keypair ecp_key;
177*b0563631STom Van Eyck mbedtls_ecp_group_id ecp_group_id;
178*b0563631STom Van Eyck int ret;
179*b0563631STom Van Eyck
180*b0563631STom Van Eyck ecp_group_id = mbedtls_ecc_group_from_psa(pk->ec_family, pk->ec_bits);
181*b0563631STom Van Eyck
182*b0563631STom Van Eyck mbedtls_ecp_keypair_init(&ecp_key);
183*b0563631STom Van Eyck ret = mbedtls_ecp_group_load(&(ecp_key.grp), ecp_group_id);
184*b0563631STom Van Eyck if (ret != 0) {
185*b0563631STom Van Eyck goto exit;
186*b0563631STom Van Eyck }
187*b0563631STom Van Eyck ret = mbedtls_ecp_point_read_binary(&(ecp_key.grp), &ecp_key.Q,
188*b0563631STom Van Eyck pub, pub_len);
189*b0563631STom Van Eyck if (ret != 0) {
190*b0563631STom Van Eyck goto exit;
191*b0563631STom Van Eyck }
192*b0563631STom Van Eyck ret = mbedtls_ecp_point_write_binary(&(ecp_key.grp), &ecp_key.Q,
193*b0563631STom Van Eyck MBEDTLS_ECP_PF_UNCOMPRESSED,
194*b0563631STom Van Eyck &pk->pub_raw_len, pk->pub_raw,
195*b0563631STom Van Eyck sizeof(pk->pub_raw));
196*b0563631STom Van Eyck
197*b0563631STom Van Eyck exit:
198*b0563631STom Van Eyck mbedtls_ecp_keypair_free(&ecp_key);
199*b0563631STom Van Eyck return ret;
200*b0563631STom Van Eyck #endif /* MBEDTLS_PK_PARSE_EC_COMPRESSED */
201*b0563631STom Van Eyck }
202*b0563631STom Van Eyck #endif /* MBEDTLS_PK_USE_PSA_EC_DATA */
203*b0563631STom Van Eyck
mbedtls_pk_ecc_set_pubkey(mbedtls_pk_context * pk,const unsigned char * pub,size_t pub_len)204*b0563631STom Van Eyck int mbedtls_pk_ecc_set_pubkey(mbedtls_pk_context *pk, const unsigned char *pub, size_t pub_len)
205*b0563631STom Van Eyck {
206*b0563631STom Van Eyck #if defined(MBEDTLS_PK_USE_PSA_EC_DATA)
207*b0563631STom Van Eyck
208*b0563631STom Van Eyck /* Load the key */
209*b0563631STom Van Eyck if (!PSA_ECC_FAMILY_IS_WEIERSTRASS(pk->ec_family) || *pub == 0x04) {
210*b0563631STom Van Eyck /* Format directly supported by PSA:
211*b0563631STom Van Eyck * - non-Weierstrass curves that only have one format;
212*b0563631STom Van Eyck * - uncompressed format for Weierstrass curves. */
213*b0563631STom Van Eyck if (pub_len > sizeof(pk->pub_raw)) {
214*b0563631STom Van Eyck return MBEDTLS_ERR_PK_BUFFER_TOO_SMALL;
215*b0563631STom Van Eyck }
216*b0563631STom Van Eyck memcpy(pk->pub_raw, pub, pub_len);
217*b0563631STom Van Eyck pk->pub_raw_len = pub_len;
218*b0563631STom Van Eyck } else {
219*b0563631STom Van Eyck /* Other format, try the fallback */
220*b0563631STom Van Eyck int ret = pk_ecc_set_pubkey_psa_ecp_fallback(pk, pub, pub_len);
221*b0563631STom Van Eyck if (ret != 0) {
222*b0563631STom Van Eyck return ret;
223*b0563631STom Van Eyck }
224*b0563631STom Van Eyck }
225*b0563631STom Van Eyck
226*b0563631STom Van Eyck /* Validate the key by trying to import it */
227*b0563631STom Van Eyck mbedtls_svc_key_id_t key_id = MBEDTLS_SVC_KEY_ID_INIT;
228*b0563631STom Van Eyck psa_key_attributes_t key_attrs = PSA_KEY_ATTRIBUTES_INIT;
229*b0563631STom Van Eyck
230*b0563631STom Van Eyck psa_set_key_usage_flags(&key_attrs, 0);
231*b0563631STom Van Eyck psa_set_key_type(&key_attrs, PSA_KEY_TYPE_ECC_PUBLIC_KEY(pk->ec_family));
232*b0563631STom Van Eyck psa_set_key_bits(&key_attrs, pk->ec_bits);
233*b0563631STom Van Eyck
234*b0563631STom Van Eyck if ((psa_import_key(&key_attrs, pk->pub_raw, pk->pub_raw_len,
235*b0563631STom Van Eyck &key_id) != PSA_SUCCESS) ||
236*b0563631STom Van Eyck (psa_destroy_key(key_id) != PSA_SUCCESS)) {
237*b0563631STom Van Eyck return MBEDTLS_ERR_PK_INVALID_PUBKEY;
238*b0563631STom Van Eyck }
239*b0563631STom Van Eyck
240*b0563631STom Van Eyck return 0;
241*b0563631STom Van Eyck
242*b0563631STom Van Eyck #else /* MBEDTLS_PK_USE_PSA_EC_DATA */
243*b0563631STom Van Eyck
244*b0563631STom Van Eyck int ret;
245*b0563631STom Van Eyck mbedtls_ecp_keypair *ec_key = (mbedtls_ecp_keypair *) pk->pk_ctx;
246*b0563631STom Van Eyck ret = mbedtls_ecp_point_read_binary(&ec_key->grp, &ec_key->Q, pub, pub_len);
247*b0563631STom Van Eyck if (ret != 0) {
248*b0563631STom Van Eyck return ret;
249*b0563631STom Van Eyck }
250*b0563631STom Van Eyck return mbedtls_ecp_check_pubkey(&ec_key->grp, &ec_key->Q);
251*b0563631STom Van Eyck
252*b0563631STom Van Eyck #endif /* MBEDTLS_PK_USE_PSA_EC_DATA */
253*b0563631STom Van Eyck }
254*b0563631STom Van Eyck
255*b0563631STom Van Eyck #endif /* MBEDTLS_PK_C && MBEDTLS_PK_HAVE_ECC_KEYS */
256