xref: /netbsd-src/crypto/external/bsd/openssl/dist/providers/implementations/exchange/ecdh_exch.c (revision b0d1725196a7921d003d2c66a14f186abda4176b)
1*b0d17251Schristos /*
2*b0d17251Schristos  * Copyright 2020-2021 The OpenSSL Project Authors. All Rights Reserved.
3*b0d17251Schristos  *
4*b0d17251Schristos  * Licensed under the Apache License 2.0 (the "License").  You may not use
5*b0d17251Schristos  * this file except in compliance with the License.  You can obtain a copy
6*b0d17251Schristos  * in the file LICENSE in the source distribution or at
7*b0d17251Schristos  * https://www.openssl.org/source/license.html
8*b0d17251Schristos  */
9*b0d17251Schristos 
10*b0d17251Schristos /*
11*b0d17251Schristos  * ECDH low level APIs are deprecated for public use, but still ok for
12*b0d17251Schristos  * internal use.
13*b0d17251Schristos  */
14*b0d17251Schristos #include "internal/deprecated.h"
15*b0d17251Schristos 
16*b0d17251Schristos #include <string.h>
17*b0d17251Schristos #include <openssl/crypto.h>
18*b0d17251Schristos #include <openssl/evp.h>
19*b0d17251Schristos #include <openssl/core_dispatch.h>
20*b0d17251Schristos #include <openssl/core_names.h>
21*b0d17251Schristos #include <openssl/ec.h>
22*b0d17251Schristos #include <openssl/params.h>
23*b0d17251Schristos #include <openssl/err.h>
24*b0d17251Schristos #include <openssl/proverr.h>
25*b0d17251Schristos #include "prov/provider_ctx.h"
26*b0d17251Schristos #include "prov/providercommon.h"
27*b0d17251Schristos #include "prov/implementations.h"
28*b0d17251Schristos #include "prov/securitycheck.h"
29*b0d17251Schristos #include "crypto/ec.h" /* ossl_ecdh_kdf_X9_63() */
30*b0d17251Schristos 
31*b0d17251Schristos static OSSL_FUNC_keyexch_newctx_fn ecdh_newctx;
32*b0d17251Schristos static OSSL_FUNC_keyexch_init_fn ecdh_init;
33*b0d17251Schristos static OSSL_FUNC_keyexch_set_peer_fn ecdh_set_peer;
34*b0d17251Schristos static OSSL_FUNC_keyexch_derive_fn ecdh_derive;
35*b0d17251Schristos static OSSL_FUNC_keyexch_freectx_fn ecdh_freectx;
36*b0d17251Schristos static OSSL_FUNC_keyexch_dupctx_fn ecdh_dupctx;
37*b0d17251Schristos static OSSL_FUNC_keyexch_set_ctx_params_fn ecdh_set_ctx_params;
38*b0d17251Schristos static OSSL_FUNC_keyexch_settable_ctx_params_fn ecdh_settable_ctx_params;
39*b0d17251Schristos static OSSL_FUNC_keyexch_get_ctx_params_fn ecdh_get_ctx_params;
40*b0d17251Schristos static OSSL_FUNC_keyexch_gettable_ctx_params_fn ecdh_gettable_ctx_params;
41*b0d17251Schristos 
42*b0d17251Schristos enum kdf_type {
43*b0d17251Schristos     PROV_ECDH_KDF_NONE = 0,
44*b0d17251Schristos     PROV_ECDH_KDF_X9_63
45*b0d17251Schristos };
46*b0d17251Schristos 
47*b0d17251Schristos /*
48*b0d17251Schristos  * What's passed as an actual key is defined by the KEYMGMT interface.
49*b0d17251Schristos  * We happen to know that our KEYMGMT simply passes EC_KEY structures, so
50*b0d17251Schristos  * we use that here too.
51*b0d17251Schristos  */
52*b0d17251Schristos 
53*b0d17251Schristos typedef struct {
54*b0d17251Schristos     OSSL_LIB_CTX *libctx;
55*b0d17251Schristos 
56*b0d17251Schristos     EC_KEY *k;
57*b0d17251Schristos     EC_KEY *peerk;
58*b0d17251Schristos 
59*b0d17251Schristos     /*
60*b0d17251Schristos      * ECDH cofactor mode:
61*b0d17251Schristos      *
62*b0d17251Schristos      *  . 0  disabled
63*b0d17251Schristos      *  . 1  enabled
64*b0d17251Schristos      *  . -1 use cofactor mode set for k
65*b0d17251Schristos      */
66*b0d17251Schristos     int cofactor_mode;
67*b0d17251Schristos 
68*b0d17251Schristos     /************
69*b0d17251Schristos      * ECDH KDF *
70*b0d17251Schristos      ************/
71*b0d17251Schristos     /* KDF (if any) to use for ECDH */
72*b0d17251Schristos     enum kdf_type kdf_type;
73*b0d17251Schristos     /* Message digest to use for key derivation */
74*b0d17251Schristos     EVP_MD *kdf_md;
75*b0d17251Schristos     /* User key material */
76*b0d17251Schristos     unsigned char *kdf_ukm;
77*b0d17251Schristos     size_t kdf_ukmlen;
78*b0d17251Schristos     /* KDF output length */
79*b0d17251Schristos     size_t kdf_outlen;
80*b0d17251Schristos } PROV_ECDH_CTX;
81*b0d17251Schristos 
82*b0d17251Schristos static
ecdh_newctx(void * provctx)83*b0d17251Schristos void *ecdh_newctx(void *provctx)
84*b0d17251Schristos {
85*b0d17251Schristos     PROV_ECDH_CTX *pectx;
86*b0d17251Schristos 
87*b0d17251Schristos     if (!ossl_prov_is_running())
88*b0d17251Schristos         return NULL;
89*b0d17251Schristos 
90*b0d17251Schristos     pectx = OPENSSL_zalloc(sizeof(*pectx));
91*b0d17251Schristos     if (pectx == NULL)
92*b0d17251Schristos         return NULL;
93*b0d17251Schristos 
94*b0d17251Schristos     pectx->libctx = PROV_LIBCTX_OF(provctx);
95*b0d17251Schristos     pectx->cofactor_mode = -1;
96*b0d17251Schristos     pectx->kdf_type = PROV_ECDH_KDF_NONE;
97*b0d17251Schristos 
98*b0d17251Schristos     return (void *)pectx;
99*b0d17251Schristos }
100*b0d17251Schristos 
101*b0d17251Schristos static
ecdh_init(void * vpecdhctx,void * vecdh,const OSSL_PARAM params[])102*b0d17251Schristos int ecdh_init(void *vpecdhctx, void *vecdh, const OSSL_PARAM params[])
103*b0d17251Schristos {
104*b0d17251Schristos     PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx;
105*b0d17251Schristos 
106*b0d17251Schristos     if (!ossl_prov_is_running()
107*b0d17251Schristos             || pecdhctx == NULL
108*b0d17251Schristos             || vecdh == NULL
109*b0d17251Schristos             || !EC_KEY_up_ref(vecdh))
110*b0d17251Schristos         return 0;
111*b0d17251Schristos     EC_KEY_free(pecdhctx->k);
112*b0d17251Schristos     pecdhctx->k = vecdh;
113*b0d17251Schristos     pecdhctx->cofactor_mode = -1;
114*b0d17251Schristos     pecdhctx->kdf_type = PROV_ECDH_KDF_NONE;
115*b0d17251Schristos     return ecdh_set_ctx_params(pecdhctx, params)
116*b0d17251Schristos            && ossl_ec_check_key(pecdhctx->libctx, vecdh, 1);
117*b0d17251Schristos }
118*b0d17251Schristos 
119*b0d17251Schristos static
ecdh_match_params(const EC_KEY * priv,const EC_KEY * peer)120*b0d17251Schristos int ecdh_match_params(const EC_KEY *priv, const EC_KEY *peer)
121*b0d17251Schristos {
122*b0d17251Schristos     int ret;
123*b0d17251Schristos     BN_CTX *ctx = NULL;
124*b0d17251Schristos     const EC_GROUP *group_priv = EC_KEY_get0_group(priv);
125*b0d17251Schristos     const EC_GROUP *group_peer = EC_KEY_get0_group(peer);
126*b0d17251Schristos 
127*b0d17251Schristos     ctx = BN_CTX_new_ex(ossl_ec_key_get_libctx(priv));
128*b0d17251Schristos     if (ctx == NULL) {
129*b0d17251Schristos         ERR_raise(ERR_LIB_PROV, ERR_R_MALLOC_FAILURE);
130*b0d17251Schristos         return 0;
131*b0d17251Schristos     }
132*b0d17251Schristos     ret = group_priv != NULL
133*b0d17251Schristos           && group_peer != NULL
134*b0d17251Schristos           && EC_GROUP_cmp(group_priv, group_peer, ctx) == 0;
135*b0d17251Schristos     if (!ret)
136*b0d17251Schristos         ERR_raise(ERR_LIB_PROV, PROV_R_MISMATCHING_DOMAIN_PARAMETERS);
137*b0d17251Schristos     BN_CTX_free(ctx);
138*b0d17251Schristos     return ret;
139*b0d17251Schristos }
140*b0d17251Schristos 
141*b0d17251Schristos static
ecdh_set_peer(void * vpecdhctx,void * vecdh)142*b0d17251Schristos int ecdh_set_peer(void *vpecdhctx, void *vecdh)
143*b0d17251Schristos {
144*b0d17251Schristos     PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx;
145*b0d17251Schristos 
146*b0d17251Schristos     if (!ossl_prov_is_running()
147*b0d17251Schristos             || pecdhctx == NULL
148*b0d17251Schristos             || vecdh == NULL
149*b0d17251Schristos             || !ecdh_match_params(pecdhctx->k, vecdh)
150*b0d17251Schristos             || !ossl_ec_check_key(pecdhctx->libctx, vecdh, 1)
151*b0d17251Schristos             || !EC_KEY_up_ref(vecdh))
152*b0d17251Schristos         return 0;
153*b0d17251Schristos 
154*b0d17251Schristos     EC_KEY_free(pecdhctx->peerk);
155*b0d17251Schristos     pecdhctx->peerk = vecdh;
156*b0d17251Schristos     return 1;
157*b0d17251Schristos }
158*b0d17251Schristos 
159*b0d17251Schristos static
ecdh_freectx(void * vpecdhctx)160*b0d17251Schristos void ecdh_freectx(void *vpecdhctx)
161*b0d17251Schristos {
162*b0d17251Schristos     PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx;
163*b0d17251Schristos 
164*b0d17251Schristos     EC_KEY_free(pecdhctx->k);
165*b0d17251Schristos     EC_KEY_free(pecdhctx->peerk);
166*b0d17251Schristos 
167*b0d17251Schristos     EVP_MD_free(pecdhctx->kdf_md);
168*b0d17251Schristos     OPENSSL_clear_free(pecdhctx->kdf_ukm, pecdhctx->kdf_ukmlen);
169*b0d17251Schristos 
170*b0d17251Schristos     OPENSSL_free(pecdhctx);
171*b0d17251Schristos }
172*b0d17251Schristos 
173*b0d17251Schristos static
ecdh_dupctx(void * vpecdhctx)174*b0d17251Schristos void *ecdh_dupctx(void *vpecdhctx)
175*b0d17251Schristos {
176*b0d17251Schristos     PROV_ECDH_CTX *srcctx = (PROV_ECDH_CTX *)vpecdhctx;
177*b0d17251Schristos     PROV_ECDH_CTX *dstctx;
178*b0d17251Schristos 
179*b0d17251Schristos     if (!ossl_prov_is_running())
180*b0d17251Schristos         return NULL;
181*b0d17251Schristos 
182*b0d17251Schristos     dstctx = OPENSSL_zalloc(sizeof(*srcctx));
183*b0d17251Schristos     if (dstctx == NULL)
184*b0d17251Schristos         return NULL;
185*b0d17251Schristos 
186*b0d17251Schristos     *dstctx = *srcctx;
187*b0d17251Schristos 
188*b0d17251Schristos     /* clear all pointers */
189*b0d17251Schristos 
190*b0d17251Schristos     dstctx->k= NULL;
191*b0d17251Schristos     dstctx->peerk = NULL;
192*b0d17251Schristos     dstctx->kdf_md = NULL;
193*b0d17251Schristos     dstctx->kdf_ukm = NULL;
194*b0d17251Schristos 
195*b0d17251Schristos     /* up-ref all ref-counted objects referenced in dstctx */
196*b0d17251Schristos 
197*b0d17251Schristos     if (srcctx->k != NULL && !EC_KEY_up_ref(srcctx->k))
198*b0d17251Schristos         goto err;
199*b0d17251Schristos     else
200*b0d17251Schristos         dstctx->k = srcctx->k;
201*b0d17251Schristos 
202*b0d17251Schristos     if (srcctx->peerk != NULL && !EC_KEY_up_ref(srcctx->peerk))
203*b0d17251Schristos         goto err;
204*b0d17251Schristos     else
205*b0d17251Schristos         dstctx->peerk = srcctx->peerk;
206*b0d17251Schristos 
207*b0d17251Schristos     if (srcctx->kdf_md != NULL && !EVP_MD_up_ref(srcctx->kdf_md))
208*b0d17251Schristos         goto err;
209*b0d17251Schristos     else
210*b0d17251Schristos         dstctx->kdf_md = srcctx->kdf_md;
211*b0d17251Schristos 
212*b0d17251Schristos     /* Duplicate UKM data if present */
213*b0d17251Schristos     if (srcctx->kdf_ukm != NULL && srcctx->kdf_ukmlen > 0) {
214*b0d17251Schristos         dstctx->kdf_ukm = OPENSSL_memdup(srcctx->kdf_ukm,
215*b0d17251Schristos                                          srcctx->kdf_ukmlen);
216*b0d17251Schristos         if (dstctx->kdf_ukm == NULL)
217*b0d17251Schristos             goto err;
218*b0d17251Schristos     }
219*b0d17251Schristos 
220*b0d17251Schristos     return dstctx;
221*b0d17251Schristos 
222*b0d17251Schristos  err:
223*b0d17251Schristos     ecdh_freectx(dstctx);
224*b0d17251Schristos     return NULL;
225*b0d17251Schristos }
226*b0d17251Schristos 
227*b0d17251Schristos static
ecdh_set_ctx_params(void * vpecdhctx,const OSSL_PARAM params[])228*b0d17251Schristos int ecdh_set_ctx_params(void *vpecdhctx, const OSSL_PARAM params[])
229*b0d17251Schristos {
230*b0d17251Schristos     char name[80] = { '\0' }; /* should be big enough */
231*b0d17251Schristos     char *str = NULL;
232*b0d17251Schristos     PROV_ECDH_CTX *pectx = (PROV_ECDH_CTX *)vpecdhctx;
233*b0d17251Schristos     const OSSL_PARAM *p;
234*b0d17251Schristos 
235*b0d17251Schristos     if (pectx == NULL)
236*b0d17251Schristos         return 0;
237*b0d17251Schristos     if (params == NULL)
238*b0d17251Schristos         return 1;
239*b0d17251Schristos 
240*b0d17251Schristos     p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_EC_ECDH_COFACTOR_MODE);
241*b0d17251Schristos     if (p != NULL) {
242*b0d17251Schristos         int mode;
243*b0d17251Schristos 
244*b0d17251Schristos         if (!OSSL_PARAM_get_int(p, &mode))
245*b0d17251Schristos             return 0;
246*b0d17251Schristos 
247*b0d17251Schristos         if (mode < -1 || mode > 1)
248*b0d17251Schristos             return 0;
249*b0d17251Schristos 
250*b0d17251Schristos         pectx->cofactor_mode = mode;
251*b0d17251Schristos     }
252*b0d17251Schristos 
253*b0d17251Schristos     p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_KDF_TYPE);
254*b0d17251Schristos     if (p != NULL) {
255*b0d17251Schristos         str = name;
256*b0d17251Schristos         if (!OSSL_PARAM_get_utf8_string(p, &str, sizeof(name)))
257*b0d17251Schristos             return 0;
258*b0d17251Schristos 
259*b0d17251Schristos         if (name[0] == '\0')
260*b0d17251Schristos             pectx->kdf_type = PROV_ECDH_KDF_NONE;
261*b0d17251Schristos         else if (strcmp(name, OSSL_KDF_NAME_X963KDF) == 0)
262*b0d17251Schristos             pectx->kdf_type = PROV_ECDH_KDF_X9_63;
263*b0d17251Schristos         else
264*b0d17251Schristos             return 0;
265*b0d17251Schristos     }
266*b0d17251Schristos 
267*b0d17251Schristos     p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_KDF_DIGEST);
268*b0d17251Schristos     if (p != NULL) {
269*b0d17251Schristos         char mdprops[80] = { '\0' }; /* should be big enough */
270*b0d17251Schristos 
271*b0d17251Schristos         str = name;
272*b0d17251Schristos         if (!OSSL_PARAM_get_utf8_string(p, &str, sizeof(name)))
273*b0d17251Schristos             return 0;
274*b0d17251Schristos 
275*b0d17251Schristos         str = mdprops;
276*b0d17251Schristos         p = OSSL_PARAM_locate_const(params,
277*b0d17251Schristos                                     OSSL_EXCHANGE_PARAM_KDF_DIGEST_PROPS);
278*b0d17251Schristos 
279*b0d17251Schristos         if (p != NULL) {
280*b0d17251Schristos             if (!OSSL_PARAM_get_utf8_string(p, &str, sizeof(mdprops)))
281*b0d17251Schristos                 return 0;
282*b0d17251Schristos         }
283*b0d17251Schristos 
284*b0d17251Schristos         EVP_MD_free(pectx->kdf_md);
285*b0d17251Schristos         pectx->kdf_md = EVP_MD_fetch(pectx->libctx, name, mdprops);
286*b0d17251Schristos         if (!ossl_digest_is_allowed(pectx->libctx, pectx->kdf_md)) {
287*b0d17251Schristos             EVP_MD_free(pectx->kdf_md);
288*b0d17251Schristos             pectx->kdf_md = NULL;
289*b0d17251Schristos         }
290*b0d17251Schristos         if (pectx->kdf_md == NULL)
291*b0d17251Schristos             return 0;
292*b0d17251Schristos     }
293*b0d17251Schristos 
294*b0d17251Schristos     p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_KDF_OUTLEN);
295*b0d17251Schristos     if (p != NULL) {
296*b0d17251Schristos         size_t outlen;
297*b0d17251Schristos 
298*b0d17251Schristos         if (!OSSL_PARAM_get_size_t(p, &outlen))
299*b0d17251Schristos             return 0;
300*b0d17251Schristos         pectx->kdf_outlen = outlen;
301*b0d17251Schristos     }
302*b0d17251Schristos 
303*b0d17251Schristos     p = OSSL_PARAM_locate_const(params, OSSL_EXCHANGE_PARAM_KDF_UKM);
304*b0d17251Schristos     if (p != NULL) {
305*b0d17251Schristos         void *tmp_ukm = NULL;
306*b0d17251Schristos         size_t tmp_ukmlen;
307*b0d17251Schristos 
308*b0d17251Schristos         if (!OSSL_PARAM_get_octet_string(p, &tmp_ukm, 0, &tmp_ukmlen))
309*b0d17251Schristos             return 0;
310*b0d17251Schristos         OPENSSL_free(pectx->kdf_ukm);
311*b0d17251Schristos         pectx->kdf_ukm = tmp_ukm;
312*b0d17251Schristos         pectx->kdf_ukmlen = tmp_ukmlen;
313*b0d17251Schristos     }
314*b0d17251Schristos 
315*b0d17251Schristos     return 1;
316*b0d17251Schristos }
317*b0d17251Schristos 
318*b0d17251Schristos static const OSSL_PARAM known_settable_ctx_params[] = {
319*b0d17251Schristos     OSSL_PARAM_int(OSSL_EXCHANGE_PARAM_EC_ECDH_COFACTOR_MODE, NULL),
320*b0d17251Schristos     OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_TYPE, NULL, 0),
321*b0d17251Schristos     OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_DIGEST, NULL, 0),
322*b0d17251Schristos     OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_DIGEST_PROPS, NULL, 0),
323*b0d17251Schristos     OSSL_PARAM_size_t(OSSL_EXCHANGE_PARAM_KDF_OUTLEN, NULL),
324*b0d17251Schristos     OSSL_PARAM_octet_string(OSSL_EXCHANGE_PARAM_KDF_UKM, NULL, 0),
325*b0d17251Schristos     OSSL_PARAM_END
326*b0d17251Schristos };
327*b0d17251Schristos 
328*b0d17251Schristos static
ecdh_settable_ctx_params(ossl_unused void * vpecdhctx,ossl_unused void * provctx)329*b0d17251Schristos const OSSL_PARAM *ecdh_settable_ctx_params(ossl_unused void *vpecdhctx,
330*b0d17251Schristos                                            ossl_unused void *provctx)
331*b0d17251Schristos {
332*b0d17251Schristos     return known_settable_ctx_params;
333*b0d17251Schristos }
334*b0d17251Schristos 
335*b0d17251Schristos static
ecdh_get_ctx_params(void * vpecdhctx,OSSL_PARAM params[])336*b0d17251Schristos int ecdh_get_ctx_params(void *vpecdhctx, OSSL_PARAM params[])
337*b0d17251Schristos {
338*b0d17251Schristos     PROV_ECDH_CTX *pectx = (PROV_ECDH_CTX *)vpecdhctx;
339*b0d17251Schristos     OSSL_PARAM *p;
340*b0d17251Schristos 
341*b0d17251Schristos     if (pectx == NULL)
342*b0d17251Schristos         return 0;
343*b0d17251Schristos 
344*b0d17251Schristos     p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_EC_ECDH_COFACTOR_MODE);
345*b0d17251Schristos     if (p != NULL) {
346*b0d17251Schristos         int mode = pectx->cofactor_mode;
347*b0d17251Schristos 
348*b0d17251Schristos         if (mode == -1) {
349*b0d17251Schristos             /* check what is the default for pecdhctx->k */
350*b0d17251Schristos             mode = EC_KEY_get_flags(pectx->k) & EC_FLAG_COFACTOR_ECDH ? 1 : 0;
351*b0d17251Schristos         }
352*b0d17251Schristos 
353*b0d17251Schristos         if (!OSSL_PARAM_set_int(p, mode))
354*b0d17251Schristos             return 0;
355*b0d17251Schristos     }
356*b0d17251Schristos 
357*b0d17251Schristos     p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_KDF_TYPE);
358*b0d17251Schristos     if (p != NULL) {
359*b0d17251Schristos         const char *kdf_type = NULL;
360*b0d17251Schristos 
361*b0d17251Schristos         switch (pectx->kdf_type) {
362*b0d17251Schristos             case PROV_ECDH_KDF_NONE:
363*b0d17251Schristos                 kdf_type = "";
364*b0d17251Schristos                 break;
365*b0d17251Schristos             case PROV_ECDH_KDF_X9_63:
366*b0d17251Schristos                 kdf_type = OSSL_KDF_NAME_X963KDF;
367*b0d17251Schristos                 break;
368*b0d17251Schristos             default:
369*b0d17251Schristos                 return 0;
370*b0d17251Schristos         }
371*b0d17251Schristos 
372*b0d17251Schristos         if (!OSSL_PARAM_set_utf8_string(p, kdf_type))
373*b0d17251Schristos             return 0;
374*b0d17251Schristos     }
375*b0d17251Schristos 
376*b0d17251Schristos     p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_KDF_DIGEST);
377*b0d17251Schristos     if (p != NULL
378*b0d17251Schristos             && !OSSL_PARAM_set_utf8_string(p, pectx->kdf_md == NULL
379*b0d17251Schristos                                            ? ""
380*b0d17251Schristos                                            : EVP_MD_get0_name(pectx->kdf_md))){
381*b0d17251Schristos         return 0;
382*b0d17251Schristos     }
383*b0d17251Schristos 
384*b0d17251Schristos     p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_KDF_OUTLEN);
385*b0d17251Schristos     if (p != NULL && !OSSL_PARAM_set_size_t(p, pectx->kdf_outlen))
386*b0d17251Schristos         return 0;
387*b0d17251Schristos 
388*b0d17251Schristos     p = OSSL_PARAM_locate(params, OSSL_EXCHANGE_PARAM_KDF_UKM);
389*b0d17251Schristos     if (p != NULL &&
390*b0d17251Schristos         !OSSL_PARAM_set_octet_ptr(p, pectx->kdf_ukm, pectx->kdf_ukmlen))
391*b0d17251Schristos         return 0;
392*b0d17251Schristos 
393*b0d17251Schristos     return 1;
394*b0d17251Schristos }
395*b0d17251Schristos 
396*b0d17251Schristos static const OSSL_PARAM known_gettable_ctx_params[] = {
397*b0d17251Schristos     OSSL_PARAM_int(OSSL_EXCHANGE_PARAM_EC_ECDH_COFACTOR_MODE, NULL),
398*b0d17251Schristos     OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_TYPE, NULL, 0),
399*b0d17251Schristos     OSSL_PARAM_utf8_string(OSSL_EXCHANGE_PARAM_KDF_DIGEST, NULL, 0),
400*b0d17251Schristos     OSSL_PARAM_size_t(OSSL_EXCHANGE_PARAM_KDF_OUTLEN, NULL),
401*b0d17251Schristos     OSSL_PARAM_DEFN(OSSL_EXCHANGE_PARAM_KDF_UKM, OSSL_PARAM_OCTET_PTR,
402*b0d17251Schristos                     NULL, 0),
403*b0d17251Schristos     OSSL_PARAM_END
404*b0d17251Schristos };
405*b0d17251Schristos 
406*b0d17251Schristos static
ecdh_gettable_ctx_params(ossl_unused void * vpecdhctx,ossl_unused void * provctx)407*b0d17251Schristos const OSSL_PARAM *ecdh_gettable_ctx_params(ossl_unused void *vpecdhctx,
408*b0d17251Schristos                                            ossl_unused void *provctx)
409*b0d17251Schristos {
410*b0d17251Schristos     return known_gettable_ctx_params;
411*b0d17251Schristos }
412*b0d17251Schristos 
413*b0d17251Schristos static ossl_inline
ecdh_size(const EC_KEY * k)414*b0d17251Schristos size_t ecdh_size(const EC_KEY *k)
415*b0d17251Schristos {
416*b0d17251Schristos     size_t degree = 0;
417*b0d17251Schristos     const EC_GROUP *group;
418*b0d17251Schristos 
419*b0d17251Schristos     if (k == NULL
420*b0d17251Schristos             || (group = EC_KEY_get0_group(k)) == NULL)
421*b0d17251Schristos         return 0;
422*b0d17251Schristos 
423*b0d17251Schristos     degree = EC_GROUP_get_degree(group);
424*b0d17251Schristos 
425*b0d17251Schristos     return (degree + 7) / 8;
426*b0d17251Schristos }
427*b0d17251Schristos 
428*b0d17251Schristos static ossl_inline
ecdh_plain_derive(void * vpecdhctx,unsigned char * secret,size_t * psecretlen,size_t outlen)429*b0d17251Schristos int ecdh_plain_derive(void *vpecdhctx, unsigned char *secret,
430*b0d17251Schristos                       size_t *psecretlen, size_t outlen)
431*b0d17251Schristos {
432*b0d17251Schristos     PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx;
433*b0d17251Schristos     int retlen, ret = 0;
434*b0d17251Schristos     size_t ecdhsize, size;
435*b0d17251Schristos     const EC_POINT *ppubkey = NULL;
436*b0d17251Schristos     EC_KEY *privk = NULL;
437*b0d17251Schristos     const EC_GROUP *group;
438*b0d17251Schristos     const BIGNUM *cofactor;
439*b0d17251Schristos     int key_cofactor_mode;
440*b0d17251Schristos 
441*b0d17251Schristos     if (pecdhctx->k == NULL || pecdhctx->peerk == NULL) {
442*b0d17251Schristos         ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_KEY);
443*b0d17251Schristos         return 0;
444*b0d17251Schristos     }
445*b0d17251Schristos 
446*b0d17251Schristos     ecdhsize = ecdh_size(pecdhctx->k);
447*b0d17251Schristos     if (secret == NULL) {
448*b0d17251Schristos         *psecretlen = ecdhsize;
449*b0d17251Schristos         return 1;
450*b0d17251Schristos     }
451*b0d17251Schristos 
452*b0d17251Schristos     if ((group = EC_KEY_get0_group(pecdhctx->k)) == NULL
453*b0d17251Schristos             || (cofactor = EC_GROUP_get0_cofactor(group)) == NULL )
454*b0d17251Schristos         return 0;
455*b0d17251Schristos 
456*b0d17251Schristos     /*
457*b0d17251Schristos      * NB: unlike PKCS#3 DH, if outlen is less than maximum size this is not
458*b0d17251Schristos      * an error, the result is truncated.
459*b0d17251Schristos      */
460*b0d17251Schristos     size = outlen < ecdhsize ? outlen : ecdhsize;
461*b0d17251Schristos 
462*b0d17251Schristos     /*
463*b0d17251Schristos      * The ctx->cofactor_mode flag has precedence over the
464*b0d17251Schristos      * cofactor_mode flag set on ctx->k.
465*b0d17251Schristos      *
466*b0d17251Schristos      * - if ctx->cofactor_mode == -1, use ctx->k directly
467*b0d17251Schristos      * - if ctx->cofactor_mode == key_cofactor_mode, use ctx->k directly
468*b0d17251Schristos      * - if ctx->cofactor_mode != key_cofactor_mode:
469*b0d17251Schristos      *     - if ctx->k->cofactor == 1, the cofactor_mode flag is irrelevant, use
470*b0d17251Schristos      *          ctx->k directly
471*b0d17251Schristos      *     - if ctx->k->cofactor != 1, use a duplicate of ctx->k with the flag
472*b0d17251Schristos      *          set to ctx->cofactor_mode
473*b0d17251Schristos      */
474*b0d17251Schristos     key_cofactor_mode =
475*b0d17251Schristos         (EC_KEY_get_flags(pecdhctx->k) & EC_FLAG_COFACTOR_ECDH) ? 1 : 0;
476*b0d17251Schristos     if (pecdhctx->cofactor_mode != -1
477*b0d17251Schristos             && pecdhctx->cofactor_mode != key_cofactor_mode
478*b0d17251Schristos             && !BN_is_one(cofactor)) {
479*b0d17251Schristos         if ((privk = EC_KEY_dup(pecdhctx->k)) == NULL)
480*b0d17251Schristos             return 0;
481*b0d17251Schristos 
482*b0d17251Schristos         if (pecdhctx->cofactor_mode == 1)
483*b0d17251Schristos             EC_KEY_set_flags(privk, EC_FLAG_COFACTOR_ECDH);
484*b0d17251Schristos         else
485*b0d17251Schristos             EC_KEY_clear_flags(privk, EC_FLAG_COFACTOR_ECDH);
486*b0d17251Schristos     } else {
487*b0d17251Schristos         privk = pecdhctx->k;
488*b0d17251Schristos     }
489*b0d17251Schristos 
490*b0d17251Schristos     ppubkey = EC_KEY_get0_public_key(pecdhctx->peerk);
491*b0d17251Schristos 
492*b0d17251Schristos     retlen = ECDH_compute_key(secret, size, ppubkey, privk, NULL);
493*b0d17251Schristos 
494*b0d17251Schristos     if (retlen <= 0)
495*b0d17251Schristos         goto end;
496*b0d17251Schristos 
497*b0d17251Schristos     *psecretlen = retlen;
498*b0d17251Schristos     ret = 1;
499*b0d17251Schristos 
500*b0d17251Schristos  end:
501*b0d17251Schristos     if (privk != pecdhctx->k)
502*b0d17251Schristos         EC_KEY_free(privk);
503*b0d17251Schristos     return ret;
504*b0d17251Schristos }
505*b0d17251Schristos 
506*b0d17251Schristos static ossl_inline
ecdh_X9_63_kdf_derive(void * vpecdhctx,unsigned char * secret,size_t * psecretlen,size_t outlen)507*b0d17251Schristos int ecdh_X9_63_kdf_derive(void *vpecdhctx, unsigned char *secret,
508*b0d17251Schristos                           size_t *psecretlen, size_t outlen)
509*b0d17251Schristos {
510*b0d17251Schristos     PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx;
511*b0d17251Schristos     unsigned char *stmp = NULL;
512*b0d17251Schristos     size_t stmplen;
513*b0d17251Schristos     int ret = 0;
514*b0d17251Schristos 
515*b0d17251Schristos     if (secret == NULL) {
516*b0d17251Schristos         *psecretlen = pecdhctx->kdf_outlen;
517*b0d17251Schristos         return 1;
518*b0d17251Schristos     }
519*b0d17251Schristos 
520*b0d17251Schristos     if (pecdhctx->kdf_outlen > outlen) {
521*b0d17251Schristos         ERR_raise(ERR_LIB_PROV, PROV_R_OUTPUT_BUFFER_TOO_SMALL);
522*b0d17251Schristos         return 0;
523*b0d17251Schristos     }
524*b0d17251Schristos     if (!ecdh_plain_derive(vpecdhctx, NULL, &stmplen, 0))
525*b0d17251Schristos         return 0;
526*b0d17251Schristos     if ((stmp = OPENSSL_secure_malloc(stmplen)) == NULL) {
527*b0d17251Schristos         ERR_raise(ERR_LIB_PROV, ERR_R_MALLOC_FAILURE);
528*b0d17251Schristos         return 0;
529*b0d17251Schristos     }
530*b0d17251Schristos     if (!ecdh_plain_derive(vpecdhctx, stmp, &stmplen, stmplen))
531*b0d17251Schristos         goto err;
532*b0d17251Schristos 
533*b0d17251Schristos     /* Do KDF stuff */
534*b0d17251Schristos     if (!ossl_ecdh_kdf_X9_63(secret, pecdhctx->kdf_outlen,
535*b0d17251Schristos                              stmp, stmplen,
536*b0d17251Schristos                              pecdhctx->kdf_ukm,
537*b0d17251Schristos                              pecdhctx->kdf_ukmlen,
538*b0d17251Schristos                              pecdhctx->kdf_md,
539*b0d17251Schristos                              pecdhctx->libctx, NULL))
540*b0d17251Schristos         goto err;
541*b0d17251Schristos     *psecretlen = pecdhctx->kdf_outlen;
542*b0d17251Schristos     ret = 1;
543*b0d17251Schristos 
544*b0d17251Schristos  err:
545*b0d17251Schristos     OPENSSL_secure_clear_free(stmp, stmplen);
546*b0d17251Schristos     return ret;
547*b0d17251Schristos }
548*b0d17251Schristos 
549*b0d17251Schristos static
ecdh_derive(void * vpecdhctx,unsigned char * secret,size_t * psecretlen,size_t outlen)550*b0d17251Schristos int ecdh_derive(void *vpecdhctx, unsigned char *secret,
551*b0d17251Schristos                 size_t *psecretlen, size_t outlen)
552*b0d17251Schristos {
553*b0d17251Schristos     PROV_ECDH_CTX *pecdhctx = (PROV_ECDH_CTX *)vpecdhctx;
554*b0d17251Schristos 
555*b0d17251Schristos     switch (pecdhctx->kdf_type) {
556*b0d17251Schristos         case PROV_ECDH_KDF_NONE:
557*b0d17251Schristos             return ecdh_plain_derive(vpecdhctx, secret, psecretlen, outlen);
558*b0d17251Schristos         case PROV_ECDH_KDF_X9_63:
559*b0d17251Schristos             return ecdh_X9_63_kdf_derive(vpecdhctx, secret, psecretlen, outlen);
560*b0d17251Schristos         default:
561*b0d17251Schristos             break;
562*b0d17251Schristos     }
563*b0d17251Schristos     return 0;
564*b0d17251Schristos }
565*b0d17251Schristos 
566*b0d17251Schristos const OSSL_DISPATCH ossl_ecdh_keyexch_functions[] = {
567*b0d17251Schristos     { OSSL_FUNC_KEYEXCH_NEWCTX, (void (*)(void))ecdh_newctx },
568*b0d17251Schristos     { OSSL_FUNC_KEYEXCH_INIT, (void (*)(void))ecdh_init },
569*b0d17251Schristos     { OSSL_FUNC_KEYEXCH_DERIVE, (void (*)(void))ecdh_derive },
570*b0d17251Schristos     { OSSL_FUNC_KEYEXCH_SET_PEER, (void (*)(void))ecdh_set_peer },
571*b0d17251Schristos     { OSSL_FUNC_KEYEXCH_FREECTX, (void (*)(void))ecdh_freectx },
572*b0d17251Schristos     { OSSL_FUNC_KEYEXCH_DUPCTX, (void (*)(void))ecdh_dupctx },
573*b0d17251Schristos     { OSSL_FUNC_KEYEXCH_SET_CTX_PARAMS, (void (*)(void))ecdh_set_ctx_params },
574*b0d17251Schristos     { OSSL_FUNC_KEYEXCH_SETTABLE_CTX_PARAMS,
575*b0d17251Schristos       (void (*)(void))ecdh_settable_ctx_params },
576*b0d17251Schristos     { OSSL_FUNC_KEYEXCH_GET_CTX_PARAMS, (void (*)(void))ecdh_get_ctx_params },
577*b0d17251Schristos     { OSSL_FUNC_KEYEXCH_GETTABLE_CTX_PARAMS,
578*b0d17251Schristos       (void (*)(void))ecdh_gettable_ctx_params },
579*b0d17251Schristos     { 0, NULL }
580*b0d17251Schristos };
581