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