blob: 3d57aa21b76f7e0075cf0449f382354476ff1b4f [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/**
2 * \file rsa.h
Paul Bakkere0ccd0a2009-01-04 16:27:10 +00003 *
Rose Zadik21e29262018-04-17 14:08:56 +01004 * \brief This file provides an API for the RSA public-key cryptosystem.
Paul Bakker37ca75d2011-01-06 12:28:03 +00005 *
Rose Zadike8b5b992018-03-27 12:19:47 +01006 * The RSA public-key cryptosystem is defined in <em>Public-Key
7 * Cryptography Standards (PKCS) #1 v1.5: RSA Encryption</em>
Darryl Green11999bb2018-03-13 15:22:58 +00008 * and <em>Public-Key Cryptography Standards (PKCS) #1 v2.1:
Rose Zadike8b5b992018-03-27 12:19:47 +01009 * RSA Cryptography Specifications</em>.
Rose Zadik042e97f2018-01-26 16:35:10 +000010 *
Darryl Greena40a1012018-01-05 15:33:17 +000011 */
12/*
Bence Szépkúti1e148272020-08-07 13:07:28 +020013 * Copyright The Mbed TLS Contributors
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +020014 * SPDX-License-Identifier: Apache-2.0
15 *
16 * Licensed under the Apache License, Version 2.0 (the "License"); you may
17 * not use this file except in compliance with the License.
18 * You may obtain a copy of the License at
19 *
20 * http://www.apache.org/licenses/LICENSE-2.0
21 *
22 * Unless required by applicable law or agreed to in writing, software
23 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
24 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
25 * See the License for the specific language governing permissions and
26 * limitations under the License.
Paul Bakker5121ce52009-01-03 21:22:43 +000027 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020028#ifndef MBEDTLS_RSA_H
29#define MBEDTLS_RSA_H
Mateusz Starzyk846f0212021-05-19 19:44:07 +020030#include "mbedtls/private_access.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000031
Bence Szépkútic662b362021-05-27 11:25:03 +020032#include "mbedtls/build_info.h"
Paul Bakkered27a042013-04-18 22:46:23 +020033
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010034#include "mbedtls/bignum.h"
35#include "mbedtls/md.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000036
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020037#if defined(MBEDTLS_THREADING_C)
Jaeden Ameroc49fbbf2019-07-04 20:01:14 +010038#include "mbedtls/threading.h"
Paul Bakkerc9965dc2013-09-29 14:58:17 +020039#endif
40
Paul Bakker13e2dfe2009-07-28 07:18:38 +000041/*
42 * RSA Error codes
43 */
Gilles Peskined2971572021-07-26 18:48:10 +020044/** Bad input parameters to function. */
45#define MBEDTLS_ERR_RSA_BAD_INPUT_DATA -0x4080
46/** Input data contains invalid padding and is rejected. */
47#define MBEDTLS_ERR_RSA_INVALID_PADDING -0x4100
48/** Something failed during generation of a key. */
49#define MBEDTLS_ERR_RSA_KEY_GEN_FAILED -0x4180
50/** Key failed to pass the validity check of the library. */
51#define MBEDTLS_ERR_RSA_KEY_CHECK_FAILED -0x4200
52/** The public key operation failed. */
53#define MBEDTLS_ERR_RSA_PUBLIC_FAILED -0x4280
54/** The private key operation failed. */
55#define MBEDTLS_ERR_RSA_PRIVATE_FAILED -0x4300
56/** The PKCS#1 verification failed. */
57#define MBEDTLS_ERR_RSA_VERIFY_FAILED -0x4380
58/** The output buffer for decryption is not large enough. */
59#define MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE -0x4400
60/** The random generator failed to generate non-zeros. */
61#define MBEDTLS_ERR_RSA_RNG_FAILED -0x4480
Ron Eldor9924bdc2018-10-04 10:59:13 +030062
Paul Bakker5121ce52009-01-03 21:22:43 +000063/*
Paul Bakkerc70b9822013-04-07 22:00:46 +020064 * RSA constants
Paul Bakker5121ce52009-01-03 21:22:43 +000065 */
Paul Bakker5121ce52009-01-03 21:22:43 +000066
Rose Zadike8b5b992018-03-27 12:19:47 +010067#define MBEDTLS_RSA_PKCS_V15 0 /**< Use PKCS#1 v1.5 encoding. */
68#define MBEDTLS_RSA_PKCS_V21 1 /**< Use PKCS#1 v2.1 encoding. */
Paul Bakker5121ce52009-01-03 21:22:43 +000069
Rose Zadik042e97f2018-01-26 16:35:10 +000070#define MBEDTLS_RSA_SIGN 1 /**< Identifier for RSA signature operations. */
71#define MBEDTLS_RSA_CRYPT 2 /**< Identifier for RSA encryption and decryption operations. */
Paul Bakker5121ce52009-01-03 21:22:43 +000072
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020073#define MBEDTLS_RSA_SALT_LEN_ANY -1
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +020074
Manuel Pégourié-Gonnarde511ffc2013-08-22 17:33:21 +020075/*
76 * The above constants may be used even if the RSA module is compile out,
Shaun Case8b0ecbc2021-12-20 21:14:10 -080077 * eg for alternative (PKCS#11) RSA implementations in the PK layers.
Manuel Pégourié-Gonnarde511ffc2013-08-22 17:33:21 +020078 */
Hanno Beckerd22b78b2017-10-12 11:42:17 +010079
Paul Bakker407a0da2013-06-27 14:29:21 +020080#ifdef __cplusplus
81extern "C" {
82#endif
83
Ron Eldor4e6d55d2018-02-07 16:36:15 +020084#if !defined(MBEDTLS_RSA_ALT)
85// Regular implementation
86//
87
Paul Bakker5121ce52009-01-03 21:22:43 +000088/**
Rose Zadik042e97f2018-01-26 16:35:10 +000089 * \brief The RSA context structure.
Paul Bakker5121ce52009-01-03 21:22:43 +000090 */
Gilles Peskine449bd832023-01-11 14:50:10 +010091typedef struct mbedtls_rsa_context {
Mateusz Starzyk846f0212021-05-19 19:44:07 +020092 int MBEDTLS_PRIVATE(ver); /*!< Reserved for internal purposes.
Gilles Peskine449bd832023-01-11 14:50:10 +010093 * Do not set this field in application
94 * code. Its meaning might change without
95 * notice. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +020096 size_t MBEDTLS_PRIVATE(len); /*!< The size of \p N in Bytes. */
Paul Bakker5121ce52009-01-03 21:22:43 +000097
Mateusz Starzyk846f0212021-05-19 19:44:07 +020098 mbedtls_mpi MBEDTLS_PRIVATE(N); /*!< The public modulus. */
99 mbedtls_mpi MBEDTLS_PRIVATE(E); /*!< The public exponent. */
Paul Bakker5121ce52009-01-03 21:22:43 +0000100
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200101 mbedtls_mpi MBEDTLS_PRIVATE(D); /*!< The private exponent. */
102 mbedtls_mpi MBEDTLS_PRIVATE(P); /*!< The first prime factor. */
103 mbedtls_mpi MBEDTLS_PRIVATE(Q); /*!< The second prime factor. */
Hanno Becker1a59e792017-08-23 07:41:10 +0100104
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200105 mbedtls_mpi MBEDTLS_PRIVATE(DP); /*!< <code>D % (P - 1)</code>. */
106 mbedtls_mpi MBEDTLS_PRIVATE(DQ); /*!< <code>D % (Q - 1)</code>. */
107 mbedtls_mpi MBEDTLS_PRIVATE(QP); /*!< <code>1 / (Q % P)</code>. */
Paul Bakker5121ce52009-01-03 21:22:43 +0000108
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200109 mbedtls_mpi MBEDTLS_PRIVATE(RN); /*!< cached <code>R^2 mod N</code>. */
Paul Bakker5121ce52009-01-03 21:22:43 +0000110
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200111 mbedtls_mpi MBEDTLS_PRIVATE(RP); /*!< cached <code>R^2 mod P</code>. */
112 mbedtls_mpi MBEDTLS_PRIVATE(RQ); /*!< cached <code>R^2 mod Q</code>. */
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200113
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200114 mbedtls_mpi MBEDTLS_PRIVATE(Vi); /*!< The cached blinding value. */
115 mbedtls_mpi MBEDTLS_PRIVATE(Vf); /*!< The cached un-blinding value. */
Paul Bakker9dcc3222011-03-08 14:16:06 +0000116
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200117 int MBEDTLS_PRIVATE(padding); /*!< Selects padding mode:
Gilles Peskine449bd832023-01-11 14:50:10 +0100118 #MBEDTLS_RSA_PKCS_V15 for 1.5 padding and
119 #MBEDTLS_RSA_PKCS_V21 for OAEP or PSS. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200120 int MBEDTLS_PRIVATE(hash_id); /*!< Hash identifier of mbedtls_md_type_t type,
Gilles Peskine449bd832023-01-11 14:50:10 +0100121 as specified in md.h for use in the MGF
122 mask generating function used in the
123 EME-OAEP and EMSA-PSS encodings. */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200124#if defined(MBEDTLS_THREADING_C)
Gilles Peskine4337a9c2021-02-09 18:59:42 +0100125 /* Invariant: the mutex is initialized iff ver != 0. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200126 mbedtls_threading_mutex_t MBEDTLS_PRIVATE(mutex); /*!< Thread-safety mutex. */
Paul Bakkerc9965dc2013-09-29 14:58:17 +0200127#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000128}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200129mbedtls_rsa_context;
Paul Bakker5121ce52009-01-03 21:22:43 +0000130
Ron Eldor4e6d55d2018-02-07 16:36:15 +0200131#else /* MBEDTLS_RSA_ALT */
132#include "rsa_alt.h"
133#endif /* MBEDTLS_RSA_ALT */
134
Paul Bakker5121ce52009-01-03 21:22:43 +0000135/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000136 * \brief This function initializes an RSA context.
Paul Bakker5121ce52009-01-03 21:22:43 +0000137 *
Ronald Cronc1905a12021-06-05 11:11:14 +0200138 * \note This function initializes the padding and the hash
Ronald Crond2cfa3e2021-06-08 09:09:04 +0200139 * identifier to respectively #MBEDTLS_RSA_PKCS_V15 and
140 * #MBEDTLS_MD_NONE. See mbedtls_rsa_set_padding() for more
141 * information about those parameters.
Ronald Cronc1905a12021-06-05 11:11:14 +0200142 *
143 * \param ctx The RSA context to initialize. This must not be \c NULL.
144 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100145void mbedtls_rsa_init(mbedtls_rsa_context *ctx);
Ronald Cronc1905a12021-06-05 11:11:14 +0200146
147/**
148 * \brief This function sets padding for an already initialized RSA
149 * context.
150 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000151 * \note Set padding to #MBEDTLS_RSA_PKCS_V21 for the RSAES-OAEP
Paul Bakker9a736322012-11-14 12:39:52 +0000152 * encryption scheme and the RSASSA-PSS signature scheme.
153 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000154 * \note The \p hash_id parameter is ignored when using
155 * #MBEDTLS_RSA_PKCS_V15 padding.
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200156 *
Ronald Cronc1905a12021-06-05 11:11:14 +0200157 * \note The choice of padding mode is strictly enforced for private
158 * key operations, since there might be security concerns in
Rose Zadik042e97f2018-01-26 16:35:10 +0000159 * mixing padding modes. For public key operations it is
Antonin Décimo36e89b52019-01-23 15:24:37 +0100160 * a default value, which can be overridden by calling specific
Ronald Cronc1905a12021-06-05 11:11:14 +0200161 * \c mbedtls_rsa_rsaes_xxx or \c mbedtls_rsa_rsassa_xxx
162 * functions.
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200163 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000164 * \note The hash selected in \p hash_id is always used for OEAP
165 * encryption. For PSS signatures, it is always used for
Antonin Décimo36e89b52019-01-23 15:24:37 +0100166 * making signatures, but can be overridden for verifying them.
167 * If set to #MBEDTLS_MD_NONE, it is always overridden.
Rose Zadike8b5b992018-03-27 12:19:47 +0100168 *
Ronald Cronc1905a12021-06-05 11:11:14 +0200169 * \param ctx The initialized RSA context to be configured.
Hanno Becker9a467772018-12-13 09:54:59 +0000170 * \param padding The padding mode to use. This must be either
171 * #MBEDTLS_RSA_PKCS_V15 or #MBEDTLS_RSA_PKCS_V21.
Ronald Crond2cfa3e2021-06-08 09:09:04 +0200172 * \param hash_id The hash identifier for PSS or OAEP, if \p padding is
173 * #MBEDTLS_RSA_PKCS_V21. #MBEDTLS_MD_NONE is accepted by this
174 * function but may be not suitable for some operations.
175 * Ignored if \p padding is #MBEDTLS_RSA_PKCS_V15.
Ronald Cronc1905a12021-06-05 11:11:14 +0200176 *
177 * \return \c 0 on success.
178 * \return #MBEDTLS_ERR_RSA_INVALID_PADDING failure:
179 * \p padding or \p hash_id is invalid.
Paul Bakker5121ce52009-01-03 21:22:43 +0000180 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100181int mbedtls_rsa_set_padding(mbedtls_rsa_context *ctx, int padding,
182 mbedtls_md_type_t hash_id);
Paul Bakker5121ce52009-01-03 21:22:43 +0000183
184/**
Yanray Wang83548b52023-03-15 16:46:34 +0800185 * \brief This function retrieves padding mode of initialized
186 * RSA context.
Yanray Wanga730df62023-03-01 10:18:19 +0800187 *
188 * \param ctx The initialized RSA context.
189 *
190 * \return RSA padding mode.
191 *
192 */
193int mbedtls_rsa_get_padding_mode(const mbedtls_rsa_context *ctx);
194
195/**
Yanray Wang12cb3962023-03-01 10:20:02 +0800196 * \brief This function retrieves hash identifier of mbedtls_md_type_t
197 * type.
198 *
199 * \param ctx The initialized RSA context.
200 *
201 * \return Hash identifier of mbedtls_md_type_t type.
202 *
203 */
Yanray Wangd41684e2023-03-17 18:54:22 +0800204int mbedtls_rsa_get_md_alg(const mbedtls_rsa_context *ctx);
Yanray Wang12cb3962023-03-01 10:20:02 +0800205
206/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000207 * \brief This function imports a set of core parameters into an
208 * RSA context.
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +0100209 *
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100210 * \note This function can be called multiple times for successive
Rose Zadik042e97f2018-01-26 16:35:10 +0000211 * imports, if the parameters are not simultaneously present.
212 *
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100213 * Any sequence of calls to this function should be followed
Rose Zadik042e97f2018-01-26 16:35:10 +0000214 * by a call to mbedtls_rsa_complete(), which checks and
215 * completes the provided information to a ready-for-use
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100216 * public or private RSA key.
217 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000218 * \note See mbedtls_rsa_complete() for more information on which
219 * parameters are necessary to set up a private or public
220 * RSA key.
Hanno Becker33195552017-10-25 17:04:10 +0100221 *
Hanno Becker5178dca2017-10-03 14:29:37 +0100222 * \note The imported parameters are copied and need not be preserved
223 * for the lifetime of the RSA context being set up.
224 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100225 * \param ctx The initialized RSA context to store the parameters in.
Hanno Becker9a467772018-12-13 09:54:59 +0000226 * \param N The RSA modulus. This may be \c NULL.
227 * \param P The first prime factor of \p N. This may be \c NULL.
228 * \param Q The second prime factor of \p N. This may be \c NULL.
229 * \param D The private exponent. This may be \c NULL.
230 * \param E The public exponent. This may be \c NULL.
Rose Zadike8b5b992018-03-27 12:19:47 +0100231 *
232 * \return \c 0 on success.
233 * \return A non-zero error code on failure.
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +0100234 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100235int mbedtls_rsa_import(mbedtls_rsa_context *ctx,
236 const mbedtls_mpi *N,
237 const mbedtls_mpi *P, const mbedtls_mpi *Q,
238 const mbedtls_mpi *D, const mbedtls_mpi *E);
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +0100239
240/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000241 * \brief This function imports core RSA parameters, in raw big-endian
242 * binary format, into an RSA context.
Paul Bakker5121ce52009-01-03 21:22:43 +0000243 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100244 * \note This function can be called multiple times for successive
245 * imports, if the parameters are not simultaneously present.
246 *
247 * Any sequence of calls to this function should be followed
248 * by a call to mbedtls_rsa_complete(), which checks and
249 * completes the provided information to a ready-for-use
250 * public or private RSA key.
251 *
252 * \note See mbedtls_rsa_complete() for more information on which
253 * parameters are necessary to set up a private or public
254 * RSA key.
255 *
256 * \note The imported parameters are copied and need not be preserved
257 * for the lifetime of the RSA context being set up.
258 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000259 * \param ctx The initialized RSA context to store the parameters in.
Hanno Becker9a467772018-12-13 09:54:59 +0000260 * \param N The RSA modulus. This may be \c NULL.
261 * \param N_len The Byte length of \p N; it is ignored if \p N == NULL.
262 * \param P The first prime factor of \p N. This may be \c NULL.
Tom Cosgrove1797b052022-12-04 17:19:59 +0000263 * \param P_len The Byte length of \p P; it is ignored if \p P == NULL.
Hanno Becker9a467772018-12-13 09:54:59 +0000264 * \param Q The second prime factor of \p N. This may be \c NULL.
265 * \param Q_len The Byte length of \p Q; it is ignored if \p Q == NULL.
266 * \param D The private exponent. This may be \c NULL.
267 * \param D_len The Byte length of \p D; it is ignored if \p D == NULL.
268 * \param E The public exponent. This may be \c NULL.
269 * \param E_len The Byte length of \p E; it is ignored if \p E == NULL.
Paul Bakker5121ce52009-01-03 21:22:43 +0000270 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100271 * \return \c 0 on success.
272 * \return A non-zero error code on failure.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100273 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100274int mbedtls_rsa_import_raw(mbedtls_rsa_context *ctx,
275 unsigned char const *N, size_t N_len,
276 unsigned char const *P, size_t P_len,
277 unsigned char const *Q, size_t Q_len,
278 unsigned char const *D, size_t D_len,
279 unsigned char const *E, size_t E_len);
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100280
281/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000282 * \brief This function completes an RSA context from
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100283 * a set of imported core parameters.
284 *
Andrzej Kurek43dfd512022-02-18 08:10:37 -0500285 * To setup an RSA public key, precisely \c N and \c E
Rose Zadik042e97f2018-01-26 16:35:10 +0000286 * must have been imported.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100287 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000288 * To setup an RSA private key, sufficient information must
289 * be present for the other parameters to be derivable.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100290 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000291 * The default implementation supports the following:
Andrzej Kurek43dfd512022-02-18 08:10:37 -0500292 * <ul><li>Derive \c P, \c Q from \c N, \c D, \c E.</li>
293 * <li>Derive \c N, \c D from \c P, \c Q, \c E.</li></ul>
Rose Zadik042e97f2018-01-26 16:35:10 +0000294 * Alternative implementations need not support these.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100295 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000296 * If this function runs successfully, it guarantees that
297 * the RSA context can be used for RSA operations without
298 * the risk of failure or crash.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100299 *
Hanno Becker1e801f52017-10-10 16:44:47 +0100300 * \warning This function need not perform consistency checks
Rose Zadik042e97f2018-01-26 16:35:10 +0000301 * for the imported parameters. In particular, parameters that
302 * are not needed by the implementation might be silently
303 * discarded and left unchecked. To check the consistency
304 * of the key material, see mbedtls_rsa_check_privkey().
Hanno Becker43a08d02017-10-02 13:16:35 +0100305 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100306 * \param ctx The initialized RSA context holding imported parameters.
307 *
308 * \return \c 0 on success.
309 * \return #MBEDTLS_ERR_RSA_BAD_INPUT_DATA if the attempted derivations
310 * failed.
311 *
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100312 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100313int mbedtls_rsa_complete(mbedtls_rsa_context *ctx);
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100314
315/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000316 * \brief This function exports the core parameters of an RSA key.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100317 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000318 * If this function runs successfully, the non-NULL buffers
319 * pointed to by \p N, \p P, \p Q, \p D, and \p E are fully
320 * written, with additional unused space filled leading by
321 * zero Bytes.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100322 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000323 * Possible reasons for returning
Ron Eldor9924bdc2018-10-04 10:59:13 +0300324 * #MBEDTLS_ERR_PLATFORM_FEATURE_UNSUPPORTED:<ul>
Rose Zadik042e97f2018-01-26 16:35:10 +0000325 * <li>An alternative RSA implementation is in use, which
326 * stores the key externally, and either cannot or should
327 * not export it into RAM.</li>
328 * <li>A SW or HW implementation might not support a certain
329 * deduction. For example, \p P, \p Q from \p N, \p D,
330 * and \p E if the former are not part of the
331 * implementation.</li></ul>
Hanno Becker91c194d2017-09-29 12:50:12 +0100332 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000333 * If the function fails due to an unsupported operation,
334 * the RSA context stays intact and remains usable.
335 *
336 * \param ctx The initialized RSA context.
Hanno Becker9a467772018-12-13 09:54:59 +0000337 * \param N The MPI to hold the RSA modulus.
338 * This may be \c NULL if this field need not be exported.
339 * \param P The MPI to hold the first prime factor of \p N.
340 * This may be \c NULL if this field need not be exported.
341 * \param Q The MPI to hold the second prime factor of \p N.
342 * This may be \c NULL if this field need not be exported.
343 * \param D The MPI to hold the private exponent.
344 * This may be \c NULL if this field need not be exported.
345 * \param E The MPI to hold the public exponent.
346 * This may be \c NULL if this field need not be exported.
Rose Zadik042e97f2018-01-26 16:35:10 +0000347 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100348 * \return \c 0 on success.
Ron Eldor9924bdc2018-10-04 10:59:13 +0300349 * \return #MBEDTLS_ERR_PLATFORM_FEATURE_UNSUPPORTED if exporting the
Rose Zadik042e97f2018-01-26 16:35:10 +0000350 * requested parameters cannot be done due to missing
Rose Zadike8b5b992018-03-27 12:19:47 +0100351 * functionality or because of security policies.
352 * \return A non-zero return code on any other failure.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100353 *
354 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100355int mbedtls_rsa_export(const mbedtls_rsa_context *ctx,
356 mbedtls_mpi *N, mbedtls_mpi *P, mbedtls_mpi *Q,
357 mbedtls_mpi *D, mbedtls_mpi *E);
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100358
359/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000360 * \brief This function exports core parameters of an RSA key
361 * in raw big-endian binary format.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100362 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000363 * If this function runs successfully, the non-NULL buffers
364 * pointed to by \p N, \p P, \p Q, \p D, and \p E are fully
365 * written, with additional unused space filled leading by
366 * zero Bytes.
367 *
368 * Possible reasons for returning
Ron Eldor9924bdc2018-10-04 10:59:13 +0300369 * #MBEDTLS_ERR_PLATFORM_FEATURE_UNSUPPORTED:<ul>
Rose Zadik042e97f2018-01-26 16:35:10 +0000370 * <li>An alternative RSA implementation is in use, which
371 * stores the key externally, and either cannot or should
372 * not export it into RAM.</li>
373 * <li>A SW or HW implementation might not support a certain
374 * deduction. For example, \p P, \p Q from \p N, \p D,
375 * and \p E if the former are not part of the
376 * implementation.</li></ul>
377 * If the function fails due to an unsupported operation,
378 * the RSA context stays intact and remains usable.
379 *
Rose Zadikf2ec2882018-04-17 10:27:25 +0100380 * \note The length parameters are ignored if the corresponding
Rose Zadike8b5b992018-03-27 12:19:47 +0100381 * buffer pointers are NULL.
382 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000383 * \param ctx The initialized RSA context.
Hanno Becker9a467772018-12-13 09:54:59 +0000384 * \param N The Byte array to store the RSA modulus,
385 * or \c NULL if this field need not be exported.
Rose Zadik042e97f2018-01-26 16:35:10 +0000386 * \param N_len The size of the buffer for the modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000387 * \param P The Byte array to hold the first prime factor of \p N,
388 * or \c NULL if this field need not be exported.
Rose Zadik042e97f2018-01-26 16:35:10 +0000389 * \param P_len The size of the buffer for the first prime factor.
Hanno Becker9a467772018-12-13 09:54:59 +0000390 * \param Q The Byte array to hold the second prime factor of \p N,
391 * or \c NULL if this field need not be exported.
Rose Zadik042e97f2018-01-26 16:35:10 +0000392 * \param Q_len The size of the buffer for the second prime factor.
Hanno Becker9a467772018-12-13 09:54:59 +0000393 * \param D The Byte array to hold the private exponent,
394 * or \c NULL if this field need not be exported.
Rose Zadik042e97f2018-01-26 16:35:10 +0000395 * \param D_len The size of the buffer for the private exponent.
Hanno Becker9a467772018-12-13 09:54:59 +0000396 * \param E The Byte array to hold the public exponent,
397 * or \c NULL if this field need not be exported.
Rose Zadik042e97f2018-01-26 16:35:10 +0000398 * \param E_len The size of the buffer for the public exponent.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100399 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100400 * \return \c 0 on success.
Ron Eldor9924bdc2018-10-04 10:59:13 +0300401 * \return #MBEDTLS_ERR_PLATFORM_FEATURE_UNSUPPORTED if exporting the
Rose Zadik042e97f2018-01-26 16:35:10 +0000402 * requested parameters cannot be done due to missing
Rose Zadike8b5b992018-03-27 12:19:47 +0100403 * functionality or because of security policies.
404 * \return A non-zero return code on any other failure.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100405 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100406int mbedtls_rsa_export_raw(const mbedtls_rsa_context *ctx,
407 unsigned char *N, size_t N_len,
408 unsigned char *P, size_t P_len,
409 unsigned char *Q, size_t Q_len,
410 unsigned char *D, size_t D_len,
411 unsigned char *E, size_t E_len);
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100412
413/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000414 * \brief This function exports CRT parameters of a private RSA key.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100415 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100416 * \note Alternative RSA implementations not using CRT-parameters
417 * internally can implement this function based on
418 * mbedtls_rsa_deduce_opt().
419 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000420 * \param ctx The initialized RSA context.
Hanno Becker9a467772018-12-13 09:54:59 +0000421 * \param DP The MPI to hold \c D modulo `P-1`,
422 * or \c NULL if it need not be exported.
423 * \param DQ The MPI to hold \c D modulo `Q-1`,
424 * or \c NULL if it need not be exported.
425 * \param QP The MPI to hold modular inverse of \c Q modulo \c P,
426 * or \c NULL if it need not be exported.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100427 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100428 * \return \c 0 on success.
429 * \return A non-zero error code on failure.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100430 *
431 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100432int mbedtls_rsa_export_crt(const mbedtls_rsa_context *ctx,
433 mbedtls_mpi *DP, mbedtls_mpi *DQ, mbedtls_mpi *QP);
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100434
Paul Bakker5121ce52009-01-03 21:22:43 +0000435/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000436 * \brief This function retrieves the length of RSA modulus in Bytes.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100437 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000438 * \param ctx The initialized RSA context.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100439 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000440 * \return The length of the RSA modulus in Bytes.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100441 *
442 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100443size_t mbedtls_rsa_get_len(const mbedtls_rsa_context *ctx);
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100444
445/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000446 * \brief This function generates an RSA keypair.
Paul Bakker5121ce52009-01-03 21:22:43 +0000447 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000448 * \note mbedtls_rsa_init() must be called before this function,
449 * to set up the RSA context.
Paul Bakker5121ce52009-01-03 21:22:43 +0000450 *
Hanno Becker9a467772018-12-13 09:54:59 +0000451 * \param ctx The initialized RSA context used to hold the key.
452 * \param f_rng The RNG function to be used for key generation.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100453 * This is mandatory and must not be \c NULL.
Hanno Becker9a467772018-12-13 09:54:59 +0000454 * \param p_rng The RNG context to be passed to \p f_rng.
455 * This may be \c NULL if \p f_rng doesn't need a context.
Rose Zadike8b5b992018-03-27 12:19:47 +0100456 * \param nbits The size of the public key in bits.
Hanno Becker9a467772018-12-13 09:54:59 +0000457 * \param exponent The public exponent to use. For example, \c 65537.
Hanno Beckerf66f2942018-12-18 13:30:08 +0000458 * This must be odd and greater than \c 1.
Rose Zadike8b5b992018-03-27 12:19:47 +0100459 *
460 * \return \c 0 on success.
461 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000462 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100463int mbedtls_rsa_gen_key(mbedtls_rsa_context *ctx,
464 int (*f_rng)(void *, unsigned char *, size_t),
465 void *p_rng,
466 unsigned int nbits, int exponent);
Paul Bakker5121ce52009-01-03 21:22:43 +0000467
468/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000469 * \brief This function checks if a context contains at least an RSA
470 * public key.
Paul Bakker5121ce52009-01-03 21:22:43 +0000471 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000472 * If the function runs successfully, it is guaranteed that
473 * enough information is present to perform an RSA public key
474 * operation using mbedtls_rsa_public().
Paul Bakker5121ce52009-01-03 21:22:43 +0000475 *
Hanno Becker9a467772018-12-13 09:54:59 +0000476 * \param ctx The initialized RSA context to check.
Rose Zadik042e97f2018-01-26 16:35:10 +0000477 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100478 * \return \c 0 on success.
479 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Hanno Becker43a08d02017-10-02 13:16:35 +0100480 *
Paul Bakker5121ce52009-01-03 21:22:43 +0000481 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100482int mbedtls_rsa_check_pubkey(const mbedtls_rsa_context *ctx);
Paul Bakker5121ce52009-01-03 21:22:43 +0000483
484/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000485 * \brief This function checks if a context contains an RSA private key
Hanno Becker1e801f52017-10-10 16:44:47 +0100486 * and perform basic consistency checks.
Paul Bakker5121ce52009-01-03 21:22:43 +0000487 *
Hanno Becker68767a62017-10-17 10:13:31 +0100488 * \note The consistency checks performed by this function not only
Rose Zadik042e97f2018-01-26 16:35:10 +0000489 * ensure that mbedtls_rsa_private() can be called successfully
Hanno Becker68767a62017-10-17 10:13:31 +0100490 * on the given context, but that the various parameters are
491 * mutually consistent with high probability, in the sense that
Rose Zadik042e97f2018-01-26 16:35:10 +0000492 * mbedtls_rsa_public() and mbedtls_rsa_private() are inverses.
Hanno Becker1e801f52017-10-10 16:44:47 +0100493 *
494 * \warning This function should catch accidental misconfigurations
495 * like swapping of parameters, but it cannot establish full
496 * trust in neither the quality nor the consistency of the key
497 * material that was used to setup the given RSA context:
Rose Zadik042e97f2018-01-26 16:35:10 +0000498 * <ul><li>Consistency: Imported parameters that are irrelevant
499 * for the implementation might be silently dropped. If dropped,
500 * the current function does not have access to them,
501 * and therefore cannot check them. See mbedtls_rsa_complete().
502 * If you want to check the consistency of the entire
Tom Cosgrovece7f18c2022-07-28 05:50:56 +0100503 * content of a PKCS1-encoded RSA private key, for example, you
Rose Zadik042e97f2018-01-26 16:35:10 +0000504 * should use mbedtls_rsa_validate_params() before setting
505 * up the RSA context.
506 * Additionally, if the implementation performs empirical checks,
507 * these checks substantiate but do not guarantee consistency.</li>
508 * <li>Quality: This function is not expected to perform
509 * extended quality assessments like checking that the prime
510 * factors are safe. Additionally, it is the responsibility of the
511 * user to ensure the trustworthiness of the source of his RSA
512 * parameters, which goes beyond what is effectively checkable
513 * by the library.</li></ul>
Rose Zadike8b5b992018-03-27 12:19:47 +0100514 *
Hanno Becker9a467772018-12-13 09:54:59 +0000515 * \param ctx The initialized RSA context to check.
Rose Zadike8b5b992018-03-27 12:19:47 +0100516 *
517 * \return \c 0 on success.
518 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000519 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100520int mbedtls_rsa_check_privkey(const mbedtls_rsa_context *ctx);
Paul Bakker5121ce52009-01-03 21:22:43 +0000521
522/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000523 * \brief This function checks a public-private RSA key pair.
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100524 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000525 * It checks each of the contexts, and makes sure they match.
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100526 *
Hanno Becker9a467772018-12-13 09:54:59 +0000527 * \param pub The initialized RSA context holding the public key.
528 * \param prv The initialized RSA context holding the private key.
Rose Zadik042e97f2018-01-26 16:35:10 +0000529 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100530 * \return \c 0 on success.
531 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100532 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100533int mbedtls_rsa_check_pub_priv(const mbedtls_rsa_context *pub,
534 const mbedtls_rsa_context *prv);
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100535
536/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000537 * \brief This function performs an RSA public key operation.
Paul Bakker5121ce52009-01-03 21:22:43 +0000538 *
Hanno Becker9a467772018-12-13 09:54:59 +0000539 * \param ctx The initialized RSA context to use.
540 * \param input The input buffer. This must be a readable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000541 * of length \c ctx->len Bytes. For example, \c 256 Bytes
542 * for an 2048-bit RSA modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000543 * \param output The output buffer. This must be a writable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000544 * of length \c ctx->len Bytes. For example, \c 256 Bytes
545 * for an 2048-bit RSA modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000546 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000547 * \note This function does not handle message padding.
548 *
549 * \note Make sure to set \p input[0] = 0 or ensure that
Andrzej Kurek3bedb5b2022-02-17 14:39:00 -0500550 * input is smaller than \c N.
Paul Bakker5121ce52009-01-03 21:22:43 +0000551 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100552 * \return \c 0 on success.
553 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000554 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100555int mbedtls_rsa_public(mbedtls_rsa_context *ctx,
556 const unsigned char *input,
557 unsigned char *output);
Paul Bakker5121ce52009-01-03 21:22:43 +0000558
559/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000560 * \brief This function performs an RSA private key operation.
Paul Bakker5121ce52009-01-03 21:22:43 +0000561 *
Hanno Becker24120612017-10-26 11:53:35 +0100562 * \note Blinding is used if and only if a PRNG is provided.
Hanno Becker88ec2382017-05-03 13:51:16 +0100563 *
Shaun Case8b0ecbc2021-12-20 21:14:10 -0800564 * \note If blinding is used, both the base of exponentiation
Hanno Becker24120612017-10-26 11:53:35 +0100565 * and the exponent are blinded, providing protection
566 * against some side-channel attacks.
Hanno Becker88ec2382017-05-03 13:51:16 +0100567 *
Hanno Becker4e1be392017-10-02 15:56:48 +0100568 * \warning It is deprecated and a security risk to not provide
569 * a PRNG here and thereby prevent the use of blinding.
570 * Future versions of the library may enforce the presence
571 * of a PRNG.
Hanno Becker88ec2382017-05-03 13:51:16 +0100572 *
Hanno Becker9a467772018-12-13 09:54:59 +0000573 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100574 * \param f_rng The RNG function, used for blinding. It is mandatory.
Hanno Becker9a467772018-12-13 09:54:59 +0000575 * \param p_rng The RNG context to pass to \p f_rng. This may be \c NULL
Thomas Daubney03412782021-05-20 15:31:17 +0100576 * if \p f_rng doesn't need a context.
Hanno Becker9a467772018-12-13 09:54:59 +0000577 * \param input The input buffer. This must be a readable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000578 * of length \c ctx->len Bytes. For example, \c 256 Bytes
579 * for an 2048-bit RSA modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000580 * \param output The output buffer. This must be a writable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000581 * of length \c ctx->len Bytes. For example, \c 256 Bytes
582 * for an 2048-bit RSA modulus.
Rose Zadike8b5b992018-03-27 12:19:47 +0100583 *
584 * \return \c 0 on success.
585 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
586 *
Paul Bakker5121ce52009-01-03 21:22:43 +0000587 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100588int mbedtls_rsa_private(mbedtls_rsa_context *ctx,
589 int (*f_rng)(void *, unsigned char *, size_t),
590 void *p_rng,
591 const unsigned char *input,
592 unsigned char *output);
Paul Bakker5121ce52009-01-03 21:22:43 +0000593
594/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000595 * \brief This function adds the message padding, then performs an RSA
596 * operation.
Paul Bakker5121ce52009-01-03 21:22:43 +0000597 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000598 * It is the generic wrapper for performing a PKCS#1 encryption
Thomas Daubney21772772021-05-13 17:30:32 +0100599 * operation.
Rose Zadikf2ec2882018-04-17 10:27:25 +0100600 *
Hanno Becker9a467772018-12-13 09:54:59 +0000601 * \param ctx The initialized RSA context to use.
Thomas Daubneyf54c5c52021-05-21 17:00:30 +0100602 * \param f_rng The RNG to use. It is used for padding generation
Thomas Daubney2c65db92021-05-21 10:58:28 +0100603 * and it is mandatory.
Hanno Becker9a467772018-12-13 09:54:59 +0000604 * \param p_rng The RNG context to be passed to \p f_rng. May be
Thomas Daubney03412782021-05-20 15:31:17 +0100605 * \c NULL if \p f_rng doesn't need a context argument.
Hanno Becker9a467772018-12-13 09:54:59 +0000606 * \param ilen The length of the plaintext in Bytes.
607 * \param input The input data to encrypt. This must be a readable
Jaeden Amerofb236732019-02-08 13:11:59 +0000608 * buffer of size \p ilen Bytes. It may be \c NULL if
609 * `ilen == 0`.
Hanno Becker9a467772018-12-13 09:54:59 +0000610 * \param output The output buffer. This must be a writable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000611 * of length \c ctx->len Bytes. For example, \c 256 Bytes
612 * for an 2048-bit RSA modulus.
Hanno Becker3cdc7112017-10-05 10:09:31 +0100613 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100614 * \return \c 0 on success.
615 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000616 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100617int mbedtls_rsa_pkcs1_encrypt(mbedtls_rsa_context *ctx,
618 int (*f_rng)(void *, unsigned char *, size_t),
619 void *p_rng,
620 size_t ilen,
621 const unsigned char *input,
622 unsigned char *output);
Paul Bakker5121ce52009-01-03 21:22:43 +0000623
624/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000625 * \brief This function performs a PKCS#1 v1.5 encryption operation
626 * (RSAES-PKCS1-v1_5-ENCRYPT).
Paul Bakkerb3869132013-02-28 17:21:01 +0100627 *
Hanno Becker9a467772018-12-13 09:54:59 +0000628 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100629 * \param f_rng The RNG function to use. It is mandatory and used for
630 * padding generation.
Hanno Becker9a467772018-12-13 09:54:59 +0000631 * \param p_rng The RNG context to be passed to \p f_rng. This may
Thomas Daubney03412782021-05-20 15:31:17 +0100632 * be \c NULL if \p f_rng doesn't need a context argument.
Hanno Becker9a467772018-12-13 09:54:59 +0000633 * \param ilen The length of the plaintext in Bytes.
634 * \param input The input data to encrypt. This must be a readable
Jaeden Amerofb236732019-02-08 13:11:59 +0000635 * buffer of size \p ilen Bytes. It may be \c NULL if
636 * `ilen == 0`.
Hanno Becker9a467772018-12-13 09:54:59 +0000637 * \param output The output buffer. This must be a writable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000638 * of length \c ctx->len Bytes. For example, \c 256 Bytes
639 * for an 2048-bit RSA modulus.
Hanno Becker3cdc7112017-10-05 10:09:31 +0100640 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100641 * \return \c 0 on success.
642 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +0100643 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100644int mbedtls_rsa_rsaes_pkcs1_v15_encrypt(mbedtls_rsa_context *ctx,
645 int (*f_rng)(void *, unsigned char *, size_t),
646 void *p_rng,
647 size_t ilen,
648 const unsigned char *input,
649 unsigned char *output);
Paul Bakkerb3869132013-02-28 17:21:01 +0100650
651/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000652 * \brief This function performs a PKCS#1 v2.1 OAEP encryption
653 * operation (RSAES-OAEP-ENCRYPT).
Paul Bakkerb3869132013-02-28 17:21:01 +0100654 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100655 * \note The output buffer must be as large as the size
656 * of ctx->N. For example, 128 Bytes if RSA-1024 is used.
657 *
Tom Cosgrove1e211442022-05-26 11:51:00 +0100658 * \param ctx The initialized RSA context to use.
Hanno Beckera9020f22018-12-18 14:45:45 +0000659 * \param f_rng The RNG function to use. This is needed for padding
Thomas Daubney2c65db92021-05-21 10:58:28 +0100660 * generation and is mandatory.
Hanno Becker9a467772018-12-13 09:54:59 +0000661 * \param p_rng The RNG context to be passed to \p f_rng. This may
Hanno Beckera9020f22018-12-18 14:45:45 +0000662 * be \c NULL if \p f_rng doesn't need a context argument.
Rose Zadik042e97f2018-01-26 16:35:10 +0000663 * \param label The buffer holding the custom label to use.
Hanno Becker9a467772018-12-13 09:54:59 +0000664 * This must be a readable buffer of length \p label_len
665 * Bytes. It may be \c NULL if \p label_len is \c 0.
666 * \param label_len The length of the label in Bytes.
667 * \param ilen The length of the plaintext buffer \p input in Bytes.
668 * \param input The input data to encrypt. This must be a readable
Jaeden Amerofb236732019-02-08 13:11:59 +0000669 * buffer of size \p ilen Bytes. It may be \c NULL if
670 * `ilen == 0`.
Hanno Becker9a467772018-12-13 09:54:59 +0000671 * \param output The output buffer. This must be a writable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000672 * of length \c ctx->len Bytes. For example, \c 256 Bytes
673 * for an 2048-bit RSA modulus.
Paul Bakkerb3869132013-02-28 17:21:01 +0100674 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100675 * \return \c 0 on success.
676 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +0100677 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100678int mbedtls_rsa_rsaes_oaep_encrypt(mbedtls_rsa_context *ctx,
679 int (*f_rng)(void *, unsigned char *, size_t),
680 void *p_rng,
681 const unsigned char *label, size_t label_len,
682 size_t ilen,
683 const unsigned char *input,
684 unsigned char *output);
Paul Bakkerb3869132013-02-28 17:21:01 +0100685
686/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000687 * \brief This function performs an RSA operation, then removes the
688 * message padding.
Paul Bakker5121ce52009-01-03 21:22:43 +0000689 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000690 * It is the generic wrapper for performing a PKCS#1 decryption
Thomas Daubneyc7feaf32021-05-07 14:02:43 +0100691 * operation.
Paul Bakker5121ce52009-01-03 21:22:43 +0000692 *
Hanno Becker248ae6d2017-05-04 11:27:39 +0100693 * \note The output buffer length \c output_max_len should be
Rose Zadik042e97f2018-01-26 16:35:10 +0000694 * as large as the size \p ctx->len of \p ctx->N (for example,
695 * 128 Bytes if RSA-1024 is used) to be able to hold an
696 * arbitrary decrypted message. If it is not large enough to
697 * hold the decryption of the particular ciphertext provided,
698 * the function returns \c MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE.
Hanno Becker248ae6d2017-05-04 11:27:39 +0100699 *
Hanno Becker9a467772018-12-13 09:54:59 +0000700 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100701 * \param f_rng The RNG function. This is used for blinding and is
702 * mandatory; see mbedtls_rsa_private() for more.
Hanno Becker9a467772018-12-13 09:54:59 +0000703 * \param p_rng The RNG context to be passed to \p f_rng. This may be
Thomas Daubney03412782021-05-20 15:31:17 +0100704 * \c NULL if \p f_rng doesn't need a context.
Hanno Becker9a467772018-12-13 09:54:59 +0000705 * \param olen The address at which to store the length of
706 * the plaintext. This must not be \c NULL.
707 * \param input The ciphertext buffer. This must be a readable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000708 * of length \c ctx->len Bytes. For example, \c 256 Bytes
709 * for an 2048-bit RSA modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000710 * \param output The buffer used to hold the plaintext. This must
711 * be a writable buffer of length \p output_max_len Bytes.
Hanno Beckerf66f2942018-12-18 13:30:08 +0000712 * \param output_max_len The length in Bytes of the output buffer \p output.
Rose Zadike8b5b992018-03-27 12:19:47 +0100713 *
714 * \return \c 0 on success.
715 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000716 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100717int mbedtls_rsa_pkcs1_decrypt(mbedtls_rsa_context *ctx,
718 int (*f_rng)(void *, unsigned char *, size_t),
719 void *p_rng,
720 size_t *olen,
721 const unsigned char *input,
722 unsigned char *output,
723 size_t output_max_len);
Paul Bakker5121ce52009-01-03 21:22:43 +0000724
725/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000726 * \brief This function performs a PKCS#1 v1.5 decryption
727 * operation (RSAES-PKCS1-v1_5-DECRYPT).
Paul Bakkerb3869132013-02-28 17:21:01 +0100728 *
Hanno Becker248ae6d2017-05-04 11:27:39 +0100729 * \note The output buffer length \c output_max_len should be
Rose Zadik042e97f2018-01-26 16:35:10 +0000730 * as large as the size \p ctx->len of \p ctx->N, for example,
731 * 128 Bytes if RSA-1024 is used, to be able to hold an
732 * arbitrary decrypted message. If it is not large enough to
733 * hold the decryption of the particular ciphertext provided,
734 * the function returns #MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE.
Hanno Becker248ae6d2017-05-04 11:27:39 +0100735 *
Hanno Becker9a467772018-12-13 09:54:59 +0000736 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100737 * \param f_rng The RNG function. This is used for blinding and is
738 * mandatory; see mbedtls_rsa_private() for more.
Hanno Becker9a467772018-12-13 09:54:59 +0000739 * \param p_rng The RNG context to be passed to \p f_rng. This may be
Thomas Daubney03412782021-05-20 15:31:17 +0100740 * \c NULL if \p f_rng doesn't need a context.
Hanno Becker9a467772018-12-13 09:54:59 +0000741 * \param olen The address at which to store the length of
742 * the plaintext. This must not be \c NULL.
743 * \param input The ciphertext buffer. This must be a readable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000744 * of length \c ctx->len Bytes. For example, \c 256 Bytes
745 * for an 2048-bit RSA modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000746 * \param output The buffer used to hold the plaintext. This must
747 * be a writable buffer of length \p output_max_len Bytes.
Hanno Beckerf66f2942018-12-18 13:30:08 +0000748 * \param output_max_len The length in Bytes of the output buffer \p output.
Rose Zadike8b5b992018-03-27 12:19:47 +0100749 *
750 * \return \c 0 on success.
751 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
752 *
Paul Bakkerb3869132013-02-28 17:21:01 +0100753 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100754int mbedtls_rsa_rsaes_pkcs1_v15_decrypt(mbedtls_rsa_context *ctx,
755 int (*f_rng)(void *, unsigned char *, size_t),
756 void *p_rng,
757 size_t *olen,
758 const unsigned char *input,
759 unsigned char *output,
760 size_t output_max_len);
Paul Bakkerb3869132013-02-28 17:21:01 +0100761
762/**
Rose Zadike8b5b992018-03-27 12:19:47 +0100763 * \brief This function performs a PKCS#1 v2.1 OAEP decryption
764 * operation (RSAES-OAEP-DECRYPT).
Paul Bakkerb3869132013-02-28 17:21:01 +0100765 *
Rose Zadikf2ec2882018-04-17 10:27:25 +0100766 * \note The output buffer length \c output_max_len should be
767 * as large as the size \p ctx->len of \p ctx->N, for
768 * example, 128 Bytes if RSA-1024 is used, to be able to
769 * hold an arbitrary decrypted message. If it is not
770 * large enough to hold the decryption of the particular
771 * ciphertext provided, the function returns
772 * #MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE.
Paul Bakkerb3869132013-02-28 17:21:01 +0100773 *
Hanno Becker9a467772018-12-13 09:54:59 +0000774 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100775 * \param f_rng The RNG function. This is used for blinding and is
776 * mandatory.
Hanno Becker9a467772018-12-13 09:54:59 +0000777 * \param p_rng The RNG context to be passed to \p f_rng. This may be
Thomas Daubney03412782021-05-20 15:31:17 +0100778 * \c NULL if \p f_rng doesn't need a context.
Rose Zadike8b5b992018-03-27 12:19:47 +0100779 * \param label The buffer holding the custom label to use.
Hanno Becker9a467772018-12-13 09:54:59 +0000780 * This must be a readable buffer of length \p label_len
781 * Bytes. It may be \c NULL if \p label_len is \c 0.
782 * \param label_len The length of the label in Bytes.
783 * \param olen The address at which to store the length of
784 * the plaintext. This must not be \c NULL.
785 * \param input The ciphertext buffer. This must be a readable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000786 * of length \c ctx->len Bytes. For example, \c 256 Bytes
787 * for an 2048-bit RSA modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000788 * \param output The buffer used to hold the plaintext. This must
789 * be a writable buffer of length \p output_max_len Bytes.
Hanno Beckerf66f2942018-12-18 13:30:08 +0000790 * \param output_max_len The length in Bytes of the output buffer \p output.
Rose Zadike8b5b992018-03-27 12:19:47 +0100791 *
792 * \return \c 0 on success.
793 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +0100794 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100795int mbedtls_rsa_rsaes_oaep_decrypt(mbedtls_rsa_context *ctx,
796 int (*f_rng)(void *, unsigned char *, size_t),
797 void *p_rng,
798 const unsigned char *label, size_t label_len,
799 size_t *olen,
800 const unsigned char *input,
801 unsigned char *output,
802 size_t output_max_len);
Paul Bakkerb3869132013-02-28 17:21:01 +0100803
804/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000805 * \brief This function performs a private RSA operation to sign
806 * a message digest using PKCS#1.
Paul Bakker5121ce52009-01-03 21:22:43 +0000807 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000808 * It is the generic wrapper for performing a PKCS#1
Thomas Daubney140184d2021-05-18 16:04:07 +0100809 * signature.
Paul Bakker5121ce52009-01-03 21:22:43 +0000810 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000811 * \note The \p sig buffer must be as large as the size
812 * of \p ctx->N. For example, 128 Bytes if RSA-1024 is used.
Paul Bakker9dcc3222011-03-08 14:16:06 +0000813 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000814 * \note For PKCS#1 v2.1 encoding, see comments on
815 * mbedtls_rsa_rsassa_pss_sign() for details on
816 * \p md_alg and \p hash_id.
Rose Zadike8b5b992018-03-27 12:19:47 +0100817 *
Hanno Becker9a467772018-12-13 09:54:59 +0000818 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100819 * \param f_rng The RNG function to use. This is mandatory and
820 * must not be \c NULL.
Hanno Becker9a467772018-12-13 09:54:59 +0000821 * \param p_rng The RNG context to be passed to \p f_rng. This may be \c NULL
Thomas Daubney03412782021-05-20 15:31:17 +0100822 * if \p f_rng doesn't need a context argument.
Rose Zadike8b5b992018-03-27 12:19:47 +0100823 * \param md_alg The message-digest algorithm used to hash the original data.
824 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200825 * \param hashlen The length of the message digest or raw data in Bytes.
826 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
827 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +0000828 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200829 * This must be a readable buffer of at least \p hashlen Bytes.
Hanno Becker9a467772018-12-13 09:54:59 +0000830 * \param sig The buffer to hold the signature. This must be a writable
Hanno Becker385ce912018-12-13 18:33:12 +0000831 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
Gilles Peskine73a1f372019-11-08 18:39:22 +0100832 * for an 2048-bit RSA modulus. A buffer length of
833 * #MBEDTLS_MPI_MAX_SIZE is always safe.
Rose Zadike8b5b992018-03-27 12:19:47 +0100834 *
835 * \return \c 0 if the signing operation was successful.
836 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000837 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100838int mbedtls_rsa_pkcs1_sign(mbedtls_rsa_context *ctx,
839 int (*f_rng)(void *, unsigned char *, size_t),
840 void *p_rng,
841 mbedtls_md_type_t md_alg,
842 unsigned int hashlen,
843 const unsigned char *hash,
844 unsigned char *sig);
Paul Bakker5121ce52009-01-03 21:22:43 +0000845
846/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000847 * \brief This function performs a PKCS#1 v1.5 signature
848 * operation (RSASSA-PKCS1-v1_5-SIGN).
Paul Bakkerb3869132013-02-28 17:21:01 +0100849 *
Hanno Becker9a467772018-12-13 09:54:59 +0000850 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100851 * \param f_rng The RNG function. This is used for blinding and is
852 * mandatory; see mbedtls_rsa_private() for more.
Hanno Becker9a467772018-12-13 09:54:59 +0000853 * \param p_rng The RNG context to be passed to \p f_rng. This may be \c NULL
Thomas Daubney2c65db92021-05-21 10:58:28 +0100854 * if \p f_rng doesn't need a context argument.
Rose Zadik042e97f2018-01-26 16:35:10 +0000855 * \param md_alg The message-digest algorithm used to hash the original data.
856 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200857 * \param hashlen The length of the message digest or raw data in Bytes.
858 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
859 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +0000860 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200861 * This must be a readable buffer of at least \p hashlen Bytes.
Hanno Becker9a467772018-12-13 09:54:59 +0000862 * \param sig The buffer to hold the signature. This must be a writable
Hanno Becker385ce912018-12-13 18:33:12 +0000863 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
Gilles Peskine73a1f372019-11-08 18:39:22 +0100864 * for an 2048-bit RSA modulus. A buffer length of
865 * #MBEDTLS_MPI_MAX_SIZE is always safe.
Paul Bakkerb3869132013-02-28 17:21:01 +0100866 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100867 * \return \c 0 if the signing operation was successful.
868 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +0100869 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100870int mbedtls_rsa_rsassa_pkcs1_v15_sign(mbedtls_rsa_context *ctx,
871 int (*f_rng)(void *, unsigned char *, size_t),
872 void *p_rng,
873 mbedtls_md_type_t md_alg,
874 unsigned int hashlen,
875 const unsigned char *hash,
876 unsigned char *sig);
Paul Bakkerb3869132013-02-28 17:21:01 +0100877
878/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000879 * \brief This function performs a PKCS#1 v2.1 PSS signature
880 * operation (RSASSA-PSS-SIGN).
Paul Bakkerb3869132013-02-28 17:21:01 +0100881 *
Janos Follathb7953322021-04-01 14:44:17 +0100882 * \note The \c hash_id set in \p ctx by calling
883 * mbedtls_rsa_set_padding() selects the hash used for the
884 * encoding operation and for the mask generation function
885 * (MGF1). For more details on the encoding operation and the
886 * mask generation function, consult <em>RFC-3447: Public-Key
Rose Zadik042e97f2018-01-26 16:35:10 +0000887 * Cryptography Standards (PKCS) #1 v2.1: RSA Cryptography
Janos Follathb7953322021-04-01 14:44:17 +0100888 * Specifications</em>.
Rose Zadike8b5b992018-03-27 12:19:47 +0100889 *
Cédric Meuter010ddc22020-04-25 09:24:11 +0200890 * \note This function enforces that the provided salt length complies
891 * with FIPS 186-4 §5.5 (e) and RFC 8017 (PKCS#1 v2.2) §9.1.1
892 * step 3. The constraint is that the hash length plus the salt
893 * length plus 2 bytes must be at most the key length. If this
894 * constraint is not met, this function returns
Jaeden Amero3725bb22018-09-07 19:12:36 +0100895 * #MBEDTLS_ERR_RSA_BAD_INPUT_DATA.
896 *
Hanno Becker9a467772018-12-13 09:54:59 +0000897 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100898 * \param f_rng The RNG function. It is mandatory and must not be \c NULL.
Hanno Becker9a467772018-12-13 09:54:59 +0000899 * \param p_rng The RNG context to be passed to \p f_rng. This may be \c NULL
900 * if \p f_rng doesn't need a context argument.
Rose Zadike8b5b992018-03-27 12:19:47 +0100901 * \param md_alg The message-digest algorithm used to hash the original data.
902 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200903 * \param hashlen The length of the message digest or raw data in Bytes.
904 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
905 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +0000906 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200907 * This must be a readable buffer of at least \p hashlen Bytes.
Cedric Meuter8aa4d752020-04-21 12:49:11 +0200908 * \param saltlen The length of the salt that should be used.
Cédric Meuter010ddc22020-04-25 09:24:11 +0200909 * If passed #MBEDTLS_RSA_SALT_LEN_ANY, the function will use
910 * the largest possible salt length up to the hash length,
911 * which is the largest permitted by some standards including
912 * FIPS 186-4 §5.5.
Cedric Meuter8aa4d752020-04-21 12:49:11 +0200913 * \param sig The buffer to hold the signature. This must be a writable
914 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
915 * for an 2048-bit RSA modulus. A buffer length of
916 * #MBEDTLS_MPI_MAX_SIZE is always safe.
917 *
918 * \return \c 0 if the signing operation was successful.
919 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
920 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100921int mbedtls_rsa_rsassa_pss_sign_ext(mbedtls_rsa_context *ctx,
922 int (*f_rng)(void *, unsigned char *, size_t),
923 void *p_rng,
924 mbedtls_md_type_t md_alg,
925 unsigned int hashlen,
926 const unsigned char *hash,
927 int saltlen,
928 unsigned char *sig);
Cedric Meuter8aa4d752020-04-21 12:49:11 +0200929
930/**
931 * \brief This function performs a PKCS#1 v2.1 PSS signature
932 * operation (RSASSA-PSS-SIGN).
933 *
Janos Follathb7953322021-04-01 14:44:17 +0100934 * \note The \c hash_id set in \p ctx by calling
935 * mbedtls_rsa_set_padding() selects the hash used for the
936 * encoding operation and for the mask generation function
937 * (MGF1). For more details on the encoding operation and the
938 * mask generation function, consult <em>RFC-3447: Public-Key
Cedric Meuter8aa4d752020-04-21 12:49:11 +0200939 * Cryptography Standards (PKCS) #1 v2.1: RSA Cryptography
Janos Follathb7953322021-04-01 14:44:17 +0100940 * Specifications</em>.
Cedric Meuter8aa4d752020-04-21 12:49:11 +0200941 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000942 * \note This function always uses the maximum possible salt size,
943 * up to the length of the payload hash. This choice of salt
944 * size complies with FIPS 186-4 §5.5 (e) and RFC 8017 (PKCS#1
945 * v2.2) §9.1.1 step 3. Furthermore this function enforces a
Rose Zadike8b5b992018-03-27 12:19:47 +0100946 * minimum salt size which is the hash size minus 2 bytes. If
947 * this minimum size is too large given the key size (the salt
948 * size, plus the hash size, plus 2 bytes must be no more than
949 * the key size in bytes), this function returns
950 * #MBEDTLS_ERR_RSA_BAD_INPUT_DATA.
951 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100952 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100953 * \param f_rng The RNG function. It is mandatory and must not be \c NULL.
Rose Zadike8b5b992018-03-27 12:19:47 +0100954 * \param p_rng The RNG context to be passed to \p f_rng. This may be \c NULL
955 * if \p f_rng doesn't need a context argument.
Rose Zadike8b5b992018-03-27 12:19:47 +0100956 * \param md_alg The message-digest algorithm used to hash the original data.
957 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200958 * \param hashlen The length of the message digest or raw data in Bytes.
959 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
960 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +0000961 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200962 * This must be a readable buffer of at least \p hashlen Bytes.
Hanno Becker9a467772018-12-13 09:54:59 +0000963 * \param sig The buffer to hold the signature. This must be a writable
Hanno Becker385ce912018-12-13 18:33:12 +0000964 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
Gilles Peskine73a1f372019-11-08 18:39:22 +0100965 * for an 2048-bit RSA modulus. A buffer length of
966 * #MBEDTLS_MPI_MAX_SIZE is always safe.
Rose Zadike8b5b992018-03-27 12:19:47 +0100967 *
968 * \return \c 0 if the signing operation was successful.
969 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +0100970 */
Gilles Peskine449bd832023-01-11 14:50:10 +0100971int mbedtls_rsa_rsassa_pss_sign(mbedtls_rsa_context *ctx,
972 int (*f_rng)(void *, unsigned char *, size_t),
973 void *p_rng,
974 mbedtls_md_type_t md_alg,
975 unsigned int hashlen,
976 const unsigned char *hash,
977 unsigned char *sig);
Paul Bakkerb3869132013-02-28 17:21:01 +0100978
979/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000980 * \brief This function performs a public RSA operation and checks
981 * the message digest.
Paul Bakker5121ce52009-01-03 21:22:43 +0000982 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000983 * This is the generic wrapper for performing a PKCS#1
Thomas Daubney68d9cbc2021-05-18 18:45:09 +0100984 * verification.
Paul Bakker5121ce52009-01-03 21:22:43 +0000985 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000986 * \note For PKCS#1 v2.1 encoding, see comments on
Andrzej Kurek3bedb5b2022-02-17 14:39:00 -0500987 * mbedtls_rsa_rsassa_pss_verify() about \c md_alg and
988 * \c hash_id.
Rose Zadike8b5b992018-03-27 12:19:47 +0100989 *
Hanno Becker9a467772018-12-13 09:54:59 +0000990 * \param ctx The initialized RSA public key context to use.
Rose Zadike8b5b992018-03-27 12:19:47 +0100991 * \param md_alg The message-digest algorithm used to hash the original data.
992 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200993 * \param hashlen The length of the message digest or raw data in Bytes.
994 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
995 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +0000996 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200997 * This must be a readable buffer of at least \p hashlen Bytes.
Hanno Becker9a467772018-12-13 09:54:59 +0000998 * \param sig The buffer holding the signature. This must be a readable
Hanno Becker385ce912018-12-13 18:33:12 +0000999 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
1000 * for an 2048-bit RSA modulus.
Rose Zadike8b5b992018-03-27 12:19:47 +01001001 *
1002 * \return \c 0 if the verify operation was successful.
1003 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +00001004 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001005int mbedtls_rsa_pkcs1_verify(mbedtls_rsa_context *ctx,
1006 mbedtls_md_type_t md_alg,
1007 unsigned int hashlen,
1008 const unsigned char *hash,
1009 const unsigned char *sig);
Paul Bakker5121ce52009-01-03 21:22:43 +00001010
1011/**
Rose Zadik042e97f2018-01-26 16:35:10 +00001012 * \brief This function performs a PKCS#1 v1.5 verification
1013 * operation (RSASSA-PKCS1-v1_5-VERIFY).
Paul Bakkerb3869132013-02-28 17:21:01 +01001014 *
Hanno Becker9a467772018-12-13 09:54:59 +00001015 * \param ctx The initialized RSA public key context to use.
Rose Zadik042e97f2018-01-26 16:35:10 +00001016 * \param md_alg The message-digest algorithm used to hash the original data.
1017 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +02001018 * \param hashlen The length of the message digest or raw data in Bytes.
1019 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
1020 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +00001021 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +02001022 * This must be a readable buffer of at least \p hashlen Bytes.
Hanno Becker9a467772018-12-13 09:54:59 +00001023 * \param sig The buffer holding the signature. This must be a readable
Hanno Becker385ce912018-12-13 18:33:12 +00001024 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
1025 * for an 2048-bit RSA modulus.
Paul Bakkerb3869132013-02-28 17:21:01 +01001026 *
Rose Zadike8b5b992018-03-27 12:19:47 +01001027 * \return \c 0 if the verify operation was successful.
1028 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +01001029 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001030int mbedtls_rsa_rsassa_pkcs1_v15_verify(mbedtls_rsa_context *ctx,
1031 mbedtls_md_type_t md_alg,
1032 unsigned int hashlen,
1033 const unsigned char *hash,
1034 const unsigned char *sig);
Paul Bakkerb3869132013-02-28 17:21:01 +01001035
1036/**
Rose Zadik042e97f2018-01-26 16:35:10 +00001037 * \brief This function performs a PKCS#1 v2.1 PSS verification
1038 * operation (RSASSA-PSS-VERIFY).
Paul Bakkerb3869132013-02-28 17:21:01 +01001039 *
Janos Follathb7953322021-04-01 14:44:17 +01001040 * \note The \c hash_id set in \p ctx by calling
1041 * mbedtls_rsa_set_padding() selects the hash used for the
1042 * encoding operation and for the mask generation function
1043 * (MGF1). For more details on the encoding operation and the
1044 * mask generation function, consult <em>RFC-3447: Public-Key
Rose Zadik042e97f2018-01-26 16:35:10 +00001045 * Cryptography Standards (PKCS) #1 v2.1: RSA Cryptography
Janos Follathb7953322021-04-01 14:44:17 +01001046 * Specifications</em>. If the \c hash_id set in \p ctx by
1047 * mbedtls_rsa_set_padding() is #MBEDTLS_MD_NONE, the \p md_alg
1048 * parameter is used.
Rose Zadike8b5b992018-03-27 12:19:47 +01001049 *
Hanno Becker9a467772018-12-13 09:54:59 +00001050 * \param ctx The initialized RSA public key context to use.
Rose Zadike8b5b992018-03-27 12:19:47 +01001051 * \param md_alg The message-digest algorithm used to hash the original data.
1052 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +02001053 * \param hashlen The length of the message digest or raw data in Bytes.
1054 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
1055 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +00001056 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +02001057 * This must be a readable buffer of at least \p hashlen Bytes.
Hanno Becker9a467772018-12-13 09:54:59 +00001058 * \param sig The buffer holding the signature. This must be a readable
Hanno Becker385ce912018-12-13 18:33:12 +00001059 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
1060 * for an 2048-bit RSA modulus.
Rose Zadike8b5b992018-03-27 12:19:47 +01001061 *
1062 * \return \c 0 if the verify operation was successful.
1063 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +01001064 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001065int mbedtls_rsa_rsassa_pss_verify(mbedtls_rsa_context *ctx,
1066 mbedtls_md_type_t md_alg,
1067 unsigned int hashlen,
1068 const unsigned char *hash,
1069 const unsigned char *sig);
Paul Bakkerb3869132013-02-28 17:21:01 +01001070
1071/**
Rose Zadik042e97f2018-01-26 16:35:10 +00001072 * \brief This function performs a PKCS#1 v2.1 PSS verification
1073 * operation (RSASSA-PSS-VERIFY).
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001074 *
Rose Zadik042e97f2018-01-26 16:35:10 +00001075 * \note The \p sig buffer must be as large as the size
1076 * of \p ctx->N. For example, 128 Bytes if RSA-1024 is used.
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001077 *
Janos Follathb7953322021-04-01 14:44:17 +01001078 * \note The \c hash_id set in \p ctx by mbedtls_rsa_set_padding() is
1079 * ignored.
Rose Zadike8b5b992018-03-27 12:19:47 +01001080 *
Hanno Becker9a467772018-12-13 09:54:59 +00001081 * \param ctx The initialized RSA public key context to use.
Rose Zadike8b5b992018-03-27 12:19:47 +01001082 * \param md_alg The message-digest algorithm used to hash the original data.
1083 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +02001084 * \param hashlen The length of the message digest or raw data in Bytes.
1085 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
1086 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +00001087 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +02001088 * This must be a readable buffer of at least \p hashlen Bytes.
Janos Follathb7953322021-04-01 14:44:17 +01001089 * \param mgf1_hash_id The message digest algorithm used for the
1090 * verification operation and the mask generation
1091 * function (MGF1). For more details on the encoding
1092 * operation and the mask generation function, consult
1093 * <em>RFC-3447: Public-Key Cryptography Standards
1094 * (PKCS) #1 v2.1: RSA Cryptography
1095 * Specifications</em>.
Hanno Becker9a467772018-12-13 09:54:59 +00001096 * \param expected_salt_len The length of the salt used in padding. Use
1097 * #MBEDTLS_RSA_SALT_LEN_ANY to accept any salt length.
1098 * \param sig The buffer holding the signature. This must be a readable
Hanno Becker385ce912018-12-13 18:33:12 +00001099 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
1100 * for an 2048-bit RSA modulus.
Rose Zadike8b5b992018-03-27 12:19:47 +01001101 *
1102 * \return \c 0 if the verify operation was successful.
1103 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001104 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001105int mbedtls_rsa_rsassa_pss_verify_ext(mbedtls_rsa_context *ctx,
1106 mbedtls_md_type_t md_alg,
1107 unsigned int hashlen,
1108 const unsigned char *hash,
1109 mbedtls_md_type_t mgf1_hash_id,
1110 int expected_salt_len,
1111 const unsigned char *sig);
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001112
1113/**
Rose Zadik042e97f2018-01-26 16:35:10 +00001114 * \brief This function copies the components of an RSA context.
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001115 *
Hanno Becker9a467772018-12-13 09:54:59 +00001116 * \param dst The destination context. This must be initialized.
1117 * \param src The source context. This must be initialized.
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001118 *
Rose Zadike8b5b992018-03-27 12:19:47 +01001119 * \return \c 0 on success.
1120 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED on memory allocation failure.
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001121 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001122int mbedtls_rsa_copy(mbedtls_rsa_context *dst, const mbedtls_rsa_context *src);
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001123
1124/**
Rose Zadik042e97f2018-01-26 16:35:10 +00001125 * \brief This function frees the components of an RSA key.
Paul Bakker13e2dfe2009-07-28 07:18:38 +00001126 *
Hanno Becker9a467772018-12-13 09:54:59 +00001127 * \param ctx The RSA context to free. May be \c NULL, in which case
1128 * this function is a no-op. If it is not \c NULL, it must
Hanno Becker385ce912018-12-13 18:33:12 +00001129 * point to an initialized RSA context.
Paul Bakker5121ce52009-01-03 21:22:43 +00001130 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001131void mbedtls_rsa_free(mbedtls_rsa_context *ctx);
Paul Bakker5121ce52009-01-03 21:22:43 +00001132
Ron Eldorfa8f6352017-06-20 15:48:46 +03001133#if defined(MBEDTLS_SELF_TEST)
1134
Paul Bakker5121ce52009-01-03 21:22:43 +00001135/**
Rose Zadik042e97f2018-01-26 16:35:10 +00001136 * \brief The RSA checkup routine.
Paul Bakker5121ce52009-01-03 21:22:43 +00001137 *
Rose Zadike8b5b992018-03-27 12:19:47 +01001138 * \return \c 0 on success.
1139 * \return \c 1 on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +00001140 */
Gilles Peskine449bd832023-01-11 14:50:10 +01001141int mbedtls_rsa_self_test(int verbose);
Paul Bakker5121ce52009-01-03 21:22:43 +00001142
Ron Eldorfa8f6352017-06-20 15:48:46 +03001143#endif /* MBEDTLS_SELF_TEST */
1144
Paul Bakker5121ce52009-01-03 21:22:43 +00001145#ifdef __cplusplus
1146}
1147#endif
1148
Paul Bakker5121ce52009-01-03 21:22:43 +00001149#endif /* rsa.h */