blob: 48e331a5bcedc5ae7f66dc6be390e0df981df425 [file] [log] [blame]
Paul Bakkered27a042013-04-18 22:46:23 +02001/**
2 * \file pk.h
3 *
4 * \brief Public Key abstraction layer
Darryl Greena40a1012018-01-05 15:33:17 +00005 */
6/*
Bence Szépkúti1e148272020-08-07 13:07:28 +02007 * Copyright The Mbed TLS Contributors
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02008 * 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 Bakkered27a042013-04-18 22:46:23 +020021 */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020022
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020023#ifndef MBEDTLS_PK_H
24#define MBEDTLS_PK_H
Mateusz Starzyk846f0212021-05-19 19:44:07 +020025#include "mbedtls/private_access.h"
Paul Bakkered27a042013-04-18 22:46:23 +020026
Bence Szépkútic662b362021-05-27 11:25:03 +020027#include "mbedtls/build_info.h"
Manuel Pégourié-Gonnard244569f2013-07-10 09:46:30 +020028
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010029#include "mbedtls/md.h"
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +020030
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020031#if defined(MBEDTLS_RSA_C)
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010032#include "mbedtls/rsa.h"
Manuel Pégourié-Gonnard244569f2013-07-10 09:46:30 +020033#endif
34
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020035#if defined(MBEDTLS_ECP_C)
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010036#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020037#endif
38
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020039#if defined(MBEDTLS_ECDSA_C)
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010040#include "mbedtls/ecdsa.h"
Manuel Pégourié-Gonnard211a64c2013-08-09 15:04:26 +020041#endif
42
Valerio Settie00954d2023-04-28 15:24:32 +020043#if defined(MBEDTLS_USE_PSA_CRYPTO) || defined(MBEDTLS_PSA_CRYPTO_C)
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +020044#include "psa/crypto.h"
45#endif
46
Gilles Peskined2971572021-07-26 18:48:10 +020047/** 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 Eldor9924bdc2018-10-04 10:59:13 +030077
Paul Bakkered27a042013-04-18 22:46:23 +020078#ifdef __cplusplus
79extern "C" {
80#endif
81
82/**
83 * \brief Public key types
84 */
85typedef enum {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020086 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é-Gonnard69baf702018-11-06 09:34:30 +010093 MBEDTLS_PK_OPAQUE,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020094} mbedtls_pk_type_t;
Paul Bakkered27a042013-04-18 22:46:23 +020095
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020096/**
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +020097 * \brief Options for RSASSA-PSS signature verification.
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020098 * See \c mbedtls_rsa_rsassa_pss_verify_ext()
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +020099 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100100typedef struct mbedtls_pk_rsassa_pss_options {
Gilles Peskine34c43a82023-02-02 23:06:37 +0100101 /** 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é-Gonnard20422e92014-06-05 13:41:44 +0200119
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200120} mbedtls_pk_rsassa_pss_options;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200121
122/**
Gilles Peskineda252be2019-11-05 16:23:49 +0100123 * \brief Maximum size of a signature made by mbedtls_pk_sign().
124 */
Gilles Peskine54605652019-11-08 16:24:16 +0100125/* 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 Peskine449bd832023-01-11 14:50:10 +0100136#if (defined(MBEDTLS_RSA_C) || defined(MBEDTLS_PK_RSA_ALT_SUPPORT)) && \
Gilles Peskineb22a24b2019-11-05 16:56:39 +0100137 MBEDTLS_MPI_MAX_SIZE > MBEDTLS_PK_SIGNATURE_MAX_SIZE
Gilles Peskine54605652019-11-08 16:24:16 +0100138/* 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 Jones3848e312021-03-11 16:17:59 +0000141 * we use that (rsa_alt_sign_wrap in library/pk_wrap.h will check). */
Gilles Peskineb22a24b2019-11-05 16:56:39 +0100142#undef MBEDTLS_PK_SIGNATURE_MAX_SIZE
143#define MBEDTLS_PK_SIGNATURE_MAX_SIZE MBEDTLS_MPI_MAX_SIZE
144#endif
Gilles Peskine54605652019-11-08 16:24:16 +0100145
Gilles Peskineb22a24b2019-11-05 16:56:39 +0100146#if defined(MBEDTLS_ECDSA_C) && \
147 MBEDTLS_ECDSA_MAX_LEN > MBEDTLS_PK_SIGNATURE_MAX_SIZE
Gilles Peskine54605652019-11-08 16:24:16 +0100148/* For ECDSA, the ecdsa module exports a constant for the maximum
149 * signature size. */
Gilles Peskineb22a24b2019-11-05 16:56:39 +0100150#undef MBEDTLS_PK_SIGNATURE_MAX_SIZE
151#define MBEDTLS_PK_SIGNATURE_MAX_SIZE MBEDTLS_ECDSA_MAX_LEN
152#endif
Gilles Peskine54605652019-11-08 16:24:16 +0100153
154#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine89d8c5c2019-11-26 17:01:59 +0100155#if PSA_SIGNATURE_MAX_SIZE > MBEDTLS_PK_SIGNATURE_MAX_SIZE
156/* PSA_SIGNATURE_MAX_SIZE is the maximum size of a signature made
Gilles Peskine54605652019-11-08 16:24:16 +0100157 * through the PSA API in the PSA representation. */
158#undef MBEDTLS_PK_SIGNATURE_MAX_SIZE
Gilles Peskine89d8c5c2019-11-26 17:01:59 +0100159#define MBEDTLS_PK_SIGNATURE_MAX_SIZE PSA_SIGNATURE_MAX_SIZE
Gilles Peskine54605652019-11-08 16:24:16 +0100160#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 Peskineb22a24b2019-11-05 16:56:39 +0100164 * 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 Peskine449bd832023-01-11 14:50:10 +0100170#define MBEDTLS_PK_SIGNATURE_MAX_SIZE (PSA_VENDOR_ECDSA_SIGNATURE_MAX_SIZE + 11)
Gilles Peskineb22a24b2019-11-05 16:56:39 +0100171#endif
Gilles Peskine54605652019-11-08 16:24:16 +0100172#endif /* defined(MBEDTLS_USE_PSA_CRYPTO) */
Gilles Peskineda252be2019-11-05 16:23:49 +0100173
Valerio Settia9aab1a2023-06-19 13:39:54 +0200174/* Internal helper to define which fields in the pk_context structure below
175 * should be used for EC keys: legacy ecp_keypair or the raw (PSA friendly)
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200176 * format. It should be noted that this only affects how data is stored, not
Valerio Settia9aab1a2023-06-19 13:39:54 +0200177 * which functions are used for various operations. The overall picture looks
178 * like this:
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200179 * - if USE_PSA is not defined and ECP_C is defined then use ecp_keypair data
180 * structure and legacy functions
Valerio Settia9aab1a2023-06-19 13:39:54 +0200181 * - if USE_PSA is defined and
182 * - if ECP_C then use ecp_keypair structure, convert data to a PSA friendly
183 * format and use PSA functions
184 * - if !ECP_C then use new raw data and PSA functions directly.
185 *
186 * The main reason for the "intermediate" (USE_PSA + ECP_C) above is that as long
187 * as ECP_C is defined mbedtls_pk_ec() gives the user a read/write access to the
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200188 * ecp_keypair structure inside the pk_context so they can modify it using
Valerio Settia9aab1a2023-06-19 13:39:54 +0200189 * ECP functions which are not under PK module's control.
190 */
191#if defined(MBEDTLS_USE_PSA_CRYPTO) && defined(PSA_WANT_KEY_TYPE_ECC_PUBLIC_KEY) && \
192 !defined(MBEDTLS_ECP_C)
193#define MBEDTLS_PK_USE_PSA_EC_DATA
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200194#endif
Valerio Settia9aab1a2023-06-19 13:39:54 +0200195
196/* Helper symbol to state that the PK module has support for EC keys. This
197 * can either be provided through the legacy ECP solution or through the
198 * PSA friendly MBEDTLS_PK_USE_PSA_EC_DATA. */
199#if defined(MBEDTLS_PK_USE_PSA_EC_DATA) || defined(MBEDTLS_ECP_C)
200#define MBEDTLS_PK_HAVE_ECC_KEYS
201#endif /* MBEDTLS_PK_USE_PSA_EC_DATA || MBEDTLS_ECP_C */
202
Valerio Setti0f6d5652023-07-28 16:42:58 +0200203/* Internal helper to define which fields in the pk_context structure below
204 * should be used for EC keys: legacy ecp_keypair or the raw (PSA friendly)
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200205 * format. It should be noted that this only affects how data is stored, not
Valerio Setti0f6d5652023-07-28 16:42:58 +0200206 * which functions are used for various operations. The overall picture looks
207 * like this:
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200208 * - if USE_PSA is not defined and ECP_C is defined then use ecp_keypair data
209 * structure and legacy functions
Valerio Setti0f6d5652023-07-28 16:42:58 +0200210 * - if USE_PSA is defined and
211 * - if ECP_C then use ecp_keypair structure, convert data to a PSA friendly
212 * format and use PSA functions
213 * - if !ECP_C then use new raw data and PSA functions directly.
214 *
215 * The main reason for the "intermediate" (USE_PSA + ECP_C) above is that as long
Valerio Settiefe848f2023-08-10 15:14:24 +0200216 * as ECP_C is defined mbedtls_pk_ec() gives the user read/write access to the
217 * ecp_keypair structure inside the pk_context so they can modify it using
218 * ECP functions which are not under the PK module's control.
Valerio Setti0f6d5652023-07-28 16:42:58 +0200219 */
220#if defined(MBEDTLS_USE_PSA_CRYPTO) && defined(PSA_WANT_KEY_TYPE_ECC_PUBLIC_KEY) && \
221 !defined(MBEDTLS_ECP_C)
222#define MBEDTLS_PK_USE_PSA_EC_DATA
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200223#endif
Valerio Setti0f6d5652023-07-28 16:42:58 +0200224
Valerio Settid1fba7c2023-07-28 16:42:58 +0200225/* Internal helper to define which fields in the pk_context structure below
226 * should be used for EC keys: legacy ecp_keypair or the raw (PSA friendly)
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200227 * format. It should be noted that this only affects how data is stored, not
Valerio Settid1fba7c2023-07-28 16:42:58 +0200228 * which functions are used for various operations. The overall picture looks
229 * like this:
230 * - if USE_PSA is not defined and ECP_C is then use ecp_keypair data structure
231 * and legacy functions
232 * - if USE_PSA is defined and
233 * - if ECP_C then use ecp_keypair structure, convert data to a PSA friendly
234 * format and use PSA functions
235 * - if !ECP_C then use new raw data and PSA functions directly.
236 *
237 * The main reason for the "intermediate" (USE_PSA + ECP_C) above is that as long
238 * as ECP_C is defined mbedtls_pk_ec() gives the user a read/write access to the
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200239 * ecp_keypair structure inside the pk_context so they can modify it using
Valerio Settid1fba7c2023-07-28 16:42:58 +0200240 * ECP functions which are not under PK module's control.
241 */
242#if defined(MBEDTLS_USE_PSA_CRYPTO) && defined(PSA_WANT_KEY_TYPE_ECC_PUBLIC_KEY) && \
243 !defined(MBEDTLS_ECP_C)
244#define MBEDTLS_PK_USE_PSA_EC_DATA
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200245#endif
Valerio Settid1fba7c2023-07-28 16:42:58 +0200246
Valerio Setticf084ae2023-01-26 14:30:12 +0100247/**
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200248 * \brief Types for interfacing with the debug module
249 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100250typedef enum {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200251 MBEDTLS_PK_DEBUG_NONE = 0,
252 MBEDTLS_PK_DEBUG_MPI,
253 MBEDTLS_PK_DEBUG_ECP,
Valerio Setti92c3f362023-05-17 15:36:44 +0200254 MBEDTLS_PK_DEBUG_PSA_EC,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200255} mbedtls_pk_debug_type;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200256
257/**
258 * \brief Item to send to the debug module
259 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100260typedef struct mbedtls_pk_debug_item {
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200261 mbedtls_pk_debug_type MBEDTLS_PRIVATE(type);
262 const char *MBEDTLS_PRIVATE(name);
263 void *MBEDTLS_PRIVATE(value);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200264} mbedtls_pk_debug_item;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200265
266/** Maximum number of item send for debugging, plus 1 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200267#define MBEDTLS_PK_DEBUG_MAX_ITEMS 3
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200268
269/**
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200270 * \brief Public key information and operations
Gilles Peskine2e9d65f2021-08-31 23:05:19 +0200271 *
272 * \note The library does not support custom pk info structures,
273 * only built-in structures returned by
274 * mbedtls_cipher_info_from_type().
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200275 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200276typedef struct mbedtls_pk_info_t mbedtls_pk_info_t;
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200277
Valerio Setti722f8f72023-05-17 15:31:21 +0200278#define MBEDTLS_PK_MAX_EC_PUBKEY_RAW_LEN \
279 PSA_KEY_EXPORT_ECC_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS)
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200280/**
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200281 * \brief Public key container
282 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100283typedef struct mbedtls_pk_context {
284 const mbedtls_pk_info_t *MBEDTLS_PRIVATE(pk_info); /**< Public key information */
285 void *MBEDTLS_PRIVATE(pk_ctx); /**< Underlying public key context */
Valerio Setti7ef8a8d2023-05-23 18:39:54 +0200286 /* The following field is used to store the ID of a private key in the
287 * following cases:
288 * - opaque key when MBEDTLS_PSA_CRYPTO_C is defined
289 * - normal key when MBEDTLS_PK_USE_PSA_EC_DATA is defined. In this case:
290 * - the pk_ctx above is not not used to store the private key anymore.
291 * Actually that field not populated at all in this case because also
292 * the public key will be stored in raw format as explained below
293 * - this ID is used for all private key operations (ex: sign, check
294 * key pair, key write, etc) using PSA functions
295 *
296 * Note: this private key storing solution only affects EC keys, not the
297 * other ones. The latters still use the pk_ctx to store their own
298 * context.
299 *
300 * Note: this priv_id is guarded by MBEDTLS_PSA_CRYPTO_C and not by
301 * MBEDTLS_PK_USE_PSA_EC_DATA (as the public counterpart below) because,
302 * when working with opaque keys, it can be used also in
303 * mbedtls_pk_sign_ext for RSA keys. */
Valerio Settie00954d2023-04-28 15:24:32 +0200304#if defined(MBEDTLS_PSA_CRYPTO_C)
Valerio Setti4f387ef2023-05-02 14:15:59 +0200305 mbedtls_svc_key_id_t MBEDTLS_PRIVATE(priv_id); /**< Key ID for opaque keys */
Valerio Settie00954d2023-04-28 15:24:32 +0200306#endif /* MBEDTLS_PSA_CRYPTO_C */
Valerio Setti722f8f72023-05-17 15:31:21 +0200307 /* The following fields are meant for storing the public key in raw format
308 * which is handy for:
309 * - easily importing it into the PSA context
310 * - reducing the ECP module dependencies in the PK one.
311 *
312 * When MBEDTLS_PK_USE_PSA_EC_DATA is enabled:
313 * - the pk_ctx above is not used anymore for storing the public key
Valerio Setti7ef8a8d2023-05-23 18:39:54 +0200314 * inside the ecp_keypair structure
Valerio Setti722f8f72023-05-17 15:31:21 +0200315 * - the following fields are used for all public key operations: signature
316 * verify, key pair check and key write.
317 * Of course, when MBEDTLS_PK_USE_PSA_EC_DATA is not enabled, the legacy
Valerio Setti016264b2023-05-22 18:40:35 +0200318 * ecp_keypair structure is used for storing the public key and performing
Valerio Setti722f8f72023-05-17 15:31:21 +0200319 * all the operations.
320 *
321 * Note: This new public key storing solution only works for EC keys, not
Valerio Settif57007d2023-05-19 13:54:39 +0200322 * other ones. The latters still use pk_ctx to store their own
Valerio Setti722f8f72023-05-17 15:31:21 +0200323 * context.
324 */
325#if defined(MBEDTLS_PK_USE_PSA_EC_DATA)
326 uint8_t MBEDTLS_PRIVATE(pub_raw)[MBEDTLS_PK_MAX_EC_PUBKEY_RAW_LEN]; /**< Raw public key */
327 size_t MBEDTLS_PRIVATE(pub_raw_len); /**< Valid bytes in "pub_raw" */
328 psa_ecc_family_t MBEDTLS_PRIVATE(ec_family); /**< EC family of pk */
329 size_t MBEDTLS_PRIVATE(ec_bits); /**< Curve's bits of pk */
Valerio Settic1541cb2023-05-17 15:49:55 +0200330#endif /* MBEDTLS_PK_USE_PSA_EC_DATA */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200331} mbedtls_pk_context;
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200332
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200333#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200334/**
335 * \brief Context for resuming operations
336 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100337typedef struct {
338 const mbedtls_pk_info_t *MBEDTLS_PRIVATE(pk_info); /**< Public key information */
339 void *MBEDTLS_PRIVATE(rs_ctx); /**< Underlying restart context */
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200340} mbedtls_pk_restart_ctx;
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200341#else /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200342/* Now we can declare functions that take a pointer to that */
343typedef void mbedtls_pk_restart_ctx;
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200344#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200345
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200346#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200347/**
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200348 * \brief Types for RSA-alt abstraction
349 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100350typedef int (*mbedtls_pk_rsa_alt_decrypt_func)(void *ctx, size_t *olen,
351 const unsigned char *input, unsigned char *output,
352 size_t output_max_len);
353typedef int (*mbedtls_pk_rsa_alt_sign_func)(void *ctx,
354 int (*f_rng)(void *, unsigned char *, size_t),
355 void *p_rng,
356 mbedtls_md_type_t md_alg, unsigned int hashlen,
357 const unsigned char *hash, unsigned char *sig);
358typedef size_t (*mbedtls_pk_rsa_alt_key_len_func)(void *ctx);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200359#endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200360
361/**
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200362 * \brief Return information associated with the given PK type
363 *
Paul Bakkerdcbfdcc2013-09-10 16:16:50 +0200364 * \param pk_type PK type to search for.
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200365 *
366 * \return The PK info associated with the type or NULL if not found.
367 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100368const mbedtls_pk_info_t *mbedtls_pk_info_from_type(mbedtls_pk_type_t pk_type);
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200369
370/**
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500371 * \brief Initialize a #mbedtls_pk_context (as NONE).
372 *
373 * \param ctx The context to initialize.
374 * This must not be \c NULL.
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200375 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100376void mbedtls_pk_init(mbedtls_pk_context *ctx);
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200377
378/**
Andrzej Kurekb274f272019-02-05 05:06:35 -0500379 * \brief Free the components of a #mbedtls_pk_context.
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100380 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500381 * \param ctx The context to clear. It must have been initialized.
382 * If this is \c NULL, this function does nothing.
383 *
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100384 * \note For contexts that have been set up with
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100385 * mbedtls_pk_setup_opaque(), this does not free the underlying
Gilles Peskine11392492019-05-27 14:53:19 +0200386 * PSA key and you still need to call psa_destroy_key()
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100387 * independently if you want to destroy that key.
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200388 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100389void mbedtls_pk_free(mbedtls_pk_context *ctx);
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200390
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200391#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200392/**
393 * \brief Initialize a restart context
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500394 *
395 * \param ctx The context to initialize.
396 * This must not be \c NULL.
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200397 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100398void mbedtls_pk_restart_init(mbedtls_pk_restart_ctx *ctx);
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200399
400/**
401 * \brief Free the components of a restart context
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500402 *
403 * \param ctx The context to clear. It must have been initialized.
404 * If this is \c NULL, this function does nothing.
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200405 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100406void mbedtls_pk_restart_free(mbedtls_pk_restart_ctx *ctx);
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200407#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200408
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200409/**
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200410 * \brief Initialize a PK context with the information given
411 * and allocates the type-specific PK subcontext.
412 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500413 * \param ctx Context to initialize. It must not have been set
414 * up yet (type #MBEDTLS_PK_NONE).
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200415 * \param info Information to use
416 *
417 * \return 0 on success,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200418 * MBEDTLS_ERR_PK_BAD_INPUT_DATA on invalid input,
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200419 * MBEDTLS_ERR_PK_ALLOC_FAILED on allocation failure.
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200420 *
Paul Bakker42099c32014-01-27 11:45:49 +0100421 * \note For contexts holding an RSA-alt key, use
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200422 * \c mbedtls_pk_setup_rsa_alt() instead.
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200423 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100424int mbedtls_pk_setup(mbedtls_pk_context *ctx, const mbedtls_pk_info_t *info);
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200425
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200426#if defined(MBEDTLS_USE_PSA_CRYPTO)
427/**
Gilles Peskine11392492019-05-27 14:53:19 +0200428 * \brief Initialize a PK context to wrap a PSA key.
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200429 *
Manuel Pégourié-Gonnard392dc042018-11-13 10:48:23 +0100430 * \note This function replaces mbedtls_pk_setup() for contexts
Gilles Peskine11392492019-05-27 14:53:19 +0200431 * that wrap a (possibly opaque) PSA key instead of
Manuel Pégourié-Gonnard392dc042018-11-13 10:48:23 +0100432 * storing and manipulating the key material directly.
433 *
434 * \param ctx The context to initialize. It must be empty (type NONE).
Neil Armstrongb3547422022-03-22 10:22:28 +0100435 * \param key The PSA key to wrap, which must hold an ECC or RSA key
436 * pair (see notes below).
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200437 *
Gilles Peskine11392492019-05-27 14:53:19 +0200438 * \note The wrapped key must remain valid as long as the
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100439 * wrapping PK context is in use, that is at least between
440 * the point this function is called and the point
441 * mbedtls_pk_free() is called on this context. The wrapped
Gilles Peskine11392492019-05-27 14:53:19 +0200442 * key might then be independently used or destroyed.
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100443 *
Neil Armstrongb3547422022-03-22 10:22:28 +0100444 * \note This function is currently only available for ECC or RSA
445 * key pairs (that is, keys containing private key material).
Manuel Pégourié-Gonnard392dc042018-11-13 10:48:23 +0100446 * Support for other key types may be added later.
447 *
448 * \return \c 0 on success.
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100449 * \return #MBEDTLS_ERR_PK_BAD_INPUT_DATA on invalid input
Ronald Croncf56a0a2020-08-04 09:51:30 +0200450 * (context already used, invalid key identifier).
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100451 * \return #MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE if the key is not an
Manuel Pégourié-Gonnard392dc042018-11-13 10:48:23 +0100452 * ECC key pair.
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100453 * \return #MBEDTLS_ERR_PK_ALLOC_FAILED on allocation failure.
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200454 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100455int mbedtls_pk_setup_opaque(mbedtls_pk_context *ctx,
456 const mbedtls_svc_key_id_t key);
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200457#endif /* MBEDTLS_USE_PSA_CRYPTO */
458
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200459#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200460/**
Paul Bakker4fc090a2013-09-18 15:43:25 +0200461 * \brief Initialize an RSA-alt context
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200462 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500463 * \param ctx Context to initialize. It must not have been set
464 * up yet (type #MBEDTLS_PK_NONE).
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200465 * \param key RSA key pointer
466 * \param decrypt_func Decryption function
467 * \param sign_func Signing function
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200468 * \param key_len_func Function returning key length in bytes
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200469 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200470 * \return 0 on success, or MBEDTLS_ERR_PK_BAD_INPUT_DATA if the
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200471 * context wasn't already initialized as RSA_ALT.
472 *
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200473 * \note This function replaces \c mbedtls_pk_setup() for RSA-alt.
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200474 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100475int mbedtls_pk_setup_rsa_alt(mbedtls_pk_context *ctx, void *key,
476 mbedtls_pk_rsa_alt_decrypt_func decrypt_func,
477 mbedtls_pk_rsa_alt_sign_func sign_func,
478 mbedtls_pk_rsa_alt_key_len_func key_len_func);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200479#endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200480
481/**
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200482 * \brief Get the size in bits of the underlying key
483 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500484 * \param ctx The context to query. It must have been initialized.
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200485 *
486 * \return Key size in bits, or 0 on error
487 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100488size_t mbedtls_pk_get_bitlen(const mbedtls_pk_context *ctx);
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200489
490/**
Manuel Pégourié-Gonnard0d420492013-08-21 16:14:26 +0200491 * \brief Get the length in bytes of the underlying key
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500492 *
493 * \param ctx The context to query. It must have been initialized.
Manuel Pégourié-Gonnard0d420492013-08-21 16:14:26 +0200494 *
Paul Bakker4fc090a2013-09-18 15:43:25 +0200495 * \return Key length in bytes, or 0 on error
Manuel Pégourié-Gonnard0d420492013-08-21 16:14:26 +0200496 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100497static inline size_t mbedtls_pk_get_len(const mbedtls_pk_context *ctx)
Manuel Pégourié-Gonnard0d420492013-08-21 16:14:26 +0200498{
Gilles Peskine449bd832023-01-11 14:50:10 +0100499 return (mbedtls_pk_get_bitlen(ctx) + 7) / 8;
Manuel Pégourié-Gonnard0d420492013-08-21 16:14:26 +0200500}
501
502/**
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200503 * \brief Tell if a context can do the operation given by type
504 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500505 * \param ctx The context to query. It must have been initialized.
506 * \param type The desired type.
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200507 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500508 * \return 1 if the context can do operations on the given type.
509 * \return 0 if the context cannot do the operations on the given
510 * type. This is always the case for a context that has
511 * been initialized but not set up, or that has been
512 * cleared with mbedtls_pk_free().
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200513 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100514int mbedtls_pk_can_do(const mbedtls_pk_context *ctx, mbedtls_pk_type_t type);
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200515
Neil Armstrong0b529582022-05-11 10:10:20 +0200516#if defined(MBEDTLS_USE_PSA_CRYPTO)
517/**
Neil Armstrongcec133a2022-05-17 11:56:01 +0200518 * \brief Tell if context can do the operation given by PSA algorithm
Neil Armstrong0b529582022-05-11 10:10:20 +0200519 *
520 * \param ctx The context to query. It must have been initialized.
521 * \param alg PSA algorithm to check against, the following are allowed:
522 * PSA_ALG_RSA_PKCS1V15_SIGN(hash),
523 * PSA_ALG_RSA_PSS(hash),
524 * PSA_ALG_RSA_PKCS1V15_CRYPT,
525 * PSA_ALG_ECDSA(hash),
526 * PSA_ALG_ECDH, where hash is a specific hash.
Neil Armstrong408f6a62022-05-17 14:23:20 +0200527 * \param usage PSA usage flag to check against, must be composed of:
528 * PSA_KEY_USAGE_SIGN_HASH
529 * PSA_KEY_USAGE_DECRYPT
530 * PSA_KEY_USAGE_DERIVE.
531 * Context key must match all passed usage flags.
Neil Armstrong0b529582022-05-11 10:10:20 +0200532 *
Neil Armstrongb2f2b022022-05-20 12:00:56 +0200533 * \warning Since the set of allowed algorithms and usage flags may be
534 * expanded in the future, the return value \c 0 should not
535 * be taken in account for non-allowed algorithms and usage
536 * flags.
537 *
Neil Armstrong0b529582022-05-11 10:10:20 +0200538 * \return 1 if the context can do operations on the given type.
539 * \return 0 if the context cannot do the operations on the given
Neil Armstrongb2f2b022022-05-20 12:00:56 +0200540 * type, for non-allowed algorithms and usage flags, or
541 * for a context that has been initialized but not set up
542 * or that has been cleared with mbedtls_pk_free().
Neil Armstrong0b529582022-05-11 10:10:20 +0200543 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100544int mbedtls_pk_can_do_ext(const mbedtls_pk_context *ctx, psa_algorithm_t alg,
545 psa_key_usage_t usage);
Neil Armstrong0b529582022-05-11 10:10:20 +0200546#endif /* MBEDTLS_USE_PSA_CRYPTO */
547
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200548/**
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200549 * \brief Verify signature (including padding if relevant).
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200550 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500551 * \param ctx The PK context to use. It must have been set up.
Gilles Peskine9dbbc292021-06-22 18:28:13 +0200552 * \param md_alg Hash algorithm used.
553 * This can be #MBEDTLS_MD_NONE if the signature algorithm
554 * does not rely on a hash algorithm (non-deterministic
555 * ECDSA, RSA PKCS#1 v1.5).
556 * For PKCS#1 v1.5, if \p md_alg is #MBEDTLS_MD_NONE, then
557 * \p hash is the DigestInfo structure used by RFC 8017
558 * &sect;9.2 steps 3&ndash;6. If \p md_alg is a valid hash
559 * algorithm then \p hash is the digest itself, and this
560 * function calculates the DigestInfo encoding internally.
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200561 * \param hash Hash of the message to sign
Gilles Peskine9dbbc292021-06-22 18:28:13 +0200562 * \param hash_len Hash length
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200563 * \param sig Signature to verify
564 * \param sig_len Signature length
565 *
566 * \return 0 on success (signature is valid),
Gilles Peskine5114d3e2018-03-30 07:12:15 +0200567 * #MBEDTLS_ERR_PK_SIG_LEN_MISMATCH if there is a valid
Andrzej Kurek3bedb5b2022-02-17 14:39:00 -0500568 * signature in \p sig but its length is less than \p sig_len,
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200569 * or a specific error code.
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200570 *
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200571 * \note For RSA keys, the default padding type is PKCS#1 v1.5.
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200572 * Use \c mbedtls_pk_verify_ext( MBEDTLS_PK_RSASSA_PSS, ... )
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200573 * to verify RSASSA_PSS signatures.
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200574 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100575int mbedtls_pk_verify(mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
576 const unsigned char *hash, size_t hash_len,
577 const unsigned char *sig, size_t sig_len);
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200578
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200579/**
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200580 * \brief Restartable version of \c mbedtls_pk_verify()
581 *
582 * \note Performs the same job as \c mbedtls_pk_verify(), but can
583 * return early and restart according to the limit set with
584 * \c mbedtls_ecp_set_max_ops() to reduce blocking for ECC
585 * operations. For RSA, same as \c mbedtls_pk_verify().
586 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500587 * \param ctx The PK context to use. It must have been set up.
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200588 * \param md_alg Hash algorithm used (see notes)
589 * \param hash Hash of the message to sign
590 * \param hash_len Hash length or 0 (see notes)
591 * \param sig Signature to verify
592 * \param sig_len Signature length
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200593 * \param rs_ctx Restart context (NULL to disable restart)
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200594 *
595 * \return See \c mbedtls_pk_verify(), or
Manuel Pégourié-Gonnard12e4a8b2018-09-12 10:55:15 +0200596 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200597 * operations was reached: see \c mbedtls_ecp_set_max_ops().
598 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100599int mbedtls_pk_verify_restartable(mbedtls_pk_context *ctx,
600 mbedtls_md_type_t md_alg,
601 const unsigned char *hash, size_t hash_len,
602 const unsigned char *sig, size_t sig_len,
603 mbedtls_pk_restart_ctx *rs_ctx);
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200604
605/**
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200606 * \brief Verify signature, with options.
607 * (Includes verification of the padding depending on type.)
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200608 *
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200609 * \param type Signature type (inc. possible padding type) to verify
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200610 * \param options Pointer to type-specific options, or NULL
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500611 * \param ctx The PK context to use. It must have been set up.
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200612 * \param md_alg Hash algorithm used (see notes)
613 * \param hash Hash of the message to sign
614 * \param hash_len Hash length or 0 (see notes)
615 * \param sig Signature to verify
616 * \param sig_len Signature length
617 *
618 * \return 0 on success (signature is valid),
Gilles Peskine5114d3e2018-03-30 07:12:15 +0200619 * #MBEDTLS_ERR_PK_TYPE_MISMATCH if the PK context can't be
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200620 * used for this type of signatures,
Gilles Peskine5114d3e2018-03-30 07:12:15 +0200621 * #MBEDTLS_ERR_PK_SIG_LEN_MISMATCH if there is a valid
Andrzej Kurek3bedb5b2022-02-17 14:39:00 -0500622 * signature in \p sig but its length is less than \p sig_len,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200623 * or a specific error code.
624 *
625 * \note If hash_len is 0, then the length associated with md_alg
626 * is used instead, or an error returned if it is invalid.
627 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200628 * \note md_alg may be MBEDTLS_MD_NONE, only if hash_len != 0
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200629 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200630 * \note If type is MBEDTLS_PK_RSASSA_PSS, then options must point
631 * to a mbedtls_pk_rsassa_pss_options structure,
Manuel Pégourié-Gonnarda6e02912022-12-21 09:59:33 +0100632 * otherwise it must be NULL. Note that if
633 * #MBEDTLS_USE_PSA_CRYPTO is defined, the salt length is not
634 * verified as PSA_ALG_RSA_PSS_ANY_SALT is used.
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200635 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100636int mbedtls_pk_verify_ext(mbedtls_pk_type_t type, const void *options,
637 mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
638 const unsigned char *hash, size_t hash_len,
639 const unsigned char *sig, size_t sig_len);
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200640
641/**
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200642 * \brief Make signature, including padding if relevant.
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200643 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500644 * \param ctx The PK context to use. It must have been set up
645 * with a private key.
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200646 * \param md_alg Hash algorithm used (see notes)
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200647 * \param hash Hash of the message to sign
Gilles Peskine9dbbc292021-06-22 18:28:13 +0200648 * \param hash_len Hash length
Gilles Peskineda252be2019-11-05 16:23:49 +0100649 * \param sig Place to write the signature.
650 * It must have enough room for the signature.
651 * #MBEDTLS_PK_SIGNATURE_MAX_SIZE is always enough.
652 * You may use a smaller buffer if it is large enough
653 * given the key type.
Gilles Peskinef00f1522021-06-22 00:09:00 +0200654 * \param sig_size The size of the \p sig buffer in bytes.
Gilles Peskineda252be2019-11-05 16:23:49 +0100655 * \param sig_len On successful return,
656 * the number of bytes written to \p sig.
Manuel Pégourié-Gonnard34d37562021-06-15 11:29:26 +0200657 * \param f_rng RNG function, must not be \c NULL.
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200658 * \param p_rng RNG parameter
659 *
660 * \return 0 on success, or a specific error code.
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200661 *
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200662 * \note For RSA keys, the default padding type is PKCS#1 v1.5.
663 * There is no interface in the PK module to make RSASSA-PSS
664 * signatures yet.
665 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200666 * \note For RSA, md_alg may be MBEDTLS_MD_NONE if hash_len != 0.
667 * For ECDSA, md_alg may never be MBEDTLS_MD_NONE.
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200668 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100669int mbedtls_pk_sign(mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
670 const unsigned char *hash, size_t hash_len,
671 unsigned char *sig, size_t sig_size, size_t *sig_len,
672 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng);
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200673
Jerry Yubc18c232022-03-12 19:40:29 +0800674#if defined(MBEDTLS_PSA_CRYPTO_C)
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200675/**
Jerry Yu406cf272022-03-22 11:33:42 +0800676 * \brief Make signature given a signature type.
Jerry Yud69439a2022-02-24 15:52:15 +0800677 *
Jerry Yu8beb9e12022-03-12 16:23:53 +0800678 * \param pk_type Signature type.
Jerry Yud69439a2022-02-24 15:52:15 +0800679 * \param ctx The PK context to use. It must have been set up
680 * with a private key.
681 * \param md_alg Hash algorithm used (see notes)
682 * \param hash Hash of the message to sign
683 * \param hash_len Hash length
684 * \param sig Place to write the signature.
685 * It must have enough room for the signature.
686 * #MBEDTLS_PK_SIGNATURE_MAX_SIZE is always enough.
687 * You may use a smaller buffer if it is large enough
688 * given the key type.
689 * \param sig_size The size of the \p sig buffer in bytes.
690 * \param sig_len On successful return,
691 * the number of bytes written to \p sig.
692 * \param f_rng RNG function, must not be \c NULL.
693 * \param p_rng RNG parameter
694 *
695 * \return 0 on success, or a specific error code.
696 *
Jerry Yue6e73d62022-03-24 13:05:08 +0800697 * \note When \p pk_type is #MBEDTLS_PK_RSASSA_PSS,
698 * see #PSA_ALG_RSA_PSS for a description of PSS options used.
Jerry Yud69439a2022-02-24 15:52:15 +0800699 *
700 * \note For RSA, md_alg may be MBEDTLS_MD_NONE if hash_len != 0.
701 * For ECDSA, md_alg may never be MBEDTLS_MD_NONE.
702 *
Jerry Yud69439a2022-02-24 15:52:15 +0800703 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100704int mbedtls_pk_sign_ext(mbedtls_pk_type_t pk_type,
705 mbedtls_pk_context *ctx,
706 mbedtls_md_type_t md_alg,
707 const unsigned char *hash, size_t hash_len,
708 unsigned char *sig, size_t sig_size, size_t *sig_len,
709 int (*f_rng)(void *, unsigned char *, size_t),
710 void *p_rng);
Jerry Yubc18c232022-03-12 19:40:29 +0800711#endif /* MBEDTLS_PSA_CRYPTO_C */
Jerry Yud69439a2022-02-24 15:52:15 +0800712
713/**
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200714 * \brief Restartable version of \c mbedtls_pk_sign()
715 *
716 * \note Performs the same job as \c mbedtls_pk_sign(), but can
717 * return early and restart according to the limit set with
718 * \c mbedtls_ecp_set_max_ops() to reduce blocking for ECC
719 * operations. For RSA, same as \c mbedtls_pk_sign().
720 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500721 * \param ctx The PK context to use. It must have been set up
722 * with a private key.
Gilles Peskine9db14fa2019-11-08 18:37:19 +0100723 * \param md_alg Hash algorithm used (see notes for mbedtls_pk_sign())
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200724 * \param hash Hash of the message to sign
Gilles Peskine9dbbc292021-06-22 18:28:13 +0200725 * \param hash_len Hash length
Gilles Peskine9db14fa2019-11-08 18:37:19 +0100726 * \param sig Place to write the signature.
727 * It must have enough room for the signature.
728 * #MBEDTLS_PK_SIGNATURE_MAX_SIZE is always enough.
729 * You may use a smaller buffer if it is large enough
730 * given the key type.
Gilles Peskinef00f1522021-06-22 00:09:00 +0200731 * \param sig_size The size of the \p sig buffer in bytes.
Gilles Peskine9db14fa2019-11-08 18:37:19 +0100732 * \param sig_len On successful return,
733 * the number of bytes written to \p sig.
Manuel Pégourié-Gonnard34d37562021-06-15 11:29:26 +0200734 * \param f_rng RNG function, must not be \c NULL.
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200735 * \param p_rng RNG parameter
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200736 * \param rs_ctx Restart context (NULL to disable restart)
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200737 *
Gilles Peskine9db14fa2019-11-08 18:37:19 +0100738 * \return See \c mbedtls_pk_sign().
Manuel Pégourié-Gonnard12e4a8b2018-09-12 10:55:15 +0200739 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200740 * operations was reached: see \c mbedtls_ecp_set_max_ops().
741 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100742int mbedtls_pk_sign_restartable(mbedtls_pk_context *ctx,
743 mbedtls_md_type_t md_alg,
744 const unsigned char *hash, size_t hash_len,
745 unsigned char *sig, size_t sig_size, size_t *sig_len,
746 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
747 mbedtls_pk_restart_ctx *rs_ctx);
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200748
749/**
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200750 * \brief Decrypt message (including padding if relevant).
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200751 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500752 * \param ctx The PK context to use. It must have been set up
753 * with a private key.
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200754 * \param input Input to decrypt
755 * \param ilen Input size
756 * \param output Decrypted output
Paul Bakker4fc090a2013-09-18 15:43:25 +0200757 * \param olen Decrypted message length
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200758 * \param osize Size of the output buffer
Manuel Pégourié-Gonnard34d37562021-06-15 11:29:26 +0200759 * \param f_rng RNG function, must not be \c NULL.
Paul Bakkerdcbfdcc2013-09-10 16:16:50 +0200760 * \param p_rng RNG parameter
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200761 *
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200762 * \note For RSA keys, the default padding type is PKCS#1 v1.5.
763 *
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200764 * \return 0 on success, or a specific error code.
765 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100766int mbedtls_pk_decrypt(mbedtls_pk_context *ctx,
767 const unsigned char *input, size_t ilen,
768 unsigned char *output, size_t *olen, size_t osize,
769 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng);
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200770
771/**
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200772 * \brief Encrypt message (including padding if relevant).
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200773 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500774 * \param ctx The PK context to use. It must have been set up.
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200775 * \param input Message to encrypt
776 * \param ilen Message size
777 * \param output Encrypted output
778 * \param olen Encrypted output length
779 * \param osize Size of the output buffer
Manuel Pégourié-Gonnard34d37562021-06-15 11:29:26 +0200780 * \param f_rng RNG function, must not be \c NULL.
Paul Bakkerdcbfdcc2013-09-10 16:16:50 +0200781 * \param p_rng RNG parameter
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200782 *
Manuel Pégourié-Gonnard34d37562021-06-15 11:29:26 +0200783 * \note \p f_rng is used for padding generation.
784 *
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200785 * \note For RSA keys, the default padding type is PKCS#1 v1.5.
786 *
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200787 * \return 0 on success, or a specific error code.
788 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100789int mbedtls_pk_encrypt(mbedtls_pk_context *ctx,
790 const unsigned char *input, size_t ilen,
791 unsigned char *output, size_t *olen, size_t osize,
792 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng);
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200793
794/**
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100795 * \brief Check if a public-private pair of keys matches.
796 *
797 * \param pub Context holding a public key.
798 * \param prv Context holding a private (and public) key.
Manuel Pégourié-Gonnard39be1412021-06-15 11:29:26 +0200799 * \param f_rng RNG function, must not be \c NULL.
800 * \param p_rng RNG parameter
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100801 *
Manuel Pégourié-Gonnardeaeb7b22018-10-24 12:37:44 +0200802 * \return \c 0 on success (keys were checked and match each other).
803 * \return #MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE if the keys could not
804 * be checked - in that case they may or may not match.
805 * \return #MBEDTLS_ERR_PK_BAD_INPUT_DATA if a context is invalid.
806 * \return Another non-zero value if the keys do not match.
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100807 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100808int mbedtls_pk_check_pair(const mbedtls_pk_context *pub,
809 const mbedtls_pk_context *prv,
810 int (*f_rng)(void *, unsigned char *, size_t),
811 void *p_rng);
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100812
813/**
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200814 * \brief Export debug information
815 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500816 * \param ctx The PK context to use. It must have been initialized.
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200817 * \param items Place to write debug items
818 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200819 * \return 0 on success or MBEDTLS_ERR_PK_BAD_INPUT_DATA
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200820 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100821int mbedtls_pk_debug(const mbedtls_pk_context *ctx, mbedtls_pk_debug_item *items);
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200822
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200823/**
824 * \brief Access the type name
825 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500826 * \param ctx The PK context to use. It must have been initialized.
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200827 *
828 * \return Type name on success, or "invalid PK"
829 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100830const char *mbedtls_pk_get_name(const mbedtls_pk_context *ctx);
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200831
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200832/**
Paul Bakker4fc090a2013-09-18 15:43:25 +0200833 * \brief Get the key type
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200834 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500835 * \param ctx The PK context to use. It must have been initialized.
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200836 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500837 * \return Type on success.
838 * \return #MBEDTLS_PK_NONE for a context that has not been set up.
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200839 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100840mbedtls_pk_type_t mbedtls_pk_get_type(const mbedtls_pk_context *ctx);
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200841
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +0200842#if defined(MBEDTLS_RSA_C)
843/**
844 * Quick access to an RSA context inside a PK context.
845 *
846 * \warning This function can only be used when the type of the context, as
847 * returned by mbedtls_pk_get_type(), is #MBEDTLS_PK_RSA.
848 * Ensuring that is the caller's responsibility.
849 * Alternatively, you can check whether this function returns NULL.
850 *
851 * \return The internal RSA context held by the PK context, or NULL.
852 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100853static inline mbedtls_rsa_context *mbedtls_pk_rsa(const mbedtls_pk_context pk)
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +0200854{
Gilles Peskine449bd832023-01-11 14:50:10 +0100855 switch (mbedtls_pk_get_type(&pk)) {
Manuel Pégourié-Gonnard4cfaae52022-06-23 09:43:39 +0200856 case MBEDTLS_PK_RSA:
Gilles Peskine449bd832023-01-11 14:50:10 +0100857 return (mbedtls_rsa_context *) (pk).MBEDTLS_PRIVATE(pk_ctx);
Manuel Pégourié-Gonnard4cfaae52022-06-23 09:43:39 +0200858 default:
Gilles Peskine449bd832023-01-11 14:50:10 +0100859 return NULL;
Manuel Pégourié-Gonnard4cfaae52022-06-23 09:43:39 +0200860 }
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +0200861}
862#endif /* MBEDTLS_RSA_C */
863
Valerio Setti229bf102023-05-15 11:13:55 +0200864#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +0200865/**
866 * Quick access to an EC context inside a PK context.
867 *
868 * \warning This function can only be used when the type of the context, as
869 * returned by mbedtls_pk_get_type(), is #MBEDTLS_PK_ECKEY,
870 * #MBEDTLS_PK_ECKEY_DH, or #MBEDTLS_PK_ECDSA.
871 * Ensuring that is the caller's responsibility.
872 * Alternatively, you can check whether this function returns NULL.
873 *
874 * \return The internal EC context held by the PK context, or NULL.
875 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100876static inline mbedtls_ecp_keypair *mbedtls_pk_ec(const mbedtls_pk_context pk)
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +0200877{
Gilles Peskine449bd832023-01-11 14:50:10 +0100878 switch (mbedtls_pk_get_type(&pk)) {
Manuel Pégourié-Gonnard4cfaae52022-06-23 09:43:39 +0200879 case MBEDTLS_PK_ECKEY:
880 case MBEDTLS_PK_ECKEY_DH:
881 case MBEDTLS_PK_ECDSA:
Gilles Peskine449bd832023-01-11 14:50:10 +0100882 return (mbedtls_ecp_keypair *) (pk).MBEDTLS_PRIVATE(pk_ctx);
Manuel Pégourié-Gonnard4cfaae52022-06-23 09:43:39 +0200883 default:
Gilles Peskine449bd832023-01-11 14:50:10 +0100884 return NULL;
Manuel Pégourié-Gonnard4cfaae52022-06-23 09:43:39 +0200885 }
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +0200886}
Valerio Setti229bf102023-05-15 11:13:55 +0200887#endif /* MBEDTLS_ECP_C */
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +0200888
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200889#if defined(MBEDTLS_PK_PARSE_C)
Paul Bakkerff3a5182013-09-16 22:42:19 +0200890/** \ingroup pk_module */
Paul Bakker1a7550a2013-09-15 13:01:22 +0200891/**
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200892 * \brief Parse a private key in PEM or DER format
Paul Bakker1a7550a2013-09-15 13:01:22 +0200893 *
Gilles Peskine5b7e1642022-08-04 23:44:59 +0200894 * \note If #MBEDTLS_USE_PSA_CRYPTO is enabled, the PSA crypto
895 * subsystem must have been initialized by calling
896 * psa_crypto_init() before calling this function.
897 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500898 * \param ctx The PK context to fill. It must have been initialized
899 * but not set up.
900 * \param key Input buffer to parse.
901 * The buffer must contain the input exactly, with no
902 * extra trailing material. For PEM, the buffer must
903 * contain a null-terminated string.
904 * \param keylen Size of \b key in bytes.
905 * For PEM data, this includes the terminating null byte,
906 * so \p keylen must be equal to `strlen(key) + 1`.
907 * \param pwd Optional password for decryption.
908 * Pass \c NULL if expecting a non-encrypted key.
909 * Pass a string of \p pwdlen bytes if expecting an encrypted
910 * key; a non-encrypted key will also be accepted.
911 * The empty password is not supported.
912 * \param pwdlen Size of the password in bytes.
913 * Ignored if \p pwd is \c NULL.
Manuel Pégourié-Gonnard84dea012021-06-15 11:29:26 +0200914 * \param f_rng RNG function, must not be \c NULL. Used for blinding.
915 * \param p_rng RNG parameter
Paul Bakker1a7550a2013-09-15 13:01:22 +0200916 *
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +0100917 * \note On entry, ctx must be empty, either freshly initialised
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200918 * with mbedtls_pk_init() or reset with mbedtls_pk_free(). If you need a
919 * specific key type, check the result with mbedtls_pk_can_do().
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +0100920 *
921 * \note The key is also checked for correctness.
922 *
Paul Bakker1a7550a2013-09-15 13:01:22 +0200923 * \return 0 if successful, or a specific PK or PEM error code
924 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100925int mbedtls_pk_parse_key(mbedtls_pk_context *ctx,
926 const unsigned char *key, size_t keylen,
927 const unsigned char *pwd, size_t pwdlen,
928 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng);
Paul Bakker1a7550a2013-09-15 13:01:22 +0200929
Paul Bakkerff3a5182013-09-16 22:42:19 +0200930/** \ingroup pk_module */
Paul Bakker1a7550a2013-09-15 13:01:22 +0200931/**
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +0200932 * \brief Parse a public key in PEM or DER format
Paul Bakker1a7550a2013-09-15 13:01:22 +0200933 *
Gilles Peskine5b7e1642022-08-04 23:44:59 +0200934 * \note If #MBEDTLS_USE_PSA_CRYPTO is enabled, the PSA crypto
935 * subsystem must have been initialized by calling
936 * psa_crypto_init() before calling this function.
937 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500938 * \param ctx The PK context to fill. It must have been initialized
939 * but not set up.
940 * \param key Input buffer to parse.
941 * The buffer must contain the input exactly, with no
942 * extra trailing material. For PEM, the buffer must
943 * contain a null-terminated string.
944 * \param keylen Size of \b key in bytes.
945 * For PEM data, this includes the terminating null byte,
946 * so \p keylen must be equal to `strlen(key) + 1`.
Paul Bakker1a7550a2013-09-15 13:01:22 +0200947 *
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +0100948 * \note On entry, ctx must be empty, either freshly initialised
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200949 * with mbedtls_pk_init() or reset with mbedtls_pk_free(). If you need a
950 * specific key type, check the result with mbedtls_pk_can_do().
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +0100951 *
Valerio Setti78f79d32023-02-07 08:33:26 +0100952 * \note For compressed points, see #MBEDTLS_ECP_PF_COMPRESSED for
953 * limitations.
954 *
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +0100955 * \note The key is also checked for correctness.
956 *
Paul Bakker1a7550a2013-09-15 13:01:22 +0200957 * \return 0 if successful, or a specific PK or PEM error code
958 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100959int mbedtls_pk_parse_public_key(mbedtls_pk_context *ctx,
960 const unsigned char *key, size_t keylen);
Paul Bakker1a7550a2013-09-15 13:01:22 +0200961
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200962#if defined(MBEDTLS_FS_IO)
Paul Bakkerff3a5182013-09-16 22:42:19 +0200963/** \ingroup pk_module */
Paul Bakker1a7550a2013-09-15 13:01:22 +0200964/**
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200965 * \brief Load and parse a private key
966 *
Gilles Peskine5b7e1642022-08-04 23:44:59 +0200967 * \note If #MBEDTLS_USE_PSA_CRYPTO is enabled, the PSA crypto
968 * subsystem must have been initialized by calling
969 * psa_crypto_init() before calling this function.
970 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500971 * \param ctx The PK context to fill. It must have been initialized
972 * but not set up.
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200973 * \param path filename to read the private key from
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500974 * \param password Optional password to decrypt the file.
975 * Pass \c NULL if expecting a non-encrypted key.
976 * Pass a null-terminated string if expecting an encrypted
977 * key; a non-encrypted key will also be accepted.
978 * The empty password is not supported.
Manuel Pégourié-Gonnard84dea012021-06-15 11:29:26 +0200979 * \param f_rng RNG function, must not be \c NULL. Used for blinding.
980 * \param p_rng RNG parameter
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200981 *
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +0100982 * \note On entry, ctx must be empty, either freshly initialised
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200983 * with mbedtls_pk_init() or reset with mbedtls_pk_free(). If you need a
984 * specific key type, check the result with mbedtls_pk_can_do().
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +0100985 *
986 * \note The key is also checked for correctness.
987 *
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200988 * \return 0 if successful, or a specific PK or PEM error code
989 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100990int mbedtls_pk_parse_keyfile(mbedtls_pk_context *ctx,
991 const char *path, const char *password,
992 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng);
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200993
Paul Bakkerff3a5182013-09-16 22:42:19 +0200994/** \ingroup pk_module */
Paul Bakkerc7bb02b2013-09-15 14:54:56 +0200995/**
Paul Bakker1a7550a2013-09-15 13:01:22 +0200996 * \brief Load and parse a public key
997 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500998 * \param ctx The PK context to fill. It must have been initialized
999 * but not set up.
Simon Butcher295639b2016-05-10 19:39:36 +01001000 * \param path filename to read the public key from
Paul Bakker1a7550a2013-09-15 13:01:22 +02001001 *
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +01001002 * \note On entry, ctx must be empty, either freshly initialised
Simon Butcher295639b2016-05-10 19:39:36 +01001003 * with mbedtls_pk_init() or reset with mbedtls_pk_free(). If
1004 * you need a specific key type, check the result with
1005 * mbedtls_pk_can_do().
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +01001006 *
1007 * \note The key is also checked for correctness.
1008 *
Paul Bakker1a7550a2013-09-15 13:01:22 +02001009 * \return 0 if successful, or a specific PK or PEM error code
1010 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001011int mbedtls_pk_parse_public_keyfile(mbedtls_pk_context *ctx, const char *path);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001012#endif /* MBEDTLS_FS_IO */
1013#endif /* MBEDTLS_PK_PARSE_C */
Paul Bakker1a7550a2013-09-15 13:01:22 +02001014
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001015#if defined(MBEDTLS_PK_WRITE_C)
Paul Bakker1a7550a2013-09-15 13:01:22 +02001016/**
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001017 * \brief Write a private key to a PKCS#1 or SEC1 DER structure
1018 * Note: data is written at the end of the buffer! Use the
1019 * return value to determine where you should start
1020 * using the buffer
1021 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001022 * \param ctx PK context which must contain a valid private key.
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001023 * \param buf buffer to write to
1024 * \param size size of the buffer
1025 *
1026 * \return length of data written if successful, or a specific
1027 * error code
1028 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001029int mbedtls_pk_write_key_der(const mbedtls_pk_context *ctx, unsigned char *buf, size_t size);
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001030
1031/**
1032 * \brief Write a public key to a SubjectPublicKeyInfo DER structure
1033 * Note: data is written at the end of the buffer! Use the
1034 * return value to determine where you should start
1035 * using the buffer
1036 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001037 * \param ctx PK context which must contain a valid public or private key.
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001038 * \param buf buffer to write to
1039 * \param size size of the buffer
1040 *
1041 * \return length of data written if successful, or a specific
1042 * error code
1043 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001044int mbedtls_pk_write_pubkey_der(const mbedtls_pk_context *ctx, unsigned char *buf, size_t size);
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001045
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001046#if defined(MBEDTLS_PEM_WRITE_C)
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001047/**
1048 * \brief Write a public key to a PEM string
1049 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001050 * \param ctx PK context which must contain a valid public or private key.
1051 * \param buf Buffer to write to. The output includes a
1052 * terminating null byte.
1053 * \param size Size of the buffer in bytes.
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001054 *
Manuel Pégourié-Gonnard81abefd2015-05-29 12:53:47 +02001055 * \return 0 if successful, or a specific error code
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001056 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001057int mbedtls_pk_write_pubkey_pem(const mbedtls_pk_context *ctx, unsigned char *buf, size_t size);
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001058
1059/**
1060 * \brief Write a private key to a PKCS#1 or SEC1 PEM string
1061 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001062 * \param ctx PK context which must contain a valid private key.
1063 * \param buf Buffer to write to. The output includes a
1064 * terminating null byte.
1065 * \param size Size of the buffer in bytes.
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001066 *
Manuel Pégourié-Gonnard81abefd2015-05-29 12:53:47 +02001067 * \return 0 if successful, or a specific error code
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001068 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001069int mbedtls_pk_write_key_pem(const mbedtls_pk_context *ctx, unsigned char *buf, size_t size);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001070#endif /* MBEDTLS_PEM_WRITE_C */
1071#endif /* MBEDTLS_PK_WRITE_C */
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001072
1073/*
1074 * WARNING: Low-level functions. You probably do not want to use these unless
1075 * you are certain you do ;)
1076 */
1077
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001078#if defined(MBEDTLS_PK_PARSE_C)
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001079/**
Paul Bakker1a7550a2013-09-15 13:01:22 +02001080 * \brief Parse a SubjectPublicKeyInfo DER structure
1081 *
1082 * \param p the position in the ASN.1 data
1083 * \param end end of the buffer
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001084 * \param pk The PK context to fill. It must have been initialized
1085 * but not set up.
Paul Bakker1a7550a2013-09-15 13:01:22 +02001086 *
1087 * \return 0 if successful, or a specific PK error code
1088 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001089int mbedtls_pk_parse_subpubkey(unsigned char **p, const unsigned char *end,
1090 mbedtls_pk_context *pk);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001091#endif /* MBEDTLS_PK_PARSE_C */
Paul Bakker1a7550a2013-09-15 13:01:22 +02001092
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001093#if defined(MBEDTLS_PK_WRITE_C)
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001094/**
1095 * \brief Write a subjectPublicKey to ASN.1 data
1096 * Note: function works backwards in data buffer
1097 *
1098 * \param p reference to current position pointer
1099 * \param start start of the buffer (for bounds-checking)
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001100 * \param key PK context which must contain a valid public or private key.
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001101 *
1102 * \return the length written or a negative error code
1103 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001104int mbedtls_pk_write_pubkey(unsigned char **p, unsigned char *start,
1105 const mbedtls_pk_context *key);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001106#endif /* MBEDTLS_PK_WRITE_C */
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001107
Manuel Pégourié-Gonnard9439f932014-11-21 09:49:43 +01001108/*
1109 * Internal module functions. You probably do not want to use these unless you
1110 * know you do.
1111 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001112#if defined(MBEDTLS_FS_IO)
Gilles Peskine449bd832023-01-11 14:50:10 +01001113int mbedtls_pk_load_file(const char *path, unsigned char **buf, size_t *n);
Manuel Pégourié-Gonnard9439f932014-11-21 09:49:43 +01001114#endif
1115
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +01001116#if defined(MBEDTLS_USE_PSA_CRYPTO)
1117/**
Neil Armstrong23143dc2022-04-21 11:33:54 +02001118 * \brief Turn an EC or RSA key into an opaque one.
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +01001119 *
1120 * \warning This is a temporary utility function for tests. It might
1121 * change or be removed at any time without notice.
1122 *
Neil Armstrong23143dc2022-04-21 11:33:54 +02001123 * \param pk Input: the EC or RSA key to import to a PSA key.
Gilles Peskine11392492019-05-27 14:53:19 +02001124 * Output: a PK context wrapping that PSA key.
Ronald Croncf56a0a2020-08-04 09:51:30 +02001125 * \param key Output: a PSA key identifier.
Gilles Peskine11392492019-05-27 14:53:19 +02001126 * It's the caller's responsibility to call
Ronald Croncf56a0a2020-08-04 09:51:30 +02001127 * psa_destroy_key() on that key identifier after calling
Gilles Peskine11392492019-05-27 14:53:19 +02001128 * mbedtls_pk_free() on the PK context.
Neil Armstronga1fc18f2022-04-22 13:57:14 +02001129 * \param alg The algorithm to allow for use with that key.
1130 * \param usage The usage to allow for use with that key.
1131 * \param alg2 The secondary algorithm to allow for use with that key.
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +01001132 *
1133 * \return \c 0 if successful.
1134 * \return An Mbed TLS error code otherwise.
1135 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001136int mbedtls_pk_wrap_as_opaque(mbedtls_pk_context *pk,
1137 mbedtls_svc_key_id_t *key,
1138 psa_algorithm_t alg,
1139 psa_key_usage_t usage,
1140 psa_algorithm_t alg2);
Manuel Pégourié-Gonnard347a00e2018-11-19 12:25:37 +01001141#endif /* MBEDTLS_USE_PSA_CRYPTO */
1142
Paul Bakkered27a042013-04-18 22:46:23 +02001143#ifdef __cplusplus
1144}
1145#endif
1146
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001147#endif /* MBEDTLS_PK_H */