| Paul Bakker | ed27a04 | 2013-04-18 22:46:23 +0200 | [diff] [blame] | 1 | /** | 
|  | 2 | * \file pk.h | 
|  | 3 | * | 
|  | 4 | * \brief Public Key abstraction layer | 
| Darryl Green | a40a101 | 2018-01-05 15:33:17 +0000 | [diff] [blame] | 5 | */ | 
|  | 6 | /* | 
| Bence Szépkúti | 1e14827 | 2020-08-07 13:07:28 +0200 | [diff] [blame] | 7 | *  Copyright The Mbed TLS Contributors | 
| Manuel Pégourié-Gonnard | 37ff140 | 2015-09-04 14:21:07 +0200 | [diff] [blame] | 8 | *  SPDX-License-Identifier: Apache-2.0 | 
|  | 9 | * | 
|  | 10 | *  Licensed under the Apache License, Version 2.0 (the "License"); you may | 
|  | 11 | *  not use this file except in compliance with the License. | 
|  | 12 | *  You may obtain a copy of the License at | 
|  | 13 | * | 
|  | 14 | *  http://www.apache.org/licenses/LICENSE-2.0 | 
|  | 15 | * | 
|  | 16 | *  Unless required by applicable law or agreed to in writing, software | 
|  | 17 | *  distributed under the License is distributed on an "AS IS" BASIS, WITHOUT | 
|  | 18 | *  WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | 
|  | 19 | *  See the License for the specific language governing permissions and | 
|  | 20 | *  limitations under the License. | 
| Paul Bakker | ed27a04 | 2013-04-18 22:46:23 +0200 | [diff] [blame] | 21 | */ | 
| Manuel Pégourié-Gonnard | d73b3c1 | 2013-08-12 17:06:05 +0200 | [diff] [blame] | 22 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 23 | #ifndef MBEDTLS_PK_H | 
|  | 24 | #define MBEDTLS_PK_H | 
| Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 25 | #include "mbedtls/private_access.h" | 
| Paul Bakker | ed27a04 | 2013-04-18 22:46:23 +0200 | [diff] [blame] | 26 |  | 
| Bence Szépkúti | c662b36 | 2021-05-27 11:25:03 +0200 | [diff] [blame] | 27 | #include "mbedtls/build_info.h" | 
| Manuel Pégourié-Gonnard | 244569f | 2013-07-10 09:46:30 +0200 | [diff] [blame] | 28 |  | 
| Jaeden Amero | c49fbbf | 2019-07-04 20:01:14 +0100 | [diff] [blame] | 29 | #include "mbedtls/md.h" | 
| Manuel Pégourié-Gonnard | f73da02 | 2013-08-17 14:36:32 +0200 | [diff] [blame] | 30 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 31 | #if defined(MBEDTLS_RSA_C) | 
| Jaeden Amero | c49fbbf | 2019-07-04 20:01:14 +0100 | [diff] [blame] | 32 | #include "mbedtls/rsa.h" | 
| Manuel Pégourié-Gonnard | 244569f | 2013-07-10 09:46:30 +0200 | [diff] [blame] | 33 | #endif | 
|  | 34 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 35 | #if defined(MBEDTLS_ECP_C) | 
| Jaeden Amero | c49fbbf | 2019-07-04 20:01:14 +0100 | [diff] [blame] | 36 | #include "mbedtls/ecp.h" | 
| Manuel Pégourié-Gonnard | d73b3c1 | 2013-08-12 17:06:05 +0200 | [diff] [blame] | 37 | #endif | 
|  | 38 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 39 | #if defined(MBEDTLS_ECDSA_C) | 
| Jaeden Amero | c49fbbf | 2019-07-04 20:01:14 +0100 | [diff] [blame] | 40 | #include "mbedtls/ecdsa.h" | 
| Manuel Pégourié-Gonnard | 211a64c | 2013-08-09 15:04:26 +0200 | [diff] [blame] | 41 | #endif | 
|  | 42 |  | 
| Manuel Pégourié-Gonnard | 20678b2 | 2018-10-22 12:11:15 +0200 | [diff] [blame] | 43 | #if defined(MBEDTLS_USE_PSA_CRYPTO) | 
|  | 44 | #include "psa/crypto.h" | 
|  | 45 | #endif | 
|  | 46 |  | 
| Gilles Peskine | d297157 | 2021-07-26 18:48:10 +0200 | [diff] [blame] | 47 | /** Memory allocation failed. */ | 
|  | 48 | #define MBEDTLS_ERR_PK_ALLOC_FAILED        -0x3F80 | 
|  | 49 | /** Type mismatch, eg attempt to encrypt with an ECDSA key */ | 
|  | 50 | #define MBEDTLS_ERR_PK_TYPE_MISMATCH       -0x3F00 | 
|  | 51 | /** Bad input parameters to function. */ | 
|  | 52 | #define MBEDTLS_ERR_PK_BAD_INPUT_DATA      -0x3E80 | 
|  | 53 | /** Read/write of file failed. */ | 
|  | 54 | #define MBEDTLS_ERR_PK_FILE_IO_ERROR       -0x3E00 | 
|  | 55 | /** Unsupported key version */ | 
|  | 56 | #define MBEDTLS_ERR_PK_KEY_INVALID_VERSION -0x3D80 | 
|  | 57 | /** Invalid key tag or value. */ | 
|  | 58 | #define MBEDTLS_ERR_PK_KEY_INVALID_FORMAT  -0x3D00 | 
|  | 59 | /** Key algorithm is unsupported (only RSA and EC are supported). */ | 
|  | 60 | #define MBEDTLS_ERR_PK_UNKNOWN_PK_ALG      -0x3C80 | 
|  | 61 | /** Private key password can't be empty. */ | 
|  | 62 | #define MBEDTLS_ERR_PK_PASSWORD_REQUIRED   -0x3C00 | 
|  | 63 | /** Given private key password does not allow for correct decryption. */ | 
|  | 64 | #define MBEDTLS_ERR_PK_PASSWORD_MISMATCH   -0x3B80 | 
|  | 65 | /** The pubkey tag or value is invalid (only RSA and EC are supported). */ | 
|  | 66 | #define MBEDTLS_ERR_PK_INVALID_PUBKEY      -0x3B00 | 
|  | 67 | /** The algorithm tag or value is invalid. */ | 
|  | 68 | #define MBEDTLS_ERR_PK_INVALID_ALG         -0x3A80 | 
|  | 69 | /** Elliptic curve is unsupported (only NIST curves are supported). */ | 
|  | 70 | #define MBEDTLS_ERR_PK_UNKNOWN_NAMED_CURVE -0x3A00 | 
|  | 71 | /** Unavailable feature, e.g. RSA disabled for RSA key. */ | 
|  | 72 | #define MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE -0x3980 | 
|  | 73 | /** The buffer contains a valid signature followed by more data. */ | 
|  | 74 | #define MBEDTLS_ERR_PK_SIG_LEN_MISMATCH    -0x3900 | 
|  | 75 | /** The output buffer is too small. */ | 
|  | 76 | #define MBEDTLS_ERR_PK_BUFFER_TOO_SMALL    -0x3880 | 
| Ron Eldor | 9924bdc | 2018-10-04 10:59:13 +0300 | [diff] [blame] | 77 |  | 
| Paul Bakker | ed27a04 | 2013-04-18 22:46:23 +0200 | [diff] [blame] | 78 | #ifdef __cplusplus | 
|  | 79 | extern "C" { | 
|  | 80 | #endif | 
|  | 81 |  | 
|  | 82 | /** | 
|  | 83 | * \brief          Public key types | 
|  | 84 | */ | 
|  | 85 | typedef enum { | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 86 | MBEDTLS_PK_NONE=0, | 
|  | 87 | MBEDTLS_PK_RSA, | 
|  | 88 | MBEDTLS_PK_ECKEY, | 
|  | 89 | MBEDTLS_PK_ECKEY_DH, | 
|  | 90 | MBEDTLS_PK_ECDSA, | 
|  | 91 | MBEDTLS_PK_RSA_ALT, | 
|  | 92 | MBEDTLS_PK_RSASSA_PSS, | 
| Manuel Pégourié-Gonnard | 69baf70 | 2018-11-06 09:34:30 +0100 | [diff] [blame] | 93 | MBEDTLS_PK_OPAQUE, | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 94 | } mbedtls_pk_type_t; | 
| Paul Bakker | ed27a04 | 2013-04-18 22:46:23 +0200 | [diff] [blame] | 95 |  | 
| Manuel Pégourié-Gonnard | 12e0ed9 | 2013-07-04 13:31:32 +0200 | [diff] [blame] | 96 | /** | 
| Manuel Pégourié-Gonnard | 20422e9 | 2014-06-05 13:41:44 +0200 | [diff] [blame] | 97 | * \brief           Options for RSASSA-PSS signature verification. | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 98 | *                  See \c mbedtls_rsa_rsassa_pss_verify_ext() | 
| Manuel Pégourié-Gonnard | 20422e9 | 2014-06-05 13:41:44 +0200 | [diff] [blame] | 99 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 100 | typedef struct mbedtls_pk_rsassa_pss_options { | 
| Gilles Peskine | 34c43a8 | 2023-02-02 23:06:37 +0100 | [diff] [blame] | 101 | /** The digest to use for MGF1 in PSS. | 
|  | 102 | * | 
|  | 103 | * \note When #MBEDTLS_USE_PSA_CRYPTO is enabled and #MBEDTLS_RSA_C is | 
|  | 104 | *       disabled, this must be equal to the \c md_alg argument passed | 
|  | 105 | *       to mbedtls_pk_verify_ext(). In a future version of the library, | 
|  | 106 | *       this constraint may apply whenever #MBEDTLS_USE_PSA_CRYPTO is | 
|  | 107 | *       enabled regardless of the status of #MBEDTLS_RSA_C. | 
|  | 108 | */ | 
|  | 109 | mbedtls_md_type_t mgf1_hash_id; | 
|  | 110 |  | 
|  | 111 | /** The expected length of the salt, in bytes. This may be | 
|  | 112 | * #MBEDTLS_RSA_SALT_LEN_ANY to accept any salt length. | 
|  | 113 | * | 
|  | 114 | * \note When #MBEDTLS_USE_PSA_CRYPTO is enabled, only | 
|  | 115 | *       #MBEDTLS_RSA_SALT_LEN_ANY is valid. Any other value may be | 
|  | 116 | *       ignored (allowing any salt length). | 
|  | 117 | */ | 
|  | 118 | int expected_salt_len; | 
| Manuel Pégourié-Gonnard | 20422e9 | 2014-06-05 13:41:44 +0200 | [diff] [blame] | 119 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 120 | } mbedtls_pk_rsassa_pss_options; | 
| Manuel Pégourié-Gonnard | 20422e9 | 2014-06-05 13:41:44 +0200 | [diff] [blame] | 121 |  | 
|  | 122 | /** | 
| Gilles Peskine | da252be | 2019-11-05 16:23:49 +0100 | [diff] [blame] | 123 | * \brief           Maximum size of a signature made by mbedtls_pk_sign(). | 
|  | 124 | */ | 
| Gilles Peskine | 5460565 | 2019-11-08 16:24:16 +0100 | [diff] [blame] | 125 | /* We need to set MBEDTLS_PK_SIGNATURE_MAX_SIZE to the maximum signature | 
|  | 126 | * size among the supported signature types. Do it by starting at 0, | 
|  | 127 | * then incrementally increasing to be large enough for each supported | 
|  | 128 | * signature mechanism. | 
|  | 129 | * | 
|  | 130 | * The resulting value can be 0, for example if MBEDTLS_ECDH_C is enabled | 
|  | 131 | * (which allows the pk module to be included) but neither MBEDTLS_ECDSA_C | 
|  | 132 | * nor MBEDTLS_RSA_C nor any opaque signature mechanism (PSA or RSA_ALT). | 
|  | 133 | */ | 
|  | 134 | #define MBEDTLS_PK_SIGNATURE_MAX_SIZE 0 | 
|  | 135 |  | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 136 | #if (defined(MBEDTLS_RSA_C) || defined(MBEDTLS_PK_RSA_ALT_SUPPORT)) && \ | 
| Gilles Peskine | b22a24b | 2019-11-05 16:56:39 +0100 | [diff] [blame] | 137 | MBEDTLS_MPI_MAX_SIZE > MBEDTLS_PK_SIGNATURE_MAX_SIZE | 
| Gilles Peskine | 5460565 | 2019-11-08 16:24:16 +0100 | [diff] [blame] | 138 | /* For RSA, the signature can be as large as the bignum module allows. | 
|  | 139 | * For RSA_ALT, the signature size is not necessarily tied to what the | 
|  | 140 | * bignum module can do, but in the absence of any specific setting, | 
| Chris Jones | 3848e31 | 2021-03-11 16:17:59 +0000 | [diff] [blame] | 141 | * we use that (rsa_alt_sign_wrap in library/pk_wrap.h will check). */ | 
| Gilles Peskine | b22a24b | 2019-11-05 16:56:39 +0100 | [diff] [blame] | 142 | #undef MBEDTLS_PK_SIGNATURE_MAX_SIZE | 
|  | 143 | #define MBEDTLS_PK_SIGNATURE_MAX_SIZE MBEDTLS_MPI_MAX_SIZE | 
|  | 144 | #endif | 
| Gilles Peskine | 5460565 | 2019-11-08 16:24:16 +0100 | [diff] [blame] | 145 |  | 
| Gilles Peskine | b22a24b | 2019-11-05 16:56:39 +0100 | [diff] [blame] | 146 | #if defined(MBEDTLS_ECDSA_C) &&                                 \ | 
|  | 147 | MBEDTLS_ECDSA_MAX_LEN > MBEDTLS_PK_SIGNATURE_MAX_SIZE | 
| Gilles Peskine | 5460565 | 2019-11-08 16:24:16 +0100 | [diff] [blame] | 148 | /* For ECDSA, the ecdsa module exports a constant for the maximum | 
|  | 149 | * signature size. */ | 
| Gilles Peskine | b22a24b | 2019-11-05 16:56:39 +0100 | [diff] [blame] | 150 | #undef MBEDTLS_PK_SIGNATURE_MAX_SIZE | 
|  | 151 | #define MBEDTLS_PK_SIGNATURE_MAX_SIZE MBEDTLS_ECDSA_MAX_LEN | 
|  | 152 | #endif | 
| Gilles Peskine | 5460565 | 2019-11-08 16:24:16 +0100 | [diff] [blame] | 153 |  | 
|  | 154 | #if defined(MBEDTLS_USE_PSA_CRYPTO) | 
| Gilles Peskine | 89d8c5c | 2019-11-26 17:01:59 +0100 | [diff] [blame] | 155 | #if PSA_SIGNATURE_MAX_SIZE > MBEDTLS_PK_SIGNATURE_MAX_SIZE | 
|  | 156 | /* PSA_SIGNATURE_MAX_SIZE is the maximum size of a signature made | 
| Gilles Peskine | 5460565 | 2019-11-08 16:24:16 +0100 | [diff] [blame] | 157 | * through the PSA API in the PSA representation. */ | 
|  | 158 | #undef MBEDTLS_PK_SIGNATURE_MAX_SIZE | 
| Gilles Peskine | 89d8c5c | 2019-11-26 17:01:59 +0100 | [diff] [blame] | 159 | #define MBEDTLS_PK_SIGNATURE_MAX_SIZE PSA_SIGNATURE_MAX_SIZE | 
| Gilles Peskine | 5460565 | 2019-11-08 16:24:16 +0100 | [diff] [blame] | 160 | #endif | 
|  | 161 |  | 
|  | 162 | #if PSA_VENDOR_ECDSA_SIGNATURE_MAX_SIZE + 11 > MBEDTLS_PK_SIGNATURE_MAX_SIZE | 
|  | 163 | /* The Mbed TLS representation is different for ECDSA signatures: | 
| Gilles Peskine | b22a24b | 2019-11-05 16:56:39 +0100 | [diff] [blame] | 164 | * PSA uses the raw concatenation of r and s, | 
|  | 165 | * whereas Mbed TLS uses the ASN.1 representation (SEQUENCE of two INTEGERs). | 
|  | 166 | * Add the overhead of ASN.1: up to (1+2) + 2 * (1+2+1) for the | 
|  | 167 | * types, lengths (represented by up to 2 bytes), and potential leading | 
|  | 168 | * zeros of the INTEGERs and the SEQUENCE. */ | 
|  | 169 | #undef MBEDTLS_PK_SIGNATURE_MAX_SIZE | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 170 | #define MBEDTLS_PK_SIGNATURE_MAX_SIZE (PSA_VENDOR_ECDSA_SIGNATURE_MAX_SIZE + 11) | 
| Gilles Peskine | b22a24b | 2019-11-05 16:56:39 +0100 | [diff] [blame] | 171 | #endif | 
| Gilles Peskine | 5460565 | 2019-11-08 16:24:16 +0100 | [diff] [blame] | 172 | #endif /* defined(MBEDTLS_USE_PSA_CRYPTO) */ | 
| Gilles Peskine | da252be | 2019-11-05 16:23:49 +0100 | [diff] [blame] | 173 |  | 
|  | 174 | /** | 
| Valerio Setti | cf084ae | 2023-01-26 14:30:12 +0100 | [diff] [blame] | 175 | * \brief   The following defines are meant to list ECDSA capabilities of the | 
|  | 176 | *          PK module in a general way (without any reference to how this | 
|  | 177 | *          is achieved, which can be either through PSA driver or | 
|  | 178 | *          MBEDTLS_ECDSA_C) | 
|  | 179 | */ | 
|  | 180 | #if !defined(MBEDTLS_USE_PSA_CRYPTO) | 
|  | 181 | #if defined(MBEDTLS_ECDSA_C) | 
|  | 182 | #define MBEDTLS_PK_CAN_ECDSA_SIGN | 
|  | 183 | #define MBEDTLS_PK_CAN_ECDSA_VERIFY | 
|  | 184 | #endif | 
|  | 185 | #else /* MBEDTLS_USE_PSA_CRYPTO */ | 
|  | 186 | #if defined(PSA_WANT_ALG_ECDSA) | 
|  | 187 | #if defined(PSA_WANT_KEY_TYPE_ECC_KEY_PAIR) | 
|  | 188 | #define MBEDTLS_PK_CAN_ECDSA_SIGN | 
|  | 189 | #endif | 
|  | 190 | #if defined(PSA_WANT_KEY_TYPE_ECC_PUBLIC_KEY) | 
|  | 191 | #define MBEDTLS_PK_CAN_ECDSA_VERIFY | 
|  | 192 | #endif | 
|  | 193 | #endif /* PSA_WANT_ALG_ECDSA */ | 
|  | 194 | #endif /* MBEDTLS_USE_PSA_CRYPTO */ | 
|  | 195 |  | 
| Valerio Setti | 178b5bd | 2023-02-13 10:04:28 +0100 | [diff] [blame] | 196 | #if defined(MBEDTLS_PK_CAN_ECDSA_VERIFY) || defined(MBEDTLS_PK_CAN_ECDSA_SIGN) | 
|  | 197 | #define MBEDTLS_PK_CAN_ECDSA_SOME | 
|  | 198 | #endif | 
|  | 199 |  | 
| Valerio Setti | 1fa5c56 | 2023-03-20 13:56:38 +0100 | [diff] [blame] | 200 | #if (defined(MBEDTLS_USE_PSA_CRYPTO) && defined(PSA_WANT_ALG_ECDH)) || \ | 
|  | 201 | (!defined(MBEDTLS_USE_PSA_CRYPTO) && defined(MBEDTLS_ECDH_C)) | 
|  | 202 | #define MBEDTLS_PK_CAN_ECDH | 
|  | 203 | #endif | 
|  | 204 |  | 
| Valerio Setti | cf084ae | 2023-01-26 14:30:12 +0100 | [diff] [blame] | 205 | /** | 
| Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 206 | * \brief           Types for interfacing with the debug module | 
|  | 207 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 208 | typedef enum { | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 209 | MBEDTLS_PK_DEBUG_NONE = 0, | 
|  | 210 | MBEDTLS_PK_DEBUG_MPI, | 
|  | 211 | MBEDTLS_PK_DEBUG_ECP, | 
|  | 212 | } mbedtls_pk_debug_type; | 
| Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 213 |  | 
|  | 214 | /** | 
|  | 215 | * \brief           Item to send to the debug module | 
|  | 216 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 217 | typedef struct mbedtls_pk_debug_item { | 
| Mateusz Starzyk | 846f021 | 2021-05-19 19:44:07 +0200 | [diff] [blame] | 218 | mbedtls_pk_debug_type MBEDTLS_PRIVATE(type); | 
|  | 219 | const char *MBEDTLS_PRIVATE(name); | 
|  | 220 | void *MBEDTLS_PRIVATE(value); | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 221 | } mbedtls_pk_debug_item; | 
| Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 222 |  | 
|  | 223 | /** Maximum number of item send for debugging, plus 1 */ | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 224 | #define MBEDTLS_PK_DEBUG_MAX_ITEMS 3 | 
| Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 225 |  | 
|  | 226 | /** | 
| Manuel Pégourié-Gonnard | 3fb5c5e | 2013-08-14 18:26:41 +0200 | [diff] [blame] | 227 | * \brief           Public key information and operations | 
| Gilles Peskine | 2e9d65f | 2021-08-31 23:05:19 +0200 | [diff] [blame] | 228 | * | 
|  | 229 | * \note        The library does not support custom pk info structures, | 
|  | 230 | *              only built-in structures returned by | 
|  | 231 | *              mbedtls_cipher_info_from_type(). | 
| Manuel Pégourié-Gonnard | d73b3c1 | 2013-08-12 17:06:05 +0200 | [diff] [blame] | 232 | */ | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 233 | typedef struct mbedtls_pk_info_t mbedtls_pk_info_t; | 
| Manuel Pégourié-Gonnard | d73b3c1 | 2013-08-12 17:06:05 +0200 | [diff] [blame] | 234 |  | 
|  | 235 | /** | 
| Manuel Pégourié-Gonnard | 12e0ed9 | 2013-07-04 13:31:32 +0200 | [diff] [blame] | 236 | * \brief           Public key container | 
|  | 237 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 238 | typedef struct mbedtls_pk_context { | 
|  | 239 | const mbedtls_pk_info_t *MBEDTLS_PRIVATE(pk_info);    /**< Public key information         */ | 
|  | 240 | void *MBEDTLS_PRIVATE(pk_ctx);                        /**< Underlying public key context  */ | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 241 | } mbedtls_pk_context; | 
| Manuel Pégourié-Gonnard | 12e0ed9 | 2013-07-04 13:31:32 +0200 | [diff] [blame] | 242 |  | 
| Manuel Pégourié-Gonnard | aaa9814 | 2017-08-18 17:30:37 +0200 | [diff] [blame] | 243 | #if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE) | 
| Manuel Pégourié-Gonnard | 15d7df2 | 2017-08-17 14:33:31 +0200 | [diff] [blame] | 244 | /** | 
|  | 245 | * \brief           Context for resuming operations | 
|  | 246 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 247 | typedef struct { | 
|  | 248 | const mbedtls_pk_info_t *MBEDTLS_PRIVATE(pk_info);    /**< Public key information         */ | 
|  | 249 | void *MBEDTLS_PRIVATE(rs_ctx);                        /**< Underlying restart context     */ | 
| Manuel Pégourié-Gonnard | 15d7df2 | 2017-08-17 14:33:31 +0200 | [diff] [blame] | 250 | } mbedtls_pk_restart_ctx; | 
| Manuel Pégourié-Gonnard | aaa9814 | 2017-08-18 17:30:37 +0200 | [diff] [blame] | 251 | #else /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */ | 
| Manuel Pégourié-Gonnard | 15d7df2 | 2017-08-17 14:33:31 +0200 | [diff] [blame] | 252 | /* Now we can declare functions that take a pointer to that */ | 
|  | 253 | typedef void mbedtls_pk_restart_ctx; | 
| Manuel Pégourié-Gonnard | aaa9814 | 2017-08-18 17:30:37 +0200 | [diff] [blame] | 254 | #endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */ | 
| Manuel Pégourié-Gonnard | 15d7df2 | 2017-08-17 14:33:31 +0200 | [diff] [blame] | 255 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 256 | #if defined(MBEDTLS_PK_RSA_ALT_SUPPORT) | 
| Manuel Pégourié-Gonnard | 12e0ed9 | 2013-07-04 13:31:32 +0200 | [diff] [blame] | 257 | /** | 
| Manuel Pégourié-Gonnard | 12c1ff0 | 2013-08-21 12:28:31 +0200 | [diff] [blame] | 258 | * \brief           Types for RSA-alt abstraction | 
|  | 259 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 260 | typedef int (*mbedtls_pk_rsa_alt_decrypt_func)(void *ctx, size_t *olen, | 
|  | 261 | const unsigned char *input, unsigned char *output, | 
|  | 262 | size_t output_max_len); | 
|  | 263 | typedef int (*mbedtls_pk_rsa_alt_sign_func)(void *ctx, | 
|  | 264 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 265 | void *p_rng, | 
|  | 266 | mbedtls_md_type_t md_alg, unsigned int hashlen, | 
|  | 267 | const unsigned char *hash, unsigned char *sig); | 
|  | 268 | typedef size_t (*mbedtls_pk_rsa_alt_key_len_func)(void *ctx); | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 269 | #endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */ | 
| Manuel Pégourié-Gonnard | 12c1ff0 | 2013-08-21 12:28:31 +0200 | [diff] [blame] | 270 |  | 
|  | 271 | /** | 
| Manuel Pégourié-Gonnard | ab46694 | 2013-08-15 11:30:27 +0200 | [diff] [blame] | 272 | * \brief           Return information associated with the given PK type | 
|  | 273 | * | 
| Paul Bakker | dcbfdcc | 2013-09-10 16:16:50 +0200 | [diff] [blame] | 274 | * \param pk_type   PK type to search for. | 
| Manuel Pégourié-Gonnard | ab46694 | 2013-08-15 11:30:27 +0200 | [diff] [blame] | 275 | * | 
|  | 276 | * \return          The PK info associated with the type or NULL if not found. | 
|  | 277 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 278 | const mbedtls_pk_info_t *mbedtls_pk_info_from_type(mbedtls_pk_type_t pk_type); | 
| Manuel Pégourié-Gonnard | ab46694 | 2013-08-15 11:30:27 +0200 | [diff] [blame] | 279 |  | 
|  | 280 | /** | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 281 | * \brief           Initialize a #mbedtls_pk_context (as NONE). | 
|  | 282 | * | 
|  | 283 | * \param ctx       The context to initialize. | 
|  | 284 | *                  This must not be \c NULL. | 
| Manuel Pégourié-Gonnard | 12e0ed9 | 2013-07-04 13:31:32 +0200 | [diff] [blame] | 285 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 286 | void mbedtls_pk_init(mbedtls_pk_context *ctx); | 
| Manuel Pégourié-Gonnard | 12e0ed9 | 2013-07-04 13:31:32 +0200 | [diff] [blame] | 287 |  | 
|  | 288 | /** | 
| Andrzej Kurek | b274f27 | 2019-02-05 05:06:35 -0500 | [diff] [blame] | 289 | * \brief           Free the components of a #mbedtls_pk_context. | 
| Manuel Pégourié-Gonnard | 01a12c4 | 2018-10-31 10:28:01 +0100 | [diff] [blame] | 290 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 291 | * \param ctx       The context to clear. It must have been initialized. | 
|  | 292 | *                  If this is \c NULL, this function does nothing. | 
|  | 293 | * | 
| Manuel Pégourié-Gonnard | 01a12c4 | 2018-10-31 10:28:01 +0100 | [diff] [blame] | 294 | * \note            For contexts that have been set up with | 
| Manuel Pégourié-Gonnard | 69baf70 | 2018-11-06 09:34:30 +0100 | [diff] [blame] | 295 | *                  mbedtls_pk_setup_opaque(), this does not free the underlying | 
| Gilles Peskine | 1139249 | 2019-05-27 14:53:19 +0200 | [diff] [blame] | 296 | *                  PSA key and you still need to call psa_destroy_key() | 
| Manuel Pégourié-Gonnard | 01a12c4 | 2018-10-31 10:28:01 +0100 | [diff] [blame] | 297 | *                  independently if you want to destroy that key. | 
| Manuel Pégourié-Gonnard | 12c1ff0 | 2013-08-21 12:28:31 +0200 | [diff] [blame] | 298 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 299 | void mbedtls_pk_free(mbedtls_pk_context *ctx); | 
| Manuel Pégourié-Gonnard | 12c1ff0 | 2013-08-21 12:28:31 +0200 | [diff] [blame] | 300 |  | 
| Manuel Pégourié-Gonnard | aaa9814 | 2017-08-18 17:30:37 +0200 | [diff] [blame] | 301 | #if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE) | 
| Manuel Pégourié-Gonnard | 15d7df2 | 2017-08-17 14:33:31 +0200 | [diff] [blame] | 302 | /** | 
|  | 303 | * \brief           Initialize a restart context | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 304 | * | 
|  | 305 | * \param ctx       The context to initialize. | 
|  | 306 | *                  This must not be \c NULL. | 
| Manuel Pégourié-Gonnard | 15d7df2 | 2017-08-17 14:33:31 +0200 | [diff] [blame] | 307 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 308 | void mbedtls_pk_restart_init(mbedtls_pk_restart_ctx *ctx); | 
| Manuel Pégourié-Gonnard | 15d7df2 | 2017-08-17 14:33:31 +0200 | [diff] [blame] | 309 |  | 
|  | 310 | /** | 
|  | 311 | * \brief           Free the components of a restart context | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 312 | * | 
|  | 313 | * \param ctx       The context to clear. It must have been initialized. | 
|  | 314 | *                  If this is \c NULL, this function does nothing. | 
| Manuel Pégourié-Gonnard | 15d7df2 | 2017-08-17 14:33:31 +0200 | [diff] [blame] | 315 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 316 | void mbedtls_pk_restart_free(mbedtls_pk_restart_ctx *ctx); | 
| Manuel Pégourié-Gonnard | aaa9814 | 2017-08-18 17:30:37 +0200 | [diff] [blame] | 317 | #endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */ | 
| Manuel Pégourié-Gonnard | 15d7df2 | 2017-08-17 14:33:31 +0200 | [diff] [blame] | 318 |  | 
| Manuel Pégourié-Gonnard | 12c1ff0 | 2013-08-21 12:28:31 +0200 | [diff] [blame] | 319 | /** | 
| Manuel Pégourié-Gonnard | ab46694 | 2013-08-15 11:30:27 +0200 | [diff] [blame] | 320 | * \brief           Initialize a PK context with the information given | 
|  | 321 | *                  and allocates the type-specific PK subcontext. | 
|  | 322 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 323 | * \param ctx       Context to initialize. It must not have been set | 
|  | 324 | *                  up yet (type #MBEDTLS_PK_NONE). | 
| Manuel Pégourié-Gonnard | ab46694 | 2013-08-15 11:30:27 +0200 | [diff] [blame] | 325 | * \param info      Information to use | 
|  | 326 | * | 
|  | 327 | * \return          0 on success, | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 328 | *                  MBEDTLS_ERR_PK_BAD_INPUT_DATA on invalid input, | 
| Manuel Pégourié-Gonnard | 6a8ca33 | 2015-05-28 09:33:39 +0200 | [diff] [blame] | 329 | *                  MBEDTLS_ERR_PK_ALLOC_FAILED on allocation failure. | 
| Manuel Pégourié-Gonnard | 12c1ff0 | 2013-08-21 12:28:31 +0200 | [diff] [blame] | 330 | * | 
| Paul Bakker | 42099c3 | 2014-01-27 11:45:49 +0100 | [diff] [blame] | 331 | * \note            For contexts holding an RSA-alt key, use | 
| Manuel Pégourié-Gonnard | d9e6a3a | 2015-05-14 19:41:36 +0200 | [diff] [blame] | 332 | *                  \c mbedtls_pk_setup_rsa_alt() instead. | 
| Manuel Pégourié-Gonnard | ab46694 | 2013-08-15 11:30:27 +0200 | [diff] [blame] | 333 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 334 | int mbedtls_pk_setup(mbedtls_pk_context *ctx, const mbedtls_pk_info_t *info); | 
| Manuel Pégourié-Gonnard | ab46694 | 2013-08-15 11:30:27 +0200 | [diff] [blame] | 335 |  | 
| Manuel Pégourié-Gonnard | 20678b2 | 2018-10-22 12:11:15 +0200 | [diff] [blame] | 336 | #if defined(MBEDTLS_USE_PSA_CRYPTO) | 
|  | 337 | /** | 
| Gilles Peskine | 1139249 | 2019-05-27 14:53:19 +0200 | [diff] [blame] | 338 | * \brief           Initialize a PK context to wrap a PSA key. | 
| Manuel Pégourié-Gonnard | 20678b2 | 2018-10-22 12:11:15 +0200 | [diff] [blame] | 339 | * | 
| Manuel Pégourié-Gonnard | 392dc04 | 2018-11-13 10:48:23 +0100 | [diff] [blame] | 340 | * \note            This function replaces mbedtls_pk_setup() for contexts | 
| Gilles Peskine | 1139249 | 2019-05-27 14:53:19 +0200 | [diff] [blame] | 341 | *                  that wrap a (possibly opaque) PSA key instead of | 
| Manuel Pégourié-Gonnard | 392dc04 | 2018-11-13 10:48:23 +0100 | [diff] [blame] | 342 | *                  storing and manipulating the key material directly. | 
|  | 343 | * | 
|  | 344 | * \param ctx       The context to initialize. It must be empty (type NONE). | 
| Neil Armstrong | b354742 | 2022-03-22 10:22:28 +0100 | [diff] [blame] | 345 | * \param key       The PSA key to wrap, which must hold an ECC or RSA key | 
|  | 346 | *                  pair (see notes below). | 
| Manuel Pégourié-Gonnard | 20678b2 | 2018-10-22 12:11:15 +0200 | [diff] [blame] | 347 | * | 
| Gilles Peskine | 1139249 | 2019-05-27 14:53:19 +0200 | [diff] [blame] | 348 | * \note            The wrapped key must remain valid as long as the | 
| Manuel Pégourié-Gonnard | 01a12c4 | 2018-10-31 10:28:01 +0100 | [diff] [blame] | 349 | *                  wrapping PK context is in use, that is at least between | 
|  | 350 | *                  the point this function is called and the point | 
|  | 351 | *                  mbedtls_pk_free() is called on this context. The wrapped | 
| Gilles Peskine | 1139249 | 2019-05-27 14:53:19 +0200 | [diff] [blame] | 352 | *                  key might then be independently used or destroyed. | 
| Manuel Pégourié-Gonnard | 01a12c4 | 2018-10-31 10:28:01 +0100 | [diff] [blame] | 353 | * | 
| Neil Armstrong | b354742 | 2022-03-22 10:22:28 +0100 | [diff] [blame] | 354 | * \note            This function is currently only available for ECC or RSA | 
|  | 355 | *                  key pairs (that is, keys containing private key material). | 
| Manuel Pégourié-Gonnard | 392dc04 | 2018-11-13 10:48:23 +0100 | [diff] [blame] | 356 | *                  Support for other key types may be added later. | 
|  | 357 | * | 
|  | 358 | * \return          \c 0 on success. | 
| Manuel Pégourié-Gonnard | 920c063 | 2018-10-31 10:57:29 +0100 | [diff] [blame] | 359 | * \return          #MBEDTLS_ERR_PK_BAD_INPUT_DATA on invalid input | 
| Ronald Cron | cf56a0a | 2020-08-04 09:51:30 +0200 | [diff] [blame] | 360 | *                  (context already used, invalid key identifier). | 
| Manuel Pégourié-Gonnard | 920c063 | 2018-10-31 10:57:29 +0100 | [diff] [blame] | 361 | * \return          #MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE if the key is not an | 
| Manuel Pégourié-Gonnard | 392dc04 | 2018-11-13 10:48:23 +0100 | [diff] [blame] | 362 | *                  ECC key pair. | 
| Manuel Pégourié-Gonnard | 920c063 | 2018-10-31 10:57:29 +0100 | [diff] [blame] | 363 | * \return          #MBEDTLS_ERR_PK_ALLOC_FAILED on allocation failure. | 
| Manuel Pégourié-Gonnard | 20678b2 | 2018-10-22 12:11:15 +0200 | [diff] [blame] | 364 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 365 | int mbedtls_pk_setup_opaque(mbedtls_pk_context *ctx, | 
|  | 366 | const mbedtls_svc_key_id_t key); | 
| Manuel Pégourié-Gonnard | 20678b2 | 2018-10-22 12:11:15 +0200 | [diff] [blame] | 367 | #endif /* MBEDTLS_USE_PSA_CRYPTO */ | 
|  | 368 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 369 | #if defined(MBEDTLS_PK_RSA_ALT_SUPPORT) | 
| Manuel Pégourié-Gonnard | ab46694 | 2013-08-15 11:30:27 +0200 | [diff] [blame] | 370 | /** | 
| Paul Bakker | 4fc090a | 2013-09-18 15:43:25 +0200 | [diff] [blame] | 371 | * \brief           Initialize an RSA-alt context | 
| Manuel Pégourié-Gonnard | 12c1ff0 | 2013-08-21 12:28:31 +0200 | [diff] [blame] | 372 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 373 | * \param ctx       Context to initialize. It must not have been set | 
|  | 374 | *                  up yet (type #MBEDTLS_PK_NONE). | 
| Manuel Pégourié-Gonnard | 12c1ff0 | 2013-08-21 12:28:31 +0200 | [diff] [blame] | 375 | * \param key       RSA key pointer | 
|  | 376 | * \param decrypt_func  Decryption function | 
|  | 377 | * \param sign_func     Signing function | 
| Manuel Pégourié-Gonnard | 0148875 | 2014-04-03 22:09:18 +0200 | [diff] [blame] | 378 | * \param key_len_func  Function returning key length in bytes | 
| Manuel Pégourié-Gonnard | 12c1ff0 | 2013-08-21 12:28:31 +0200 | [diff] [blame] | 379 | * | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 380 | * \return          0 on success, or MBEDTLS_ERR_PK_BAD_INPUT_DATA if the | 
| Manuel Pégourié-Gonnard | 12c1ff0 | 2013-08-21 12:28:31 +0200 | [diff] [blame] | 381 | *                  context wasn't already initialized as RSA_ALT. | 
|  | 382 | * | 
| Manuel Pégourié-Gonnard | d9e6a3a | 2015-05-14 19:41:36 +0200 | [diff] [blame] | 383 | * \note            This function replaces \c mbedtls_pk_setup() for RSA-alt. | 
| Manuel Pégourié-Gonnard | 12e0ed9 | 2013-07-04 13:31:32 +0200 | [diff] [blame] | 384 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 385 | int mbedtls_pk_setup_rsa_alt(mbedtls_pk_context *ctx, void *key, | 
|  | 386 | mbedtls_pk_rsa_alt_decrypt_func decrypt_func, | 
|  | 387 | mbedtls_pk_rsa_alt_sign_func sign_func, | 
|  | 388 | mbedtls_pk_rsa_alt_key_len_func key_len_func); | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 389 | #endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */ | 
| Manuel Pégourié-Gonnard | 12e0ed9 | 2013-07-04 13:31:32 +0200 | [diff] [blame] | 390 |  | 
|  | 391 | /** | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 392 | * \brief           Get the size in bits of the underlying key | 
|  | 393 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 394 | * \param ctx       The context to query. It must have been initialized. | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 395 | * | 
|  | 396 | * \return          Key size in bits, or 0 on error | 
|  | 397 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 398 | size_t mbedtls_pk_get_bitlen(const mbedtls_pk_context *ctx); | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 399 |  | 
|  | 400 | /** | 
| Manuel Pégourié-Gonnard | 0d42049 | 2013-08-21 16:14:26 +0200 | [diff] [blame] | 401 | * \brief           Get the length in bytes of the underlying key | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 402 | * | 
|  | 403 | * \param ctx       The context to query. It must have been initialized. | 
| Manuel Pégourié-Gonnard | 0d42049 | 2013-08-21 16:14:26 +0200 | [diff] [blame] | 404 | * | 
| Paul Bakker | 4fc090a | 2013-09-18 15:43:25 +0200 | [diff] [blame] | 405 | * \return          Key length in bytes, or 0 on error | 
| Manuel Pégourié-Gonnard | 0d42049 | 2013-08-21 16:14:26 +0200 | [diff] [blame] | 406 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 407 | static inline size_t mbedtls_pk_get_len(const mbedtls_pk_context *ctx) | 
| Manuel Pégourié-Gonnard | 0d42049 | 2013-08-21 16:14:26 +0200 | [diff] [blame] | 408 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 409 | return (mbedtls_pk_get_bitlen(ctx) + 7) / 8; | 
| Manuel Pégourié-Gonnard | 0d42049 | 2013-08-21 16:14:26 +0200 | [diff] [blame] | 410 | } | 
|  | 411 |  | 
|  | 412 | /** | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 413 | * \brief           Tell if a context can do the operation given by type | 
|  | 414 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 415 | * \param ctx       The context to query. It must have been initialized. | 
|  | 416 | * \param type      The desired type. | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 417 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 418 | * \return          1 if the context can do operations on the given type. | 
|  | 419 | * \return          0 if the context cannot do the operations on the given | 
|  | 420 | *                  type. This is always the case for a context that has | 
|  | 421 | *                  been initialized but not set up, or that has been | 
|  | 422 | *                  cleared with mbedtls_pk_free(). | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 423 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 424 | int mbedtls_pk_can_do(const mbedtls_pk_context *ctx, mbedtls_pk_type_t type); | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 425 |  | 
| Neil Armstrong | 0b52958 | 2022-05-11 10:10:20 +0200 | [diff] [blame] | 426 | #if defined(MBEDTLS_USE_PSA_CRYPTO) | 
|  | 427 | /** | 
| Neil Armstrong | cec133a | 2022-05-17 11:56:01 +0200 | [diff] [blame] | 428 | * \brief           Tell if context can do the operation given by PSA algorithm | 
| Neil Armstrong | 0b52958 | 2022-05-11 10:10:20 +0200 | [diff] [blame] | 429 | * | 
|  | 430 | * \param ctx       The context to query. It must have been initialized. | 
|  | 431 | * \param alg       PSA algorithm to check against, the following are allowed: | 
|  | 432 | *                  PSA_ALG_RSA_PKCS1V15_SIGN(hash), | 
|  | 433 | *                  PSA_ALG_RSA_PSS(hash), | 
|  | 434 | *                  PSA_ALG_RSA_PKCS1V15_CRYPT, | 
|  | 435 | *                  PSA_ALG_ECDSA(hash), | 
|  | 436 | *                  PSA_ALG_ECDH, where hash is a specific hash. | 
| Neil Armstrong | 408f6a6 | 2022-05-17 14:23:20 +0200 | [diff] [blame] | 437 | * \param usage  PSA usage flag to check against, must be composed of: | 
|  | 438 | *                  PSA_KEY_USAGE_SIGN_HASH | 
|  | 439 | *                  PSA_KEY_USAGE_DECRYPT | 
|  | 440 | *                  PSA_KEY_USAGE_DERIVE. | 
|  | 441 | *                  Context key must match all passed usage flags. | 
| Neil Armstrong | 0b52958 | 2022-05-11 10:10:20 +0200 | [diff] [blame] | 442 | * | 
| Neil Armstrong | b2f2b02 | 2022-05-20 12:00:56 +0200 | [diff] [blame] | 443 | * \warning         Since the set of allowed algorithms and usage flags may be | 
|  | 444 | *                  expanded in the future, the return value \c 0 should not | 
|  | 445 | *                  be taken in account for non-allowed algorithms and usage | 
|  | 446 | *                  flags. | 
|  | 447 | * | 
| Neil Armstrong | 0b52958 | 2022-05-11 10:10:20 +0200 | [diff] [blame] | 448 | * \return          1 if the context can do operations on the given type. | 
|  | 449 | * \return          0 if the context cannot do the operations on the given | 
| Neil Armstrong | b2f2b02 | 2022-05-20 12:00:56 +0200 | [diff] [blame] | 450 | *                  type, for non-allowed algorithms and usage flags, or | 
|  | 451 | *                  for a context that has been initialized but not set up | 
|  | 452 | *                  or that has been cleared with mbedtls_pk_free(). | 
| Neil Armstrong | 0b52958 | 2022-05-11 10:10:20 +0200 | [diff] [blame] | 453 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 454 | int mbedtls_pk_can_do_ext(const mbedtls_pk_context *ctx, psa_algorithm_t alg, | 
|  | 455 | psa_key_usage_t usage); | 
| Neil Armstrong | 0b52958 | 2022-05-11 10:10:20 +0200 | [diff] [blame] | 456 | #endif /* MBEDTLS_USE_PSA_CRYPTO */ | 
|  | 457 |  | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 458 | /** | 
| Manuel Pégourié-Gonnard | d543a58 | 2014-06-25 14:04:36 +0200 | [diff] [blame] | 459 | * \brief           Verify signature (including padding if relevant). | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 460 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 461 | * \param ctx       The PK context to use. It must have been set up. | 
| Gilles Peskine | 9dbbc29 | 2021-06-22 18:28:13 +0200 | [diff] [blame] | 462 | * \param md_alg    Hash algorithm used. | 
|  | 463 | *                  This can be #MBEDTLS_MD_NONE if the signature algorithm | 
|  | 464 | *                  does not rely on a hash algorithm (non-deterministic | 
|  | 465 | *                  ECDSA, RSA PKCS#1 v1.5). | 
|  | 466 | *                  For PKCS#1 v1.5, if \p md_alg is #MBEDTLS_MD_NONE, then | 
|  | 467 | *                  \p hash is the DigestInfo structure used by RFC 8017 | 
|  | 468 | *                  §9.2 steps 3–6. If \p md_alg is a valid hash | 
|  | 469 | *                  algorithm then \p hash is the digest itself, and this | 
|  | 470 | *                  function calculates the DigestInfo encoding internally. | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 471 | * \param hash      Hash of the message to sign | 
| Gilles Peskine | 9dbbc29 | 2021-06-22 18:28:13 +0200 | [diff] [blame] | 472 | * \param hash_len  Hash length | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 473 | * \param sig       Signature to verify | 
|  | 474 | * \param sig_len   Signature length | 
|  | 475 | * | 
|  | 476 | * \return          0 on success (signature is valid), | 
| Gilles Peskine | 5114d3e | 2018-03-30 07:12:15 +0200 | [diff] [blame] | 477 | *                  #MBEDTLS_ERR_PK_SIG_LEN_MISMATCH if there is a valid | 
|  | 478 | *                  signature in sig but its length is less than \p siglen, | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 479 | *                  or a specific error code. | 
| Manuel Pégourié-Gonnard | bfe32ef | 2013-08-22 14:55:30 +0200 | [diff] [blame] | 480 | * | 
| Manuel Pégourié-Gonnard | d543a58 | 2014-06-25 14:04:36 +0200 | [diff] [blame] | 481 | * \note            For RSA keys, the default padding type is PKCS#1 v1.5. | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 482 | *                  Use \c mbedtls_pk_verify_ext( MBEDTLS_PK_RSASSA_PSS, ... ) | 
| Manuel Pégourié-Gonnard | d543a58 | 2014-06-25 14:04:36 +0200 | [diff] [blame] | 483 | *                  to verify RSASSA_PSS signatures. | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 484 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 485 | int mbedtls_pk_verify(mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg, | 
|  | 486 | const unsigned char *hash, size_t hash_len, | 
|  | 487 | const unsigned char *sig, size_t sig_len); | 
| Manuel Pégourié-Gonnard | b3d9187 | 2013-08-14 15:56:19 +0200 | [diff] [blame] | 488 |  | 
| Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 489 | /** | 
| Manuel Pégourié-Gonnard | 82cb27b | 2017-05-03 10:59:45 +0200 | [diff] [blame] | 490 | * \brief           Restartable version of \c mbedtls_pk_verify() | 
|  | 491 | * | 
|  | 492 | * \note            Performs the same job as \c mbedtls_pk_verify(), but can | 
|  | 493 | *                  return early and restart according to the limit set with | 
|  | 494 | *                  \c mbedtls_ecp_set_max_ops() to reduce blocking for ECC | 
|  | 495 | *                  operations. For RSA, same as \c mbedtls_pk_verify(). | 
|  | 496 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 497 | * \param ctx       The PK context to use. It must have been set up. | 
| Manuel Pégourié-Gonnard | 82cb27b | 2017-05-03 10:59:45 +0200 | [diff] [blame] | 498 | * \param md_alg    Hash algorithm used (see notes) | 
|  | 499 | * \param hash      Hash of the message to sign | 
|  | 500 | * \param hash_len  Hash length or 0 (see notes) | 
|  | 501 | * \param sig       Signature to verify | 
|  | 502 | * \param sig_len   Signature length | 
| Manuel Pégourié-Gonnard | 15d7df2 | 2017-08-17 14:33:31 +0200 | [diff] [blame] | 503 | * \param rs_ctx    Restart context (NULL to disable restart) | 
| Manuel Pégourié-Gonnard | 82cb27b | 2017-05-03 10:59:45 +0200 | [diff] [blame] | 504 | * | 
|  | 505 | * \return          See \c mbedtls_pk_verify(), or | 
| Manuel Pégourié-Gonnard | 12e4a8b | 2018-09-12 10:55:15 +0200 | [diff] [blame] | 506 | * \return          #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of | 
| Manuel Pégourié-Gonnard | 82cb27b | 2017-05-03 10:59:45 +0200 | [diff] [blame] | 507 | *                  operations was reached: see \c mbedtls_ecp_set_max_ops(). | 
|  | 508 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 509 | int mbedtls_pk_verify_restartable(mbedtls_pk_context *ctx, | 
|  | 510 | mbedtls_md_type_t md_alg, | 
|  | 511 | const unsigned char *hash, size_t hash_len, | 
|  | 512 | const unsigned char *sig, size_t sig_len, | 
|  | 513 | mbedtls_pk_restart_ctx *rs_ctx); | 
| Manuel Pégourié-Gonnard | 82cb27b | 2017-05-03 10:59:45 +0200 | [diff] [blame] | 514 |  | 
|  | 515 | /** | 
| Manuel Pégourié-Gonnard | d543a58 | 2014-06-25 14:04:36 +0200 | [diff] [blame] | 516 | * \brief           Verify signature, with options. | 
|  | 517 | *                  (Includes verification of the padding depending on type.) | 
| Manuel Pégourié-Gonnard | 20422e9 | 2014-06-05 13:41:44 +0200 | [diff] [blame] | 518 | * | 
| Manuel Pégourié-Gonnard | d543a58 | 2014-06-25 14:04:36 +0200 | [diff] [blame] | 519 | * \param type      Signature type (inc. possible padding type) to verify | 
| Manuel Pégourié-Gonnard | 20422e9 | 2014-06-05 13:41:44 +0200 | [diff] [blame] | 520 | * \param options   Pointer to type-specific options, or NULL | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 521 | * \param ctx       The PK context to use. It must have been set up. | 
| Manuel Pégourié-Gonnard | 20422e9 | 2014-06-05 13:41:44 +0200 | [diff] [blame] | 522 | * \param md_alg    Hash algorithm used (see notes) | 
|  | 523 | * \param hash      Hash of the message to sign | 
|  | 524 | * \param hash_len  Hash length or 0 (see notes) | 
|  | 525 | * \param sig       Signature to verify | 
|  | 526 | * \param sig_len   Signature length | 
|  | 527 | * | 
|  | 528 | * \return          0 on success (signature is valid), | 
| Gilles Peskine | 5114d3e | 2018-03-30 07:12:15 +0200 | [diff] [blame] | 529 | *                  #MBEDTLS_ERR_PK_TYPE_MISMATCH if the PK context can't be | 
| Manuel Pégourié-Gonnard | 20422e9 | 2014-06-05 13:41:44 +0200 | [diff] [blame] | 530 | *                  used for this type of signatures, | 
| Gilles Peskine | 5114d3e | 2018-03-30 07:12:15 +0200 | [diff] [blame] | 531 | *                  #MBEDTLS_ERR_PK_SIG_LEN_MISMATCH if there is a valid | 
|  | 532 | *                  signature in sig but its length is less than \p siglen, | 
| Manuel Pégourié-Gonnard | 20422e9 | 2014-06-05 13:41:44 +0200 | [diff] [blame] | 533 | *                  or a specific error code. | 
|  | 534 | * | 
|  | 535 | * \note            If hash_len is 0, then the length associated with md_alg | 
|  | 536 | *                  is used instead, or an error returned if it is invalid. | 
|  | 537 | * | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 538 | * \note            md_alg may be MBEDTLS_MD_NONE, only if hash_len != 0 | 
| Manuel Pégourié-Gonnard | 20422e9 | 2014-06-05 13:41:44 +0200 | [diff] [blame] | 539 | * | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 540 | * \note            If type is MBEDTLS_PK_RSASSA_PSS, then options must point | 
|  | 541 | *                  to a mbedtls_pk_rsassa_pss_options structure, | 
| Manuel Pégourié-Gonnard | a6e0291 | 2022-12-21 09:59:33 +0100 | [diff] [blame] | 542 | *                  otherwise it must be NULL. Note that if | 
|  | 543 | *                  #MBEDTLS_USE_PSA_CRYPTO is defined, the salt length is not | 
|  | 544 | *                  verified as PSA_ALG_RSA_PSS_ANY_SALT is used. | 
| Manuel Pégourié-Gonnard | 20422e9 | 2014-06-05 13:41:44 +0200 | [diff] [blame] | 545 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 546 | int mbedtls_pk_verify_ext(mbedtls_pk_type_t type, const void *options, | 
|  | 547 | mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg, | 
|  | 548 | const unsigned char *hash, size_t hash_len, | 
|  | 549 | const unsigned char *sig, size_t sig_len); | 
| Manuel Pégourié-Gonnard | 20422e9 | 2014-06-05 13:41:44 +0200 | [diff] [blame] | 550 |  | 
|  | 551 | /** | 
| Manuel Pégourié-Gonnard | d543a58 | 2014-06-25 14:04:36 +0200 | [diff] [blame] | 552 | * \brief           Make signature, including padding if relevant. | 
| Manuel Pégourié-Gonnard | 8df2769 | 2013-08-21 10:34:38 +0200 | [diff] [blame] | 553 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 554 | * \param ctx       The PK context to use. It must have been set up | 
|  | 555 | *                  with a private key. | 
| Manuel Pégourié-Gonnard | bfe32ef | 2013-08-22 14:55:30 +0200 | [diff] [blame] | 556 | * \param md_alg    Hash algorithm used (see notes) | 
| Manuel Pégourié-Gonnard | 8df2769 | 2013-08-21 10:34:38 +0200 | [diff] [blame] | 557 | * \param hash      Hash of the message to sign | 
| Gilles Peskine | 9dbbc29 | 2021-06-22 18:28:13 +0200 | [diff] [blame] | 558 | * \param hash_len  Hash length | 
| Gilles Peskine | da252be | 2019-11-05 16:23:49 +0100 | [diff] [blame] | 559 | * \param sig       Place to write the signature. | 
|  | 560 | *                  It must have enough room for the signature. | 
|  | 561 | *                  #MBEDTLS_PK_SIGNATURE_MAX_SIZE is always enough. | 
|  | 562 | *                  You may use a smaller buffer if it is large enough | 
|  | 563 | *                  given the key type. | 
| Gilles Peskine | f00f152 | 2021-06-22 00:09:00 +0200 | [diff] [blame] | 564 | * \param sig_size  The size of the \p sig buffer in bytes. | 
| Gilles Peskine | da252be | 2019-11-05 16:23:49 +0100 | [diff] [blame] | 565 | * \param sig_len   On successful return, | 
|  | 566 | *                  the number of bytes written to \p sig. | 
| Manuel Pégourié-Gonnard | 34d3756 | 2021-06-15 11:29:26 +0200 | [diff] [blame] | 567 | * \param f_rng     RNG function, must not be \c NULL. | 
| Manuel Pégourié-Gonnard | 8df2769 | 2013-08-21 10:34:38 +0200 | [diff] [blame] | 568 | * \param p_rng     RNG parameter | 
|  | 569 | * | 
|  | 570 | * \return          0 on success, or a specific error code. | 
| Manuel Pégourié-Gonnard | bfe32ef | 2013-08-22 14:55:30 +0200 | [diff] [blame] | 571 | * | 
| Manuel Pégourié-Gonnard | d543a58 | 2014-06-25 14:04:36 +0200 | [diff] [blame] | 572 | * \note            For RSA keys, the default padding type is PKCS#1 v1.5. | 
|  | 573 | *                  There is no interface in the PK module to make RSASSA-PSS | 
|  | 574 | *                  signatures yet. | 
|  | 575 | * | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 576 | * \note            For RSA, md_alg may be MBEDTLS_MD_NONE if hash_len != 0. | 
|  | 577 | *                  For ECDSA, md_alg may never be MBEDTLS_MD_NONE. | 
| Manuel Pégourié-Gonnard | 8df2769 | 2013-08-21 10:34:38 +0200 | [diff] [blame] | 578 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 579 | int mbedtls_pk_sign(mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg, | 
|  | 580 | const unsigned char *hash, size_t hash_len, | 
|  | 581 | unsigned char *sig, size_t sig_size, size_t *sig_len, | 
|  | 582 | int (*f_rng)(void *, unsigned char *, size_t), void *p_rng); | 
| Manuel Pégourié-Gonnard | 8df2769 | 2013-08-21 10:34:38 +0200 | [diff] [blame] | 583 |  | 
| Jerry Yu | bc18c23 | 2022-03-12 19:40:29 +0800 | [diff] [blame] | 584 | #if defined(MBEDTLS_PSA_CRYPTO_C) | 
| Manuel Pégourié-Gonnard | 8df2769 | 2013-08-21 10:34:38 +0200 | [diff] [blame] | 585 | /** | 
| Jerry Yu | 406cf27 | 2022-03-22 11:33:42 +0800 | [diff] [blame] | 586 | * \brief           Make signature given a signature type. | 
| Jerry Yu | d69439a | 2022-02-24 15:52:15 +0800 | [diff] [blame] | 587 | * | 
| Jerry Yu | 8beb9e1 | 2022-03-12 16:23:53 +0800 | [diff] [blame] | 588 | * \param pk_type   Signature type. | 
| Jerry Yu | d69439a | 2022-02-24 15:52:15 +0800 | [diff] [blame] | 589 | * \param ctx       The PK context to use. It must have been set up | 
|  | 590 | *                  with a private key. | 
|  | 591 | * \param md_alg    Hash algorithm used (see notes) | 
|  | 592 | * \param hash      Hash of the message to sign | 
|  | 593 | * \param hash_len  Hash length | 
|  | 594 | * \param sig       Place to write the signature. | 
|  | 595 | *                  It must have enough room for the signature. | 
|  | 596 | *                  #MBEDTLS_PK_SIGNATURE_MAX_SIZE is always enough. | 
|  | 597 | *                  You may use a smaller buffer if it is large enough | 
|  | 598 | *                  given the key type. | 
|  | 599 | * \param sig_size  The size of the \p sig buffer in bytes. | 
|  | 600 | * \param sig_len   On successful return, | 
|  | 601 | *                  the number of bytes written to \p sig. | 
|  | 602 | * \param f_rng     RNG function, must not be \c NULL. | 
|  | 603 | * \param p_rng     RNG parameter | 
|  | 604 | * | 
|  | 605 | * \return          0 on success, or a specific error code. | 
|  | 606 | * | 
| Jerry Yu | e6e73d6 | 2022-03-24 13:05:08 +0800 | [diff] [blame] | 607 | * \note            When \p pk_type is #MBEDTLS_PK_RSASSA_PSS, | 
|  | 608 | *                  see #PSA_ALG_RSA_PSS for a description of PSS options used. | 
| Jerry Yu | d69439a | 2022-02-24 15:52:15 +0800 | [diff] [blame] | 609 | * | 
|  | 610 | * \note            For RSA, md_alg may be MBEDTLS_MD_NONE if hash_len != 0. | 
|  | 611 | *                  For ECDSA, md_alg may never be MBEDTLS_MD_NONE. | 
|  | 612 | * | 
| Jerry Yu | d69439a | 2022-02-24 15:52:15 +0800 | [diff] [blame] | 613 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 614 | int mbedtls_pk_sign_ext(mbedtls_pk_type_t pk_type, | 
|  | 615 | mbedtls_pk_context *ctx, | 
|  | 616 | mbedtls_md_type_t md_alg, | 
|  | 617 | const unsigned char *hash, size_t hash_len, | 
|  | 618 | unsigned char *sig, size_t sig_size, size_t *sig_len, | 
|  | 619 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 620 | void *p_rng); | 
| Jerry Yu | bc18c23 | 2022-03-12 19:40:29 +0800 | [diff] [blame] | 621 | #endif /* MBEDTLS_PSA_CRYPTO_C */ | 
| Jerry Yu | d69439a | 2022-02-24 15:52:15 +0800 | [diff] [blame] | 622 |  | 
|  | 623 | /** | 
| Manuel Pégourié-Gonnard | 82cb27b | 2017-05-03 10:59:45 +0200 | [diff] [blame] | 624 | * \brief           Restartable version of \c mbedtls_pk_sign() | 
|  | 625 | * | 
|  | 626 | * \note            Performs the same job as \c mbedtls_pk_sign(), but can | 
|  | 627 | *                  return early and restart according to the limit set with | 
|  | 628 | *                  \c mbedtls_ecp_set_max_ops() to reduce blocking for ECC | 
|  | 629 | *                  operations. For RSA, same as \c mbedtls_pk_sign(). | 
|  | 630 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 631 | * \param ctx       The PK context to use. It must have been set up | 
|  | 632 | *                  with a private key. | 
| Gilles Peskine | 9db14fa | 2019-11-08 18:37:19 +0100 | [diff] [blame] | 633 | * \param md_alg    Hash algorithm used (see notes for mbedtls_pk_sign()) | 
| Manuel Pégourié-Gonnard | 82cb27b | 2017-05-03 10:59:45 +0200 | [diff] [blame] | 634 | * \param hash      Hash of the message to sign | 
| Gilles Peskine | 9dbbc29 | 2021-06-22 18:28:13 +0200 | [diff] [blame] | 635 | * \param hash_len  Hash length | 
| Gilles Peskine | 9db14fa | 2019-11-08 18:37:19 +0100 | [diff] [blame] | 636 | * \param sig       Place to write the signature. | 
|  | 637 | *                  It must have enough room for the signature. | 
|  | 638 | *                  #MBEDTLS_PK_SIGNATURE_MAX_SIZE is always enough. | 
|  | 639 | *                  You may use a smaller buffer if it is large enough | 
|  | 640 | *                  given the key type. | 
| Gilles Peskine | f00f152 | 2021-06-22 00:09:00 +0200 | [diff] [blame] | 641 | * \param sig_size  The size of the \p sig buffer in bytes. | 
| Gilles Peskine | 9db14fa | 2019-11-08 18:37:19 +0100 | [diff] [blame] | 642 | * \param sig_len   On successful return, | 
|  | 643 | *                  the number of bytes written to \p sig. | 
| Manuel Pégourié-Gonnard | 34d3756 | 2021-06-15 11:29:26 +0200 | [diff] [blame] | 644 | * \param f_rng     RNG function, must not be \c NULL. | 
| Manuel Pégourié-Gonnard | 82cb27b | 2017-05-03 10:59:45 +0200 | [diff] [blame] | 645 | * \param p_rng     RNG parameter | 
| Manuel Pégourié-Gonnard | 15d7df2 | 2017-08-17 14:33:31 +0200 | [diff] [blame] | 646 | * \param rs_ctx    Restart context (NULL to disable restart) | 
| Manuel Pégourié-Gonnard | 82cb27b | 2017-05-03 10:59:45 +0200 | [diff] [blame] | 647 | * | 
| Gilles Peskine | 9db14fa | 2019-11-08 18:37:19 +0100 | [diff] [blame] | 648 | * \return          See \c mbedtls_pk_sign(). | 
| Manuel Pégourié-Gonnard | 12e4a8b | 2018-09-12 10:55:15 +0200 | [diff] [blame] | 649 | * \return          #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of | 
| Manuel Pégourié-Gonnard | 82cb27b | 2017-05-03 10:59:45 +0200 | [diff] [blame] | 650 | *                  operations was reached: see \c mbedtls_ecp_set_max_ops(). | 
|  | 651 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 652 | int mbedtls_pk_sign_restartable(mbedtls_pk_context *ctx, | 
|  | 653 | mbedtls_md_type_t md_alg, | 
|  | 654 | const unsigned char *hash, size_t hash_len, | 
|  | 655 | unsigned char *sig, size_t sig_size, size_t *sig_len, | 
|  | 656 | int (*f_rng)(void *, unsigned char *, size_t), void *p_rng, | 
|  | 657 | mbedtls_pk_restart_ctx *rs_ctx); | 
| Manuel Pégourié-Gonnard | 82cb27b | 2017-05-03 10:59:45 +0200 | [diff] [blame] | 658 |  | 
|  | 659 | /** | 
| Manuel Pégourié-Gonnard | d543a58 | 2014-06-25 14:04:36 +0200 | [diff] [blame] | 660 | * \brief           Decrypt message (including padding if relevant). | 
| Manuel Pégourié-Gonnard | a2d3f22 | 2013-08-21 11:51:08 +0200 | [diff] [blame] | 661 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 662 | * \param ctx       The PK context to use. It must have been set up | 
|  | 663 | *                  with a private key. | 
| Manuel Pégourié-Gonnard | a2d3f22 | 2013-08-21 11:51:08 +0200 | [diff] [blame] | 664 | * \param input     Input to decrypt | 
|  | 665 | * \param ilen      Input size | 
|  | 666 | * \param output    Decrypted output | 
| Paul Bakker | 4fc090a | 2013-09-18 15:43:25 +0200 | [diff] [blame] | 667 | * \param olen      Decrypted message length | 
| Manuel Pégourié-Gonnard | a2d3f22 | 2013-08-21 11:51:08 +0200 | [diff] [blame] | 668 | * \param osize     Size of the output buffer | 
| Manuel Pégourié-Gonnard | 34d3756 | 2021-06-15 11:29:26 +0200 | [diff] [blame] | 669 | * \param f_rng     RNG function, must not be \c NULL. | 
| Paul Bakker | dcbfdcc | 2013-09-10 16:16:50 +0200 | [diff] [blame] | 670 | * \param p_rng     RNG parameter | 
| Manuel Pégourié-Gonnard | a2d3f22 | 2013-08-21 11:51:08 +0200 | [diff] [blame] | 671 | * | 
| Manuel Pégourié-Gonnard | d543a58 | 2014-06-25 14:04:36 +0200 | [diff] [blame] | 672 | * \note            For RSA keys, the default padding type is PKCS#1 v1.5. | 
|  | 673 | * | 
| Manuel Pégourié-Gonnard | a2d3f22 | 2013-08-21 11:51:08 +0200 | [diff] [blame] | 674 | * \return          0 on success, or a specific error code. | 
|  | 675 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 676 | int mbedtls_pk_decrypt(mbedtls_pk_context *ctx, | 
|  | 677 | const unsigned char *input, size_t ilen, | 
|  | 678 | unsigned char *output, size_t *olen, size_t osize, | 
|  | 679 | int (*f_rng)(void *, unsigned char *, size_t), void *p_rng); | 
| Manuel Pégourié-Gonnard | a2d3f22 | 2013-08-21 11:51:08 +0200 | [diff] [blame] | 680 |  | 
|  | 681 | /** | 
| Manuel Pégourié-Gonnard | d543a58 | 2014-06-25 14:04:36 +0200 | [diff] [blame] | 682 | * \brief           Encrypt message (including padding if relevant). | 
| Manuel Pégourié-Gonnard | a2d3f22 | 2013-08-21 11:51:08 +0200 | [diff] [blame] | 683 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 684 | * \param ctx       The PK context to use. It must have been set up. | 
| Manuel Pégourié-Gonnard | a2d3f22 | 2013-08-21 11:51:08 +0200 | [diff] [blame] | 685 | * \param input     Message to encrypt | 
|  | 686 | * \param ilen      Message size | 
|  | 687 | * \param output    Encrypted output | 
|  | 688 | * \param olen      Encrypted output length | 
|  | 689 | * \param osize     Size of the output buffer | 
| Manuel Pégourié-Gonnard | 34d3756 | 2021-06-15 11:29:26 +0200 | [diff] [blame] | 690 | * \param f_rng     RNG function, must not be \c NULL. | 
| Paul Bakker | dcbfdcc | 2013-09-10 16:16:50 +0200 | [diff] [blame] | 691 | * \param p_rng     RNG parameter | 
| Manuel Pégourié-Gonnard | a2d3f22 | 2013-08-21 11:51:08 +0200 | [diff] [blame] | 692 | * | 
| Manuel Pégourié-Gonnard | 34d3756 | 2021-06-15 11:29:26 +0200 | [diff] [blame] | 693 | * \note            \p f_rng is used for padding generation. | 
|  | 694 | * | 
| Manuel Pégourié-Gonnard | d543a58 | 2014-06-25 14:04:36 +0200 | [diff] [blame] | 695 | * \note            For RSA keys, the default padding type is PKCS#1 v1.5. | 
|  | 696 | * | 
| Manuel Pégourié-Gonnard | a2d3f22 | 2013-08-21 11:51:08 +0200 | [diff] [blame] | 697 | * \return          0 on success, or a specific error code. | 
|  | 698 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 699 | int mbedtls_pk_encrypt(mbedtls_pk_context *ctx, | 
|  | 700 | const unsigned char *input, size_t ilen, | 
|  | 701 | unsigned char *output, size_t *olen, size_t osize, | 
|  | 702 | int (*f_rng)(void *, unsigned char *, size_t), void *p_rng); | 
| Manuel Pégourié-Gonnard | a2d3f22 | 2013-08-21 11:51:08 +0200 | [diff] [blame] | 703 |  | 
|  | 704 | /** | 
| Manuel Pégourié-Gonnard | 70bdadf | 2014-11-06 16:51:20 +0100 | [diff] [blame] | 705 | * \brief           Check if a public-private pair of keys matches. | 
|  | 706 | * | 
|  | 707 | * \param pub       Context holding a public key. | 
|  | 708 | * \param prv       Context holding a private (and public) key. | 
| Manuel Pégourié-Gonnard | 39be141 | 2021-06-15 11:29:26 +0200 | [diff] [blame] | 709 | * \param f_rng     RNG function, must not be \c NULL. | 
|  | 710 | * \param p_rng     RNG parameter | 
| Manuel Pégourié-Gonnard | 70bdadf | 2014-11-06 16:51:20 +0100 | [diff] [blame] | 711 | * | 
| Manuel Pégourié-Gonnard | eaeb7b2 | 2018-10-24 12:37:44 +0200 | [diff] [blame] | 712 | * \return          \c 0 on success (keys were checked and match each other). | 
|  | 713 | * \return          #MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE if the keys could not | 
|  | 714 | *                  be checked - in that case they may or may not match. | 
|  | 715 | * \return          #MBEDTLS_ERR_PK_BAD_INPUT_DATA if a context is invalid. | 
|  | 716 | * \return          Another non-zero value if the keys do not match. | 
| Manuel Pégourié-Gonnard | 70bdadf | 2014-11-06 16:51:20 +0100 | [diff] [blame] | 717 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 718 | int mbedtls_pk_check_pair(const mbedtls_pk_context *pub, | 
|  | 719 | const mbedtls_pk_context *prv, | 
|  | 720 | int (*f_rng)(void *, unsigned char *, size_t), | 
|  | 721 | void *p_rng); | 
| Manuel Pégourié-Gonnard | 70bdadf | 2014-11-06 16:51:20 +0100 | [diff] [blame] | 722 |  | 
|  | 723 | /** | 
| Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 724 | * \brief           Export debug information | 
|  | 725 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 726 | * \param ctx       The PK context to use. It must have been initialized. | 
| Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 727 | * \param items     Place to write debug items | 
|  | 728 | * | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 729 | * \return          0 on success or MBEDTLS_ERR_PK_BAD_INPUT_DATA | 
| Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 730 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 731 | int mbedtls_pk_debug(const mbedtls_pk_context *ctx, mbedtls_pk_debug_item *items); | 
| Manuel Pégourié-Gonnard | c6ac887 | 2013-08-14 18:04:18 +0200 | [diff] [blame] | 732 |  | 
| Manuel Pégourié-Gonnard | 3fb5c5e | 2013-08-14 18:26:41 +0200 | [diff] [blame] | 733 | /** | 
|  | 734 | * \brief           Access the type name | 
|  | 735 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 736 | * \param ctx       The PK context to use. It must have been initialized. | 
| Manuel Pégourié-Gonnard | 3fb5c5e | 2013-08-14 18:26:41 +0200 | [diff] [blame] | 737 | * | 
|  | 738 | * \return          Type name on success, or "invalid PK" | 
|  | 739 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 740 | const char *mbedtls_pk_get_name(const mbedtls_pk_context *ctx); | 
| Manuel Pégourié-Gonnard | 3fb5c5e | 2013-08-14 18:26:41 +0200 | [diff] [blame] | 741 |  | 
| Manuel Pégourié-Gonnard | 8053da4 | 2013-09-11 22:28:30 +0200 | [diff] [blame] | 742 | /** | 
| Paul Bakker | 4fc090a | 2013-09-18 15:43:25 +0200 | [diff] [blame] | 743 | * \brief           Get the key type | 
| Manuel Pégourié-Gonnard | 8053da4 | 2013-09-11 22:28:30 +0200 | [diff] [blame] | 744 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 745 | * \param ctx       The PK context to use. It must have been initialized. | 
| Manuel Pégourié-Gonnard | 8053da4 | 2013-09-11 22:28:30 +0200 | [diff] [blame] | 746 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 747 | * \return          Type on success. | 
|  | 748 | * \return          #MBEDTLS_PK_NONE for a context that has not been set up. | 
| Manuel Pégourié-Gonnard | 8053da4 | 2013-09-11 22:28:30 +0200 | [diff] [blame] | 749 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 750 | mbedtls_pk_type_t mbedtls_pk_get_type(const mbedtls_pk_context *ctx); | 
| Manuel Pégourié-Gonnard | 8053da4 | 2013-09-11 22:28:30 +0200 | [diff] [blame] | 751 |  | 
| Manuel Pégourié-Gonnard | 22e84de | 2022-06-10 09:48:38 +0200 | [diff] [blame] | 752 | #if defined(MBEDTLS_RSA_C) | 
|  | 753 | /** | 
|  | 754 | * Quick access to an RSA context inside a PK context. | 
|  | 755 | * | 
|  | 756 | * \warning This function can only be used when the type of the context, as | 
|  | 757 | * returned by mbedtls_pk_get_type(), is #MBEDTLS_PK_RSA. | 
|  | 758 | * Ensuring that is the caller's responsibility. | 
|  | 759 | * Alternatively, you can check whether this function returns NULL. | 
|  | 760 | * | 
|  | 761 | * \return The internal RSA context held by the PK context, or NULL. | 
|  | 762 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 763 | static inline mbedtls_rsa_context *mbedtls_pk_rsa(const mbedtls_pk_context pk) | 
| Manuel Pégourié-Gonnard | 22e84de | 2022-06-10 09:48:38 +0200 | [diff] [blame] | 764 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 765 | switch (mbedtls_pk_get_type(&pk)) { | 
| Manuel Pégourié-Gonnard | 4cfaae5 | 2022-06-23 09:43:39 +0200 | [diff] [blame] | 766 | case MBEDTLS_PK_RSA: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 767 | return (mbedtls_rsa_context *) (pk).MBEDTLS_PRIVATE(pk_ctx); | 
| Manuel Pégourié-Gonnard | 4cfaae5 | 2022-06-23 09:43:39 +0200 | [diff] [blame] | 768 | default: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 769 | return NULL; | 
| Manuel Pégourié-Gonnard | 4cfaae5 | 2022-06-23 09:43:39 +0200 | [diff] [blame] | 770 | } | 
| Manuel Pégourié-Gonnard | 22e84de | 2022-06-10 09:48:38 +0200 | [diff] [blame] | 771 | } | 
|  | 772 | #endif /* MBEDTLS_RSA_C */ | 
|  | 773 |  | 
| Valerio Setti | 0d2980f | 2023-04-05 18:17:13 +0200 | [diff] [blame] | 774 | #if defined(MBEDTLS_ECP_LIGHT) | 
| Manuel Pégourié-Gonnard | 22e84de | 2022-06-10 09:48:38 +0200 | [diff] [blame] | 775 | /** | 
|  | 776 | * Quick access to an EC context inside a PK context. | 
|  | 777 | * | 
|  | 778 | * \warning This function can only be used when the type of the context, as | 
|  | 779 | * returned by mbedtls_pk_get_type(), is #MBEDTLS_PK_ECKEY, | 
|  | 780 | * #MBEDTLS_PK_ECKEY_DH, or #MBEDTLS_PK_ECDSA. | 
|  | 781 | * Ensuring that is the caller's responsibility. | 
|  | 782 | * Alternatively, you can check whether this function returns NULL. | 
|  | 783 | * | 
|  | 784 | * \return The internal EC context held by the PK context, or NULL. | 
|  | 785 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 786 | static inline mbedtls_ecp_keypair *mbedtls_pk_ec(const mbedtls_pk_context pk) | 
| Manuel Pégourié-Gonnard | 22e84de | 2022-06-10 09:48:38 +0200 | [diff] [blame] | 787 | { | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 788 | switch (mbedtls_pk_get_type(&pk)) { | 
| Manuel Pégourié-Gonnard | 4cfaae5 | 2022-06-23 09:43:39 +0200 | [diff] [blame] | 789 | case MBEDTLS_PK_ECKEY: | 
|  | 790 | case MBEDTLS_PK_ECKEY_DH: | 
|  | 791 | case MBEDTLS_PK_ECDSA: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 792 | return (mbedtls_ecp_keypair *) (pk).MBEDTLS_PRIVATE(pk_ctx); | 
| Manuel Pégourié-Gonnard | 4cfaae5 | 2022-06-23 09:43:39 +0200 | [diff] [blame] | 793 | default: | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 794 | return NULL; | 
| Manuel Pégourié-Gonnard | 4cfaae5 | 2022-06-23 09:43:39 +0200 | [diff] [blame] | 795 | } | 
| Manuel Pégourié-Gonnard | 22e84de | 2022-06-10 09:48:38 +0200 | [diff] [blame] | 796 | } | 
| Valerio Setti | 0d2980f | 2023-04-05 18:17:13 +0200 | [diff] [blame] | 797 | #endif /* MBEDTLS_ECP_LIGHT */ | 
| Manuel Pégourié-Gonnard | 22e84de | 2022-06-10 09:48:38 +0200 | [diff] [blame] | 798 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 799 | #if defined(MBEDTLS_PK_PARSE_C) | 
| Paul Bakker | ff3a518 | 2013-09-16 22:42:19 +0200 | [diff] [blame] | 800 | /** \ingroup pk_module */ | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 801 | /** | 
| Manuel Pégourié-Gonnard | 43b37cb | 2015-05-12 11:20:10 +0200 | [diff] [blame] | 802 | * \brief           Parse a private key in PEM or DER format | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 803 | * | 
| Gilles Peskine | 5b7e164 | 2022-08-04 23:44:59 +0200 | [diff] [blame] | 804 | * \note            If #MBEDTLS_USE_PSA_CRYPTO is enabled, the PSA crypto | 
|  | 805 | *                  subsystem must have been initialized by calling | 
|  | 806 | *                  psa_crypto_init() before calling this function. | 
|  | 807 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 808 | * \param ctx       The PK context to fill. It must have been initialized | 
|  | 809 | *                  but not set up. | 
|  | 810 | * \param key       Input buffer to parse. | 
|  | 811 | *                  The buffer must contain the input exactly, with no | 
|  | 812 | *                  extra trailing material. For PEM, the buffer must | 
|  | 813 | *                  contain a null-terminated string. | 
|  | 814 | * \param keylen    Size of \b key in bytes. | 
|  | 815 | *                  For PEM data, this includes the terminating null byte, | 
|  | 816 | *                  so \p keylen must be equal to `strlen(key) + 1`. | 
|  | 817 | * \param pwd       Optional password for decryption. | 
|  | 818 | *                  Pass \c NULL if expecting a non-encrypted key. | 
|  | 819 | *                  Pass a string of \p pwdlen bytes if expecting an encrypted | 
|  | 820 | *                  key; a non-encrypted key will also be accepted. | 
|  | 821 | *                  The empty password is not supported. | 
|  | 822 | * \param pwdlen    Size of the password in bytes. | 
|  | 823 | *                  Ignored if \p pwd is \c NULL. | 
| Manuel Pégourié-Gonnard | 84dea01 | 2021-06-15 11:29:26 +0200 | [diff] [blame] | 824 | * \param f_rng     RNG function, must not be \c NULL. Used for blinding. | 
|  | 825 | * \param p_rng     RNG parameter | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 826 | * | 
| Manuel Pégourié-Gonnard | e3b3d19 | 2014-03-13 19:21:49 +0100 | [diff] [blame] | 827 | * \note            On entry, ctx must be empty, either freshly initialised | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 828 | *                  with mbedtls_pk_init() or reset with mbedtls_pk_free(). If you need a | 
|  | 829 | *                  specific key type, check the result with mbedtls_pk_can_do(). | 
| Manuel Pégourié-Gonnard | e3b3d19 | 2014-03-13 19:21:49 +0100 | [diff] [blame] | 830 | * | 
|  | 831 | * \note            The key is also checked for correctness. | 
|  | 832 | * | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 833 | * \return          0 if successful, or a specific PK or PEM error code | 
|  | 834 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 835 | int mbedtls_pk_parse_key(mbedtls_pk_context *ctx, | 
|  | 836 | const unsigned char *key, size_t keylen, | 
|  | 837 | const unsigned char *pwd, size_t pwdlen, | 
|  | 838 | int (*f_rng)(void *, unsigned char *, size_t), void *p_rng); | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 839 |  | 
| Paul Bakker | ff3a518 | 2013-09-16 22:42:19 +0200 | [diff] [blame] | 840 | /** \ingroup pk_module */ | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 841 | /** | 
| Manuel Pégourié-Gonnard | 43b37cb | 2015-05-12 11:20:10 +0200 | [diff] [blame] | 842 | * \brief           Parse a public key in PEM or DER format | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 843 | * | 
| Gilles Peskine | 5b7e164 | 2022-08-04 23:44:59 +0200 | [diff] [blame] | 844 | * \note            If #MBEDTLS_USE_PSA_CRYPTO is enabled, the PSA crypto | 
|  | 845 | *                  subsystem must have been initialized by calling | 
|  | 846 | *                  psa_crypto_init() before calling this function. | 
|  | 847 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 848 | * \param ctx       The PK context to fill. It must have been initialized | 
|  | 849 | *                  but not set up. | 
|  | 850 | * \param key       Input buffer to parse. | 
|  | 851 | *                  The buffer must contain the input exactly, with no | 
|  | 852 | *                  extra trailing material. For PEM, the buffer must | 
|  | 853 | *                  contain a null-terminated string. | 
|  | 854 | * \param keylen    Size of \b key in bytes. | 
|  | 855 | *                  For PEM data, this includes the terminating null byte, | 
|  | 856 | *                  so \p keylen must be equal to `strlen(key) + 1`. | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 857 | * | 
| Manuel Pégourié-Gonnard | e3b3d19 | 2014-03-13 19:21:49 +0100 | [diff] [blame] | 858 | * \note            On entry, ctx must be empty, either freshly initialised | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 859 | *                  with mbedtls_pk_init() or reset with mbedtls_pk_free(). If you need a | 
|  | 860 | *                  specific key type, check the result with mbedtls_pk_can_do(). | 
| Manuel Pégourié-Gonnard | e3b3d19 | 2014-03-13 19:21:49 +0100 | [diff] [blame] | 861 | * | 
| Valerio Setti | 78f79d3 | 2023-02-07 08:33:26 +0100 | [diff] [blame] | 862 | * \note            For compressed points, see #MBEDTLS_ECP_PF_COMPRESSED for | 
|  | 863 | *                  limitations. | 
|  | 864 | * | 
| Manuel Pégourié-Gonnard | e3b3d19 | 2014-03-13 19:21:49 +0100 | [diff] [blame] | 865 | * \note            The key is also checked for correctness. | 
|  | 866 | * | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 867 | * \return          0 if successful, or a specific PK or PEM error code | 
|  | 868 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 869 | int mbedtls_pk_parse_public_key(mbedtls_pk_context *ctx, | 
|  | 870 | const unsigned char *key, size_t keylen); | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 871 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 872 | #if defined(MBEDTLS_FS_IO) | 
| Paul Bakker | ff3a518 | 2013-09-16 22:42:19 +0200 | [diff] [blame] | 873 | /** \ingroup pk_module */ | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 874 | /** | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 875 | * \brief           Load and parse a private key | 
|  | 876 | * | 
| Gilles Peskine | 5b7e164 | 2022-08-04 23:44:59 +0200 | [diff] [blame] | 877 | * \note            If #MBEDTLS_USE_PSA_CRYPTO is enabled, the PSA crypto | 
|  | 878 | *                  subsystem must have been initialized by calling | 
|  | 879 | *                  psa_crypto_init() before calling this function. | 
|  | 880 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 881 | * \param ctx       The PK context to fill. It must have been initialized | 
|  | 882 | *                  but not set up. | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 883 | * \param path      filename to read the private key from | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 884 | * \param password  Optional password to decrypt the file. | 
|  | 885 | *                  Pass \c NULL if expecting a non-encrypted key. | 
|  | 886 | *                  Pass a null-terminated string if expecting an encrypted | 
|  | 887 | *                  key; a non-encrypted key will also be accepted. | 
|  | 888 | *                  The empty password is not supported. | 
| Manuel Pégourié-Gonnard | 84dea01 | 2021-06-15 11:29:26 +0200 | [diff] [blame] | 889 | * \param f_rng     RNG function, must not be \c NULL. Used for blinding. | 
|  | 890 | * \param p_rng     RNG parameter | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 891 | * | 
| Manuel Pégourié-Gonnard | e3b3d19 | 2014-03-13 19:21:49 +0100 | [diff] [blame] | 892 | * \note            On entry, ctx must be empty, either freshly initialised | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 893 | *                  with mbedtls_pk_init() or reset with mbedtls_pk_free(). If you need a | 
|  | 894 | *                  specific key type, check the result with mbedtls_pk_can_do(). | 
| Manuel Pégourié-Gonnard | e3b3d19 | 2014-03-13 19:21:49 +0100 | [diff] [blame] | 895 | * | 
|  | 896 | * \note            The key is also checked for correctness. | 
|  | 897 | * | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 898 | * \return          0 if successful, or a specific PK or PEM error code | 
|  | 899 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 900 | int mbedtls_pk_parse_keyfile(mbedtls_pk_context *ctx, | 
|  | 901 | const char *path, const char *password, | 
|  | 902 | int (*f_rng)(void *, unsigned char *, size_t), void *p_rng); | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 903 |  | 
| Paul Bakker | ff3a518 | 2013-09-16 22:42:19 +0200 | [diff] [blame] | 904 | /** \ingroup pk_module */ | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 905 | /** | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 906 | * \brief           Load and parse a public key | 
|  | 907 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 908 | * \param ctx       The PK context to fill. It must have been initialized | 
|  | 909 | *                  but not set up. | 
| Simon Butcher | 295639b | 2016-05-10 19:39:36 +0100 | [diff] [blame] | 910 | * \param path      filename to read the public key from | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 911 | * | 
| Manuel Pégourié-Gonnard | e3b3d19 | 2014-03-13 19:21:49 +0100 | [diff] [blame] | 912 | * \note            On entry, ctx must be empty, either freshly initialised | 
| Simon Butcher | 295639b | 2016-05-10 19:39:36 +0100 | [diff] [blame] | 913 | *                  with mbedtls_pk_init() or reset with mbedtls_pk_free(). If | 
|  | 914 | *                  you need a specific key type, check the result with | 
|  | 915 | *                  mbedtls_pk_can_do(). | 
| Manuel Pégourié-Gonnard | e3b3d19 | 2014-03-13 19:21:49 +0100 | [diff] [blame] | 916 | * | 
|  | 917 | * \note            The key is also checked for correctness. | 
|  | 918 | * | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 919 | * \return          0 if successful, or a specific PK or PEM error code | 
|  | 920 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 921 | int mbedtls_pk_parse_public_keyfile(mbedtls_pk_context *ctx, const char *path); | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 922 | #endif /* MBEDTLS_FS_IO */ | 
|  | 923 | #endif /* MBEDTLS_PK_PARSE_C */ | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 924 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 925 | #if defined(MBEDTLS_PK_WRITE_C) | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 926 | /** | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 927 | * \brief           Write a private key to a PKCS#1 or SEC1 DER structure | 
|  | 928 | *                  Note: data is written at the end of the buffer! Use the | 
|  | 929 | *                        return value to determine where you should start | 
|  | 930 | *                        using the buffer | 
|  | 931 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 932 | * \param ctx       PK context which must contain a valid private key. | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 933 | * \param buf       buffer to write to | 
|  | 934 | * \param size      size of the buffer | 
|  | 935 | * | 
|  | 936 | * \return          length of data written if successful, or a specific | 
|  | 937 | *                  error code | 
|  | 938 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 939 | int mbedtls_pk_write_key_der(const mbedtls_pk_context *ctx, unsigned char *buf, size_t size); | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 940 |  | 
|  | 941 | /** | 
|  | 942 | * \brief           Write a public key to a SubjectPublicKeyInfo DER structure | 
|  | 943 | *                  Note: data is written at the end of the buffer! Use the | 
|  | 944 | *                        return value to determine where you should start | 
|  | 945 | *                        using the buffer | 
|  | 946 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 947 | * \param ctx       PK context which must contain a valid public or private key. | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 948 | * \param buf       buffer to write to | 
|  | 949 | * \param size      size of the buffer | 
|  | 950 | * | 
|  | 951 | * \return          length of data written if successful, or a specific | 
|  | 952 | *                  error code | 
|  | 953 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 954 | int mbedtls_pk_write_pubkey_der(const mbedtls_pk_context *ctx, unsigned char *buf, size_t size); | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 955 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 956 | #if defined(MBEDTLS_PEM_WRITE_C) | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 957 | /** | 
|  | 958 | * \brief           Write a public key to a PEM string | 
|  | 959 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 960 | * \param ctx       PK context which must contain a valid public or private key. | 
|  | 961 | * \param buf       Buffer to write to. The output includes a | 
|  | 962 | *                  terminating null byte. | 
|  | 963 | * \param size      Size of the buffer in bytes. | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 964 | * | 
| Manuel Pégourié-Gonnard | 81abefd | 2015-05-29 12:53:47 +0200 | [diff] [blame] | 965 | * \return          0 if successful, or a specific error code | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 966 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 967 | int mbedtls_pk_write_pubkey_pem(const mbedtls_pk_context *ctx, unsigned char *buf, size_t size); | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 968 |  | 
|  | 969 | /** | 
|  | 970 | * \brief           Write a private key to a PKCS#1 or SEC1 PEM string | 
|  | 971 | * | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 972 | * \param ctx       PK context which must contain a valid private key. | 
|  | 973 | * \param buf       Buffer to write to. The output includes a | 
|  | 974 | *                  terminating null byte. | 
|  | 975 | * \param size      Size of the buffer in bytes. | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 976 | * | 
| Manuel Pégourié-Gonnard | 81abefd | 2015-05-29 12:53:47 +0200 | [diff] [blame] | 977 | * \return          0 if successful, or a specific error code | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 978 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 979 | int mbedtls_pk_write_key_pem(const mbedtls_pk_context *ctx, unsigned char *buf, size_t size); | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 980 | #endif /* MBEDTLS_PEM_WRITE_C */ | 
|  | 981 | #endif /* MBEDTLS_PK_WRITE_C */ | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 982 |  | 
|  | 983 | /* | 
|  | 984 | * WARNING: Low-level functions. You probably do not want to use these unless | 
|  | 985 | *          you are certain you do ;) | 
|  | 986 | */ | 
|  | 987 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 988 | #if defined(MBEDTLS_PK_PARSE_C) | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 989 | /** | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 990 | * \brief           Parse a SubjectPublicKeyInfo DER structure | 
|  | 991 | * | 
|  | 992 | * \param p         the position in the ASN.1 data | 
|  | 993 | * \param end       end of the buffer | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 994 | * \param pk        The PK context to fill. It must have been initialized | 
|  | 995 | *                  but not set up. | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 996 | * | 
|  | 997 | * \return          0 if successful, or a specific PK error code | 
|  | 998 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 999 | int mbedtls_pk_parse_subpubkey(unsigned char **p, const unsigned char *end, | 
|  | 1000 | mbedtls_pk_context *pk); | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 1001 | #endif /* MBEDTLS_PK_PARSE_C */ | 
| Paul Bakker | 1a7550a | 2013-09-15 13:01:22 +0200 | [diff] [blame] | 1002 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 1003 | #if defined(MBEDTLS_PK_WRITE_C) | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 1004 | /** | 
|  | 1005 | * \brief           Write a subjectPublicKey to ASN.1 data | 
|  | 1006 | *                  Note: function works backwards in data buffer | 
|  | 1007 | * | 
|  | 1008 | * \param p         reference to current position pointer | 
|  | 1009 | * \param start     start of the buffer (for bounds-checking) | 
| Andrzej Kurek | c470b6b | 2019-01-31 08:20:20 -0500 | [diff] [blame] | 1010 | * \param key       PK context which must contain a valid public or private key. | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 1011 | * | 
|  | 1012 | * \return          the length written or a negative error code | 
|  | 1013 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1014 | int mbedtls_pk_write_pubkey(unsigned char **p, unsigned char *start, | 
|  | 1015 | const mbedtls_pk_context *key); | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 1016 | #endif /* MBEDTLS_PK_WRITE_C */ | 
| Paul Bakker | c7bb02b | 2013-09-15 14:54:56 +0200 | [diff] [blame] | 1017 |  | 
| Manuel Pégourié-Gonnard | 9439f93 | 2014-11-21 09:49:43 +0100 | [diff] [blame] | 1018 | /* | 
|  | 1019 | * Internal module functions. You probably do not want to use these unless you | 
|  | 1020 | * know you do. | 
|  | 1021 | */ | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 1022 | #if defined(MBEDTLS_FS_IO) | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1023 | int mbedtls_pk_load_file(const char *path, unsigned char **buf, size_t *n); | 
| Manuel Pégourié-Gonnard | 9439f93 | 2014-11-21 09:49:43 +0100 | [diff] [blame] | 1024 | #endif | 
|  | 1025 |  | 
| Manuel Pégourié-Gonnard | 347a00e | 2018-11-19 12:25:37 +0100 | [diff] [blame] | 1026 | #if defined(MBEDTLS_USE_PSA_CRYPTO) | 
|  | 1027 | /** | 
| Neil Armstrong | 23143dc | 2022-04-21 11:33:54 +0200 | [diff] [blame] | 1028 | * \brief           Turn an EC or RSA key into an opaque one. | 
| Manuel Pégourié-Gonnard | 347a00e | 2018-11-19 12:25:37 +0100 | [diff] [blame] | 1029 | * | 
|  | 1030 | * \warning         This is a temporary utility function for tests. It might | 
|  | 1031 | *                  change or be removed at any time without notice. | 
|  | 1032 | * | 
| Neil Armstrong | 23143dc | 2022-04-21 11:33:54 +0200 | [diff] [blame] | 1033 | * \param pk        Input: the EC or RSA key to import to a PSA key. | 
| Gilles Peskine | 1139249 | 2019-05-27 14:53:19 +0200 | [diff] [blame] | 1034 | *                  Output: a PK context wrapping that PSA key. | 
| Ronald Cron | cf56a0a | 2020-08-04 09:51:30 +0200 | [diff] [blame] | 1035 | * \param key       Output: a PSA key identifier. | 
| Gilles Peskine | 1139249 | 2019-05-27 14:53:19 +0200 | [diff] [blame] | 1036 | *                  It's the caller's responsibility to call | 
| Ronald Cron | cf56a0a | 2020-08-04 09:51:30 +0200 | [diff] [blame] | 1037 | *                  psa_destroy_key() on that key identifier after calling | 
| Gilles Peskine | 1139249 | 2019-05-27 14:53:19 +0200 | [diff] [blame] | 1038 | *                  mbedtls_pk_free() on the PK context. | 
| Neil Armstrong | a1fc18f | 2022-04-22 13:57:14 +0200 | [diff] [blame] | 1039 | * \param alg       The algorithm to allow for use with that key. | 
|  | 1040 | * \param usage     The usage to allow for use with that key. | 
|  | 1041 | * \param alg2      The secondary algorithm to allow for use with that key. | 
| Manuel Pégourié-Gonnard | 347a00e | 2018-11-19 12:25:37 +0100 | [diff] [blame] | 1042 | * | 
|  | 1043 | * \return          \c 0 if successful. | 
|  | 1044 | * \return          An Mbed TLS error code otherwise. | 
|  | 1045 | */ | 
| Gilles Peskine | 449bd83 | 2023-01-11 14:50:10 +0100 | [diff] [blame] | 1046 | int mbedtls_pk_wrap_as_opaque(mbedtls_pk_context *pk, | 
|  | 1047 | mbedtls_svc_key_id_t *key, | 
|  | 1048 | psa_algorithm_t alg, | 
|  | 1049 | psa_key_usage_t usage, | 
|  | 1050 | psa_algorithm_t alg2); | 
| Manuel Pégourié-Gonnard | 347a00e | 2018-11-19 12:25:37 +0100 | [diff] [blame] | 1051 | #endif /* MBEDTLS_USE_PSA_CRYPTO */ | 
|  | 1052 |  | 
| Paul Bakker | ed27a04 | 2013-04-18 22:46:23 +0200 | [diff] [blame] | 1053 | #ifdef __cplusplus | 
|  | 1054 | } | 
|  | 1055 | #endif | 
|  | 1056 |  | 
| Manuel Pégourié-Gonnard | 2cf5a7c | 2015-04-08 12:49:31 +0200 | [diff] [blame] | 1057 | #endif /* MBEDTLS_PK_H */ |