Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 1 | /** |
Hanno Becker | afebf5a | 2018-11-13 21:01:41 +0000 | [diff] [blame] | 2 | * \file psa_util.h |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 3 | * |
| 4 | * \brief Utility functions for the use of the PSA Crypto library. |
| 5 | * |
| 6 | * \warning This function is not part of the public API and may |
| 7 | * change at any time. |
| 8 | */ |
| 9 | /* |
Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 10 | * Copyright The Mbed TLS Contributors |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 11 | * 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 Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 24 | */ |
| 25 | |
Hanno Becker | 186b65a | 2018-11-19 15:14:21 +0000 | [diff] [blame] | 26 | #ifndef MBEDTLS_PSA_UTIL_H |
| 27 | #define MBEDTLS_PSA_UTIL_H |
Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 28 | #include "mbedtls/private_access.h" |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 29 | |
Bence Szépkúti | c662b36 | 2021-05-27 11:25:03 +0200 | [diff] [blame] | 30 | #include "mbedtls/build_info.h" |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 31 | |
Manuel Pégourié-Gonnard | 1c32e37 | 2023-03-28 11:57:09 +0200 | [diff] [blame] | 32 | #include "mbedtls/platform_util.h" |
| 33 | |
Jerry Yu | b02ee18 | 2022-03-16 10:30:41 +0800 | [diff] [blame] | 34 | #if defined(MBEDTLS_PSA_CRYPTO_C) |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 35 | |
| 36 | #include "psa/crypto.h" |
| 37 | |
Jaeden Amero | c49fbbf | 2019-07-04 20:01:14 +0100 | [diff] [blame] | 38 | #include "mbedtls/ecp.h" |
| 39 | #include "mbedtls/md.h" |
| 40 | #include "mbedtls/pk.h" |
| 41 | #include "mbedtls/oid.h" |
TRodziewicz | 3408d60 | 2021-04-21 13:25:25 +0200 | [diff] [blame] | 42 | #include "mbedtls/error.h" |
Hanno Becker | 87837b2 | 2018-11-08 13:32:02 +0000 | [diff] [blame] | 43 | |
Hanno Becker | f75f912 | 2019-01-07 15:36:51 +0000 | [diff] [blame] | 44 | #include <string.h> |
| 45 | |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 46 | /* Translations for symmetric crypto. */ |
| 47 | |
Hanno Becker | b26c193 | 2018-11-12 10:18:57 +0000 | [diff] [blame] | 48 | static inline psa_key_type_t mbedtls_psa_translate_cipher_type( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 49 | mbedtls_cipher_type_t cipher) |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 50 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 51 | switch (cipher) { |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 52 | case MBEDTLS_CIPHER_AES_128_CCM: |
| 53 | case MBEDTLS_CIPHER_AES_192_CCM: |
| 54 | case MBEDTLS_CIPHER_AES_256_CCM: |
Mateusz Starzyk | a706e5e | 2021-10-28 17:59:06 +0200 | [diff] [blame] | 55 | case MBEDTLS_CIPHER_AES_128_CCM_STAR_NO_TAG: |
| 56 | case MBEDTLS_CIPHER_AES_192_CCM_STAR_NO_TAG: |
| 57 | case MBEDTLS_CIPHER_AES_256_CCM_STAR_NO_TAG: |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 58 | case MBEDTLS_CIPHER_AES_128_GCM: |
| 59 | case MBEDTLS_CIPHER_AES_192_GCM: |
| 60 | case MBEDTLS_CIPHER_AES_256_GCM: |
| 61 | case MBEDTLS_CIPHER_AES_128_CBC: |
| 62 | case MBEDTLS_CIPHER_AES_192_CBC: |
| 63 | case MBEDTLS_CIPHER_AES_256_CBC: |
Przemyslaw Stekiel | 80c6a8e | 2021-09-29 12:13:11 +0200 | [diff] [blame] | 64 | case MBEDTLS_CIPHER_AES_128_ECB: |
Przemyslaw Stekiel | 86de1b7 | 2021-09-29 19:43:40 +0200 | [diff] [blame] | 65 | case MBEDTLS_CIPHER_AES_192_ECB: |
| 66 | case MBEDTLS_CIPHER_AES_256_ECB: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 67 | return PSA_KEY_TYPE_AES; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 68 | |
| 69 | /* ARIA not yet supported in PSA. */ |
| 70 | /* case MBEDTLS_CIPHER_ARIA_128_CCM: |
| 71 | case MBEDTLS_CIPHER_ARIA_192_CCM: |
| 72 | case MBEDTLS_CIPHER_ARIA_256_CCM: |
Mateusz Starzyk | a706e5e | 2021-10-28 17:59:06 +0200 | [diff] [blame] | 73 | case MBEDTLS_CIPHER_ARIA_128_CCM_STAR_NO_TAG: |
| 74 | case MBEDTLS_CIPHER_ARIA_192_CCM_STAR_NO_TAG: |
| 75 | case MBEDTLS_CIPHER_ARIA_256_CCM_STAR_NO_TAG: |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 76 | case MBEDTLS_CIPHER_ARIA_128_GCM: |
| 77 | case MBEDTLS_CIPHER_ARIA_192_GCM: |
| 78 | case MBEDTLS_CIPHER_ARIA_256_GCM: |
| 79 | case MBEDTLS_CIPHER_ARIA_128_CBC: |
| 80 | case MBEDTLS_CIPHER_ARIA_192_CBC: |
| 81 | case MBEDTLS_CIPHER_ARIA_256_CBC: |
| 82 | return( PSA_KEY_TYPE_ARIA ); */ |
| 83 | |
| 84 | default: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 85 | return 0; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 86 | } |
| 87 | } |
| 88 | |
Hanno Becker | b26c193 | 2018-11-12 10:18:57 +0000 | [diff] [blame] | 89 | static inline psa_algorithm_t mbedtls_psa_translate_cipher_mode( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 90 | mbedtls_cipher_mode_t mode, size_t taglen) |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 91 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 92 | switch (mode) { |
Steven Cooreman | ed3c9ec | 2020-07-06 14:08:59 +0200 | [diff] [blame] | 93 | case MBEDTLS_MODE_ECB: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 94 | return PSA_ALG_ECB_NO_PADDING; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 95 | case MBEDTLS_MODE_GCM: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 96 | return PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_GCM, taglen); |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 97 | case MBEDTLS_MODE_CCM: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 98 | return PSA_ALG_AEAD_WITH_SHORTENED_TAG(PSA_ALG_CCM, taglen); |
Mateusz Starzyk | a706e5e | 2021-10-28 17:59:06 +0200 | [diff] [blame] | 99 | case MBEDTLS_MODE_CCM_STAR_NO_TAG: |
| 100 | return PSA_ALG_CCM_STAR_NO_TAG; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 101 | case MBEDTLS_MODE_CBC: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 102 | if (taglen == 0) { |
| 103 | return PSA_ALG_CBC_NO_PADDING; |
| 104 | } else { |
| 105 | return 0; |
| 106 | } |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 107 | default: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 108 | return 0; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 109 | } |
| 110 | } |
| 111 | |
Hanno Becker | b26c193 | 2018-11-12 10:18:57 +0000 | [diff] [blame] | 112 | static inline psa_key_usage_t mbedtls_psa_translate_cipher_operation( |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 113 | mbedtls_operation_t op) |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 114 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 115 | switch (op) { |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 116 | case MBEDTLS_ENCRYPT: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 117 | return PSA_KEY_USAGE_ENCRYPT; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 118 | case MBEDTLS_DECRYPT: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 119 | return PSA_KEY_USAGE_DECRYPT; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 120 | default: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 121 | return 0; |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 122 | } |
| 123 | } |
| 124 | |
Hanno Becker | 5525126 | 2018-11-12 09:29:12 +0000 | [diff] [blame] | 125 | /* Translations for ECC. */ |
| 126 | |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 127 | static inline int mbedtls_psa_get_ecc_oid_from_id( |
Paul Elliott | 8ff510a | 2020-06-02 17:19:28 +0100 | [diff] [blame] | 128 | psa_ecc_family_t curve, size_t bits, |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 129 | char const **oid, size_t *oid_len) |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 130 | { |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 131 | switch (curve) { |
Paul Elliott | 8ff510a | 2020-06-02 17:19:28 +0100 | [diff] [blame] | 132 | case PSA_ECC_FAMILY_SECP_R1: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 133 | switch (bits) { |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 134 | #if defined(MBEDTLS_ECP_DP_SECP192R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 135 | case 192: |
| 136 | *oid = MBEDTLS_OID_EC_GRP_SECP192R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 137 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP192R1); |
| 138 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 139 | #endif /* MBEDTLS_ECP_DP_SECP192R1_ENABLED */ |
| 140 | #if defined(MBEDTLS_ECP_DP_SECP224R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 141 | case 224: |
| 142 | *oid = MBEDTLS_OID_EC_GRP_SECP224R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 143 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP224R1); |
| 144 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 145 | #endif /* MBEDTLS_ECP_DP_SECP224R1_ENABLED */ |
| 146 | #if defined(MBEDTLS_ECP_DP_SECP256R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 147 | case 256: |
| 148 | *oid = MBEDTLS_OID_EC_GRP_SECP256R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 149 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP256R1); |
| 150 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 151 | #endif /* MBEDTLS_ECP_DP_SECP256R1_ENABLED */ |
| 152 | #if defined(MBEDTLS_ECP_DP_SECP384R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 153 | case 384: |
| 154 | *oid = MBEDTLS_OID_EC_GRP_SECP384R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 155 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP384R1); |
| 156 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 157 | #endif /* MBEDTLS_ECP_DP_SECP384R1_ENABLED */ |
| 158 | #if defined(MBEDTLS_ECP_DP_SECP521R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 159 | case 521: |
| 160 | *oid = MBEDTLS_OID_EC_GRP_SECP521R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 161 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP521R1); |
| 162 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 163 | #endif /* MBEDTLS_ECP_DP_SECP521R1_ENABLED */ |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 164 | } |
| 165 | break; |
Paul Elliott | 8ff510a | 2020-06-02 17:19:28 +0100 | [diff] [blame] | 166 | case PSA_ECC_FAMILY_SECP_K1: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 167 | switch (bits) { |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 168 | #if defined(MBEDTLS_ECP_DP_SECP192K1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 169 | case 192: |
| 170 | *oid = MBEDTLS_OID_EC_GRP_SECP192K1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 171 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP192K1); |
| 172 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 173 | #endif /* MBEDTLS_ECP_DP_SECP192K1_ENABLED */ |
| 174 | #if defined(MBEDTLS_ECP_DP_SECP224K1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 175 | case 224: |
| 176 | *oid = MBEDTLS_OID_EC_GRP_SECP224K1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 177 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP224K1); |
| 178 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 179 | #endif /* MBEDTLS_ECP_DP_SECP224K1_ENABLED */ |
| 180 | #if defined(MBEDTLS_ECP_DP_SECP256K1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 181 | case 256: |
| 182 | *oid = MBEDTLS_OID_EC_GRP_SECP256K1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 183 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_SECP256K1); |
| 184 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 185 | #endif /* MBEDTLS_ECP_DP_SECP256K1_ENABLED */ |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 186 | } |
| 187 | break; |
Paul Elliott | 8ff510a | 2020-06-02 17:19:28 +0100 | [diff] [blame] | 188 | case PSA_ECC_FAMILY_BRAINPOOL_P_R1: |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 189 | switch (bits) { |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 190 | #if defined(MBEDTLS_ECP_DP_BP256R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 191 | case 256: |
| 192 | *oid = MBEDTLS_OID_EC_GRP_BP256R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 193 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_BP256R1); |
| 194 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 195 | #endif /* MBEDTLS_ECP_DP_BP256R1_ENABLED */ |
| 196 | #if defined(MBEDTLS_ECP_DP_BP384R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 197 | case 384: |
| 198 | *oid = MBEDTLS_OID_EC_GRP_BP384R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 199 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_BP384R1); |
| 200 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 201 | #endif /* MBEDTLS_ECP_DP_BP384R1_ENABLED */ |
| 202 | #if defined(MBEDTLS_ECP_DP_BP512R1_ENABLED) |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 203 | case 512: |
| 204 | *oid = MBEDTLS_OID_EC_GRP_BP512R1; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 205 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_EC_GRP_BP512R1); |
| 206 | return 0; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 207 | #endif /* MBEDTLS_ECP_DP_BP512R1_ENABLED */ |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 208 | } |
| 209 | break; |
valerio | 64e0184 | 2023-05-31 12:02:43 +0200 | [diff] [blame] | 210 | case PSA_ECC_FAMILY_MONTGOMERY: |
| 211 | switch (bits) { |
| 212 | #if defined(MBEDTLS_ECP_DP_CURVE25519_ENABLED) |
| 213 | case 255: |
| 214 | *oid = MBEDTLS_OID_X25519; |
| 215 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_X25519); |
| 216 | return 0; |
| 217 | #endif /* MBEDTLS_ECP_DP_CURVE25519_ENABLED */ |
| 218 | #if defined(MBEDTLS_ECP_DP_CURVE448_ENABLED) |
| 219 | case 448: |
| 220 | *oid = MBEDTLS_OID_X448; |
| 221 | *oid_len = MBEDTLS_OID_SIZE(MBEDTLS_OID_X448); |
| 222 | return 0; |
| 223 | #endif /* MBEDTLS_ECP_DP_CURVE448_ENABLED */ |
| 224 | } |
| 225 | break; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 226 | } |
Gilles Peskine | 89177e8 | 2019-12-03 21:19:09 +0100 | [diff] [blame] | 227 | (void) oid; |
| 228 | (void) oid_len; |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 229 | return -1; |
Hanno Becker | 812e124 | 2019-02-01 10:06:51 +0000 | [diff] [blame] | 230 | } |
| 231 | |
Manuel Pégourié-Gonnard | 5975376 | 2022-01-18 11:52:11 +0100 | [diff] [blame] | 232 | #define MBEDTLS_PSA_MAX_EC_PUBKEY_LENGTH \ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 233 | PSA_KEY_EXPORT_ECC_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS) |
Hanno Becker | df51dbe | 2019-02-18 16:41:55 +0000 | [diff] [blame] | 234 | |
Valerio Setti | 1337a4f | 2023-01-30 15:54:55 +0100 | [diff] [blame] | 235 | #define MBEDTLS_PSA_MAX_EC_KEY_PAIR_LENGTH \ |
| 236 | PSA_KEY_EXPORT_ECC_KEY_PAIR_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS) |
| 237 | |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 238 | /* Expose whatever RNG the PSA subsystem uses to applications using the |
Gilles Peskine | 996f216 | 2021-02-16 16:50:00 +0100 | [diff] [blame] | 239 | * mbedtls_xxx API. The declarations and definitions here need to be |
| 240 | * consistent with the implementation in library/psa_crypto_random_impl.h. |
| 241 | * See that file for implementation documentation. */ |
Jerry Yu | 406cf27 | 2022-03-22 11:33:42 +0800 | [diff] [blame] | 242 | |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 243 | |
| 244 | /* The type of a `f_rng` random generator function that many library functions |
| 245 | * take. |
| 246 | * |
| 247 | * This type name is not part of the Mbed TLS stable API. It may be renamed |
| 248 | * or moved without warning. |
| 249 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 250 | typedef int mbedtls_f_rng_t(void *p_rng, unsigned char *output, size_t output_size); |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 251 | |
| 252 | #if defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) |
| 253 | |
| 254 | /** The random generator function for the PSA subsystem. |
| 255 | * |
| 256 | * This function is suitable as the `f_rng` random generator function |
Gilles Peskine | 2cff7e2 | 2021-02-16 16:49:42 +0100 | [diff] [blame] | 257 | * parameter of many `mbedtls_xxx` functions. Use #MBEDTLS_PSA_RANDOM_STATE |
| 258 | * to obtain the \p p_rng parameter. |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 259 | * |
| 260 | * The implementation of this function depends on the configuration of the |
| 261 | * library. |
Gilles Peskine | 2cff7e2 | 2021-02-16 16:49:42 +0100 | [diff] [blame] | 262 | * |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 263 | * \note Depending on the configuration, this may be a function or |
| 264 | * a pointer to a function. |
| 265 | * |
| 266 | * \note This function may only be used if the PSA crypto subsystem is active. |
| 267 | * This means that you must call psa_crypto_init() before any call to |
| 268 | * this function, and you must not call this function after calling |
| 269 | * mbedtls_psa_crypto_free(). |
| 270 | * |
| 271 | * \param p_rng The random generator context. This must be |
| 272 | * #MBEDTLS_PSA_RANDOM_STATE. No other state is |
| 273 | * supported. |
| 274 | * \param output The buffer to fill. It must have room for |
| 275 | * \c output_size bytes. |
| 276 | * \param output_size The number of bytes to write to \p output. |
| 277 | * This function may fail if \p output_size is too |
| 278 | * large. It is guaranteed to accept any output size |
| 279 | * requested by Mbed TLS library functions. The |
| 280 | * maximum request size depends on the library |
| 281 | * configuration. |
| 282 | * |
| 283 | * \return \c 0 on success. |
| 284 | * \return An `MBEDTLS_ERR_ENTROPY_xxx`, |
Gilles Peskine | 2cff7e2 | 2021-02-16 16:49:42 +0100 | [diff] [blame] | 285 | * `MBEDTLS_ERR_PLATFORM_xxx, |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 286 | * `MBEDTLS_ERR_CTR_DRBG_xxx` or |
| 287 | * `MBEDTLS_ERR_HMAC_DRBG_xxx` on error. |
| 288 | */ |
Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 289 | int mbedtls_psa_get_random(void *p_rng, |
| 290 | unsigned char *output, |
| 291 | size_t output_size); |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 292 | |
| 293 | /** The random generator state for the PSA subsystem. |
| 294 | * |
| 295 | * This macro expands to an expression which is suitable as the `p_rng` |
| 296 | * random generator state parameter of many `mbedtls_xxx` functions. |
| 297 | * It must be used in combination with the random generator function |
| 298 | * mbedtls_psa_get_random(). |
| 299 | * |
| 300 | * The implementation of this macro depends on the configuration of the |
| 301 | * library. Do not make any assumption on its nature. |
| 302 | */ |
| 303 | #define MBEDTLS_PSA_RANDOM_STATE NULL |
| 304 | |
| 305 | #else /* !defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) */ |
| 306 | |
| 307 | #if defined(MBEDTLS_CTR_DRBG_C) |
| 308 | #include "mbedtls/ctr_drbg.h" |
| 309 | typedef mbedtls_ctr_drbg_context mbedtls_psa_drbg_context_t; |
| 310 | static mbedtls_f_rng_t *const mbedtls_psa_get_random = mbedtls_ctr_drbg_random; |
| 311 | #elif defined(MBEDTLS_HMAC_DRBG_C) |
| 312 | #include "mbedtls/hmac_drbg.h" |
| 313 | typedef mbedtls_hmac_drbg_context mbedtls_psa_drbg_context_t; |
| 314 | static mbedtls_f_rng_t *const mbedtls_psa_get_random = mbedtls_hmac_drbg_random; |
| 315 | #endif |
| 316 | extern mbedtls_psa_drbg_context_t *const mbedtls_psa_random_state; |
| 317 | |
| 318 | #define MBEDTLS_PSA_RANDOM_STATE mbedtls_psa_random_state |
| 319 | |
| 320 | #endif /* !defined(MBEDTLS_PSA_CRYPTO_EXTERNAL_RNG) */ |
| 321 | |
Andrzej Kurek | 747ab4e | 2023-02-28 10:32:47 -0500 | [diff] [blame] | 322 | typedef struct { |
Gilles Peskine | b567f83 | 2023-05-02 21:38:11 +0200 | [diff] [blame] | 323 | /* Error codes used by PSA crypto are in -255..-128, fitting in 16 bits. */ |
| 324 | int16_t psa_status; |
| 325 | /* Error codes used by Mbed TLS are in one of the ranges |
Gilles Peskine | 4837e9d | 2023-05-07 20:27:13 +0200 | [diff] [blame] | 326 | * -127..-1 (low-level) or -32767..-4096 (high-level with a low-level |
| 327 | * code optionally added), fitting in 16 bits. */ |
Andrzej Kurek | 747ab4e | 2023-02-28 10:32:47 -0500 | [diff] [blame] | 328 | int16_t mbedtls_error; |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 329 | } mbedtls_error_pair_t; |
Andrzej Kurek | 747ab4e | 2023-02-28 10:32:47 -0500 | [diff] [blame] | 330 | |
Manuel Pégourié-Gonnard | 725d2e2 | 2023-03-29 12:38:37 +0200 | [diff] [blame] | 331 | #if defined(MBEDTLS_MD_LIGHT) |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 332 | extern const mbedtls_error_pair_t psa_to_md_errors[4]; |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 333 | #endif |
Gilles Peskine | e3ed802 | 2021-02-03 20:04:08 +0100 | [diff] [blame] | 334 | |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 335 | #if defined(MBEDTLS_LMS_C) |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 336 | extern const mbedtls_error_pair_t psa_to_lms_errors[3]; |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 337 | #endif |
| 338 | |
| 339 | #if defined(MBEDTLS_USE_PSA_CRYPTO) || defined(MBEDTLS_SSL_PROTO_TLS1_3) |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 340 | extern const mbedtls_error_pair_t psa_to_ssl_errors[7]; |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 341 | #endif |
| 342 | |
| 343 | #if defined(PSA_WANT_KEY_TYPE_RSA_PUBLIC_KEY) || \ |
Valerio Setti | 8bb5763 | 2023-05-26 13:48:07 +0200 | [diff] [blame] | 344 | defined(MBEDTLS_PSA_WANT_KEY_TYPE_RSA_KEY_PAIR_LEGACY) |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 345 | extern const mbedtls_error_pair_t psa_to_pk_rsa_errors[8]; |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 346 | #endif |
| 347 | |
| 348 | #if defined(MBEDTLS_USE_PSA_CRYPTO) && \ |
| 349 | defined(PSA_WANT_KEY_TYPE_ECC_PUBLIC_KEY) |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 350 | extern const mbedtls_error_pair_t psa_to_pk_ecdsa_errors[7]; |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 351 | #endif |
| 352 | |
Andrzej Kurek | 138b30a | 2023-02-28 10:06:42 -0500 | [diff] [blame] | 353 | /* Generic fallback function for error translation, |
| 354 | * when the received state was not module-specific. */ |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 355 | int psa_generic_status_to_mbedtls(psa_status_t status); |
| 356 | |
Andrzej Kurek | 138b30a | 2023-02-28 10:06:42 -0500 | [diff] [blame] | 357 | /* This function iterates over provided local error translations, |
| 358 | * and if no match was found - calls the fallback error translation function. */ |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 359 | int psa_status_to_mbedtls(psa_status_t status, |
Andrzej Kurek | 270b3f9 | 2023-03-03 05:54:13 -0500 | [diff] [blame] | 360 | const mbedtls_error_pair_t *local_translations, |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 361 | size_t local_errors_num, |
| 362 | int (*fallback_f)(psa_status_t)); |
| 363 | |
Andrzej Kurek | 138b30a | 2023-02-28 10:06:42 -0500 | [diff] [blame] | 364 | /* The second out of three-stage error handling functions of the pk module, |
| 365 | * acts as a fallback after RSA / ECDSA error translation, and if no match |
| 366 | * is found, it itself calls psa_generic_status_to_mbedtls. */ |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 367 | int psa_pk_status_to_mbedtls(psa_status_t status); |
| 368 | |
Andrzej Kurek | 138b30a | 2023-02-28 10:06:42 -0500 | [diff] [blame] | 369 | /* Utility macro to shorten the defines of error translator in modules. */ |
Valerio Setti | ab9dc66 | 2023-03-27 14:02:08 +0200 | [diff] [blame] | 370 | #define PSA_TO_MBEDTLS_ERR_LIST(status, error_list, fallback_f) \ |
| 371 | psa_status_to_mbedtls(status, error_list, \ |
| 372 | sizeof(error_list)/sizeof(error_list[0]), \ |
| 373 | fallback_f) |
Andrzej Kurek | 8a045ce | 2022-12-23 11:00:06 -0500 | [diff] [blame] | 374 | |
| 375 | #endif /* MBEDTLS_PSA_CRYPTO_C */ |
Hanno Becker | 186b65a | 2018-11-19 15:14:21 +0000 | [diff] [blame] | 376 | #endif /* MBEDTLS_PSA_UTIL_H */ |