xref: /openbsd-src/lib/libcrypto/hkdf/hkdf.c (revision 3383911536e8b73bbe9001590b60f1791fc92a3d)
1*33839115Sjsing /* $OpenBSD: hkdf.c,v 1.11 2024/03/25 13:09:13 jsing Exp $ */
2*33839115Sjsing /*
3*33839115Sjsing  * Copyright (c) 2014, Google Inc.
41eb0ad50Sbeck  *
51eb0ad50Sbeck  * Permission to use, copy, modify, and/or distribute this software for any
61eb0ad50Sbeck  * purpose with or without fee is hereby granted, provided that the above
71eb0ad50Sbeck  * copyright notice and this permission notice appear in all copies.
81eb0ad50Sbeck  *
91eb0ad50Sbeck  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
101eb0ad50Sbeck  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
111eb0ad50Sbeck  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
121eb0ad50Sbeck  * SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
131eb0ad50Sbeck  * WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
141eb0ad50Sbeck  * OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
151eb0ad50Sbeck  * CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
161eb0ad50Sbeck  */
171eb0ad50Sbeck 
181eb0ad50Sbeck #include <openssl/hkdf.h>
191eb0ad50Sbeck 
201eb0ad50Sbeck #include <string.h>
211eb0ad50Sbeck 
221eb0ad50Sbeck #include <openssl/err.h>
231eb0ad50Sbeck #include <openssl/hmac.h>
241eb0ad50Sbeck 
25*33839115Sjsing #include "bytestring.h"
26c9675a23Stb #include "evp_local.h"
275c9543a2Stb #include "hmac_local.h"
285c9543a2Stb 
291eb0ad50Sbeck /* https://tools.ietf.org/html/rfc5869#section-2 */
301eb0ad50Sbeck int
HKDF(uint8_t * out_key,size_t out_len,const EVP_MD * digest,const uint8_t * secret,size_t secret_len,const uint8_t * salt,size_t salt_len,const uint8_t * info,size_t info_len)311eb0ad50Sbeck HKDF(uint8_t *out_key, size_t out_len, const EVP_MD *digest,
321eb0ad50Sbeck     const uint8_t *secret, size_t secret_len, const uint8_t *salt,
331eb0ad50Sbeck     size_t salt_len, const uint8_t *info, size_t info_len)
341eb0ad50Sbeck {
351eb0ad50Sbeck 	uint8_t prk[EVP_MAX_MD_SIZE];
361eb0ad50Sbeck 	size_t prk_len;
371eb0ad50Sbeck 
381eb0ad50Sbeck 	if (!HKDF_extract(prk, &prk_len, digest, secret, secret_len, salt,
391eb0ad50Sbeck 	    salt_len))
401eb0ad50Sbeck 		return 0;
411eb0ad50Sbeck 	if (!HKDF_expand(out_key, out_len, digest, prk, prk_len, info,
421eb0ad50Sbeck 	    info_len))
431eb0ad50Sbeck 		return 0;
441eb0ad50Sbeck 
451eb0ad50Sbeck 	return 1;
461eb0ad50Sbeck }
47ea2baf45Sbeck LCRYPTO_ALIAS(HKDF);
481eb0ad50Sbeck 
491eb0ad50Sbeck /* https://tools.ietf.org/html/rfc5869#section-2.2 */
501eb0ad50Sbeck int
HKDF_extract(uint8_t * out_key,size_t * out_len,const EVP_MD * digest,const uint8_t * secret,size_t secret_len,const uint8_t * salt,size_t salt_len)511eb0ad50Sbeck HKDF_extract(uint8_t *out_key, size_t *out_len,
521eb0ad50Sbeck     const EVP_MD *digest, const uint8_t *secret, size_t secret_len,
531eb0ad50Sbeck     const uint8_t *salt, size_t salt_len)
541eb0ad50Sbeck {
551eb0ad50Sbeck 	unsigned int len;
561eb0ad50Sbeck 
571eb0ad50Sbeck 	/*
584855ec32Stim 	 * If salt is not given, HashLength zeros are used. However, HMAC does
594855ec32Stim 	 * that internally already so we can ignore it.
601eb0ad50Sbeck 	 */
611eb0ad50Sbeck 	if (HMAC(digest, salt, salt_len, secret, secret_len, out_key, &len) ==
621eb0ad50Sbeck 	    NULL) {
631eb0ad50Sbeck 		CRYPTOerror(ERR_R_CRYPTO_LIB);
641eb0ad50Sbeck 		return 0;
651eb0ad50Sbeck 	}
661eb0ad50Sbeck 	*out_len = len;
671eb0ad50Sbeck 	return 1;
681eb0ad50Sbeck }
69ea2baf45Sbeck LCRYPTO_ALIAS(HKDF_extract);
701eb0ad50Sbeck 
711eb0ad50Sbeck /* https://tools.ietf.org/html/rfc5869#section-2.3 */
721eb0ad50Sbeck int
HKDF_expand(uint8_t * out_key,size_t out_len,const EVP_MD * digest,const uint8_t * prk,size_t prk_len,const uint8_t * info,size_t info_len)731eb0ad50Sbeck HKDF_expand(uint8_t *out_key, size_t out_len,
741eb0ad50Sbeck     const EVP_MD *digest, const uint8_t *prk, size_t prk_len,
751eb0ad50Sbeck     const uint8_t *info, size_t info_len)
761eb0ad50Sbeck {
771eb0ad50Sbeck 	const size_t digest_len = EVP_MD_size(digest);
78*33839115Sjsing 	uint8_t out_hmac[EVP_MAX_MD_SIZE];
79*33839115Sjsing 	size_t n, remaining;
80*33839115Sjsing 	uint8_t ctr;
81*33839115Sjsing 	HMAC_CTX *hmac = NULL;
82*33839115Sjsing 	CBB cbb;
831eb0ad50Sbeck 	int ret = 0;
84*33839115Sjsing 
85*33839115Sjsing 	if (!CBB_init_fixed(&cbb, out_key, out_len))
86*33839115Sjsing 		goto err;
87*33839115Sjsing 
88*33839115Sjsing 	if ((hmac = HMAC_CTX_new()) == NULL)
89*33839115Sjsing 		goto err;
90*33839115Sjsing 	if (!HMAC_Init_ex(hmac, prk, prk_len, digest, NULL))
91*33839115Sjsing 		goto err;
92*33839115Sjsing 
93*33839115Sjsing 	remaining = out_len;
94*33839115Sjsing 	ctr = 0;
951eb0ad50Sbeck 
961eb0ad50Sbeck 	/* Expand key material to desired length. */
97*33839115Sjsing 	while (remaining > 0) {
98*33839115Sjsing 		if (++ctr == 0) {
991eb0ad50Sbeck 			CRYPTOerror(EVP_R_TOO_LARGE);
100*33839115Sjsing 			goto err;
1011eb0ad50Sbeck 		}
1021eb0ad50Sbeck 
103*33839115Sjsing 		if (!HMAC_Update(hmac, info, info_len))
104*33839115Sjsing 			goto err;
105*33839115Sjsing 		if (!HMAC_Update(hmac, &ctr, 1))
106*33839115Sjsing 			goto err;
107*33839115Sjsing 		if (!HMAC_Final(hmac, out_hmac, NULL))
108*33839115Sjsing 			goto err;
1091eb0ad50Sbeck 
110*33839115Sjsing 		if ((n = remaining) > digest_len)
111*33839115Sjsing 			n = digest_len;
1121eb0ad50Sbeck 
113*33839115Sjsing 		if (!CBB_add_bytes(&cbb, out_hmac, n))
114*33839115Sjsing 			goto err;
1151eb0ad50Sbeck 
116*33839115Sjsing 		remaining -= n;
1171eb0ad50Sbeck 
118*33839115Sjsing 		if (remaining > 0) {
119*33839115Sjsing 			if (!HMAC_Init_ex(hmac, NULL, 0, NULL, NULL))
120*33839115Sjsing 				goto err;
121*33839115Sjsing 			if (!HMAC_Update(hmac, out_hmac, digest_len))
122*33839115Sjsing 				goto err;
123*33839115Sjsing 		}
1241eb0ad50Sbeck 	}
1251eb0ad50Sbeck 
1261eb0ad50Sbeck 	ret = 1;
1271eb0ad50Sbeck 
128*33839115Sjsing  err:
129*33839115Sjsing 	CBB_cleanup(&cbb);
130*33839115Sjsing 	HMAC_CTX_free(hmac);
131*33839115Sjsing 	explicit_bzero(out_hmac, sizeof(out_hmac));
132*33839115Sjsing 
1331eb0ad50Sbeck 	return ret;
1341eb0ad50Sbeck }
135ea2baf45Sbeck LCRYPTO_ALIAS(HKDF_expand);
136