blob: 90f4ac63a10661f2344dc1a9c2345451948da794 [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
Dave Rodgman16799db2023-11-02 19:47:20 +00008 * SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later
Paul Bakkered27a042013-04-18 22:46:23 +02009 */
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020010
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020011#ifndef MBEDTLS_PK_H
12#define MBEDTLS_PK_H
Mateusz Starzyk846f0212021-05-19 19:44:07 +020013#include "mbedtls/private_access.h"
Paul Bakkered27a042013-04-18 22:46:23 +020014
Bence Szépkútic662b362021-05-27 11:25:03 +020015#include "mbedtls/build_info.h"
Manuel Pégourié-Gonnard244569f2013-07-10 09:46:30 +020016
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010017#include "mbedtls/md.h"
Manuel Pégourié-Gonnardf73da022013-08-17 14:36:32 +020018
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020019#if defined(MBEDTLS_RSA_C)
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010020#include "mbedtls/rsa.h"
Manuel Pégourié-Gonnard244569f2013-07-10 09:46:30 +020021#endif
22
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020023#if defined(MBEDTLS_ECP_C)
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010024#include "mbedtls/ecp.h"
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +020025#endif
26
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020027#if defined(MBEDTLS_ECDSA_C)
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010028#include "mbedtls/ecdsa.h"
Manuel Pégourié-Gonnard211a64c2013-08-09 15:04:26 +020029#endif
30
Gilles Peskine0b172552024-01-18 14:11:26 +010031#if defined(MBEDTLS_PSA_CRYPTO_CLIENT)
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +020032#include "psa/crypto.h"
33#endif
34
Gilles Peskined2971572021-07-26 18:48:10 +020035/** Memory allocation failed. */
36#define MBEDTLS_ERR_PK_ALLOC_FAILED -0x3F80
37/** Type mismatch, eg attempt to encrypt with an ECDSA key */
38#define MBEDTLS_ERR_PK_TYPE_MISMATCH -0x3F00
39/** Bad input parameters to function. */
40#define MBEDTLS_ERR_PK_BAD_INPUT_DATA -0x3E80
41/** Read/write of file failed. */
42#define MBEDTLS_ERR_PK_FILE_IO_ERROR -0x3E00
43/** Unsupported key version */
44#define MBEDTLS_ERR_PK_KEY_INVALID_VERSION -0x3D80
45/** Invalid key tag or value. */
46#define MBEDTLS_ERR_PK_KEY_INVALID_FORMAT -0x3D00
47/** Key algorithm is unsupported (only RSA and EC are supported). */
48#define MBEDTLS_ERR_PK_UNKNOWN_PK_ALG -0x3C80
49/** Private key password can't be empty. */
50#define MBEDTLS_ERR_PK_PASSWORD_REQUIRED -0x3C00
51/** Given private key password does not allow for correct decryption. */
52#define MBEDTLS_ERR_PK_PASSWORD_MISMATCH -0x3B80
53/** The pubkey tag or value is invalid (only RSA and EC are supported). */
54#define MBEDTLS_ERR_PK_INVALID_PUBKEY -0x3B00
55/** The algorithm tag or value is invalid. */
56#define MBEDTLS_ERR_PK_INVALID_ALG -0x3A80
57/** Elliptic curve is unsupported (only NIST curves are supported). */
58#define MBEDTLS_ERR_PK_UNKNOWN_NAMED_CURVE -0x3A00
59/** Unavailable feature, e.g. RSA disabled for RSA key. */
60#define MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE -0x3980
61/** The buffer contains a valid signature followed by more data. */
62#define MBEDTLS_ERR_PK_SIG_LEN_MISMATCH -0x3900
63/** The output buffer is too small. */
64#define MBEDTLS_ERR_PK_BUFFER_TOO_SMALL -0x3880
Ron Eldor9924bdc2018-10-04 10:59:13 +030065
Paul Bakkered27a042013-04-18 22:46:23 +020066#ifdef __cplusplus
67extern "C" {
68#endif
69
70/**
71 * \brief Public key types
72 */
73typedef enum {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020074 MBEDTLS_PK_NONE=0,
75 MBEDTLS_PK_RSA,
76 MBEDTLS_PK_ECKEY,
77 MBEDTLS_PK_ECKEY_DH,
78 MBEDTLS_PK_ECDSA,
79 MBEDTLS_PK_RSA_ALT,
80 MBEDTLS_PK_RSASSA_PSS,
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +010081 MBEDTLS_PK_OPAQUE,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020082} mbedtls_pk_type_t;
Paul Bakkered27a042013-04-18 22:46:23 +020083
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +020084/**
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +020085 * \brief Options for RSASSA-PSS signature verification.
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020086 * See \c mbedtls_rsa_rsassa_pss_verify_ext()
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +020087 */
Gilles Peskine449bd832023-01-11 14:50:10 +010088typedef struct mbedtls_pk_rsassa_pss_options {
Gilles Peskine34c43a82023-02-02 23:06:37 +010089 /** The digest to use for MGF1 in PSS.
90 *
91 * \note When #MBEDTLS_USE_PSA_CRYPTO is enabled and #MBEDTLS_RSA_C is
92 * disabled, this must be equal to the \c md_alg argument passed
93 * to mbedtls_pk_verify_ext(). In a future version of the library,
94 * this constraint may apply whenever #MBEDTLS_USE_PSA_CRYPTO is
95 * enabled regardless of the status of #MBEDTLS_RSA_C.
96 */
97 mbedtls_md_type_t mgf1_hash_id;
98
99 /** The expected length of the salt, in bytes. This may be
100 * #MBEDTLS_RSA_SALT_LEN_ANY to accept any salt length.
101 *
102 * \note When #MBEDTLS_USE_PSA_CRYPTO is enabled, only
103 * #MBEDTLS_RSA_SALT_LEN_ANY is valid. Any other value may be
104 * ignored (allowing any salt length).
105 */
106 int expected_salt_len;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200107
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200108} mbedtls_pk_rsassa_pss_options;
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200109
110/**
Gilles Peskineda252be2019-11-05 16:23:49 +0100111 * \brief Maximum size of a signature made by mbedtls_pk_sign().
112 */
Gilles Peskine54605652019-11-08 16:24:16 +0100113/* We need to set MBEDTLS_PK_SIGNATURE_MAX_SIZE to the maximum signature
114 * size among the supported signature types. Do it by starting at 0,
115 * then incrementally increasing to be large enough for each supported
116 * signature mechanism.
117 *
118 * The resulting value can be 0, for example if MBEDTLS_ECDH_C is enabled
119 * (which allows the pk module to be included) but neither MBEDTLS_ECDSA_C
120 * nor MBEDTLS_RSA_C nor any opaque signature mechanism (PSA or RSA_ALT).
121 */
122#define MBEDTLS_PK_SIGNATURE_MAX_SIZE 0
123
Gilles Peskine449bd832023-01-11 14:50:10 +0100124#if (defined(MBEDTLS_RSA_C) || defined(MBEDTLS_PK_RSA_ALT_SUPPORT)) && \
Gilles Peskineb22a24b2019-11-05 16:56:39 +0100125 MBEDTLS_MPI_MAX_SIZE > MBEDTLS_PK_SIGNATURE_MAX_SIZE
Gilles Peskine54605652019-11-08 16:24:16 +0100126/* For RSA, the signature can be as large as the bignum module allows.
127 * For RSA_ALT, the signature size is not necessarily tied to what the
128 * bignum module can do, but in the absence of any specific setting,
Chris Jones3848e312021-03-11 16:17:59 +0000129 * we use that (rsa_alt_sign_wrap in library/pk_wrap.h will check). */
Gilles Peskineb22a24b2019-11-05 16:56:39 +0100130#undef MBEDTLS_PK_SIGNATURE_MAX_SIZE
131#define MBEDTLS_PK_SIGNATURE_MAX_SIZE MBEDTLS_MPI_MAX_SIZE
132#endif
Gilles Peskine54605652019-11-08 16:24:16 +0100133
Gilles Peskineb22a24b2019-11-05 16:56:39 +0100134#if defined(MBEDTLS_ECDSA_C) && \
135 MBEDTLS_ECDSA_MAX_LEN > MBEDTLS_PK_SIGNATURE_MAX_SIZE
Gilles Peskine54605652019-11-08 16:24:16 +0100136/* For ECDSA, the ecdsa module exports a constant for the maximum
137 * signature size. */
Gilles Peskineb22a24b2019-11-05 16:56:39 +0100138#undef MBEDTLS_PK_SIGNATURE_MAX_SIZE
139#define MBEDTLS_PK_SIGNATURE_MAX_SIZE MBEDTLS_ECDSA_MAX_LEN
140#endif
Gilles Peskine54605652019-11-08 16:24:16 +0100141
142#if defined(MBEDTLS_USE_PSA_CRYPTO)
Gilles Peskine89d8c5c2019-11-26 17:01:59 +0100143#if PSA_SIGNATURE_MAX_SIZE > MBEDTLS_PK_SIGNATURE_MAX_SIZE
144/* PSA_SIGNATURE_MAX_SIZE is the maximum size of a signature made
Gilles Peskine54605652019-11-08 16:24:16 +0100145 * through the PSA API in the PSA representation. */
146#undef MBEDTLS_PK_SIGNATURE_MAX_SIZE
Gilles Peskine89d8c5c2019-11-26 17:01:59 +0100147#define MBEDTLS_PK_SIGNATURE_MAX_SIZE PSA_SIGNATURE_MAX_SIZE
Gilles Peskine54605652019-11-08 16:24:16 +0100148#endif
149
150#if PSA_VENDOR_ECDSA_SIGNATURE_MAX_SIZE + 11 > MBEDTLS_PK_SIGNATURE_MAX_SIZE
151/* The Mbed TLS representation is different for ECDSA signatures:
Gilles Peskineb22a24b2019-11-05 16:56:39 +0100152 * PSA uses the raw concatenation of r and s,
153 * whereas Mbed TLS uses the ASN.1 representation (SEQUENCE of two INTEGERs).
154 * Add the overhead of ASN.1: up to (1+2) + 2 * (1+2+1) for the
155 * types, lengths (represented by up to 2 bytes), and potential leading
156 * zeros of the INTEGERs and the SEQUENCE. */
157#undef MBEDTLS_PK_SIGNATURE_MAX_SIZE
Gilles Peskine449bd832023-01-11 14:50:10 +0100158#define MBEDTLS_PK_SIGNATURE_MAX_SIZE (PSA_VENDOR_ECDSA_SIGNATURE_MAX_SIZE + 11)
Gilles Peskineb22a24b2019-11-05 16:56:39 +0100159#endif
Gilles Peskine54605652019-11-08 16:24:16 +0100160#endif /* defined(MBEDTLS_USE_PSA_CRYPTO) */
Gilles Peskineda252be2019-11-05 16:23:49 +0100161
Valerio Settia9aab1a2023-06-19 13:39:54 +0200162/* Internal helper to define which fields in the pk_context structure below
163 * should be used for EC keys: legacy ecp_keypair or the raw (PSA friendly)
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200164 * format. It should be noted that this only affects how data is stored, not
Valerio Settia9aab1a2023-06-19 13:39:54 +0200165 * which functions are used for various operations. The overall picture looks
166 * like this:
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200167 * - if USE_PSA is not defined and ECP_C is defined then use ecp_keypair data
168 * structure and legacy functions
Valerio Settia9aab1a2023-06-19 13:39:54 +0200169 * - if USE_PSA is defined and
170 * - if ECP_C then use ecp_keypair structure, convert data to a PSA friendly
171 * format and use PSA functions
172 * - if !ECP_C then use new raw data and PSA functions directly.
173 *
174 * The main reason for the "intermediate" (USE_PSA + ECP_C) above is that as long
175 * 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 +0200176 * ecp_keypair structure inside the pk_context so they can modify it using
Valerio Settia9aab1a2023-06-19 13:39:54 +0200177 * ECP functions which are not under PK module's control.
178 */
179#if defined(MBEDTLS_USE_PSA_CRYPTO) && defined(PSA_WANT_KEY_TYPE_ECC_PUBLIC_KEY) && \
180 !defined(MBEDTLS_ECP_C)
181#define MBEDTLS_PK_USE_PSA_EC_DATA
Manuel Pégourié-Gonnardf7298cd2023-09-18 09:55:24 +0200182#endif
Valerio Settia9aab1a2023-06-19 13:39:54 +0200183
Valerio Setticf084ae2023-01-26 14:30:12 +0100184/**
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200185 * \brief Types for interfacing with the debug module
186 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100187typedef enum {
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200188 MBEDTLS_PK_DEBUG_NONE = 0,
189 MBEDTLS_PK_DEBUG_MPI,
190 MBEDTLS_PK_DEBUG_ECP,
Valerio Setti92c3f362023-05-17 15:36:44 +0200191 MBEDTLS_PK_DEBUG_PSA_EC,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200192} mbedtls_pk_debug_type;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200193
194/**
195 * \brief Item to send to the debug module
196 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100197typedef struct mbedtls_pk_debug_item {
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200198 mbedtls_pk_debug_type MBEDTLS_PRIVATE(type);
199 const char *MBEDTLS_PRIVATE(name);
200 void *MBEDTLS_PRIVATE(value);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200201} mbedtls_pk_debug_item;
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200202
203/** Maximum number of item send for debugging, plus 1 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200204#define MBEDTLS_PK_DEBUG_MAX_ITEMS 3
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200205
206/**
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200207 * \brief Public key information and operations
Gilles Peskine2e9d65f2021-08-31 23:05:19 +0200208 *
209 * \note The library does not support custom pk info structures,
210 * only built-in structures returned by
211 * mbedtls_cipher_info_from_type().
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200212 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200213typedef struct mbedtls_pk_info_t mbedtls_pk_info_t;
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200214
Valerio Setti722f8f72023-05-17 15:31:21 +0200215#define MBEDTLS_PK_MAX_EC_PUBKEY_RAW_LEN \
216 PSA_KEY_EXPORT_ECC_PUBLIC_KEY_MAX_SIZE(PSA_VENDOR_ECC_MAX_CURVE_BITS)
Manuel Pégourié-Gonnardd73b3c12013-08-12 17:06:05 +0200217/**
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200218 * \brief Public key container
219 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100220typedef struct mbedtls_pk_context {
221 const mbedtls_pk_info_t *MBEDTLS_PRIVATE(pk_info); /**< Public key information */
222 void *MBEDTLS_PRIVATE(pk_ctx); /**< Underlying public key context */
Valerio Setti7ef8a8d2023-05-23 18:39:54 +0200223 /* The following field is used to store the ID of a private key in the
224 * following cases:
Tomi Fontanillesbad170e2023-12-14 22:03:12 +0200225 * - opaque key when MBEDTLS_USE_PSA_CRYPTO is defined
Valerio Setti7ef8a8d2023-05-23 18:39:54 +0200226 * - normal key when MBEDTLS_PK_USE_PSA_EC_DATA is defined. In this case:
227 * - the pk_ctx above is not not used to store the private key anymore.
228 * Actually that field not populated at all in this case because also
229 * the public key will be stored in raw format as explained below
230 * - this ID is used for all private key operations (ex: sign, check
231 * key pair, key write, etc) using PSA functions
232 *
233 * Note: this private key storing solution only affects EC keys, not the
234 * other ones. The latters still use the pk_ctx to store their own
Tomi Fontanillesbad170e2023-12-14 22:03:12 +0200235 * context. */
236#if defined(MBEDTLS_USE_PSA_CRYPTO)
Valerio Setti4f387ef2023-05-02 14:15:59 +0200237 mbedtls_svc_key_id_t MBEDTLS_PRIVATE(priv_id); /**< Key ID for opaque keys */
Tomi Fontanillesbad170e2023-12-14 22:03:12 +0200238#endif /* MBEDTLS_USE_PSA_CRYPTO */
Valerio Setti722f8f72023-05-17 15:31:21 +0200239 /* The following fields are meant for storing the public key in raw format
240 * which is handy for:
241 * - easily importing it into the PSA context
242 * - reducing the ECP module dependencies in the PK one.
243 *
244 * When MBEDTLS_PK_USE_PSA_EC_DATA is enabled:
245 * - the pk_ctx above is not used anymore for storing the public key
Valerio Setti7ef8a8d2023-05-23 18:39:54 +0200246 * inside the ecp_keypair structure
Valerio Setti722f8f72023-05-17 15:31:21 +0200247 * - the following fields are used for all public key operations: signature
248 * verify, key pair check and key write.
Gilles Peskinecb3b4ca2024-02-02 13:12:39 +0100249 * - For a key pair, priv_id contains the private key. For a public key,
250 * priv_id is null.
Valerio Setti722f8f72023-05-17 15:31:21 +0200251 * Of course, when MBEDTLS_PK_USE_PSA_EC_DATA is not enabled, the legacy
Valerio Setti016264b2023-05-22 18:40:35 +0200252 * ecp_keypair structure is used for storing the public key and performing
Valerio Setti722f8f72023-05-17 15:31:21 +0200253 * all the operations.
254 *
255 * Note: This new public key storing solution only works for EC keys, not
Valerio Settif57007d2023-05-19 13:54:39 +0200256 * other ones. The latters still use pk_ctx to store their own
Valerio Setti722f8f72023-05-17 15:31:21 +0200257 * context.
258 */
259#if defined(MBEDTLS_PK_USE_PSA_EC_DATA)
260 uint8_t MBEDTLS_PRIVATE(pub_raw)[MBEDTLS_PK_MAX_EC_PUBKEY_RAW_LEN]; /**< Raw public key */
261 size_t MBEDTLS_PRIVATE(pub_raw_len); /**< Valid bytes in "pub_raw" */
262 psa_ecc_family_t MBEDTLS_PRIVATE(ec_family); /**< EC family of pk */
263 size_t MBEDTLS_PRIVATE(ec_bits); /**< Curve's bits of pk */
Valerio Settic1541cb2023-05-17 15:49:55 +0200264#endif /* MBEDTLS_PK_USE_PSA_EC_DATA */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200265} mbedtls_pk_context;
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200266
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200267#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200268/**
269 * \brief Context for resuming operations
270 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100271typedef struct {
272 const mbedtls_pk_info_t *MBEDTLS_PRIVATE(pk_info); /**< Public key information */
273 void *MBEDTLS_PRIVATE(rs_ctx); /**< Underlying restart context */
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200274} mbedtls_pk_restart_ctx;
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200275#else /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200276/* Now we can declare functions that take a pointer to that */
277typedef void mbedtls_pk_restart_ctx;
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200278#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200279
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200280#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200281/**
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200282 * \brief Types for RSA-alt abstraction
283 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100284typedef int (*mbedtls_pk_rsa_alt_decrypt_func)(void *ctx, size_t *olen,
285 const unsigned char *input, unsigned char *output,
286 size_t output_max_len);
287typedef int (*mbedtls_pk_rsa_alt_sign_func)(void *ctx,
288 int (*f_rng)(void *, unsigned char *, size_t),
289 void *p_rng,
290 mbedtls_md_type_t md_alg, unsigned int hashlen,
291 const unsigned char *hash, unsigned char *sig);
292typedef size_t (*mbedtls_pk_rsa_alt_key_len_func)(void *ctx);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200293#endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200294
295/**
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200296 * \brief Return information associated with the given PK type
297 *
Paul Bakkerdcbfdcc2013-09-10 16:16:50 +0200298 * \param pk_type PK type to search for.
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200299 *
300 * \return The PK info associated with the type or NULL if not found.
301 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100302const mbedtls_pk_info_t *mbedtls_pk_info_from_type(mbedtls_pk_type_t pk_type);
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200303
304/**
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500305 * \brief Initialize a #mbedtls_pk_context (as NONE).
306 *
307 * \param ctx The context to initialize.
308 * This must not be \c NULL.
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200309 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100310void mbedtls_pk_init(mbedtls_pk_context *ctx);
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200311
312/**
Andrzej Kurekb274f272019-02-05 05:06:35 -0500313 * \brief Free the components of a #mbedtls_pk_context.
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100314 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500315 * \param ctx The context to clear. It must have been initialized.
316 * If this is \c NULL, this function does nothing.
317 *
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100318 * \note For contexts that have been set up with
Manuel Pégourié-Gonnard69baf702018-11-06 09:34:30 +0100319 * mbedtls_pk_setup_opaque(), this does not free the underlying
Gilles Peskine11392492019-05-27 14:53:19 +0200320 * PSA key and you still need to call psa_destroy_key()
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100321 * independently if you want to destroy that key.
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200322 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100323void mbedtls_pk_free(mbedtls_pk_context *ctx);
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200324
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200325#if defined(MBEDTLS_ECDSA_C) && defined(MBEDTLS_ECP_RESTARTABLE)
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200326/**
327 * \brief Initialize a restart context
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500328 *
329 * \param ctx The context to initialize.
330 * This must not be \c NULL.
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200331 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100332void mbedtls_pk_restart_init(mbedtls_pk_restart_ctx *ctx);
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200333
334/**
335 * \brief Free the components of a restart context
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500336 *
337 * \param ctx The context to clear. It must have been initialized.
338 * If this is \c NULL, this function does nothing.
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200339 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100340void mbedtls_pk_restart_free(mbedtls_pk_restart_ctx *ctx);
Manuel Pégourié-Gonnardaaa98142017-08-18 17:30:37 +0200341#endif /* MBEDTLS_ECDSA_C && MBEDTLS_ECP_RESTARTABLE */
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200342
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200343/**
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200344 * \brief Initialize a PK context with the information given
345 * and allocates the type-specific PK subcontext.
346 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500347 * \param ctx Context to initialize. It must not have been set
348 * up yet (type #MBEDTLS_PK_NONE).
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200349 * \param info Information to use
350 *
351 * \return 0 on success,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200352 * MBEDTLS_ERR_PK_BAD_INPUT_DATA on invalid input,
Manuel Pégourié-Gonnard6a8ca332015-05-28 09:33:39 +0200353 * MBEDTLS_ERR_PK_ALLOC_FAILED on allocation failure.
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200354 *
Paul Bakker42099c32014-01-27 11:45:49 +0100355 * \note For contexts holding an RSA-alt key, use
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200356 * \c mbedtls_pk_setup_rsa_alt() instead.
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200357 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100358int mbedtls_pk_setup(mbedtls_pk_context *ctx, const mbedtls_pk_info_t *info);
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200359
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200360#if defined(MBEDTLS_USE_PSA_CRYPTO)
361/**
Gilles Peskine11392492019-05-27 14:53:19 +0200362 * \brief Initialize a PK context to wrap a PSA key.
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200363 *
Manuel Pégourié-Gonnard392dc042018-11-13 10:48:23 +0100364 * \note This function replaces mbedtls_pk_setup() for contexts
Gilles Peskine11392492019-05-27 14:53:19 +0200365 * that wrap a (possibly opaque) PSA key instead of
Manuel Pégourié-Gonnard392dc042018-11-13 10:48:23 +0100366 * storing and manipulating the key material directly.
367 *
368 * \param ctx The context to initialize. It must be empty (type NONE).
Neil Armstrongb3547422022-03-22 10:22:28 +0100369 * \param key The PSA key to wrap, which must hold an ECC or RSA key
370 * pair (see notes below).
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200371 *
Gilles Peskine11392492019-05-27 14:53:19 +0200372 * \note The wrapped key must remain valid as long as the
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100373 * wrapping PK context is in use, that is at least between
374 * the point this function is called and the point
375 * mbedtls_pk_free() is called on this context. The wrapped
Gilles Peskine11392492019-05-27 14:53:19 +0200376 * key might then be independently used or destroyed.
Manuel Pégourié-Gonnard01a12c42018-10-31 10:28:01 +0100377 *
Neil Armstrongb3547422022-03-22 10:22:28 +0100378 * \note This function is currently only available for ECC or RSA
379 * key pairs (that is, keys containing private key material).
Manuel Pégourié-Gonnard392dc042018-11-13 10:48:23 +0100380 * Support for other key types may be added later.
381 *
382 * \return \c 0 on success.
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100383 * \return #MBEDTLS_ERR_PK_BAD_INPUT_DATA on invalid input
Ronald Croncf56a0a2020-08-04 09:51:30 +0200384 * (context already used, invalid key identifier).
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100385 * \return #MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE if the key is not an
Manuel Pégourié-Gonnard392dc042018-11-13 10:48:23 +0100386 * ECC key pair.
Manuel Pégourié-Gonnard920c0632018-10-31 10:57:29 +0100387 * \return #MBEDTLS_ERR_PK_ALLOC_FAILED on allocation failure.
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200388 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100389int mbedtls_pk_setup_opaque(mbedtls_pk_context *ctx,
390 const mbedtls_svc_key_id_t key);
Manuel Pégourié-Gonnard20678b22018-10-22 12:11:15 +0200391#endif /* MBEDTLS_USE_PSA_CRYPTO */
392
Valerio Setti01ba66d2024-02-09 11:35:42 +0100393#if defined(MBEDTLS_PSA_CRYPTO_C)
Valerio Setti070d95e2024-02-01 11:29:15 +0100394/**
395 * \brief Create a PK context starting from a key stored in PSA.
396 * This key:
Valerio Setti8fb0fe82024-02-23 07:06:49 +0100397 * - must be exportabel and
398 * - must be a either an RSA or EC key (DH is not managed in PK) and
Valerio Setti070d95e2024-02-01 11:29:15 +0100399 * - must be either a key pair or a public key.
400 *
401 * The resulting PK object will be a transparent type:
Valerio Setti8fb0fe82024-02-23 07:06:49 +0100402 * - #MBEDTLS_PK_RSA for RSA keys or
403 * - #MBEDTLS_PK_ECKEY for EC keys.
404 *
Valerio Setti070d95e2024-02-01 11:29:15 +0100405 * Once this functions returns the PK object will be completely
406 * independent from the original PSA key that it was generated
407 * from.
Valerio Setti8fb0fe82024-02-23 07:06:49 +0100408 * Calling mbedtls_pk_sign(), mbedtls_pk_verify(),
409 * mbedtls_pk_encrypt(), mbedtls_pk_decrypt() on the resulting
Valerio Setti070d95e2024-02-01 11:29:15 +0100410 * PK context will perform an algorithm that is compatible with
411 * the PSA key's primary algorithm policy if that is a matching
412 * operation type (sign/verify, encrypt/decrypt), but with no
413 * restriction on the hash (as if the policy had
Valerio Setti8fb0fe82024-02-23 07:06:49 +0100414 * #PSA_ALG_ANY_HASH instead of a specific hash, and with
415 * #PSA_ALG_RSA_PKCS1V15_SIGN_RAW merged with
416 * #PSA_ALG_RSA_PKCS1V15_SIGN(\c hash_alg)).
Valerio Setti070d95e2024-02-01 11:29:15 +0100417 * * For ECDSA, the choice of deterministic vs randomized will
Valerio Setti8fb0fe82024-02-23 07:06:49 +0100418 * be based on the compile-time setting #MBEDTLS_ECDSA_DETERMINISTIC.
Valerio Setti070d95e2024-02-01 11:29:15 +0100419 * * For an RSA key, the output key will allow both encrypt/decrypt
420 * and sign/verify regardless of the original key's policy.
421 * The original key's policy determines the output key's padding
422 * mode.
423 *
Valerio Setti8fb0fe82024-02-23 07:06:49 +0100424 * \param key_id The key identifier of the key stored in PSA.
Valerio Setti070d95e2024-02-01 11:29:15 +0100425 * \param pk The PK context that will be filled. It must be initialized,
Valerio Setti8fb0fe82024-02-23 07:06:49 +0100426 * but not set up.
Valerio Setti070d95e2024-02-01 11:29:15 +0100427 *
428 * \return 0 on success.
429 * \return MBEDTLS_ERR_PK_BAD_INPUT_DATA in case the provided input
430 * parameters are not correct.
431 */
432int mbedtls_pk_copy_from_psa(mbedtls_svc_key_id_t key_id, mbedtls_pk_context *pk);
Valerio Setti01ba66d2024-02-09 11:35:42 +0100433#endif /* MBEDTLS_PSA_CRYPTO_C */
Valerio Setti070d95e2024-02-01 11:29:15 +0100434
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200435#if defined(MBEDTLS_PK_RSA_ALT_SUPPORT)
Manuel Pégourié-Gonnardab466942013-08-15 11:30:27 +0200436/**
Paul Bakker4fc090a2013-09-18 15:43:25 +0200437 * \brief Initialize an RSA-alt context
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200438 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500439 * \param ctx Context to initialize. It must not have been set
440 * up yet (type #MBEDTLS_PK_NONE).
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200441 * \param key RSA key pointer
442 * \param decrypt_func Decryption function
443 * \param sign_func Signing function
Manuel Pégourié-Gonnard01488752014-04-03 22:09:18 +0200444 * \param key_len_func Function returning key length in bytes
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200445 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200446 * \return 0 on success, or MBEDTLS_ERR_PK_BAD_INPUT_DATA if the
Manuel Pégourié-Gonnard12c1ff02013-08-21 12:28:31 +0200447 * context wasn't already initialized as RSA_ALT.
448 *
Manuel Pégourié-Gonnardd9e6a3a2015-05-14 19:41:36 +0200449 * \note This function replaces \c mbedtls_pk_setup() for RSA-alt.
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200450 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100451int mbedtls_pk_setup_rsa_alt(mbedtls_pk_context *ctx, void *key,
452 mbedtls_pk_rsa_alt_decrypt_func decrypt_func,
453 mbedtls_pk_rsa_alt_sign_func sign_func,
454 mbedtls_pk_rsa_alt_key_len_func key_len_func);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200455#endif /* MBEDTLS_PK_RSA_ALT_SUPPORT */
Manuel Pégourié-Gonnard12e0ed92013-07-04 13:31:32 +0200456
457/**
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200458 * \brief Get the size in bits of the underlying key
459 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500460 * \param ctx The context to query. It must have been initialized.
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200461 *
462 * \return Key size in bits, or 0 on error
463 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100464size_t mbedtls_pk_get_bitlen(const mbedtls_pk_context *ctx);
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200465
466/**
Manuel Pégourié-Gonnard0d420492013-08-21 16:14:26 +0200467 * \brief Get the length in bytes of the underlying key
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500468 *
469 * \param ctx The context to query. It must have been initialized.
Manuel Pégourié-Gonnard0d420492013-08-21 16:14:26 +0200470 *
Paul Bakker4fc090a2013-09-18 15:43:25 +0200471 * \return Key length in bytes, or 0 on error
Manuel Pégourié-Gonnard0d420492013-08-21 16:14:26 +0200472 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100473static inline size_t mbedtls_pk_get_len(const mbedtls_pk_context *ctx)
Manuel Pégourié-Gonnard0d420492013-08-21 16:14:26 +0200474{
Gilles Peskine449bd832023-01-11 14:50:10 +0100475 return (mbedtls_pk_get_bitlen(ctx) + 7) / 8;
Manuel Pégourié-Gonnard0d420492013-08-21 16:14:26 +0200476}
477
478/**
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200479 * \brief Tell if a context can do the operation given by type
480 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500481 * \param ctx The context to query. It must have been initialized.
482 * \param type The desired type.
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200483 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500484 * \return 1 if the context can do operations on the given type.
485 * \return 0 if the context cannot do the operations on the given
486 * type. This is always the case for a context that has
487 * been initialized but not set up, or that has been
488 * cleared with mbedtls_pk_free().
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200489 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100490int mbedtls_pk_can_do(const mbedtls_pk_context *ctx, mbedtls_pk_type_t type);
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200491
Neil Armstrong0b529582022-05-11 10:10:20 +0200492#if defined(MBEDTLS_USE_PSA_CRYPTO)
493/**
Neil Armstrongcec133a2022-05-17 11:56:01 +0200494 * \brief Tell if context can do the operation given by PSA algorithm
Neil Armstrong0b529582022-05-11 10:10:20 +0200495 *
496 * \param ctx The context to query. It must have been initialized.
497 * \param alg PSA algorithm to check against, the following are allowed:
498 * PSA_ALG_RSA_PKCS1V15_SIGN(hash),
499 * PSA_ALG_RSA_PSS(hash),
500 * PSA_ALG_RSA_PKCS1V15_CRYPT,
501 * PSA_ALG_ECDSA(hash),
502 * PSA_ALG_ECDH, where hash is a specific hash.
Neil Armstrong408f6a62022-05-17 14:23:20 +0200503 * \param usage PSA usage flag to check against, must be composed of:
504 * PSA_KEY_USAGE_SIGN_HASH
505 * PSA_KEY_USAGE_DECRYPT
506 * PSA_KEY_USAGE_DERIVE.
507 * Context key must match all passed usage flags.
Neil Armstrong0b529582022-05-11 10:10:20 +0200508 *
Neil Armstrongb2f2b022022-05-20 12:00:56 +0200509 * \warning Since the set of allowed algorithms and usage flags may be
510 * expanded in the future, the return value \c 0 should not
511 * be taken in account for non-allowed algorithms and usage
512 * flags.
513 *
Neil Armstrong0b529582022-05-11 10:10:20 +0200514 * \return 1 if the context can do operations on the given type.
515 * \return 0 if the context cannot do the operations on the given
Neil Armstrongb2f2b022022-05-20 12:00:56 +0200516 * type, for non-allowed algorithms and usage flags, or
517 * for a context that has been initialized but not set up
518 * or that has been cleared with mbedtls_pk_free().
Neil Armstrong0b529582022-05-11 10:10:20 +0200519 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100520int mbedtls_pk_can_do_ext(const mbedtls_pk_context *ctx, psa_algorithm_t alg,
521 psa_key_usage_t usage);
Neil Armstrong0b529582022-05-11 10:10:20 +0200522#endif /* MBEDTLS_USE_PSA_CRYPTO */
523
Gilles Peskine9cd2e9a2024-01-24 13:40:09 +0100524#if defined(MBEDTLS_PSA_CRYPTO_C)
Gilles Peskine0b172552024-01-18 14:11:26 +0100525/**
526 * \brief Determine valid PSA attributes that can be used to
527 * import a key into PSA.
528 *
529 * The attributes determined by this function are suitable
530 * for calling mbedtls_pk_import_into_psa() to create
531 * a PSA key with the same key material.
532 *
533 * The typical flow of operations involving this function is
534 * ```
535 * psa_key_attributes_t attributes = PSA_KEY_ATTRIBUTES_INIT;
536 * int ret = mbedtls_pk_get_psa_attributes(pk, &attributes);
537 * if (ret != 0) ...; // error handling omitted
538 * // Tweak attributes if desired
539 * psa_key_id_t key_id = 0;
540 * ret = mbedtls_pk_import_into_psa(pk, &attributes, &key_id);
541 * if (ret != 0) ...; // error handling omitted
542 * ```
543 *
544 * \note This function does not support RSA-alt contexts
545 * (set up with mbedtls_pk_setup_rsa_alt()).
546 *
547 * \param[in] pk The PK context to use. It must have been set up.
548 * It can either contain a key pair or just a public key.
549 * \param usage A single `PSA_KEY_USAGE_xxx` flag among the following:
550 * - #PSA_KEY_USAGE_DECRYPT: \p pk must contain a
551 * key pair. The output \p attributes will contain a
552 * key pair type, and the usage policy will allow
553 * #PSA_KEY_USAGE_ENCRYPT as well as
554 * #PSA_KEY_USAGE_DECRYPT.
555 * - #PSA_KEY_USAGE_DERIVE: \p pk must contain a
556 * key pair. The output \p attributes will contain a
557 * key pair type.
558 * - #PSA_KEY_USAGE_ENCRYPT: The output
559 * \p attributes will contain a public key type.
560 * - #PSA_KEY_USAGE_SIGN_HASH: \p pk must contain a
561 * key pair. The output \p attributes will contain a
562 * key pair type, and the usage policy will allow
563 * #PSA_KEY_USAGE_VERIFY_HASH as well as
564 * #PSA_KEY_USAGE_SIGN_HASH.
565 * - #PSA_KEY_USAGE_SIGN_MESSAGE: \p pk must contain a
566 * key pair. The output \p attributes will contain a
567 * key pair type, and the usage policy will allow
568 * #PSA_KEY_USAGE_VERIFY_MESSAGE as well as
569 * #PSA_KEY_USAGE_SIGN_MESSAGE.
570 * - #PSA_KEY_USAGE_VERIFY_HASH: The output
571 * \p attributes will contain a public key type.
572 * - #PSA_KEY_USAGE_VERIFY_MESSAGE: The output
573 * \p attributes will contain a public key type.
574 * \param[out] attributes
575 * On success, valid attributes to import the key into PSA.
576 * - The lifetime and key identifier are unchanged. If the
577 * attribute structure was initialized or reset before
578 * calling this function, this will result in a volatile
579 * key. Call psa_set_key_identifier() before or after this
580 * function if you wish to create a persistent key. Call
581 * psa_set_key_lifetime() before or after this function if
582 * you wish to import the key in a secure element.
583 * - The key type and bit-size are determined by the contents
584 * of the PK context. If the PK context contains a key
585 * pair, the key type can be either a key pair type or
586 * the corresponding public key type, depending on
587 * \p usage. If the PK context contains a public key,
588 * the key type is a public key type.
589 * - The key's policy is determined by the key type and
590 * the \p usage parameter. The usage always allows
591 * \p usage, exporting and copying the key, and
592 * possibly other permissions as documented for the
593 * \p usage parameter.
Gilles Peskinee208b252024-02-01 20:42:21 +0100594 * The permitted algorithm policy is determined as follows
Gilles Peskine0b172552024-01-18 14:11:26 +0100595 * based on the #mbedtls_pk_type_t type of \p pk,
596 * the chosen \p usage and other factors:
Gilles Peskinee208b252024-02-01 20:42:21 +0100597 * - #MBEDTLS_PK_RSA whose underlying
Gilles Peskine0b172552024-01-18 14:11:26 +0100598 * #mbedtls_rsa_context has the padding mode
599 * #MBEDTLS_RSA_PKCS_V15:
600 * #PSA_ALG_RSA_PKCS1V15_SIGN(#PSA_ALG_ANY_HASH)
601 * if \p usage is SIGN/VERIFY, and
602 * #PSA_ALG_RSA_PKCS1V15_CRYPT
603 * if \p usage is ENCRYPT/DECRYPT.
Gilles Peskinee208b252024-02-01 20:42:21 +0100604 * - #MBEDTLS_PK_RSA whose underlying
Gilles Peskine0b172552024-01-18 14:11:26 +0100605 * #mbedtls_rsa_context has the padding mode
606 * #MBEDTLS_RSA_PKCS_V21 and the digest type
607 * corresponding to the PSA algorithm \c hash:
608 * #PSA_ALG_RSA_PSS_ANY_SALT(#PSA_ALG_ANY_HASH)
609 * if \p usage is SIGN/VERIFY, and
610 * #PSA_ALG_RSA_OAEP(\c hash)
611 * if \p usage is ENCRYPT/DECRYPT.
612 * - #MBEDTLS_PK_RSA_ALT: not supported.
613 * - #MBEDTLS_PK_ECDSA or #MBEDTLS_PK_ECKEY
614 * if \p usage is SIGN/VERIFY:
615 * #PSA_ALG_DETERMINISTIC_ECDSA(#PSA_ALG_ANY_HASH)
616 * if #MBEDTLS_ECDSA_DETERMINISTIC is enabled,
617 * otherwise #PSA_ALG_ECDSA(#PSA_ALG_ANY_HASH).
618 * - #MBEDTLS_PK_ECKEY_DH or #MBEDTLS_PK_ECKEY
619 * if \p usage is DERIVE:
620 * #PSA_ALG_ECDH.
Gilles Peskinee208b252024-02-01 20:42:21 +0100621 * - #MBEDTLS_PK_OPAQUE: same as the primary algorithm
Gilles Peskine0b172552024-01-18 14:11:26 +0100622 * set for the underlying PSA key, except that
623 * sign/decrypt flags are removed if the type is
624 * set to a public key type.
Gilles Peskine793920c2024-02-01 21:26:54 +0100625 * The underlying key must allow \p usage.
Gilles Peskine0b172552024-01-18 14:11:26 +0100626 * Note that the enrollment algorithm set with
627 * psa_set_key_enrollment_algorithm() is not copied.
628 *
629 * \return 0 on success.
630 * #MBEDTLS_ERR_PK_TYPE_MISMATCH if \p pk does not contain
631 * a key of the type identified in \p attributes.
632 * Another error code on other failures.
633 */
634int mbedtls_pk_get_psa_attributes(const mbedtls_pk_context *pk,
635 psa_key_usage_t usage,
636 psa_key_attributes_t *attributes);
Gilles Peskine05ee3fb2024-02-07 18:58:10 +0100637
638/**
639 * \brief Import a key into the PSA key store.
640 *
641 * This function is equivalent to calling psa_import_key()
642 * with the key material from \p pk.
643 *
644 * The typical way to use this function is:
645 * -# Call mbedtls_pk_get_psa_attributes() to obtain
646 * attributes for the given key.
647 * -# If desired, modify the attributes, for example:
648 * - To create a persistent key, call
649 * psa_set_key_identifier() and optionally
650 * psa_set_key_lifetime().
651 * - To import only the public part of a key pair:
652 * ```
653 * psa_set_key_type(&attributes,
654 * PSA_KEY_TYPE_PUBLIC_KEY_OF_KEY_PAIR(
655 * psa_get_key_type(&attributes)));
656 * ```
657 * - Restrict the key usage if desired.
658 * -# Call mbedtls_pk_import_into_psa().
659 *
660 * \note This function does not support RSA-alt contexts
661 * (set up with mbedtls_pk_setup_rsa_alt()).
662 *
663 * \param[in] pk The PK context to use. It must have been set up.
664 * It can either contain a key pair or just a public key.
665 * \param[in] attributes
666 * The attributes to use for the new key. They must be
667 * compatible with \p pk. In particular, the key type
668 * must match the content of \p pk.
669 * If \p pk contains a key pair, the key type in
670 * attributes can be either the key pair type or the
671 * corresponding public key type (to import only the
672 * public part).
673 * \param[out] key_id
674 * On success, the identifier of the newly created key.
675 * On error, this is #MBEDTLS_SVC_KEY_ID_INIT.
676 *
677 * \return 0 on success.
678 * #MBEDTLS_ERR_PK_TYPE_MISMATCH if \p pk does not contain
679 * a key of the type identified in \p attributes.
680 * Another error code on other failures.
681 */
682int mbedtls_pk_import_into_psa(const mbedtls_pk_context *pk,
683 const psa_key_attributes_t *attributes,
684 mbedtls_svc_key_id_t *key_id);
Gilles Peskine9cd2e9a2024-01-24 13:40:09 +0100685#endif /* MBEDTLS_PSA_CRYPTO_C */
Gilles Peskine0b172552024-01-18 14:11:26 +0100686
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200687/**
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200688 * \brief Verify signature (including padding if relevant).
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200689 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500690 * \param ctx The PK context to use. It must have been set up.
Gilles Peskine9dbbc292021-06-22 18:28:13 +0200691 * \param md_alg Hash algorithm used.
692 * This can be #MBEDTLS_MD_NONE if the signature algorithm
693 * does not rely on a hash algorithm (non-deterministic
694 * ECDSA, RSA PKCS#1 v1.5).
695 * For PKCS#1 v1.5, if \p md_alg is #MBEDTLS_MD_NONE, then
696 * \p hash is the DigestInfo structure used by RFC 8017
697 * &sect;9.2 steps 3&ndash;6. If \p md_alg is a valid hash
698 * algorithm then \p hash is the digest itself, and this
699 * function calculates the DigestInfo encoding internally.
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200700 * \param hash Hash of the message to sign
Gilles Peskine9dbbc292021-06-22 18:28:13 +0200701 * \param hash_len Hash length
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200702 * \param sig Signature to verify
703 * \param sig_len Signature length
704 *
Valerio Setti85e568c2024-02-19 15:45:00 +0100705 * \note For keys of type #MBEDTLS_PK_RSA, the signature algorithm is
706 * either PKCS#1 v1.5 or PSS (accepting any salt length),
707 * depending on the padding mode in the underlying RSA context.
708 * For a pk object constructed by parsing, this is PKCS#1 v1.5
709 * by default. Use mbedtls_pk_verify_ext() to explicitly select
710 * a different algorithm.
711 *
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200712 * \return 0 on success (signature is valid),
Gilles Peskine5114d3e2018-03-30 07:12:15 +0200713 * #MBEDTLS_ERR_PK_SIG_LEN_MISMATCH if there is a valid
Andrzej Kurek3bedb5b2022-02-17 14:39:00 -0500714 * signature in \p sig but its length is less than \p sig_len,
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200715 * or a specific error code.
716 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100717int mbedtls_pk_verify(mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
718 const unsigned char *hash, size_t hash_len,
719 const unsigned char *sig, size_t sig_len);
Manuel Pégourié-Gonnardb3d91872013-08-14 15:56:19 +0200720
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200721/**
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200722 * \brief Restartable version of \c mbedtls_pk_verify()
723 *
724 * \note Performs the same job as \c mbedtls_pk_verify(), but can
725 * return early and restart according to the limit set with
726 * \c mbedtls_ecp_set_max_ops() to reduce blocking for ECC
727 * operations. For RSA, same as \c mbedtls_pk_verify().
728 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500729 * \param ctx The PK context to use. It must have been set up.
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200730 * \param md_alg Hash algorithm used (see notes)
731 * \param hash Hash of the message to sign
732 * \param hash_len Hash length or 0 (see notes)
733 * \param sig Signature to verify
734 * \param sig_len Signature length
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200735 * \param rs_ctx Restart context (NULL to disable restart)
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200736 *
737 * \return See \c mbedtls_pk_verify(), or
Manuel Pégourié-Gonnard12e4a8b2018-09-12 10:55:15 +0200738 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200739 * operations was reached: see \c mbedtls_ecp_set_max_ops().
740 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100741int mbedtls_pk_verify_restartable(mbedtls_pk_context *ctx,
742 mbedtls_md_type_t md_alg,
743 const unsigned char *hash, size_t hash_len,
744 const unsigned char *sig, size_t sig_len,
745 mbedtls_pk_restart_ctx *rs_ctx);
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200746
747/**
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200748 * \brief Verify signature, with options.
749 * (Includes verification of the padding depending on type.)
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200750 *
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200751 * \param type Signature type (inc. possible padding type) to verify
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200752 * \param options Pointer to type-specific options, or NULL
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500753 * \param ctx The PK context to use. It must have been set up.
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200754 * \param md_alg Hash algorithm used (see notes)
755 * \param hash Hash of the message to sign
756 * \param hash_len Hash length or 0 (see notes)
757 * \param sig Signature to verify
758 * \param sig_len Signature length
759 *
760 * \return 0 on success (signature is valid),
Gilles Peskine5114d3e2018-03-30 07:12:15 +0200761 * #MBEDTLS_ERR_PK_TYPE_MISMATCH if the PK context can't be
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200762 * used for this type of signatures,
Gilles Peskine5114d3e2018-03-30 07:12:15 +0200763 * #MBEDTLS_ERR_PK_SIG_LEN_MISMATCH if there is a valid
Andrzej Kurek3bedb5b2022-02-17 14:39:00 -0500764 * signature in \p sig but its length is less than \p sig_len,
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200765 * or a specific error code.
766 *
767 * \note If hash_len is 0, then the length associated with md_alg
768 * is used instead, or an error returned if it is invalid.
769 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200770 * \note md_alg may be MBEDTLS_MD_NONE, only if hash_len != 0
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200771 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200772 * \note If type is MBEDTLS_PK_RSASSA_PSS, then options must point
773 * to a mbedtls_pk_rsassa_pss_options structure,
Manuel Pégourié-Gonnarda6e02912022-12-21 09:59:33 +0100774 * otherwise it must be NULL. Note that if
775 * #MBEDTLS_USE_PSA_CRYPTO is defined, the salt length is not
776 * verified as PSA_ALG_RSA_PSS_ANY_SALT is used.
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200777 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100778int mbedtls_pk_verify_ext(mbedtls_pk_type_t type, const void *options,
779 mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
780 const unsigned char *hash, size_t hash_len,
781 const unsigned char *sig, size_t sig_len);
Manuel Pégourié-Gonnard20422e92014-06-05 13:41:44 +0200782
783/**
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200784 * \brief Make signature, including padding if relevant.
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200785 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500786 * \param ctx The PK context to use. It must have been set up
787 * with a private key.
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200788 * \param md_alg Hash algorithm used (see notes)
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200789 * \param hash Hash of the message to sign
Gilles Peskine9dbbc292021-06-22 18:28:13 +0200790 * \param hash_len Hash length
Gilles Peskineda252be2019-11-05 16:23:49 +0100791 * \param sig Place to write the signature.
792 * It must have enough room for the signature.
793 * #MBEDTLS_PK_SIGNATURE_MAX_SIZE is always enough.
794 * You may use a smaller buffer if it is large enough
795 * given the key type.
Gilles Peskinef00f1522021-06-22 00:09:00 +0200796 * \param sig_size The size of the \p sig buffer in bytes.
Gilles Peskineda252be2019-11-05 16:23:49 +0100797 * \param sig_len On successful return,
798 * the number of bytes written to \p sig.
Manuel Pégourié-Gonnard34d37562021-06-15 11:29:26 +0200799 * \param f_rng RNG function, must not be \c NULL.
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200800 * \param p_rng RNG parameter
801 *
Valerio Setti85e568c2024-02-19 15:45:00 +0100802 * \note For keys of type #MBEDTLS_PK_RSA, the signature algorithm is
803 * either PKCS#1 v1.5 or PSS (using the largest possible salt
804 * length up to the hash length), depending on the padding mode
805 * in the underlying RSA context. For a pk object constructed
806 * by parsing, this is PKCS#1 v1.5 by default. Use
807 * mbedtls_pk_verify_ext() to explicitly select a different
808 * algorithm.
Manuel Pégourié-Gonnardbfe32ef2013-08-22 14:55:30 +0200809 *
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200810 * \return 0 on success, or a specific error code.
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200811 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200812 * \note For RSA, md_alg may be MBEDTLS_MD_NONE if hash_len != 0.
813 * For ECDSA, md_alg may never be MBEDTLS_MD_NONE.
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200814 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100815int mbedtls_pk_sign(mbedtls_pk_context *ctx, mbedtls_md_type_t md_alg,
816 const unsigned char *hash, size_t hash_len,
817 unsigned char *sig, size_t sig_size, size_t *sig_len,
818 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng);
Manuel Pégourié-Gonnard8df27692013-08-21 10:34:38 +0200819
820/**
Jerry Yu406cf272022-03-22 11:33:42 +0800821 * \brief Make signature given a signature type.
Jerry Yud69439a2022-02-24 15:52:15 +0800822 *
Jerry Yu8beb9e12022-03-12 16:23:53 +0800823 * \param pk_type Signature type.
Jerry Yud69439a2022-02-24 15:52:15 +0800824 * \param ctx The PK context to use. It must have been set up
825 * with a private key.
826 * \param md_alg Hash algorithm used (see notes)
827 * \param hash Hash of the message to sign
828 * \param hash_len Hash length
829 * \param sig Place to write the signature.
830 * It must have enough room for the signature.
831 * #MBEDTLS_PK_SIGNATURE_MAX_SIZE is always enough.
832 * You may use a smaller buffer if it is large enough
833 * given the key type.
834 * \param sig_size The size of the \p sig buffer in bytes.
835 * \param sig_len On successful return,
836 * the number of bytes written to \p sig.
837 * \param f_rng RNG function, must not be \c NULL.
838 * \param p_rng RNG parameter
839 *
840 * \return 0 on success, or a specific error code.
841 *
Jerry Yue6e73d62022-03-24 13:05:08 +0800842 * \note When \p pk_type is #MBEDTLS_PK_RSASSA_PSS,
843 * see #PSA_ALG_RSA_PSS for a description of PSS options used.
Jerry Yud69439a2022-02-24 15:52:15 +0800844 *
845 * \note For RSA, md_alg may be MBEDTLS_MD_NONE if hash_len != 0.
846 * For ECDSA, md_alg may never be MBEDTLS_MD_NONE.
847 *
Jerry Yud69439a2022-02-24 15:52:15 +0800848 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100849int mbedtls_pk_sign_ext(mbedtls_pk_type_t pk_type,
850 mbedtls_pk_context *ctx,
851 mbedtls_md_type_t md_alg,
852 const unsigned char *hash, size_t hash_len,
853 unsigned char *sig, size_t sig_size, size_t *sig_len,
854 int (*f_rng)(void *, unsigned char *, size_t),
855 void *p_rng);
Jerry Yud69439a2022-02-24 15:52:15 +0800856
857/**
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200858 * \brief Restartable version of \c mbedtls_pk_sign()
859 *
860 * \note Performs the same job as \c mbedtls_pk_sign(), but can
861 * return early and restart according to the limit set with
862 * \c mbedtls_ecp_set_max_ops() to reduce blocking for ECC
863 * operations. For RSA, same as \c mbedtls_pk_sign().
864 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500865 * \param ctx The PK context to use. It must have been set up
866 * with a private key.
Gilles Peskine9db14fa2019-11-08 18:37:19 +0100867 * \param md_alg Hash algorithm used (see notes for mbedtls_pk_sign())
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200868 * \param hash Hash of the message to sign
Gilles Peskine9dbbc292021-06-22 18:28:13 +0200869 * \param hash_len Hash length
Gilles Peskine9db14fa2019-11-08 18:37:19 +0100870 * \param sig Place to write the signature.
871 * It must have enough room for the signature.
872 * #MBEDTLS_PK_SIGNATURE_MAX_SIZE is always enough.
873 * You may use a smaller buffer if it is large enough
874 * given the key type.
Gilles Peskinef00f1522021-06-22 00:09:00 +0200875 * \param sig_size The size of the \p sig buffer in bytes.
Gilles Peskine9db14fa2019-11-08 18:37:19 +0100876 * \param sig_len On successful return,
877 * the number of bytes written to \p sig.
Manuel Pégourié-Gonnard34d37562021-06-15 11:29:26 +0200878 * \param f_rng RNG function, must not be \c NULL.
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200879 * \param p_rng RNG parameter
Manuel Pégourié-Gonnard15d7df22017-08-17 14:33:31 +0200880 * \param rs_ctx Restart context (NULL to disable restart)
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200881 *
Gilles Peskine9db14fa2019-11-08 18:37:19 +0100882 * \return See \c mbedtls_pk_sign().
Manuel Pégourié-Gonnard12e4a8b2018-09-12 10:55:15 +0200883 * \return #MBEDTLS_ERR_ECP_IN_PROGRESS if maximum number of
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200884 * operations was reached: see \c mbedtls_ecp_set_max_ops().
885 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100886int mbedtls_pk_sign_restartable(mbedtls_pk_context *ctx,
887 mbedtls_md_type_t md_alg,
888 const unsigned char *hash, size_t hash_len,
889 unsigned char *sig, size_t sig_size, size_t *sig_len,
890 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng,
891 mbedtls_pk_restart_ctx *rs_ctx);
Manuel Pégourié-Gonnard82cb27b2017-05-03 10:59:45 +0200892
893/**
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200894 * \brief Decrypt message (including padding if relevant).
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200895 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500896 * \param ctx The PK context to use. It must have been set up
897 * with a private key.
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200898 * \param input Input to decrypt
899 * \param ilen Input size
900 * \param output Decrypted output
Paul Bakker4fc090a2013-09-18 15:43:25 +0200901 * \param olen Decrypted message length
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200902 * \param osize Size of the output buffer
Manuel Pégourié-Gonnard34d37562021-06-15 11:29:26 +0200903 * \param f_rng RNG function, must not be \c NULL.
Paul Bakkerdcbfdcc2013-09-10 16:16:50 +0200904 * \param p_rng RNG parameter
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200905 *
Valerio Setti85e568c2024-02-19 15:45:00 +0100906 * \note For keys of type #MBEDTLS_PK_RSA, the signature algorithm is
907 * either PKCS#1 v1.5 or OAEP, depending on the padding mode in
908 * the underlying RSA context. For a pk object constructed by
909 * parsing, this is PKCS#1 v1.5 by default.
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200910 *
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200911 * \return 0 on success, or a specific error code.
912 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100913int mbedtls_pk_decrypt(mbedtls_pk_context *ctx,
914 const unsigned char *input, size_t ilen,
915 unsigned char *output, size_t *olen, size_t osize,
916 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng);
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200917
918/**
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200919 * \brief Encrypt message (including padding if relevant).
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200920 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500921 * \param ctx The PK context to use. It must have been set up.
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200922 * \param input Message to encrypt
923 * \param ilen Message size
924 * \param output Encrypted output
925 * \param olen Encrypted output length
926 * \param osize Size of the output buffer
Manuel Pégourié-Gonnard34d37562021-06-15 11:29:26 +0200927 * \param f_rng RNG function, must not be \c NULL.
Paul Bakkerdcbfdcc2013-09-10 16:16:50 +0200928 * \param p_rng RNG parameter
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200929 *
Valerio Setti85e568c2024-02-19 15:45:00 +0100930 * \note For keys of type #MBEDTLS_PK_RSA, the signature algorithm is
931 * either PKCS#1 v1.5 or OAEP, depending on the padding mode in
932 * the underlying RSA context. For a pk object constructed by
933 * parsing, this is PKCS#1 v1.5 by default.
Manuel Pégourié-Gonnard34d37562021-06-15 11:29:26 +0200934 *
Manuel Pégourié-Gonnardd543a582014-06-25 14:04:36 +0200935 * \note \p f_rng is used for padding generation.
936 *
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200937 * \return 0 on success, or a specific error code.
938 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100939int mbedtls_pk_encrypt(mbedtls_pk_context *ctx,
940 const unsigned char *input, size_t ilen,
941 unsigned char *output, size_t *olen, size_t osize,
942 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng);
Manuel Pégourié-Gonnarda2d3f222013-08-21 11:51:08 +0200943
944/**
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100945 * \brief Check if a public-private pair of keys matches.
946 *
947 * \param pub Context holding a public key.
948 * \param prv Context holding a private (and public) key.
Manuel Pégourié-Gonnard39be1412021-06-15 11:29:26 +0200949 * \param f_rng RNG function, must not be \c NULL.
950 * \param p_rng RNG parameter
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100951 *
Manuel Pégourié-Gonnardeaeb7b22018-10-24 12:37:44 +0200952 * \return \c 0 on success (keys were checked and match each other).
953 * \return #MBEDTLS_ERR_PK_FEATURE_UNAVAILABLE if the keys could not
954 * be checked - in that case they may or may not match.
955 * \return #MBEDTLS_ERR_PK_BAD_INPUT_DATA if a context is invalid.
956 * \return Another non-zero value if the keys do not match.
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100957 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100958int mbedtls_pk_check_pair(const mbedtls_pk_context *pub,
959 const mbedtls_pk_context *prv,
960 int (*f_rng)(void *, unsigned char *, size_t),
961 void *p_rng);
Manuel Pégourié-Gonnard70bdadf2014-11-06 16:51:20 +0100962
963/**
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200964 * \brief Export debug information
965 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500966 * \param ctx The PK context to use. It must have been initialized.
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200967 * \param items Place to write debug items
968 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200969 * \return 0 on success or MBEDTLS_ERR_PK_BAD_INPUT_DATA
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200970 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100971int mbedtls_pk_debug(const mbedtls_pk_context *ctx, mbedtls_pk_debug_item *items);
Manuel Pégourié-Gonnardc6ac8872013-08-14 18:04:18 +0200972
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200973/**
974 * \brief Access the type name
975 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500976 * \param ctx The PK context to use. It must have been initialized.
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200977 *
978 * \return Type name on success, or "invalid PK"
979 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100980const char *mbedtls_pk_get_name(const mbedtls_pk_context *ctx);
Manuel Pégourié-Gonnard3fb5c5e2013-08-14 18:26:41 +0200981
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200982/**
Paul Bakker4fc090a2013-09-18 15:43:25 +0200983 * \brief Get the key type
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200984 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500985 * \param ctx The PK context to use. It must have been initialized.
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200986 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -0500987 * \return Type on success.
988 * \return #MBEDTLS_PK_NONE for a context that has not been set up.
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200989 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100990mbedtls_pk_type_t mbedtls_pk_get_type(const mbedtls_pk_context *ctx);
Manuel Pégourié-Gonnard8053da42013-09-11 22:28:30 +0200991
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +0200992#if defined(MBEDTLS_RSA_C)
993/**
994 * Quick access to an RSA context inside a PK context.
995 *
996 * \warning This function can only be used when the type of the context, as
997 * returned by mbedtls_pk_get_type(), is #MBEDTLS_PK_RSA.
998 * Ensuring that is the caller's responsibility.
999 * Alternatively, you can check whether this function returns NULL.
1000 *
1001 * \return The internal RSA context held by the PK context, or NULL.
1002 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001003static inline mbedtls_rsa_context *mbedtls_pk_rsa(const mbedtls_pk_context pk)
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +02001004{
Gilles Peskine449bd832023-01-11 14:50:10 +01001005 switch (mbedtls_pk_get_type(&pk)) {
Manuel Pégourié-Gonnard4cfaae52022-06-23 09:43:39 +02001006 case MBEDTLS_PK_RSA:
Gilles Peskine449bd832023-01-11 14:50:10 +01001007 return (mbedtls_rsa_context *) (pk).MBEDTLS_PRIVATE(pk_ctx);
Manuel Pégourié-Gonnard4cfaae52022-06-23 09:43:39 +02001008 default:
Gilles Peskine449bd832023-01-11 14:50:10 +01001009 return NULL;
Manuel Pégourié-Gonnard4cfaae52022-06-23 09:43:39 +02001010 }
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +02001011}
1012#endif /* MBEDTLS_RSA_C */
1013
Valerio Setti229bf102023-05-15 11:13:55 +02001014#if defined(MBEDTLS_ECP_C)
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +02001015/**
1016 * Quick access to an EC context inside a PK context.
1017 *
1018 * \warning This function can only be used when the type of the context, as
1019 * returned by mbedtls_pk_get_type(), is #MBEDTLS_PK_ECKEY,
1020 * #MBEDTLS_PK_ECKEY_DH, or #MBEDTLS_PK_ECDSA.
1021 * Ensuring that is the caller's responsibility.
1022 * Alternatively, you can check whether this function returns NULL.
1023 *
1024 * \return The internal EC context held by the PK context, or NULL.
1025 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001026static inline mbedtls_ecp_keypair *mbedtls_pk_ec(const mbedtls_pk_context pk)
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +02001027{
Gilles Peskine449bd832023-01-11 14:50:10 +01001028 switch (mbedtls_pk_get_type(&pk)) {
Manuel Pégourié-Gonnard4cfaae52022-06-23 09:43:39 +02001029 case MBEDTLS_PK_ECKEY:
1030 case MBEDTLS_PK_ECKEY_DH:
1031 case MBEDTLS_PK_ECDSA:
Gilles Peskine449bd832023-01-11 14:50:10 +01001032 return (mbedtls_ecp_keypair *) (pk).MBEDTLS_PRIVATE(pk_ctx);
Manuel Pégourié-Gonnard4cfaae52022-06-23 09:43:39 +02001033 default:
Gilles Peskine449bd832023-01-11 14:50:10 +01001034 return NULL;
Manuel Pégourié-Gonnard4cfaae52022-06-23 09:43:39 +02001035 }
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +02001036}
Valerio Setti229bf102023-05-15 11:13:55 +02001037#endif /* MBEDTLS_ECP_C */
Manuel Pégourié-Gonnard22e84de2022-06-10 09:48:38 +02001038
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001039#if defined(MBEDTLS_PK_PARSE_C)
Paul Bakkerff3a5182013-09-16 22:42:19 +02001040/** \ingroup pk_module */
Paul Bakker1a7550a2013-09-15 13:01:22 +02001041/**
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +02001042 * \brief Parse a private key in PEM or DER format
Paul Bakker1a7550a2013-09-15 13:01:22 +02001043 *
Gilles Peskine5b7e1642022-08-04 23:44:59 +02001044 * \note If #MBEDTLS_USE_PSA_CRYPTO is enabled, the PSA crypto
1045 * subsystem must have been initialized by calling
1046 * psa_crypto_init() before calling this function.
1047 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001048 * \param ctx The PK context to fill. It must have been initialized
1049 * but not set up.
1050 * \param key Input buffer to parse.
1051 * The buffer must contain the input exactly, with no
1052 * extra trailing material. For PEM, the buffer must
1053 * contain a null-terminated string.
1054 * \param keylen Size of \b key in bytes.
1055 * For PEM data, this includes the terminating null byte,
1056 * so \p keylen must be equal to `strlen(key) + 1`.
1057 * \param pwd Optional password for decryption.
1058 * Pass \c NULL if expecting a non-encrypted key.
1059 * Pass a string of \p pwdlen bytes if expecting an encrypted
1060 * key; a non-encrypted key will also be accepted.
1061 * The empty password is not supported.
1062 * \param pwdlen Size of the password in bytes.
1063 * Ignored if \p pwd is \c NULL.
Manuel Pégourié-Gonnard84dea012021-06-15 11:29:26 +02001064 * \param f_rng RNG function, must not be \c NULL. Used for blinding.
1065 * \param p_rng RNG parameter
Paul Bakker1a7550a2013-09-15 13:01:22 +02001066 *
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +01001067 * \note On entry, ctx must be empty, either freshly initialised
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001068 * with mbedtls_pk_init() or reset with mbedtls_pk_free(). If you need a
1069 * specific key type, check the result with mbedtls_pk_can_do().
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +01001070 *
1071 * \note The key is also checked for correctness.
1072 *
Paul Bakker1a7550a2013-09-15 13:01:22 +02001073 * \return 0 if successful, or a specific PK or PEM error code
1074 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001075int mbedtls_pk_parse_key(mbedtls_pk_context *ctx,
1076 const unsigned char *key, size_t keylen,
1077 const unsigned char *pwd, size_t pwdlen,
1078 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng);
Paul Bakker1a7550a2013-09-15 13:01:22 +02001079
Paul Bakkerff3a5182013-09-16 22:42:19 +02001080/** \ingroup pk_module */
Paul Bakker1a7550a2013-09-15 13:01:22 +02001081/**
Manuel Pégourié-Gonnard43b37cb2015-05-12 11:20:10 +02001082 * \brief Parse a public key in PEM or DER format
Paul Bakker1a7550a2013-09-15 13:01:22 +02001083 *
Gilles Peskine5b7e1642022-08-04 23:44:59 +02001084 * \note If #MBEDTLS_USE_PSA_CRYPTO is enabled, the PSA crypto
1085 * subsystem must have been initialized by calling
1086 * psa_crypto_init() before calling this function.
1087 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001088 * \param ctx The PK context to fill. It must have been initialized
1089 * but not set up.
1090 * \param key Input buffer to parse.
1091 * The buffer must contain the input exactly, with no
1092 * extra trailing material. For PEM, the buffer must
1093 * contain a null-terminated string.
1094 * \param keylen Size of \b key in bytes.
1095 * For PEM data, this includes the terminating null byte,
1096 * so \p keylen must be equal to `strlen(key) + 1`.
Paul Bakker1a7550a2013-09-15 13:01:22 +02001097 *
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +01001098 * \note On entry, ctx must be empty, either freshly initialised
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001099 * with mbedtls_pk_init() or reset with mbedtls_pk_free(). If you need a
1100 * specific key type, check the result with mbedtls_pk_can_do().
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +01001101 *
Valerio Setti78f79d32023-02-07 08:33:26 +01001102 * \note For compressed points, see #MBEDTLS_ECP_PF_COMPRESSED for
1103 * limitations.
1104 *
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +01001105 * \note The key is also checked for correctness.
1106 *
Paul Bakker1a7550a2013-09-15 13:01:22 +02001107 * \return 0 if successful, or a specific PK or PEM error code
1108 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001109int mbedtls_pk_parse_public_key(mbedtls_pk_context *ctx,
1110 const unsigned char *key, size_t keylen);
Paul Bakker1a7550a2013-09-15 13:01:22 +02001111
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001112#if defined(MBEDTLS_FS_IO)
Paul Bakkerff3a5182013-09-16 22:42:19 +02001113/** \ingroup pk_module */
Paul Bakker1a7550a2013-09-15 13:01:22 +02001114/**
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001115 * \brief Load and parse a private key
1116 *
Gilles Peskine5b7e1642022-08-04 23:44:59 +02001117 * \note If #MBEDTLS_USE_PSA_CRYPTO is enabled, the PSA crypto
1118 * subsystem must have been initialized by calling
1119 * psa_crypto_init() before calling this function.
1120 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001121 * \param ctx The PK context to fill. It must have been initialized
1122 * but not set up.
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001123 * \param path filename to read the private key from
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001124 * \param password Optional password to decrypt the file.
1125 * Pass \c NULL if expecting a non-encrypted key.
1126 * Pass a null-terminated string if expecting an encrypted
1127 * key; a non-encrypted key will also be accepted.
1128 * The empty password is not supported.
Manuel Pégourié-Gonnard84dea012021-06-15 11:29:26 +02001129 * \param f_rng RNG function, must not be \c NULL. Used for blinding.
1130 * \param p_rng RNG parameter
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001131 *
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +01001132 * \note On entry, ctx must be empty, either freshly initialised
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001133 * with mbedtls_pk_init() or reset with mbedtls_pk_free(). If you need a
1134 * specific key type, check the result with mbedtls_pk_can_do().
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +01001135 *
1136 * \note The key is also checked for correctness.
1137 *
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001138 * \return 0 if successful, or a specific PK or PEM error code
1139 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001140int mbedtls_pk_parse_keyfile(mbedtls_pk_context *ctx,
1141 const char *path, const char *password,
1142 int (*f_rng)(void *, unsigned char *, size_t), void *p_rng);
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001143
Paul Bakkerff3a5182013-09-16 22:42:19 +02001144/** \ingroup pk_module */
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001145/**
Paul Bakker1a7550a2013-09-15 13:01:22 +02001146 * \brief Load and parse a public key
1147 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001148 * \param ctx The PK context to fill. It must have been initialized
1149 * but not set up.
Simon Butcher295639b2016-05-10 19:39:36 +01001150 * \param path filename to read the public key from
Paul Bakker1a7550a2013-09-15 13:01:22 +02001151 *
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +01001152 * \note On entry, ctx must be empty, either freshly initialised
Simon Butcher295639b2016-05-10 19:39:36 +01001153 * with mbedtls_pk_init() or reset with mbedtls_pk_free(). If
1154 * you need a specific key type, check the result with
1155 * mbedtls_pk_can_do().
Manuel Pégourié-Gonnarde3b3d192014-03-13 19:21:49 +01001156 *
1157 * \note The key is also checked for correctness.
1158 *
Paul Bakker1a7550a2013-09-15 13:01:22 +02001159 * \return 0 if successful, or a specific PK or PEM error code
1160 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001161int mbedtls_pk_parse_public_keyfile(mbedtls_pk_context *ctx, const char *path);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001162#endif /* MBEDTLS_FS_IO */
1163#endif /* MBEDTLS_PK_PARSE_C */
Paul Bakker1a7550a2013-09-15 13:01:22 +02001164
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001165#if defined(MBEDTLS_PK_WRITE_C)
Paul Bakker1a7550a2013-09-15 13:01:22 +02001166/**
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001167 * \brief Write a private key to a PKCS#1 or SEC1 DER structure
1168 * Note: data is written at the end of the buffer! Use the
1169 * return value to determine where you should start
1170 * using the buffer
1171 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001172 * \param ctx PK context which must contain a valid private key.
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001173 * \param buf buffer to write to
1174 * \param size size of the buffer
1175 *
1176 * \return length of data written if successful, or a specific
1177 * error code
1178 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001179int mbedtls_pk_write_key_der(const mbedtls_pk_context *ctx, unsigned char *buf, size_t size);
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001180
1181/**
1182 * \brief Write a public key to a SubjectPublicKeyInfo DER structure
1183 * Note: data is written at the end of the buffer! Use the
1184 * return value to determine where you should start
1185 * using the buffer
1186 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001187 * \param ctx PK context which must contain a valid public or private key.
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001188 * \param buf buffer to write to
1189 * \param size size of the buffer
1190 *
1191 * \return length of data written if successful, or a specific
1192 * error code
1193 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001194int mbedtls_pk_write_pubkey_der(const mbedtls_pk_context *ctx, unsigned char *buf, size_t size);
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001195
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001196#if defined(MBEDTLS_PEM_WRITE_C)
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001197/**
1198 * \brief Write a public key to a PEM string
1199 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001200 * \param ctx PK context which must contain a valid public or private key.
1201 * \param buf Buffer to write to. The output includes a
1202 * terminating null byte.
1203 * \param size Size of the buffer in bytes.
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001204 *
Manuel Pégourié-Gonnard81abefd2015-05-29 12:53:47 +02001205 * \return 0 if successful, or a specific error code
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001206 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001207int mbedtls_pk_write_pubkey_pem(const mbedtls_pk_context *ctx, unsigned char *buf, size_t size);
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001208
1209/**
1210 * \brief Write a private key to a PKCS#1 or SEC1 PEM string
1211 *
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001212 * \param ctx PK context which must contain a valid private key.
1213 * \param buf Buffer to write to. The output includes a
1214 * terminating null byte.
1215 * \param size Size of the buffer in bytes.
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001216 *
Manuel Pégourié-Gonnard81abefd2015-05-29 12:53:47 +02001217 * \return 0 if successful, or a specific error code
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001218 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001219int 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 +02001220#endif /* MBEDTLS_PEM_WRITE_C */
1221#endif /* MBEDTLS_PK_WRITE_C */
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001222
1223/*
1224 * WARNING: Low-level functions. You probably do not want to use these unless
1225 * you are certain you do ;)
1226 */
1227
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001228#if defined(MBEDTLS_PK_PARSE_C)
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001229/**
Paul Bakker1a7550a2013-09-15 13:01:22 +02001230 * \brief Parse a SubjectPublicKeyInfo DER structure
1231 *
1232 * \param p the position in the ASN.1 data
1233 * \param end end of the buffer
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001234 * \param pk The PK context to fill. It must have been initialized
1235 * but not set up.
Paul Bakker1a7550a2013-09-15 13:01:22 +02001236 *
1237 * \return 0 if successful, or a specific PK error code
1238 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001239int mbedtls_pk_parse_subpubkey(unsigned char **p, const unsigned char *end,
1240 mbedtls_pk_context *pk);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001241#endif /* MBEDTLS_PK_PARSE_C */
Paul Bakker1a7550a2013-09-15 13:01:22 +02001242
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001243#if defined(MBEDTLS_PK_WRITE_C)
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001244/**
1245 * \brief Write a subjectPublicKey to ASN.1 data
1246 * Note: function works backwards in data buffer
1247 *
1248 * \param p reference to current position pointer
1249 * \param start start of the buffer (for bounds-checking)
Andrzej Kurekc470b6b2019-01-31 08:20:20 -05001250 * \param key PK context which must contain a valid public or private key.
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001251 *
1252 * \return the length written or a negative error code
1253 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001254int mbedtls_pk_write_pubkey(unsigned char **p, unsigned char *start,
1255 const mbedtls_pk_context *key);
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001256#endif /* MBEDTLS_PK_WRITE_C */
Paul Bakkerc7bb02b2013-09-15 14:54:56 +02001257
Paul Bakkered27a042013-04-18 22:46:23 +02001258#ifdef __cplusplus
1259}
1260#endif
1261
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001262#endif /* MBEDTLS_PK_H */