blob: 5152d81f10175b08d53b8a1a21fc76cb3fc3271c [file] [log] [blame]
Hanno Becker87837b22018-11-08 13:32:02 +00001/**
Hanno Beckerafebf5a2018-11-13 21:01:41 +00002 * \file psa_util.h
Hanno Becker87837b22018-11-08 13:32:02 +00003 *
4 * \brief Utility functions for the use of the PSA Crypto library.
5 *
Manuel Pégourié-Gonnard2be8c632023-06-07 13:07:21 +02006 * \warning These functions are not part of the public API and may
Hanno Becker87837b22018-11-08 13:32:02 +00007 * change at any time.
8 */
9/*
Bence Szépkúti1e148272020-08-07 13:07:28 +020010 * Copyright The Mbed TLS Contributors
Hanno Becker87837b22018-11-08 13:32:02 +000011 * SPDX-License-Identifier: Apache-2.0
12 *
13 * Licensed under the Apache License, Version 2.0 (the "License"); you may
14 * not use this file except in compliance with the License.
15 * You may obtain a copy of the License at
16 *
17 * http://www.apache.org/licenses/LICENSE-2.0
18 *
19 * Unless required by applicable law or agreed to in writing, software
20 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
21 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
22 * See the License for the specific language governing permissions and
23 * limitations under the License.
Hanno Becker87837b22018-11-08 13:32:02 +000024 */
25
Hanno Becker186b65a2018-11-19 15:14:21 +000026#ifndef MBEDTLS_PSA_UTIL_H
27#define MBEDTLS_PSA_UTIL_H
Mateusz Starzyk846f0212021-05-19 19:44:07 +020028#include "mbedtls/private_access.h"
Hanno Becker87837b22018-11-08 13:32:02 +000029
Bence Szépkútic662b362021-05-27 11:25:03 +020030#include "mbedtls/build_info.h"
Hanno Becker87837b22018-11-08 13:32:02 +000031
Manuel Pégourié-Gonnard1c32e372023-03-28 11:57:09 +020032#include "mbedtls/platform_util.h"
33
Jerry Yub02ee182022-03-16 10:30:41 +080034#if defined(MBEDTLS_PSA_CRYPTO_C)
Hanno Becker87837b22018-11-08 13:32:02 +000035
36#include "psa/crypto.h"
37
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010038#include "mbedtls/ecp.h"
39#include "mbedtls/md.h"
40#include "mbedtls/pk.h"
41#include "mbedtls/oid.h"
TRodziewicz3408d602021-04-21 13:25:25 +020042#include "mbedtls/error.h"
Hanno Beckerf75f9122019-01-07 15:36:51 +000043#include <string.h>
44
Hanno Becker55251262018-11-12 09:29:12 +000045/* Translations for ECC. */
46
Hanno Becker812e1242019-02-01 10:06:51 +000047static inline int mbedtls_psa_get_ecc_oid_from_id(
Paul Elliott8ff510a2020-06-02 17:19:28 +010048 psa_ecc_family_t curve, size_t bits,
Gilles Peskine449bd832023-01-11 14:50:10 +010049 char const **oid, size_t *oid_len)
Hanno Becker812e1242019-02-01 10:06:51 +000050{
Gilles Peskine449bd832023-01-11 14:50:10 +010051 switch (curve) {
Paul Elliott8ff510a2020-06-02 17:19:28 +010052 case PSA_ECC_FAMILY_SECP_R1:
Gilles Peskine449bd832023-01-11 14:50:10 +010053 switch (bits) {
Hanno Becker812e1242019-02-01 10:06:51 +000054#if defined(MBEDTLS_ECP_DP_SECP192R1_ENABLED)
Gilles Peskine89177e82019-12-03 21:19:09 +010055 case 192:
56 *oid = MBEDTLS_OID_EC_GRP_SECP192R1;
Gilles Peskine449bd832023-01-11 14:50:10 +010057 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP192R1);
58 return 0;
Hanno Becker812e1242019-02-01 10:06:51 +000059#endif /* MBEDTLS_ECP_DP_SECP192R1_ENABLED */
60#if defined(MBEDTLS_ECP_DP_SECP224R1_ENABLED)
Gilles Peskine89177e82019-12-03 21:19:09 +010061 case 224:
62 *oid = MBEDTLS_OID_EC_GRP_SECP224R1;
Gilles Peskine449bd832023-01-11 14:50:10 +010063 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP224R1);
64 return 0;
Hanno Becker812e1242019-02-01 10:06:51 +000065#endif /* MBEDTLS_ECP_DP_SECP224R1_ENABLED */
66#if defined(MBEDTLS_ECP_DP_SECP256R1_ENABLED)
Gilles Peskine89177e82019-12-03 21:19:09 +010067 case 256:
68 *oid = MBEDTLS_OID_EC_GRP_SECP256R1;
Gilles Peskine449bd832023-01-11 14:50:10 +010069 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP256R1);
70 return 0;
Hanno Becker812e1242019-02-01 10:06:51 +000071#endif /* MBEDTLS_ECP_DP_SECP256R1_ENABLED */
72#if defined(MBEDTLS_ECP_DP_SECP384R1_ENABLED)
Gilles Peskine89177e82019-12-03 21:19:09 +010073 case 384:
74 *oid = MBEDTLS_OID_EC_GRP_SECP384R1;
Gilles Peskine449bd832023-01-11 14:50:10 +010075 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP384R1);
76 return 0;
Hanno Becker812e1242019-02-01 10:06:51 +000077#endif /* MBEDTLS_ECP_DP_SECP384R1_ENABLED */
78#if defined(MBEDTLS_ECP_DP_SECP521R1_ENABLED)
Gilles Peskine89177e82019-12-03 21:19:09 +010079 case 521:
80 *oid = MBEDTLS_OID_EC_GRP_SECP521R1;
Gilles Peskine449bd832023-01-11 14:50:10 +010081 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP521R1);
82 return 0;
Hanno Becker812e1242019-02-01 10:06:51 +000083#endif /* MBEDTLS_ECP_DP_SECP521R1_ENABLED */
Gilles Peskine89177e82019-12-03 21:19:09 +010084 }
85 break;
Paul Elliott8ff510a2020-06-02 17:19:28 +010086 case PSA_ECC_FAMILY_SECP_K1:
Gilles Peskine449bd832023-01-11 14:50:10 +010087 switch (bits) {
Hanno Becker812e1242019-02-01 10:06:51 +000088#if defined(MBEDTLS_ECP_DP_SECP192K1_ENABLED)
Gilles Peskine89177e82019-12-03 21:19:09 +010089 case 192:
90 *oid = MBEDTLS_OID_EC_GRP_SECP192K1;
Gilles Peskine449bd832023-01-11 14:50:10 +010091 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP192K1);
92 return 0;
Hanno Becker812e1242019-02-01 10:06:51 +000093#endif /* MBEDTLS_ECP_DP_SECP192K1_ENABLED */
94#if defined(MBEDTLS_ECP_DP_SECP224K1_ENABLED)
Gilles Peskine89177e82019-12-03 21:19:09 +010095 case 224:
96 *oid = MBEDTLS_OID_EC_GRP_SECP224K1;
Gilles Peskine449bd832023-01-11 14:50:10 +010097 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP224K1);
98 return 0;
Hanno Becker812e1242019-02-01 10:06:51 +000099#endif /* MBEDTLS_ECP_DP_SECP224K1_ENABLED */
100#if defined(MBEDTLS_ECP_DP_SECP256K1_ENABLED)
Gilles Peskine89177e82019-12-03 21:19:09 +0100101 case 256:
102 *oid = MBEDTLS_OID_EC_GRP_SECP256K1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100103 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP256K1);
104 return 0;
Hanno Becker812e1242019-02-01 10:06:51 +0000105#endif /* MBEDTLS_ECP_DP_SECP256K1_ENABLED */
Gilles Peskine89177e82019-12-03 21:19:09 +0100106 }
107 break;
Paul Elliott8ff510a2020-06-02 17:19:28 +0100108 case PSA_ECC_FAMILY_BRAINPOOL_P_R1:
Gilles Peskine449bd832023-01-11 14:50:10 +0100109 switch (bits) {
Hanno Becker812e1242019-02-01 10:06:51 +0000110#if defined(MBEDTLS_ECP_DP_BP256R1_ENABLED)
Gilles Peskine89177e82019-12-03 21:19:09 +0100111 case 256:
112 *oid = MBEDTLS_OID_EC_GRP_BP256R1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100113 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_BP256R1);
114 return 0;
Hanno Becker812e1242019-02-01 10:06:51 +0000115#endif /* MBEDTLS_ECP_DP_BP256R1_ENABLED */
116#if defined(MBEDTLS_ECP_DP_BP384R1_ENABLED)
Gilles Peskine89177e82019-12-03 21:19:09 +0100117 case 384:
118 *oid = MBEDTLS_OID_EC_GRP_BP384R1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100119 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_BP384R1);
120 return 0;
Hanno Becker812e1242019-02-01 10:06:51 +0000121#endif /* MBEDTLS_ECP_DP_BP384R1_ENABLED */
122#if defined(MBEDTLS_ECP_DP_BP512R1_ENABLED)
Gilles Peskine89177e82019-12-03 21:19:09 +0100123 case 512:
124 *oid = MBEDTLS_OID_EC_GRP_BP512R1;
Gilles Peskine449bd832023-01-11 14:50:10 +0100125 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_BP512R1);
126 return 0;
Hanno Becker812e1242019-02-01 10:06:51 +0000127#endif /* MBEDTLS_ECP_DP_BP512R1_ENABLED */
Gilles Peskine89177e82019-12-03 21:19:09 +0100128 }
129 break;
valerio64e01842023-05-31 12:02:43 +0200130 case PSA_ECC_FAMILY_MONTGOMERY:
131 switch (bits) {
132#if defined(MBEDTLS_ECP_DP_CURVE25519_ENABLED)
133 case 255:
134 *oid = MBEDTLS_OID_X25519;
135 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_X25519);
136 return 0;
137#endif /* MBEDTLS_ECP_DP_CURVE25519_ENABLED */
138#if defined(MBEDTLS_ECP_DP_CURVE448_ENABLED)
139 case 448:
140 *oid = MBEDTLS_OID_X448;
141 *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_X448);
142 return 0;
143#endif /* MBEDTLS_ECP_DP_CURVE448_ENABLED */
144 }
145 break;
Hanno Becker812e1242019-02-01 10:06:51 +0000146 }
Gilles Peskine89177e82019-12-03 21:19:09 +0100147 (void) oid;
148 (void) oid_len;
Gilles Peskine449bd832023-01-11 14:50:10 +0100149 return -1;
Hanno Becker812e1242019-02-01 10:06:51 +0000150}
151
Manuel Pégourié-Gonnard59753762022-01-18 11:52:11 +0100152#define MBEDTLS_PSA_MAX_EC_PUBKEY_LENGTH \
Gilles Peskine449bd832023-01-11 14:50:10 +0100153 PSA_KEY_EXPORT_ECC_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS)
Hanno Beckerdf51dbe2019-02-18 16:41:55 +0000154
Valerio Setti1337a4f2023-01-30 15:54:55 +0100155#define MBEDTLS_PSA_MAX_EC_KEY_PAIR_LENGTH \
156 PSA_KEY_EXPORT_ECC_KEY_PAIR_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS)
157
Przemek Stekielcceb9332023-05-18 14:31:10 +0200158#define MBEDTLS_PSA_MAX_FFDH_PUBKEY_LENGTH \
159 PSA_KEY_EXPORT_FFDH_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_FFDH_MAX_KEY_BITS)
160
Gilles Peskinee3ed8022021-02-03 20:04:08 +0100161/* Expose whatever RNG the PSA subsystem uses to applications using the
Gilles Peskine996f2162021-02-16 16:50:00 +0100162 * mbedtls_xxx API. The declarations and definitions here need to be
163 * consistent with the implementation in library/psa_crypto_random_impl.h.
164 * See that file for implementation documentation. */
Jerry Yu406cf272022-03-22 11:33:42 +0800165
Gilles Peskinee3ed8022021-02-03 20:04:08 +0100166
167/* The type of a `f_rng` random generator function that many library functions
168 * take.
169 *
170 * This type name is not part of the Mbed TLS stable API. It may be renamed
171 * or moved without warning.
172 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100173typedef int mbedtls_f_rng_t(void *p_rng, unsigned char *output, size_t output_size);
Gilles Peskinee3ed8022021-02-03 20:04:08 +0100174
175#if defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG)
176
177/** The random generator function for the PSA subsystem.
178 *
179 * This function is suitable as the `f_rng` random generator function
Gilles Peskine2cff7e22021-02-16 16:49:42 +0100180 * parameter of many `mbedtls_xxx` functions. Use #MBEDTLS_PSA_RANDOM_STATE
181 * to obtain the \p p_rng parameter.
Gilles Peskinee3ed8022021-02-03 20:04:08 +0100182 *
183 * The implementation of this function depends on the configuration of the
184 * library.
Gilles Peskine2cff7e22021-02-16 16:49:42 +0100185 *
Gilles Peskinee3ed8022021-02-03 20:04:08 +0100186 * \note Depending on the configuration, this may be a function or
187 * a pointer to a function.
188 *
189 * \note This function may only be used if the PSA crypto subsystem is active.
190 * This means that you must call psa_crypto_init() before any call to
191 * this function, and you must not call this function after calling
192 * mbedtls_psa_crypto_free().
193 *
194 * \param p_rng The random generator context. This must be
195 * #MBEDTLS_PSA_RANDOM_STATE. No other state is
196 * supported.
197 * \param output The buffer to fill. It must have room for
198 * \c output_size bytes.
199 * \param output_size The number of bytes to write to \p output.
200 * This function may fail if \p output_size is too
201 * large. It is guaranteed to accept any output size
202 * requested by Mbed TLS library functions. The
203 * maximum request size depends on the library
204 * configuration.
205 *
206 * \return \c 0 on success.
207 * \return An `MBEDTLS_ERR_ENTROPY_xxx`,
Gilles Peskine2cff7e22021-02-16 16:49:42 +0100208 * `MBEDTLS_ERR_PLATFORM_xxx,
Gilles Peskinee3ed8022021-02-03 20:04:08 +0100209 * `MBEDTLS_ERR_CTR_DRBG_xxx` or
210 * `MBEDTLS_ERR_HMAC_DRBG_xxx` on error.
211 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100212int mbedtls_psa_get_random(void *p_rng,
213 unsigned char *output,
214 size_t output_size);
Gilles Peskinee3ed8022021-02-03 20:04:08 +0100215
216/** The random generator state for the PSA subsystem.
217 *
218 * This macro expands to an expression which is suitable as the `p_rng`
219 * random generator state parameter of many `mbedtls_xxx` functions.
220 * It must be used in combination with the random generator function
221 * mbedtls_psa_get_random().
222 *
223 * The implementation of this macro depends on the configuration of the
224 * library. Do not make any assumption on its nature.
225 */
226#define MBEDTLS_PSA_RANDOM_STATE NULL
227
228#else /* !defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) */
229
230#if defined(MBEDTLS_CTR_DRBG_C)
231#include "mbedtls/ctr_drbg.h"
232typedef mbedtls_ctr_drbg_context mbedtls_psa_drbg_context_t;
233static mbedtls_f_rng_t *const mbedtls_psa_get_random = mbedtls_ctr_drbg_random;
234#elif defined(MBEDTLS_HMAC_DRBG_C)
235#include "mbedtls/hmac_drbg.h"
236typedef mbedtls_hmac_drbg_context mbedtls_psa_drbg_context_t;
237static mbedtls_f_rng_t *const mbedtls_psa_get_random = mbedtls_hmac_drbg_random;
238#endif
239extern mbedtls_psa_drbg_context_t *const mbedtls_psa_random_state;
240
241#define MBEDTLS_PSA_RANDOM_STATE mbedtls_psa_random_state
242
243#endif /* !defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) */
244
Andrzej Kurek747ab4e2023-02-28 10:32:47 -0500245typedef struct {
Gilles Peskineb567f832023-05-02 21:38:11 +0200246 /* Error codes used by PSA crypto are in -255..-128, fitting in 16 bits. */
247 int16_t psa_status;
248 /* Error codes used by Mbed TLS are in one of the ranges
Gilles Peskine4837e9d2023-05-07 20:27:13 +0200249 * -127..-1 (low-level) or -32767..-4096 (high-level with a low-level
250 * code optionally added), fitting in 16 bits. */
Andrzej Kurek747ab4e2023-02-28 10:32:47 -0500251 int16_t mbedtls_error;
Andrzej Kurek270b3f92023-03-03 05:54:13 -0500252} mbedtls_error_pair_t;
Andrzej Kurek747ab4e2023-02-28 10:32:47 -0500253
Manuel Pégourié-Gonnard725d2e22023-03-29 12:38:37 +0200254#if defined(MBEDTLS_MD_LIGHT)
Andrzej Kurek270b3f92023-03-03 05:54:13 -0500255extern const mbedtls_error_pair_t psa_to_md_errors[4];
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500256#endif
Gilles Peskinee3ed8022021-02-03 20:04:08 +0100257
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500258#if defined(MBEDTLS_LMS_C)
Andrzej Kurek270b3f92023-03-03 05:54:13 -0500259extern const mbedtls_error_pair_t psa_to_lms_errors[3];
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500260#endif
261
262#if defined(MBEDTLS_USE_PSA_CRYPTO) || defined(MBEDTLS_SSL_PROTO_TLS1_3)
Andrzej Kurek270b3f92023-03-03 05:54:13 -0500263extern const mbedtls_error_pair_t psa_to_ssl_errors[7];
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500264#endif
265
266#if defined(PSA_WANT_KEY_TYPE_RSA_PUBLIC_KEY) || \
Valerio Setti8bb57632023-05-26 13:48:07 +0200267 defined(MBEDTLS_PSA_WANT_KEY_TYPE_RSA_KEY_PAIR_LEGACY)
Andrzej Kurek270b3f92023-03-03 05:54:13 -0500268extern const mbedtls_error_pair_t psa_to_pk_rsa_errors[8];
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500269#endif
270
271#if defined(MBEDTLS_USE_PSA_CRYPTO) && \
272 defined(PSA_WANT_KEY_TYPE_ECC_PUBLIC_KEY)
Andrzej Kurek270b3f92023-03-03 05:54:13 -0500273extern const mbedtls_error_pair_t psa_to_pk_ecdsa_errors[7];
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500274#endif
275
Andrzej Kurek138b30a2023-02-28 10:06:42 -0500276/* Generic fallback function for error translation,
277 * when the received state was not module-specific. */
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500278int psa_generic_status_to_mbedtls(psa_status_t status);
279
Andrzej Kurek138b30a2023-02-28 10:06:42 -0500280/* This function iterates over provided local error translations,
281 * and if no match was found - calls the fallback error translation function. */
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500282int psa_status_to_mbedtls(psa_status_t status,
Andrzej Kurek270b3f92023-03-03 05:54:13 -0500283 const mbedtls_error_pair_t *local_translations,
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500284 size_t local_errors_num,
285 int (*fallback_f)(psa_status_t));
286
Andrzej Kurek138b30a2023-02-28 10:06:42 -0500287/* The second out of three-stage error handling functions of the pk module,
288 * acts as a fallback after RSA / ECDSA error translation, and if no match
289 * is found, it itself calls psa_generic_status_to_mbedtls. */
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500290int psa_pk_status_to_mbedtls(psa_status_t status);
291
Andrzej Kurek138b30a2023-02-28 10:06:42 -0500292/* Utility macro to shorten the defines of error translator in modules. */
Valerio Settiab9dc662023-03-27 14:02:08 +0200293#define PSA_TO_MBEDTLS_ERR_LIST(status, error_list, fallback_f) \
294 psa_status_to_mbedtls(status, error_list, \
295 sizeof(error_list)/sizeof(error_list[0]), \
296 fallback_f)
Andrzej Kurek8a045ce2022-12-23 11:00:06 -0500297
298#endif /* MBEDTLS_PSA_CRYPTO_C */
Hanno Becker186b65a2018-11-19 15:14:21 +0000299#endif /* MBEDTLS_PSA_UTIL_H */