xref: /freebsd-src/crypto/openssl/providers/implementations/kdfs/sskdf.c (revision b077aed33b7b6aefca7b17ddb250cf521f938613)
1*b077aed3SPierre Pronchery /*
2*b077aed3SPierre Pronchery  * Copyright 2019-2023 The OpenSSL Project Authors. All Rights Reserved.
3*b077aed3SPierre Pronchery  * Copyright (c) 2019, Oracle and/or its affiliates.  All rights reserved.
4*b077aed3SPierre Pronchery  *
5*b077aed3SPierre Pronchery  * Licensed under the Apache License 2.0 (the "License").  You may not use
6*b077aed3SPierre Pronchery  * this file except in compliance with the License.  You can obtain a copy
7*b077aed3SPierre Pronchery  * in the file LICENSE in the source distribution or at
8*b077aed3SPierre Pronchery  * https://www.openssl.org/source/license.html
9*b077aed3SPierre Pronchery  */
10*b077aed3SPierre Pronchery 
11*b077aed3SPierre Pronchery /*
12*b077aed3SPierre Pronchery  * Refer to https://csrc.nist.gov/publications/detail/sp/800-56c/rev-1/final
13*b077aed3SPierre Pronchery  * Section 4.1.
14*b077aed3SPierre Pronchery  *
15*b077aed3SPierre Pronchery  * The Single Step KDF algorithm is given by:
16*b077aed3SPierre Pronchery  *
17*b077aed3SPierre Pronchery  * Result(0) = empty bit string (i.e., the null string).
18*b077aed3SPierre Pronchery  * For i = 1 to reps, do the following:
19*b077aed3SPierre Pronchery  *   Increment counter by 1.
20*b077aed3SPierre Pronchery  *   Result(i) = Result(i - 1) || H(counter || Z || FixedInfo).
21*b077aed3SPierre Pronchery  * DKM = LeftmostBits(Result(reps), L))
22*b077aed3SPierre Pronchery  *
23*b077aed3SPierre Pronchery  * NOTES:
24*b077aed3SPierre Pronchery  *   Z is a shared secret required to produce the derived key material.
25*b077aed3SPierre Pronchery  *   counter is a 4 byte buffer.
26*b077aed3SPierre Pronchery  *   FixedInfo is a bit string containing context specific data.
27*b077aed3SPierre Pronchery  *   DKM is the output derived key material.
28*b077aed3SPierre Pronchery  *   L is the required size of the DKM.
29*b077aed3SPierre Pronchery  *   reps = [L / H_outputBits]
30*b077aed3SPierre Pronchery  *   H(x) is the auxiliary function that can be either a hash, HMAC or KMAC.
31*b077aed3SPierre Pronchery  *   H_outputBits is the length of the output of the auxiliary function H(x).
32*b077aed3SPierre Pronchery  *
33*b077aed3SPierre Pronchery  * Currently there is not a comprehensive list of test vectors for this
34*b077aed3SPierre Pronchery  * algorithm, especially for H(x) = HMAC and H(x) = KMAC.
35*b077aed3SPierre Pronchery  * Test vectors for H(x) = Hash are indirectly used by CAVS KAS tests.
36*b077aed3SPierre Pronchery  */
37*b077aed3SPierre Pronchery #include <stdlib.h>
38*b077aed3SPierre Pronchery #include <stdarg.h>
39*b077aed3SPierre Pronchery #include <string.h>
40*b077aed3SPierre Pronchery #include <openssl/hmac.h>
41*b077aed3SPierre Pronchery #include <openssl/evp.h>
42*b077aed3SPierre Pronchery #include <openssl/kdf.h>
43*b077aed3SPierre Pronchery #include <openssl/core_names.h>
44*b077aed3SPierre Pronchery #include <openssl/params.h>
45*b077aed3SPierre Pronchery #include <openssl/proverr.h>
46*b077aed3SPierre Pronchery #include "internal/cryptlib.h"
47*b077aed3SPierre Pronchery #include "internal/numbers.h"
48*b077aed3SPierre Pronchery #include "crypto/evp.h"
49*b077aed3SPierre Pronchery #include "prov/provider_ctx.h"
50*b077aed3SPierre Pronchery #include "prov/providercommon.h"
51*b077aed3SPierre Pronchery #include "prov/implementations.h"
52*b077aed3SPierre Pronchery #include "prov/provider_util.h"
53*b077aed3SPierre Pronchery 
54*b077aed3SPierre Pronchery typedef struct {
55*b077aed3SPierre Pronchery     void *provctx;
56*b077aed3SPierre Pronchery     EVP_MAC_CTX *macctx;         /* H(x) = HMAC_hash OR H(x) = KMAC */
57*b077aed3SPierre Pronchery     PROV_DIGEST digest;          /* H(x) = hash(x) */
58*b077aed3SPierre Pronchery     unsigned char *secret;
59*b077aed3SPierre Pronchery     size_t secret_len;
60*b077aed3SPierre Pronchery     unsigned char *info;
61*b077aed3SPierre Pronchery     size_t info_len;
62*b077aed3SPierre Pronchery     unsigned char *salt;
63*b077aed3SPierre Pronchery     size_t salt_len;
64*b077aed3SPierre Pronchery     size_t out_len; /* optional KMAC parameter */
65*b077aed3SPierre Pronchery     int is_kmac;
66*b077aed3SPierre Pronchery } KDF_SSKDF;
67*b077aed3SPierre Pronchery 
68*b077aed3SPierre Pronchery #define SSKDF_MAX_INLEN (1<<30)
69*b077aed3SPierre Pronchery #define SSKDF_KMAC128_DEFAULT_SALT_SIZE (168 - 4)
70*b077aed3SPierre Pronchery #define SSKDF_KMAC256_DEFAULT_SALT_SIZE (136 - 4)
71*b077aed3SPierre Pronchery 
72*b077aed3SPierre Pronchery /* KMAC uses a Customisation string of 'KDF' */
73*b077aed3SPierre Pronchery static const unsigned char kmac_custom_str[] = { 0x4B, 0x44, 0x46 };
74*b077aed3SPierre Pronchery 
75*b077aed3SPierre Pronchery static OSSL_FUNC_kdf_newctx_fn sskdf_new;
76*b077aed3SPierre Pronchery static OSSL_FUNC_kdf_freectx_fn sskdf_free;
77*b077aed3SPierre Pronchery static OSSL_FUNC_kdf_reset_fn sskdf_reset;
78*b077aed3SPierre Pronchery static OSSL_FUNC_kdf_derive_fn sskdf_derive;
79*b077aed3SPierre Pronchery static OSSL_FUNC_kdf_derive_fn x963kdf_derive;
80*b077aed3SPierre Pronchery static OSSL_FUNC_kdf_settable_ctx_params_fn sskdf_settable_ctx_params;
81*b077aed3SPierre Pronchery static OSSL_FUNC_kdf_set_ctx_params_fn sskdf_set_ctx_params;
82*b077aed3SPierre Pronchery static OSSL_FUNC_kdf_gettable_ctx_params_fn sskdf_gettable_ctx_params;
83*b077aed3SPierre Pronchery static OSSL_FUNC_kdf_get_ctx_params_fn sskdf_get_ctx_params;
84*b077aed3SPierre Pronchery 
85*b077aed3SPierre Pronchery /*
86*b077aed3SPierre Pronchery  * Refer to https://csrc.nist.gov/publications/detail/sp/800-56c/rev-1/final
87*b077aed3SPierre Pronchery  * Section 4. One-Step Key Derivation using H(x) = hash(x)
88*b077aed3SPierre Pronchery  * Note: X9.63 also uses this code with the only difference being that the
89*b077aed3SPierre Pronchery  * counter is appended to the secret 'z'.
90*b077aed3SPierre Pronchery  * i.e.
91*b077aed3SPierre Pronchery  *   result[i] = Hash(counter || z || info) for One Step OR
92*b077aed3SPierre Pronchery  *   result[i] = Hash(z || counter || info) for X9.63.
93*b077aed3SPierre Pronchery  */
SSKDF_hash_kdm(const EVP_MD * kdf_md,const unsigned char * z,size_t z_len,const unsigned char * info,size_t info_len,unsigned int append_ctr,unsigned char * derived_key,size_t derived_key_len)94*b077aed3SPierre Pronchery static int SSKDF_hash_kdm(const EVP_MD *kdf_md,
95*b077aed3SPierre Pronchery                           const unsigned char *z, size_t z_len,
96*b077aed3SPierre Pronchery                           const unsigned char *info, size_t info_len,
97*b077aed3SPierre Pronchery                           unsigned int append_ctr,
98*b077aed3SPierre Pronchery                           unsigned char *derived_key, size_t derived_key_len)
99*b077aed3SPierre Pronchery {
100*b077aed3SPierre Pronchery     int ret = 0, hlen;
101*b077aed3SPierre Pronchery     size_t counter, out_len, len = derived_key_len;
102*b077aed3SPierre Pronchery     unsigned char c[4];
103*b077aed3SPierre Pronchery     unsigned char mac[EVP_MAX_MD_SIZE];
104*b077aed3SPierre Pronchery     unsigned char *out = derived_key;
105*b077aed3SPierre Pronchery     EVP_MD_CTX *ctx = NULL, *ctx_init = NULL;
106*b077aed3SPierre Pronchery 
107*b077aed3SPierre Pronchery     if (z_len > SSKDF_MAX_INLEN || info_len > SSKDF_MAX_INLEN
108*b077aed3SPierre Pronchery             || derived_key_len > SSKDF_MAX_INLEN
109*b077aed3SPierre Pronchery             || derived_key_len == 0)
110*b077aed3SPierre Pronchery         return 0;
111*b077aed3SPierre Pronchery 
112*b077aed3SPierre Pronchery     hlen = EVP_MD_get_size(kdf_md);
113*b077aed3SPierre Pronchery     if (hlen <= 0)
114*b077aed3SPierre Pronchery         return 0;
115*b077aed3SPierre Pronchery     out_len = (size_t)hlen;
116*b077aed3SPierre Pronchery 
117*b077aed3SPierre Pronchery     ctx = EVP_MD_CTX_create();
118*b077aed3SPierre Pronchery     ctx_init = EVP_MD_CTX_create();
119*b077aed3SPierre Pronchery     if (ctx == NULL || ctx_init == NULL)
120*b077aed3SPierre Pronchery         goto end;
121*b077aed3SPierre Pronchery 
122*b077aed3SPierre Pronchery     if (!EVP_DigestInit(ctx_init, kdf_md))
123*b077aed3SPierre Pronchery         goto end;
124*b077aed3SPierre Pronchery 
125*b077aed3SPierre Pronchery     for (counter = 1;; counter++) {
126*b077aed3SPierre Pronchery         c[0] = (unsigned char)((counter >> 24) & 0xff);
127*b077aed3SPierre Pronchery         c[1] = (unsigned char)((counter >> 16) & 0xff);
128*b077aed3SPierre Pronchery         c[2] = (unsigned char)((counter >> 8) & 0xff);
129*b077aed3SPierre Pronchery         c[3] = (unsigned char)(counter & 0xff);
130*b077aed3SPierre Pronchery 
131*b077aed3SPierre Pronchery         if (!(EVP_MD_CTX_copy_ex(ctx, ctx_init)
132*b077aed3SPierre Pronchery                 && (append_ctr || EVP_DigestUpdate(ctx, c, sizeof(c)))
133*b077aed3SPierre Pronchery                 && EVP_DigestUpdate(ctx, z, z_len)
134*b077aed3SPierre Pronchery                 && (!append_ctr || EVP_DigestUpdate(ctx, c, sizeof(c)))
135*b077aed3SPierre Pronchery                 && EVP_DigestUpdate(ctx, info, info_len)))
136*b077aed3SPierre Pronchery             goto end;
137*b077aed3SPierre Pronchery         if (len >= out_len) {
138*b077aed3SPierre Pronchery             if (!EVP_DigestFinal_ex(ctx, out, NULL))
139*b077aed3SPierre Pronchery                 goto end;
140*b077aed3SPierre Pronchery             out += out_len;
141*b077aed3SPierre Pronchery             len -= out_len;
142*b077aed3SPierre Pronchery             if (len == 0)
143*b077aed3SPierre Pronchery                 break;
144*b077aed3SPierre Pronchery         } else {
145*b077aed3SPierre Pronchery             if (!EVP_DigestFinal_ex(ctx, mac, NULL))
146*b077aed3SPierre Pronchery                 goto end;
147*b077aed3SPierre Pronchery             memcpy(out, mac, len);
148*b077aed3SPierre Pronchery             break;
149*b077aed3SPierre Pronchery         }
150*b077aed3SPierre Pronchery     }
151*b077aed3SPierre Pronchery     ret = 1;
152*b077aed3SPierre Pronchery end:
153*b077aed3SPierre Pronchery     EVP_MD_CTX_destroy(ctx);
154*b077aed3SPierre Pronchery     EVP_MD_CTX_destroy(ctx_init);
155*b077aed3SPierre Pronchery     OPENSSL_cleanse(mac, sizeof(mac));
156*b077aed3SPierre Pronchery     return ret;
157*b077aed3SPierre Pronchery }
158*b077aed3SPierre Pronchery 
kmac_init(EVP_MAC_CTX * ctx,const unsigned char * custom,size_t custom_len,size_t kmac_out_len,size_t derived_key_len,unsigned char ** out)159*b077aed3SPierre Pronchery static int kmac_init(EVP_MAC_CTX *ctx, const unsigned char *custom,
160*b077aed3SPierre Pronchery                      size_t custom_len, size_t kmac_out_len,
161*b077aed3SPierre Pronchery                      size_t derived_key_len, unsigned char **out)
162*b077aed3SPierre Pronchery {
163*b077aed3SPierre Pronchery     OSSL_PARAM params[2];
164*b077aed3SPierre Pronchery 
165*b077aed3SPierre Pronchery     /* Only KMAC has custom data - so return if not KMAC */
166*b077aed3SPierre Pronchery     if (custom == NULL)
167*b077aed3SPierre Pronchery         return 1;
168*b077aed3SPierre Pronchery 
169*b077aed3SPierre Pronchery     params[0] = OSSL_PARAM_construct_octet_string(OSSL_MAC_PARAM_CUSTOM,
170*b077aed3SPierre Pronchery                                                   (void *)custom, custom_len);
171*b077aed3SPierre Pronchery     params[1] = OSSL_PARAM_construct_end();
172*b077aed3SPierre Pronchery 
173*b077aed3SPierre Pronchery     if (!EVP_MAC_CTX_set_params(ctx, params))
174*b077aed3SPierre Pronchery         return 0;
175*b077aed3SPierre Pronchery 
176*b077aed3SPierre Pronchery     /* By default only do one iteration if kmac_out_len is not specified */
177*b077aed3SPierre Pronchery     if (kmac_out_len == 0)
178*b077aed3SPierre Pronchery         kmac_out_len = derived_key_len;
179*b077aed3SPierre Pronchery     /* otherwise check the size is valid */
180*b077aed3SPierre Pronchery     else if (!(kmac_out_len == derived_key_len
181*b077aed3SPierre Pronchery             || kmac_out_len == 20
182*b077aed3SPierre Pronchery             || kmac_out_len == 28
183*b077aed3SPierre Pronchery             || kmac_out_len == 32
184*b077aed3SPierre Pronchery             || kmac_out_len == 48
185*b077aed3SPierre Pronchery             || kmac_out_len == 64))
186*b077aed3SPierre Pronchery         return 0;
187*b077aed3SPierre Pronchery 
188*b077aed3SPierre Pronchery     params[0] = OSSL_PARAM_construct_size_t(OSSL_MAC_PARAM_SIZE,
189*b077aed3SPierre Pronchery                                             &kmac_out_len);
190*b077aed3SPierre Pronchery 
191*b077aed3SPierre Pronchery     if (EVP_MAC_CTX_set_params(ctx, params) <= 0)
192*b077aed3SPierre Pronchery         return 0;
193*b077aed3SPierre Pronchery 
194*b077aed3SPierre Pronchery     /*
195*b077aed3SPierre Pronchery      * For kmac the output buffer can be larger than EVP_MAX_MD_SIZE: so
196*b077aed3SPierre Pronchery      * alloc a buffer for this case.
197*b077aed3SPierre Pronchery      */
198*b077aed3SPierre Pronchery     if (kmac_out_len > EVP_MAX_MD_SIZE) {
199*b077aed3SPierre Pronchery         *out = OPENSSL_zalloc(kmac_out_len);
200*b077aed3SPierre Pronchery         if (*out == NULL)
201*b077aed3SPierre Pronchery             return 0;
202*b077aed3SPierre Pronchery     }
203*b077aed3SPierre Pronchery     return 1;
204*b077aed3SPierre Pronchery }
205*b077aed3SPierre Pronchery 
206*b077aed3SPierre Pronchery /*
207*b077aed3SPierre Pronchery  * Refer to https://csrc.nist.gov/publications/detail/sp/800-56c/rev-1/final
208*b077aed3SPierre Pronchery  * Section 4. One-Step Key Derivation using MAC: i.e either
209*b077aed3SPierre Pronchery  *     H(x) = HMAC-hash(salt, x) OR
210*b077aed3SPierre Pronchery  *     H(x) = KMAC#(salt, x, outbits, CustomString='KDF')
211*b077aed3SPierre Pronchery  */
SSKDF_mac_kdm(EVP_MAC_CTX * ctx_init,const unsigned char * kmac_custom,size_t kmac_custom_len,size_t kmac_out_len,const unsigned char * salt,size_t salt_len,const unsigned char * z,size_t z_len,const unsigned char * info,size_t info_len,unsigned char * derived_key,size_t derived_key_len)212*b077aed3SPierre Pronchery static int SSKDF_mac_kdm(EVP_MAC_CTX *ctx_init,
213*b077aed3SPierre Pronchery                          const unsigned char *kmac_custom,
214*b077aed3SPierre Pronchery                          size_t kmac_custom_len, size_t kmac_out_len,
215*b077aed3SPierre Pronchery                          const unsigned char *salt, size_t salt_len,
216*b077aed3SPierre Pronchery                          const unsigned char *z, size_t z_len,
217*b077aed3SPierre Pronchery                          const unsigned char *info, size_t info_len,
218*b077aed3SPierre Pronchery                          unsigned char *derived_key, size_t derived_key_len)
219*b077aed3SPierre Pronchery {
220*b077aed3SPierre Pronchery     int ret = 0;
221*b077aed3SPierre Pronchery     size_t counter, out_len, len;
222*b077aed3SPierre Pronchery     unsigned char c[4];
223*b077aed3SPierre Pronchery     unsigned char mac_buf[EVP_MAX_MD_SIZE];
224*b077aed3SPierre Pronchery     unsigned char *out = derived_key;
225*b077aed3SPierre Pronchery     EVP_MAC_CTX *ctx = NULL;
226*b077aed3SPierre Pronchery     unsigned char *mac = mac_buf, *kmac_buffer = NULL;
227*b077aed3SPierre Pronchery 
228*b077aed3SPierre Pronchery     if (z_len > SSKDF_MAX_INLEN || info_len > SSKDF_MAX_INLEN
229*b077aed3SPierre Pronchery             || derived_key_len > SSKDF_MAX_INLEN
230*b077aed3SPierre Pronchery             || derived_key_len == 0)
231*b077aed3SPierre Pronchery         return 0;
232*b077aed3SPierre Pronchery 
233*b077aed3SPierre Pronchery     if (!kmac_init(ctx_init, kmac_custom, kmac_custom_len, kmac_out_len,
234*b077aed3SPierre Pronchery                    derived_key_len, &kmac_buffer))
235*b077aed3SPierre Pronchery         goto end;
236*b077aed3SPierre Pronchery     if (kmac_buffer != NULL)
237*b077aed3SPierre Pronchery         mac = kmac_buffer;
238*b077aed3SPierre Pronchery 
239*b077aed3SPierre Pronchery     if (!EVP_MAC_init(ctx_init, salt, salt_len, NULL))
240*b077aed3SPierre Pronchery         goto end;
241*b077aed3SPierre Pronchery 
242*b077aed3SPierre Pronchery     out_len = EVP_MAC_CTX_get_mac_size(ctx_init); /* output size */
243*b077aed3SPierre Pronchery     if (out_len <= 0 || (mac == mac_buf && out_len > sizeof(mac_buf)))
244*b077aed3SPierre Pronchery         goto end;
245*b077aed3SPierre Pronchery     len = derived_key_len;
246*b077aed3SPierre Pronchery 
247*b077aed3SPierre Pronchery     for (counter = 1;; counter++) {
248*b077aed3SPierre Pronchery         c[0] = (unsigned char)((counter >> 24) & 0xff);
249*b077aed3SPierre Pronchery         c[1] = (unsigned char)((counter >> 16) & 0xff);
250*b077aed3SPierre Pronchery         c[2] = (unsigned char)((counter >> 8) & 0xff);
251*b077aed3SPierre Pronchery         c[3] = (unsigned char)(counter & 0xff);
252*b077aed3SPierre Pronchery 
253*b077aed3SPierre Pronchery         ctx = EVP_MAC_CTX_dup(ctx_init);
254*b077aed3SPierre Pronchery         if (!(ctx != NULL
255*b077aed3SPierre Pronchery                 && EVP_MAC_update(ctx, c, sizeof(c))
256*b077aed3SPierre Pronchery                 && EVP_MAC_update(ctx, z, z_len)
257*b077aed3SPierre Pronchery                 && EVP_MAC_update(ctx, info, info_len)))
258*b077aed3SPierre Pronchery             goto end;
259*b077aed3SPierre Pronchery         if (len >= out_len) {
260*b077aed3SPierre Pronchery             if (!EVP_MAC_final(ctx, out, NULL, len))
261*b077aed3SPierre Pronchery                 goto end;
262*b077aed3SPierre Pronchery             out += out_len;
263*b077aed3SPierre Pronchery             len -= out_len;
264*b077aed3SPierre Pronchery             if (len == 0)
265*b077aed3SPierre Pronchery                 break;
266*b077aed3SPierre Pronchery         } else {
267*b077aed3SPierre Pronchery             if (!EVP_MAC_final(ctx, mac, NULL, out_len))
268*b077aed3SPierre Pronchery                 goto end;
269*b077aed3SPierre Pronchery             memcpy(out, mac, len);
270*b077aed3SPierre Pronchery             break;
271*b077aed3SPierre Pronchery         }
272*b077aed3SPierre Pronchery         EVP_MAC_CTX_free(ctx);
273*b077aed3SPierre Pronchery         ctx = NULL;
274*b077aed3SPierre Pronchery     }
275*b077aed3SPierre Pronchery     ret = 1;
276*b077aed3SPierre Pronchery end:
277*b077aed3SPierre Pronchery     if (kmac_buffer != NULL)
278*b077aed3SPierre Pronchery         OPENSSL_clear_free(kmac_buffer, kmac_out_len);
279*b077aed3SPierre Pronchery     else
280*b077aed3SPierre Pronchery         OPENSSL_cleanse(mac_buf, sizeof(mac_buf));
281*b077aed3SPierre Pronchery 
282*b077aed3SPierre Pronchery     EVP_MAC_CTX_free(ctx);
283*b077aed3SPierre Pronchery     return ret;
284*b077aed3SPierre Pronchery }
285*b077aed3SPierre Pronchery 
sskdf_new(void * provctx)286*b077aed3SPierre Pronchery static void *sskdf_new(void *provctx)
287*b077aed3SPierre Pronchery {
288*b077aed3SPierre Pronchery     KDF_SSKDF *ctx;
289*b077aed3SPierre Pronchery 
290*b077aed3SPierre Pronchery     if (!ossl_prov_is_running())
291*b077aed3SPierre Pronchery         return NULL;
292*b077aed3SPierre Pronchery 
293*b077aed3SPierre Pronchery     if ((ctx = OPENSSL_zalloc(sizeof(*ctx))) == NULL)
294*b077aed3SPierre Pronchery         ERR_raise(ERR_LIB_PROV, ERR_R_MALLOC_FAILURE);
295*b077aed3SPierre Pronchery     ctx->provctx = provctx;
296*b077aed3SPierre Pronchery     return ctx;
297*b077aed3SPierre Pronchery }
298*b077aed3SPierre Pronchery 
sskdf_reset(void * vctx)299*b077aed3SPierre Pronchery static void sskdf_reset(void *vctx)
300*b077aed3SPierre Pronchery {
301*b077aed3SPierre Pronchery     KDF_SSKDF *ctx = (KDF_SSKDF *)vctx;
302*b077aed3SPierre Pronchery     void *provctx = ctx->provctx;
303*b077aed3SPierre Pronchery 
304*b077aed3SPierre Pronchery     EVP_MAC_CTX_free(ctx->macctx);
305*b077aed3SPierre Pronchery     ossl_prov_digest_reset(&ctx->digest);
306*b077aed3SPierre Pronchery     OPENSSL_clear_free(ctx->secret, ctx->secret_len);
307*b077aed3SPierre Pronchery     OPENSSL_clear_free(ctx->info, ctx->info_len);
308*b077aed3SPierre Pronchery     OPENSSL_clear_free(ctx->salt, ctx->salt_len);
309*b077aed3SPierre Pronchery     memset(ctx, 0, sizeof(*ctx));
310*b077aed3SPierre Pronchery     ctx->provctx = provctx;
311*b077aed3SPierre Pronchery }
312*b077aed3SPierre Pronchery 
sskdf_free(void * vctx)313*b077aed3SPierre Pronchery static void sskdf_free(void *vctx)
314*b077aed3SPierre Pronchery {
315*b077aed3SPierre Pronchery     KDF_SSKDF *ctx = (KDF_SSKDF *)vctx;
316*b077aed3SPierre Pronchery 
317*b077aed3SPierre Pronchery     if (ctx != NULL) {
318*b077aed3SPierre Pronchery         sskdf_reset(ctx);
319*b077aed3SPierre Pronchery         OPENSSL_free(ctx);
320*b077aed3SPierre Pronchery     }
321*b077aed3SPierre Pronchery }
322*b077aed3SPierre Pronchery 
sskdf_set_buffer(unsigned char ** out,size_t * out_len,const OSSL_PARAM * p)323*b077aed3SPierre Pronchery static int sskdf_set_buffer(unsigned char **out, size_t *out_len,
324*b077aed3SPierre Pronchery                             const OSSL_PARAM *p)
325*b077aed3SPierre Pronchery {
326*b077aed3SPierre Pronchery     if (p->data == NULL || p->data_size == 0)
327*b077aed3SPierre Pronchery         return 1;
328*b077aed3SPierre Pronchery     OPENSSL_free(*out);
329*b077aed3SPierre Pronchery     *out = NULL;
330*b077aed3SPierre Pronchery     return OSSL_PARAM_get_octet_string(p, (void **)out, 0, out_len);
331*b077aed3SPierre Pronchery }
332*b077aed3SPierre Pronchery 
sskdf_size(KDF_SSKDF * ctx)333*b077aed3SPierre Pronchery static size_t sskdf_size(KDF_SSKDF *ctx)
334*b077aed3SPierre Pronchery {
335*b077aed3SPierre Pronchery     int len;
336*b077aed3SPierre Pronchery     const EVP_MD *md = NULL;
337*b077aed3SPierre Pronchery 
338*b077aed3SPierre Pronchery     if (ctx->is_kmac)
339*b077aed3SPierre Pronchery         return SIZE_MAX;
340*b077aed3SPierre Pronchery 
341*b077aed3SPierre Pronchery     md = ossl_prov_digest_md(&ctx->digest);
342*b077aed3SPierre Pronchery     if (md == NULL) {
343*b077aed3SPierre Pronchery         ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_MESSAGE_DIGEST);
344*b077aed3SPierre Pronchery         return 0;
345*b077aed3SPierre Pronchery     }
346*b077aed3SPierre Pronchery     len = EVP_MD_get_size(md);
347*b077aed3SPierre Pronchery     return (len <= 0) ? 0 : (size_t)len;
348*b077aed3SPierre Pronchery }
349*b077aed3SPierre Pronchery 
sskdf_derive(void * vctx,unsigned char * key,size_t keylen,const OSSL_PARAM params[])350*b077aed3SPierre Pronchery static int sskdf_derive(void *vctx, unsigned char *key, size_t keylen,
351*b077aed3SPierre Pronchery                         const OSSL_PARAM params[])
352*b077aed3SPierre Pronchery {
353*b077aed3SPierre Pronchery     KDF_SSKDF *ctx = (KDF_SSKDF *)vctx;
354*b077aed3SPierre Pronchery     const EVP_MD *md;
355*b077aed3SPierre Pronchery 
356*b077aed3SPierre Pronchery     if (!ossl_prov_is_running() || !sskdf_set_ctx_params(ctx, params))
357*b077aed3SPierre Pronchery         return 0;
358*b077aed3SPierre Pronchery     if (ctx->secret == NULL) {
359*b077aed3SPierre Pronchery         ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_SECRET);
360*b077aed3SPierre Pronchery         return 0;
361*b077aed3SPierre Pronchery     }
362*b077aed3SPierre Pronchery     md = ossl_prov_digest_md(&ctx->digest);
363*b077aed3SPierre Pronchery 
364*b077aed3SPierre Pronchery     if (ctx->macctx != NULL) {
365*b077aed3SPierre Pronchery         /* H(x) = KMAC or H(x) = HMAC */
366*b077aed3SPierre Pronchery         int ret;
367*b077aed3SPierre Pronchery         const unsigned char *custom = NULL;
368*b077aed3SPierre Pronchery         size_t custom_len = 0;
369*b077aed3SPierre Pronchery         int default_salt_len;
370*b077aed3SPierre Pronchery         EVP_MAC *mac = EVP_MAC_CTX_get0_mac(ctx->macctx);
371*b077aed3SPierre Pronchery 
372*b077aed3SPierre Pronchery         if (EVP_MAC_is_a(mac, OSSL_MAC_NAME_HMAC)) {
373*b077aed3SPierre Pronchery             /* H(x) = HMAC(x, salt, hash) */
374*b077aed3SPierre Pronchery             if (md == NULL) {
375*b077aed3SPierre Pronchery                 ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_MESSAGE_DIGEST);
376*b077aed3SPierre Pronchery                 return 0;
377*b077aed3SPierre Pronchery             }
378*b077aed3SPierre Pronchery             default_salt_len = EVP_MD_get_size(md);
379*b077aed3SPierre Pronchery             if (default_salt_len <= 0)
380*b077aed3SPierre Pronchery                 return 0;
381*b077aed3SPierre Pronchery         } else if (ctx->is_kmac) {
382*b077aed3SPierre Pronchery             /* H(x) = KMACzzz(x, salt, custom) */
383*b077aed3SPierre Pronchery             custom = kmac_custom_str;
384*b077aed3SPierre Pronchery             custom_len = sizeof(kmac_custom_str);
385*b077aed3SPierre Pronchery             if (EVP_MAC_is_a(mac, OSSL_MAC_NAME_KMAC128))
386*b077aed3SPierre Pronchery                 default_salt_len = SSKDF_KMAC128_DEFAULT_SALT_SIZE;
387*b077aed3SPierre Pronchery             else
388*b077aed3SPierre Pronchery                 default_salt_len = SSKDF_KMAC256_DEFAULT_SALT_SIZE;
389*b077aed3SPierre Pronchery         } else {
390*b077aed3SPierre Pronchery             ERR_raise(ERR_LIB_PROV, PROV_R_UNSUPPORTED_MAC_TYPE);
391*b077aed3SPierre Pronchery             return 0;
392*b077aed3SPierre Pronchery         }
393*b077aed3SPierre Pronchery         /* If no salt is set then use a default_salt of zeros */
394*b077aed3SPierre Pronchery         if (ctx->salt == NULL || ctx->salt_len <= 0) {
395*b077aed3SPierre Pronchery             ctx->salt = OPENSSL_zalloc(default_salt_len);
396*b077aed3SPierre Pronchery             if (ctx->salt == NULL) {
397*b077aed3SPierre Pronchery                 ERR_raise(ERR_LIB_PROV, ERR_R_MALLOC_FAILURE);
398*b077aed3SPierre Pronchery                 return 0;
399*b077aed3SPierre Pronchery             }
400*b077aed3SPierre Pronchery             ctx->salt_len = default_salt_len;
401*b077aed3SPierre Pronchery         }
402*b077aed3SPierre Pronchery         ret = SSKDF_mac_kdm(ctx->macctx,
403*b077aed3SPierre Pronchery                             custom, custom_len, ctx->out_len,
404*b077aed3SPierre Pronchery                             ctx->salt, ctx->salt_len,
405*b077aed3SPierre Pronchery                             ctx->secret, ctx->secret_len,
406*b077aed3SPierre Pronchery                             ctx->info, ctx->info_len, key, keylen);
407*b077aed3SPierre Pronchery         return ret;
408*b077aed3SPierre Pronchery     } else {
409*b077aed3SPierre Pronchery         /* H(x) = hash */
410*b077aed3SPierre Pronchery         if (md == NULL) {
411*b077aed3SPierre Pronchery             ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_MESSAGE_DIGEST);
412*b077aed3SPierre Pronchery             return 0;
413*b077aed3SPierre Pronchery         }
414*b077aed3SPierre Pronchery         return SSKDF_hash_kdm(md, ctx->secret, ctx->secret_len,
415*b077aed3SPierre Pronchery                               ctx->info, ctx->info_len, 0, key, keylen);
416*b077aed3SPierre Pronchery     }
417*b077aed3SPierre Pronchery }
418*b077aed3SPierre Pronchery 
x963kdf_derive(void * vctx,unsigned char * key,size_t keylen,const OSSL_PARAM params[])419*b077aed3SPierre Pronchery static int x963kdf_derive(void *vctx, unsigned char *key, size_t keylen,
420*b077aed3SPierre Pronchery                           const OSSL_PARAM params[])
421*b077aed3SPierre Pronchery {
422*b077aed3SPierre Pronchery     KDF_SSKDF *ctx = (KDF_SSKDF *)vctx;
423*b077aed3SPierre Pronchery     const EVP_MD *md;
424*b077aed3SPierre Pronchery 
425*b077aed3SPierre Pronchery     if (!ossl_prov_is_running() || !sskdf_set_ctx_params(ctx, params))
426*b077aed3SPierre Pronchery         return 0;
427*b077aed3SPierre Pronchery 
428*b077aed3SPierre Pronchery     if (ctx->secret == NULL) {
429*b077aed3SPierre Pronchery         ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_SECRET);
430*b077aed3SPierre Pronchery         return 0;
431*b077aed3SPierre Pronchery     }
432*b077aed3SPierre Pronchery 
433*b077aed3SPierre Pronchery     if (ctx->macctx != NULL) {
434*b077aed3SPierre Pronchery         ERR_raise(ERR_LIB_PROV, PROV_R_NOT_SUPPORTED);
435*b077aed3SPierre Pronchery         return 0;
436*b077aed3SPierre Pronchery     }
437*b077aed3SPierre Pronchery 
438*b077aed3SPierre Pronchery     /* H(x) = hash */
439*b077aed3SPierre Pronchery     md = ossl_prov_digest_md(&ctx->digest);
440*b077aed3SPierre Pronchery     if (md == NULL) {
441*b077aed3SPierre Pronchery         ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_MESSAGE_DIGEST);
442*b077aed3SPierre Pronchery         return 0;
443*b077aed3SPierre Pronchery     }
444*b077aed3SPierre Pronchery 
445*b077aed3SPierre Pronchery     return SSKDF_hash_kdm(md, ctx->secret, ctx->secret_len,
446*b077aed3SPierre Pronchery                           ctx->info, ctx->info_len, 1, key, keylen);
447*b077aed3SPierre Pronchery }
448*b077aed3SPierre Pronchery 
sskdf_set_ctx_params(void * vctx,const OSSL_PARAM params[])449*b077aed3SPierre Pronchery static int sskdf_set_ctx_params(void *vctx, const OSSL_PARAM params[])
450*b077aed3SPierre Pronchery {
451*b077aed3SPierre Pronchery     const OSSL_PARAM *p;
452*b077aed3SPierre Pronchery     KDF_SSKDF *ctx = vctx;
453*b077aed3SPierre Pronchery     OSSL_LIB_CTX *libctx = PROV_LIBCTX_OF(ctx->provctx);
454*b077aed3SPierre Pronchery     size_t sz;
455*b077aed3SPierre Pronchery 
456*b077aed3SPierre Pronchery     if (params == NULL)
457*b077aed3SPierre Pronchery         return 1;
458*b077aed3SPierre Pronchery 
459*b077aed3SPierre Pronchery     if (!ossl_prov_macctx_load_from_params(&ctx->macctx, params,
460*b077aed3SPierre Pronchery                                            NULL, NULL, NULL, libctx))
461*b077aed3SPierre Pronchery         return 0;
462*b077aed3SPierre Pronchery    if (ctx->macctx != NULL) {
463*b077aed3SPierre Pronchery         if (EVP_MAC_is_a(EVP_MAC_CTX_get0_mac(ctx->macctx),
464*b077aed3SPierre Pronchery                          OSSL_MAC_NAME_KMAC128)
465*b077aed3SPierre Pronchery             || EVP_MAC_is_a(EVP_MAC_CTX_get0_mac(ctx->macctx),
466*b077aed3SPierre Pronchery                             OSSL_MAC_NAME_KMAC256)) {
467*b077aed3SPierre Pronchery             ctx->is_kmac = 1;
468*b077aed3SPierre Pronchery         }
469*b077aed3SPierre Pronchery    }
470*b077aed3SPierre Pronchery 
471*b077aed3SPierre Pronchery    if (!ossl_prov_digest_load_from_params(&ctx->digest, params, libctx))
472*b077aed3SPierre Pronchery        return 0;
473*b077aed3SPierre Pronchery 
474*b077aed3SPierre Pronchery     if ((p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_SECRET)) != NULL
475*b077aed3SPierre Pronchery         || (p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_KEY)) != NULL)
476*b077aed3SPierre Pronchery         if (!sskdf_set_buffer(&ctx->secret, &ctx->secret_len, p))
477*b077aed3SPierre Pronchery             return 0;
478*b077aed3SPierre Pronchery 
479*b077aed3SPierre Pronchery     if ((p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_INFO)) != NULL)
480*b077aed3SPierre Pronchery         if (!sskdf_set_buffer(&ctx->info, &ctx->info_len, p))
481*b077aed3SPierre Pronchery             return 0;
482*b077aed3SPierre Pronchery 
483*b077aed3SPierre Pronchery     if ((p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_SALT)) != NULL)
484*b077aed3SPierre Pronchery         if (!sskdf_set_buffer(&ctx->salt, &ctx->salt_len, p))
485*b077aed3SPierre Pronchery             return 0;
486*b077aed3SPierre Pronchery 
487*b077aed3SPierre Pronchery     if ((p = OSSL_PARAM_locate_const(params, OSSL_KDF_PARAM_MAC_SIZE))
488*b077aed3SPierre Pronchery         != NULL) {
489*b077aed3SPierre Pronchery         if (!OSSL_PARAM_get_size_t(p, &sz) || sz == 0)
490*b077aed3SPierre Pronchery             return 0;
491*b077aed3SPierre Pronchery         ctx->out_len = sz;
492*b077aed3SPierre Pronchery     }
493*b077aed3SPierre Pronchery     return 1;
494*b077aed3SPierre Pronchery }
495*b077aed3SPierre Pronchery 
sskdf_settable_ctx_params(ossl_unused void * ctx,ossl_unused void * provctx)496*b077aed3SPierre Pronchery static const OSSL_PARAM *sskdf_settable_ctx_params(ossl_unused void *ctx,
497*b077aed3SPierre Pronchery                                                    ossl_unused void *provctx)
498*b077aed3SPierre Pronchery {
499*b077aed3SPierre Pronchery     static const OSSL_PARAM known_settable_ctx_params[] = {
500*b077aed3SPierre Pronchery         OSSL_PARAM_octet_string(OSSL_KDF_PARAM_SECRET, NULL, 0),
501*b077aed3SPierre Pronchery         OSSL_PARAM_octet_string(OSSL_KDF_PARAM_KEY, NULL, 0),
502*b077aed3SPierre Pronchery         OSSL_PARAM_octet_string(OSSL_KDF_PARAM_INFO, NULL, 0),
503*b077aed3SPierre Pronchery         OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_PROPERTIES, NULL, 0),
504*b077aed3SPierre Pronchery         OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_DIGEST, NULL, 0),
505*b077aed3SPierre Pronchery         OSSL_PARAM_utf8_string(OSSL_KDF_PARAM_MAC, NULL, 0),
506*b077aed3SPierre Pronchery         OSSL_PARAM_octet_string(OSSL_KDF_PARAM_SALT, NULL, 0),
507*b077aed3SPierre Pronchery         OSSL_PARAM_size_t(OSSL_KDF_PARAM_MAC_SIZE, NULL),
508*b077aed3SPierre Pronchery         OSSL_PARAM_END
509*b077aed3SPierre Pronchery     };
510*b077aed3SPierre Pronchery     return known_settable_ctx_params;
511*b077aed3SPierre Pronchery }
512*b077aed3SPierre Pronchery 
sskdf_get_ctx_params(void * vctx,OSSL_PARAM params[])513*b077aed3SPierre Pronchery static int sskdf_get_ctx_params(void *vctx, OSSL_PARAM params[])
514*b077aed3SPierre Pronchery {
515*b077aed3SPierre Pronchery     KDF_SSKDF *ctx = (KDF_SSKDF *)vctx;
516*b077aed3SPierre Pronchery     OSSL_PARAM *p;
517*b077aed3SPierre Pronchery 
518*b077aed3SPierre Pronchery     if ((p = OSSL_PARAM_locate(params, OSSL_KDF_PARAM_SIZE)) != NULL)
519*b077aed3SPierre Pronchery         return OSSL_PARAM_set_size_t(p, sskdf_size(ctx));
520*b077aed3SPierre Pronchery     return -2;
521*b077aed3SPierre Pronchery }
522*b077aed3SPierre Pronchery 
sskdf_gettable_ctx_params(ossl_unused void * ctx,ossl_unused void * provctx)523*b077aed3SPierre Pronchery static const OSSL_PARAM *sskdf_gettable_ctx_params(ossl_unused void *ctx,
524*b077aed3SPierre Pronchery                                                    ossl_unused void *provctx)
525*b077aed3SPierre Pronchery {
526*b077aed3SPierre Pronchery     static const OSSL_PARAM known_gettable_ctx_params[] = {
527*b077aed3SPierre Pronchery         OSSL_PARAM_size_t(OSSL_KDF_PARAM_SIZE, NULL),
528*b077aed3SPierre Pronchery         OSSL_PARAM_END
529*b077aed3SPierre Pronchery     };
530*b077aed3SPierre Pronchery     return known_gettable_ctx_params;
531*b077aed3SPierre Pronchery }
532*b077aed3SPierre Pronchery 
533*b077aed3SPierre Pronchery const OSSL_DISPATCH ossl_kdf_sskdf_functions[] = {
534*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_NEWCTX, (void(*)(void))sskdf_new },
535*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_FREECTX, (void(*)(void))sskdf_free },
536*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_RESET, (void(*)(void))sskdf_reset },
537*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_DERIVE, (void(*)(void))sskdf_derive },
538*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_SETTABLE_CTX_PARAMS,
539*b077aed3SPierre Pronchery       (void(*)(void))sskdf_settable_ctx_params },
540*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_SET_CTX_PARAMS, (void(*)(void))sskdf_set_ctx_params },
541*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_GETTABLE_CTX_PARAMS,
542*b077aed3SPierre Pronchery       (void(*)(void))sskdf_gettable_ctx_params },
543*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_GET_CTX_PARAMS, (void(*)(void))sskdf_get_ctx_params },
544*b077aed3SPierre Pronchery     { 0, NULL }
545*b077aed3SPierre Pronchery };
546*b077aed3SPierre Pronchery 
547*b077aed3SPierre Pronchery const OSSL_DISPATCH ossl_kdf_x963_kdf_functions[] = {
548*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_NEWCTX, (void(*)(void))sskdf_new },
549*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_FREECTX, (void(*)(void))sskdf_free },
550*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_RESET, (void(*)(void))sskdf_reset },
551*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_DERIVE, (void(*)(void))x963kdf_derive },
552*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_SETTABLE_CTX_PARAMS,
553*b077aed3SPierre Pronchery       (void(*)(void))sskdf_settable_ctx_params },
554*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_SET_CTX_PARAMS, (void(*)(void))sskdf_set_ctx_params },
555*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_GETTABLE_CTX_PARAMS,
556*b077aed3SPierre Pronchery       (void(*)(void))sskdf_gettable_ctx_params },
557*b077aed3SPierre Pronchery     { OSSL_FUNC_KDF_GET_CTX_PARAMS, (void(*)(void))sskdf_get_ctx_params },
558*b077aed3SPierre Pronchery     { 0, NULL }
559*b077aed3SPierre Pronchery };
560