blob: e43ef9694c3dc5707045c5c97bd48a0da9f0ee32 [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 */
Dawid Drozd428cc522018-07-24 10:02:47 +020091typedef struct mbedtls_rsa_context
Paul Bakker5121ce52009-01-03 21:22:43 +000092{
Mateusz Starzyk846f0212021-05-19 19:44:07 +020093 int MBEDTLS_PRIVATE(ver); /*!< Reserved for internal purposes.
Gilles Peskine4337a9c2021-02-09 18:59:42 +010094 * Do not set this field in application
95 * code. Its meaning might change without
96 * notice. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +020097 size_t MBEDTLS_PRIVATE(len); /*!< The size of \p N in Bytes. */
Paul Bakker5121ce52009-01-03 21:22:43 +000098
Mateusz Starzyk846f0212021-05-19 19:44:07 +020099 mbedtls_mpi MBEDTLS_PRIVATE(N); /*!< The public modulus. */
100 mbedtls_mpi MBEDTLS_PRIVATE(E); /*!< The public exponent. */
Paul Bakker5121ce52009-01-03 21:22:43 +0000101
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200102 mbedtls_mpi MBEDTLS_PRIVATE(D); /*!< The private exponent. */
103 mbedtls_mpi MBEDTLS_PRIVATE(P); /*!< The first prime factor. */
104 mbedtls_mpi MBEDTLS_PRIVATE(Q); /*!< The second prime factor. */
Hanno Becker1a59e792017-08-23 07:41:10 +0100105
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200106 mbedtls_mpi MBEDTLS_PRIVATE(DP); /*!< <code>D % (P - 1)</code>. */
107 mbedtls_mpi MBEDTLS_PRIVATE(DQ); /*!< <code>D % (Q - 1)</code>. */
108 mbedtls_mpi MBEDTLS_PRIVATE(QP); /*!< <code>1 / (Q % P)</code>. */
Paul Bakker5121ce52009-01-03 21:22:43 +0000109
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200110 mbedtls_mpi MBEDTLS_PRIVATE(RN); /*!< cached <code>R^2 mod N</code>. */
Paul Bakker5121ce52009-01-03 21:22:43 +0000111
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200112 mbedtls_mpi MBEDTLS_PRIVATE(RP); /*!< cached <code>R^2 mod P</code>. */
113 mbedtls_mpi MBEDTLS_PRIVATE(RQ); /*!< cached <code>R^2 mod Q</code>. */
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200114
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200115 mbedtls_mpi MBEDTLS_PRIVATE(Vi); /*!< The cached blinding value. */
116 mbedtls_mpi MBEDTLS_PRIVATE(Vf); /*!< The cached un-blinding value. */
Paul Bakker9dcc3222011-03-08 14:16:06 +0000117
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200118 int MBEDTLS_PRIVATE(padding); /*!< Selects padding mode:
Rose Zadik042e97f2018-01-26 16:35:10 +0000119 #MBEDTLS_RSA_PKCS_V15 for 1.5 padding and
120 #MBEDTLS_RSA_PKCS_V21 for OAEP or PSS. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200121 int MBEDTLS_PRIVATE(hash_id); /*!< Hash identifier of mbedtls_md_type_t type,
Rose Zadik042e97f2018-01-26 16:35:10 +0000122 as specified in md.h for use in the MGF
123 mask generating function used in the
124 EME-OAEP and EMSA-PSS encodings. */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200125#if defined(MBEDTLS_THREADING_C)
Gilles Peskine4337a9c2021-02-09 18:59:42 +0100126 /* Invariant: the mutex is initialized iff ver != 0. */
Mateusz Starzyk846f0212021-05-19 19:44:07 +0200127 mbedtls_threading_mutex_t MBEDTLS_PRIVATE(mutex); /*!< Thread-safety mutex. */
Paul Bakkerc9965dc2013-09-29 14:58:17 +0200128#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000129}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200130mbedtls_rsa_context;
Paul Bakker5121ce52009-01-03 21:22:43 +0000131
Ron Eldor4e6d55d2018-02-07 16:36:15 +0200132#else /* MBEDTLS_RSA_ALT */
133#include "rsa_alt.h"
134#endif /* MBEDTLS_RSA_ALT */
135
Paul Bakker5121ce52009-01-03 21:22:43 +0000136/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000137 * \brief This function initializes an RSA context.
Paul Bakker5121ce52009-01-03 21:22:43 +0000138 *
Ronald Cronc1905a12021-06-05 11:11:14 +0200139 * \note This function initializes the padding and the hash
Ronald Crond2cfa3e2021-06-08 09:09:04 +0200140 * identifier to respectively #MBEDTLS_RSA_PKCS_V15 and
141 * #MBEDTLS_MD_NONE. See mbedtls_rsa_set_padding() for more
142 * information about those parameters.
Ronald Cronc1905a12021-06-05 11:11:14 +0200143 *
144 * \param ctx The RSA context to initialize. This must not be \c NULL.
145 */
146void mbedtls_rsa_init( mbedtls_rsa_context *ctx );
147
148/**
149 * \brief This function sets padding for an already initialized RSA
150 * context.
151 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000152 * \note Set padding to #MBEDTLS_RSA_PKCS_V21 for the RSAES-OAEP
Paul Bakker9a736322012-11-14 12:39:52 +0000153 * encryption scheme and the RSASSA-PSS signature scheme.
154 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000155 * \note The \p hash_id parameter is ignored when using
156 * #MBEDTLS_RSA_PKCS_V15 padding.
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200157 *
Ronald Cronc1905a12021-06-05 11:11:14 +0200158 * \note The choice of padding mode is strictly enforced for private
159 * key operations, since there might be security concerns in
Rose Zadik042e97f2018-01-26 16:35:10 +0000160 * mixing padding modes. For public key operations it is
Antonin Décimo36e89b52019-01-23 15:24:37 +0100161 * a default value, which can be overridden by calling specific
Ronald Cronc1905a12021-06-05 11:11:14 +0200162 * \c mbedtls_rsa_rsaes_xxx or \c mbedtls_rsa_rsassa_xxx
163 * functions.
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200164 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000165 * \note The hash selected in \p hash_id is always used for OEAP
166 * encryption. For PSS signatures, it is always used for
Antonin Décimo36e89b52019-01-23 15:24:37 +0100167 * making signatures, but can be overridden for verifying them.
168 * If set to #MBEDTLS_MD_NONE, it is always overridden.
Rose Zadike8b5b992018-03-27 12:19:47 +0100169 *
Ronald Cronc1905a12021-06-05 11:11:14 +0200170 * \param ctx The initialized RSA context to be configured.
Hanno Becker9a467772018-12-13 09:54:59 +0000171 * \param padding The padding mode to use. This must be either
172 * #MBEDTLS_RSA_PKCS_V15 or #MBEDTLS_RSA_PKCS_V21.
Ronald Crond2cfa3e2021-06-08 09:09:04 +0200173 * \param hash_id The hash identifier for PSS or OAEP, if \p padding is
174 * #MBEDTLS_RSA_PKCS_V21. #MBEDTLS_MD_NONE is accepted by this
175 * function but may be not suitable for some operations.
176 * Ignored if \p padding is #MBEDTLS_RSA_PKCS_V15.
Ronald Cronc1905a12021-06-05 11:11:14 +0200177 *
178 * \return \c 0 on success.
179 * \return #MBEDTLS_ERR_RSA_INVALID_PADDING failure:
180 * \p padding or \p hash_id is invalid.
Paul Bakker5121ce52009-01-03 21:22:43 +0000181 */
Ronald Cronc1905a12021-06-05 11:11:14 +0200182int mbedtls_rsa_set_padding( mbedtls_rsa_context *ctx, int padding,
183 mbedtls_md_type_t hash_id );
Paul Bakker5121ce52009-01-03 21:22:43 +0000184
185/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000186 * \brief This function imports a set of core parameters into an
187 * RSA context.
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +0100188 *
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100189 * \note This function can be called multiple times for successive
Rose Zadik042e97f2018-01-26 16:35:10 +0000190 * imports, if the parameters are not simultaneously present.
191 *
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100192 * Any sequence of calls to this function should be followed
Rose Zadik042e97f2018-01-26 16:35:10 +0000193 * by a call to mbedtls_rsa_complete(), which checks and
194 * completes the provided information to a ready-for-use
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100195 * public or private RSA key.
196 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000197 * \note See mbedtls_rsa_complete() for more information on which
198 * parameters are necessary to set up a private or public
199 * RSA key.
Hanno Becker33195552017-10-25 17:04:10 +0100200 *
Hanno Becker5178dca2017-10-03 14:29:37 +0100201 * \note The imported parameters are copied and need not be preserved
202 * for the lifetime of the RSA context being set up.
203 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100204 * \param ctx The initialized RSA context to store the parameters in.
Hanno Becker9a467772018-12-13 09:54:59 +0000205 * \param N The RSA modulus. This may be \c NULL.
206 * \param P The first prime factor of \p N. This may be \c NULL.
207 * \param Q The second prime factor of \p N. This may be \c NULL.
208 * \param D The private exponent. This may be \c NULL.
209 * \param E The public exponent. This may be \c NULL.
Rose Zadike8b5b992018-03-27 12:19:47 +0100210 *
211 * \return \c 0 on success.
212 * \return A non-zero error code on failure.
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +0100213 */
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100214int mbedtls_rsa_import( mbedtls_rsa_context *ctx,
215 const mbedtls_mpi *N,
216 const mbedtls_mpi *P, const mbedtls_mpi *Q,
217 const mbedtls_mpi *D, const mbedtls_mpi *E );
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +0100218
219/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000220 * \brief This function imports core RSA parameters, in raw big-endian
221 * binary format, into an RSA context.
Paul Bakker5121ce52009-01-03 21:22:43 +0000222 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100223 * \note This function can be called multiple times for successive
224 * imports, if the parameters are not simultaneously present.
225 *
226 * Any sequence of calls to this function should be followed
227 * by a call to mbedtls_rsa_complete(), which checks and
228 * completes the provided information to a ready-for-use
229 * public or private RSA key.
230 *
231 * \note See mbedtls_rsa_complete() for more information on which
232 * parameters are necessary to set up a private or public
233 * RSA key.
234 *
235 * \note The imported parameters are copied and need not be preserved
236 * for the lifetime of the RSA context being set up.
237 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000238 * \param ctx The initialized RSA context to store the parameters in.
Hanno Becker9a467772018-12-13 09:54:59 +0000239 * \param N The RSA modulus. This may be \c NULL.
240 * \param N_len The Byte length of \p N; it is ignored if \p N == NULL.
241 * \param P The first prime factor of \p N. This may be \c NULL.
242 * \param P_len The Byte length of \p P; it ns ignored if \p P == NULL.
243 * \param Q The second prime factor of \p N. This may be \c NULL.
244 * \param Q_len The Byte length of \p Q; it is ignored if \p Q == NULL.
245 * \param D The private exponent. This may be \c NULL.
246 * \param D_len The Byte length of \p D; it is ignored if \p D == NULL.
247 * \param E The public exponent. This may be \c NULL.
248 * \param E_len The Byte length of \p E; it is ignored if \p E == NULL.
Paul Bakker5121ce52009-01-03 21:22:43 +0000249 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100250 * \return \c 0 on success.
251 * \return A non-zero error code on failure.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100252 */
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100253int mbedtls_rsa_import_raw( mbedtls_rsa_context *ctx,
Hanno Becker74716312017-10-02 10:00:37 +0100254 unsigned char const *N, size_t N_len,
255 unsigned char const *P, size_t P_len,
256 unsigned char const *Q, size_t Q_len,
257 unsigned char const *D, size_t D_len,
258 unsigned char const *E, size_t E_len );
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100259
260/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000261 * \brief This function completes an RSA context from
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100262 * a set of imported core parameters.
263 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000264 * To setup an RSA public key, precisely \p N and \p E
265 * must have been imported.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100266 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000267 * To setup an RSA private key, sufficient information must
268 * be present for the other parameters to be derivable.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100269 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000270 * The default implementation supports the following:
271 * <ul><li>Derive \p P, \p Q from \p N, \p D, \p E.</li>
272 * <li>Derive \p N, \p D from \p P, \p Q, \p E.</li></ul>
273 * Alternative implementations need not support these.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100274 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000275 * If this function runs successfully, it guarantees that
276 * the RSA context can be used for RSA operations without
277 * the risk of failure or crash.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100278 *
Hanno Becker1e801f52017-10-10 16:44:47 +0100279 * \warning This function need not perform consistency checks
Rose Zadik042e97f2018-01-26 16:35:10 +0000280 * for the imported parameters. In particular, parameters that
281 * are not needed by the implementation might be silently
282 * discarded and left unchecked. To check the consistency
283 * of the key material, see mbedtls_rsa_check_privkey().
Hanno Becker43a08d02017-10-02 13:16:35 +0100284 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100285 * \param ctx The initialized RSA context holding imported parameters.
286 *
287 * \return \c 0 on success.
288 * \return #MBEDTLS_ERR_RSA_BAD_INPUT_DATA if the attempted derivations
289 * failed.
290 *
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100291 */
Hanno Beckerf9e184b2017-10-10 16:49:26 +0100292int mbedtls_rsa_complete( mbedtls_rsa_context *ctx );
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100293
294/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000295 * \brief This function exports the core parameters of an RSA key.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100296 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000297 * If this function runs successfully, the non-NULL buffers
298 * pointed to by \p N, \p P, \p Q, \p D, and \p E are fully
299 * written, with additional unused space filled leading by
300 * zero Bytes.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100301 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000302 * Possible reasons for returning
Ron Eldor9924bdc2018-10-04 10:59:13 +0300303 * #MBEDTLS_ERR_PLATFORM_FEATURE_UNSUPPORTED:<ul>
Rose Zadik042e97f2018-01-26 16:35:10 +0000304 * <li>An alternative RSA implementation is in use, which
305 * stores the key externally, and either cannot or should
306 * not export it into RAM.</li>
307 * <li>A SW or HW implementation might not support a certain
308 * deduction. For example, \p P, \p Q from \p N, \p D,
309 * and \p E if the former are not part of the
310 * implementation.</li></ul>
Hanno Becker91c194d2017-09-29 12:50:12 +0100311 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000312 * If the function fails due to an unsupported operation,
313 * the RSA context stays intact and remains usable.
314 *
315 * \param ctx The initialized RSA context.
Hanno Becker9a467772018-12-13 09:54:59 +0000316 * \param N The MPI to hold the RSA modulus.
317 * This may be \c NULL if this field need not be exported.
318 * \param P The MPI to hold the first prime factor of \p N.
319 * This may be \c NULL if this field need not be exported.
320 * \param Q The MPI to hold the second prime factor of \p N.
321 * This may be \c NULL if this field need not be exported.
322 * \param D The MPI to hold the private exponent.
323 * This may be \c NULL if this field need not be exported.
324 * \param E The MPI to hold the public exponent.
325 * This may be \c NULL if this field need not be exported.
Rose Zadik042e97f2018-01-26 16:35:10 +0000326 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100327 * \return \c 0 on success.
Ron Eldor9924bdc2018-10-04 10:59:13 +0300328 * \return #MBEDTLS_ERR_PLATFORM_FEATURE_UNSUPPORTED if exporting the
Rose Zadik042e97f2018-01-26 16:35:10 +0000329 * requested parameters cannot be done due to missing
Rose Zadike8b5b992018-03-27 12:19:47 +0100330 * functionality or because of security policies.
331 * \return A non-zero return code on any other failure.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100332 *
333 */
334int mbedtls_rsa_export( const mbedtls_rsa_context *ctx,
335 mbedtls_mpi *N, mbedtls_mpi *P, mbedtls_mpi *Q,
336 mbedtls_mpi *D, mbedtls_mpi *E );
337
338/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000339 * \brief This function exports core parameters of an RSA key
340 * in raw big-endian binary format.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100341 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000342 * If this function runs successfully, the non-NULL buffers
343 * pointed to by \p N, \p P, \p Q, \p D, and \p E are fully
344 * written, with additional unused space filled leading by
345 * zero Bytes.
346 *
347 * Possible reasons for returning
Ron Eldor9924bdc2018-10-04 10:59:13 +0300348 * #MBEDTLS_ERR_PLATFORM_FEATURE_UNSUPPORTED:<ul>
Rose Zadik042e97f2018-01-26 16:35:10 +0000349 * <li>An alternative RSA implementation is in use, which
350 * stores the key externally, and either cannot or should
351 * not export it into RAM.</li>
352 * <li>A SW or HW implementation might not support a certain
353 * deduction. For example, \p P, \p Q from \p N, \p D,
354 * and \p E if the former are not part of the
355 * implementation.</li></ul>
356 * If the function fails due to an unsupported operation,
357 * the RSA context stays intact and remains usable.
358 *
Rose Zadikf2ec2882018-04-17 10:27:25 +0100359 * \note The length parameters are ignored if the corresponding
Rose Zadike8b5b992018-03-27 12:19:47 +0100360 * buffer pointers are NULL.
361 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000362 * \param ctx The initialized RSA context.
Hanno Becker9a467772018-12-13 09:54:59 +0000363 * \param N The Byte array to store the RSA modulus,
364 * or \c NULL if this field need not be exported.
Rose Zadik042e97f2018-01-26 16:35:10 +0000365 * \param N_len The size of the buffer for the modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000366 * \param P The Byte array to hold the first prime factor of \p N,
367 * or \c NULL if this field need not be exported.
Rose Zadik042e97f2018-01-26 16:35:10 +0000368 * \param P_len The size of the buffer for the first prime factor.
Hanno Becker9a467772018-12-13 09:54:59 +0000369 * \param Q The Byte array to hold the second prime factor of \p N,
370 * or \c NULL if this field need not be exported.
Rose Zadik042e97f2018-01-26 16:35:10 +0000371 * \param Q_len The size of the buffer for the second prime factor.
Hanno Becker9a467772018-12-13 09:54:59 +0000372 * \param D The Byte array to hold the private exponent,
373 * or \c NULL if this field need not be exported.
Rose Zadik042e97f2018-01-26 16:35:10 +0000374 * \param D_len The size of the buffer for the private exponent.
Hanno Becker9a467772018-12-13 09:54:59 +0000375 * \param E The Byte array to hold the public exponent,
376 * or \c NULL if this field need not be exported.
Rose Zadik042e97f2018-01-26 16:35:10 +0000377 * \param E_len The size of the buffer for the public exponent.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100378 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100379 * \return \c 0 on success.
Ron Eldor9924bdc2018-10-04 10:59:13 +0300380 * \return #MBEDTLS_ERR_PLATFORM_FEATURE_UNSUPPORTED if exporting the
Rose Zadik042e97f2018-01-26 16:35:10 +0000381 * requested parameters cannot be done due to missing
Rose Zadike8b5b992018-03-27 12:19:47 +0100382 * functionality or because of security policies.
383 * \return A non-zero return code on any other failure.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100384 */
385int mbedtls_rsa_export_raw( const mbedtls_rsa_context *ctx,
386 unsigned char *N, size_t N_len,
387 unsigned char *P, size_t P_len,
388 unsigned char *Q, size_t Q_len,
389 unsigned char *D, size_t D_len,
390 unsigned char *E, size_t E_len );
391
392/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000393 * \brief This function exports CRT parameters of a private RSA key.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100394 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100395 * \note Alternative RSA implementations not using CRT-parameters
396 * internally can implement this function based on
397 * mbedtls_rsa_deduce_opt().
398 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000399 * \param ctx The initialized RSA context.
Hanno Becker9a467772018-12-13 09:54:59 +0000400 * \param DP The MPI to hold \c D modulo `P-1`,
401 * or \c NULL if it need not be exported.
402 * \param DQ The MPI to hold \c D modulo `Q-1`,
403 * or \c NULL if it need not be exported.
404 * \param QP The MPI to hold modular inverse of \c Q modulo \c P,
405 * or \c NULL if it need not be exported.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100406 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100407 * \return \c 0 on success.
408 * \return A non-zero error code on failure.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100409 *
410 */
411int mbedtls_rsa_export_crt( const mbedtls_rsa_context *ctx,
412 mbedtls_mpi *DP, mbedtls_mpi *DQ, mbedtls_mpi *QP );
413
Paul Bakker5121ce52009-01-03 21:22:43 +0000414/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000415 * \brief This function retrieves the length of RSA modulus in Bytes.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100416 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000417 * \param ctx The initialized RSA context.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100418 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000419 * \return The length of the RSA modulus in Bytes.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100420 *
421 */
422size_t mbedtls_rsa_get_len( const mbedtls_rsa_context *ctx );
423
424/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000425 * \brief This function generates an RSA keypair.
Paul Bakker5121ce52009-01-03 21:22:43 +0000426 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000427 * \note mbedtls_rsa_init() must be called before this function,
428 * to set up the RSA context.
Paul Bakker5121ce52009-01-03 21:22:43 +0000429 *
Hanno Becker9a467772018-12-13 09:54:59 +0000430 * \param ctx The initialized RSA context used to hold the key.
431 * \param f_rng The RNG function to be used for key generation.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100432 * This is mandatory and must not be \c NULL.
Hanno Becker9a467772018-12-13 09:54:59 +0000433 * \param p_rng The RNG context to be passed to \p f_rng.
434 * This may be \c NULL if \p f_rng doesn't need a context.
Rose Zadike8b5b992018-03-27 12:19:47 +0100435 * \param nbits The size of the public key in bits.
Hanno Becker9a467772018-12-13 09:54:59 +0000436 * \param exponent The public exponent to use. For example, \c 65537.
Hanno Beckerf66f2942018-12-18 13:30:08 +0000437 * This must be odd and greater than \c 1.
Rose Zadike8b5b992018-03-27 12:19:47 +0100438 *
439 * \return \c 0 on success.
440 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000441 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200442int mbedtls_rsa_gen_key( mbedtls_rsa_context *ctx,
Hanno Becker8fd55482017-08-23 14:07:48 +0100443 int (*f_rng)(void *, unsigned char *, size_t),
444 void *p_rng,
445 unsigned int nbits, int exponent );
Paul Bakker5121ce52009-01-03 21:22:43 +0000446
447/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000448 * \brief This function checks if a context contains at least an RSA
449 * public key.
Paul Bakker5121ce52009-01-03 21:22:43 +0000450 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000451 * If the function runs successfully, it is guaranteed that
452 * enough information is present to perform an RSA public key
453 * operation using mbedtls_rsa_public().
Paul Bakker5121ce52009-01-03 21:22:43 +0000454 *
Hanno Becker9a467772018-12-13 09:54:59 +0000455 * \param ctx The initialized RSA context to check.
Rose Zadik042e97f2018-01-26 16:35:10 +0000456 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100457 * \return \c 0 on success.
458 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Hanno Becker43a08d02017-10-02 13:16:35 +0100459 *
Paul Bakker5121ce52009-01-03 21:22:43 +0000460 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200461int mbedtls_rsa_check_pubkey( const mbedtls_rsa_context *ctx );
Paul Bakker5121ce52009-01-03 21:22:43 +0000462
463/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000464 * \brief This function checks if a context contains an RSA private key
Hanno Becker1e801f52017-10-10 16:44:47 +0100465 * and perform basic consistency checks.
Paul Bakker5121ce52009-01-03 21:22:43 +0000466 *
Hanno Becker68767a62017-10-17 10:13:31 +0100467 * \note The consistency checks performed by this function not only
Rose Zadik042e97f2018-01-26 16:35:10 +0000468 * ensure that mbedtls_rsa_private() can be called successfully
Hanno Becker68767a62017-10-17 10:13:31 +0100469 * on the given context, but that the various parameters are
470 * mutually consistent with high probability, in the sense that
Rose Zadik042e97f2018-01-26 16:35:10 +0000471 * mbedtls_rsa_public() and mbedtls_rsa_private() are inverses.
Hanno Becker1e801f52017-10-10 16:44:47 +0100472 *
473 * \warning This function should catch accidental misconfigurations
474 * like swapping of parameters, but it cannot establish full
475 * trust in neither the quality nor the consistency of the key
476 * material that was used to setup the given RSA context:
Rose Zadik042e97f2018-01-26 16:35:10 +0000477 * <ul><li>Consistency: Imported parameters that are irrelevant
478 * for the implementation might be silently dropped. If dropped,
479 * the current function does not have access to them,
480 * and therefore cannot check them. See mbedtls_rsa_complete().
481 * If you want to check the consistency of the entire
482 * content of an PKCS1-encoded RSA private key, for example, you
483 * should use mbedtls_rsa_validate_params() before setting
484 * up the RSA context.
485 * Additionally, if the implementation performs empirical checks,
486 * these checks substantiate but do not guarantee consistency.</li>
487 * <li>Quality: This function is not expected to perform
488 * extended quality assessments like checking that the prime
489 * factors are safe. Additionally, it is the responsibility of the
490 * user to ensure the trustworthiness of the source of his RSA
491 * parameters, which goes beyond what is effectively checkable
492 * by the library.</li></ul>
Rose Zadike8b5b992018-03-27 12:19:47 +0100493 *
Hanno Becker9a467772018-12-13 09:54:59 +0000494 * \param ctx The initialized RSA context to check.
Rose Zadike8b5b992018-03-27 12:19:47 +0100495 *
496 * \return \c 0 on success.
497 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000498 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200499int mbedtls_rsa_check_privkey( const mbedtls_rsa_context *ctx );
Paul Bakker5121ce52009-01-03 21:22:43 +0000500
501/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000502 * \brief This function checks a public-private RSA key pair.
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100503 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000504 * It checks each of the contexts, and makes sure they match.
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100505 *
Hanno Becker9a467772018-12-13 09:54:59 +0000506 * \param pub The initialized RSA context holding the public key.
507 * \param prv The initialized RSA context holding the private key.
Rose Zadik042e97f2018-01-26 16:35:10 +0000508 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100509 * \return \c 0 on success.
510 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100511 */
Hanno Becker98838b02017-10-02 13:16:10 +0100512int mbedtls_rsa_check_pub_priv( const mbedtls_rsa_context *pub,
513 const mbedtls_rsa_context *prv );
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100514
515/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000516 * \brief This function performs an RSA public key operation.
Paul Bakker5121ce52009-01-03 21:22:43 +0000517 *
Hanno Becker9a467772018-12-13 09:54:59 +0000518 * \param ctx The initialized RSA context to use.
519 * \param input The input buffer. This must be a readable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000520 * of length \c ctx->len Bytes. For example, \c 256 Bytes
521 * for an 2048-bit RSA modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000522 * \param output The output buffer. This must be a writable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000523 * of length \c ctx->len Bytes. For example, \c 256 Bytes
524 * for an 2048-bit RSA modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000525 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000526 * \note This function does not handle message padding.
527 *
528 * \note Make sure to set \p input[0] = 0 or ensure that
529 * input is smaller than \p N.
Paul Bakker5121ce52009-01-03 21:22:43 +0000530 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100531 * \return \c 0 on success.
532 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000533 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200534int mbedtls_rsa_public( mbedtls_rsa_context *ctx,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000535 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000536 unsigned char *output );
537
538/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000539 * \brief This function performs an RSA private key operation.
Paul Bakker5121ce52009-01-03 21:22:43 +0000540 *
Hanno Becker24120612017-10-26 11:53:35 +0100541 * \note Blinding is used if and only if a PRNG is provided.
Hanno Becker88ec2382017-05-03 13:51:16 +0100542 *
Shaun Case8b0ecbc2021-12-20 21:14:10 -0800543 * \note If blinding is used, both the base of exponentiation
Hanno Becker24120612017-10-26 11:53:35 +0100544 * and the exponent are blinded, providing protection
545 * against some side-channel attacks.
Hanno Becker88ec2382017-05-03 13:51:16 +0100546 *
Hanno Becker4e1be392017-10-02 15:56:48 +0100547 * \warning It is deprecated and a security risk to not provide
548 * a PRNG here and thereby prevent the use of blinding.
549 * Future versions of the library may enforce the presence
550 * of a PRNG.
Hanno Becker88ec2382017-05-03 13:51:16 +0100551 *
Hanno Becker9a467772018-12-13 09:54:59 +0000552 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100553 * \param f_rng The RNG function, used for blinding. It is mandatory.
Hanno Becker9a467772018-12-13 09:54:59 +0000554 * \param p_rng The RNG context to pass to \p f_rng. This may be \c NULL
Thomas Daubney03412782021-05-20 15:31:17 +0100555 * if \p f_rng doesn't need a context.
Hanno Becker9a467772018-12-13 09:54:59 +0000556 * \param input The input buffer. This must be a readable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000557 * of length \c ctx->len Bytes. For example, \c 256 Bytes
558 * for an 2048-bit RSA modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000559 * \param output The output buffer. This must be a writable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000560 * of length \c ctx->len Bytes. For example, \c 256 Bytes
561 * for an 2048-bit RSA modulus.
Rose Zadike8b5b992018-03-27 12:19:47 +0100562 *
563 * \return \c 0 on success.
564 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
565 *
Paul Bakker5121ce52009-01-03 21:22:43 +0000566 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200567int mbedtls_rsa_private( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200568 int (*f_rng)(void *, unsigned char *, size_t),
569 void *p_rng,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000570 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000571 unsigned char *output );
572
573/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000574 * \brief This function adds the message padding, then performs an RSA
575 * operation.
Paul Bakker5121ce52009-01-03 21:22:43 +0000576 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000577 * It is the generic wrapper for performing a PKCS#1 encryption
Thomas Daubney21772772021-05-13 17:30:32 +0100578 * operation.
Rose Zadikf2ec2882018-04-17 10:27:25 +0100579 *
Hanno Becker9a467772018-12-13 09:54:59 +0000580 * \param ctx The initialized RSA context to use.
Thomas Daubneyf54c5c52021-05-21 17:00:30 +0100581 * \param f_rng The RNG to use. It is used for padding generation
Thomas Daubney2c65db92021-05-21 10:58:28 +0100582 * and it is mandatory.
Hanno Becker9a467772018-12-13 09:54:59 +0000583 * \param p_rng The RNG context to be passed to \p f_rng. May be
Thomas Daubney03412782021-05-20 15:31:17 +0100584 * \c NULL if \p f_rng doesn't need a context argument.
Hanno Becker9a467772018-12-13 09:54:59 +0000585 * \param ilen The length of the plaintext in Bytes.
586 * \param input The input data to encrypt. This must be a readable
Jaeden Amerofb236732019-02-08 13:11:59 +0000587 * buffer of size \p ilen Bytes. It may be \c NULL if
588 * `ilen == 0`.
Hanno Becker9a467772018-12-13 09:54:59 +0000589 * \param output The output buffer. This must be a writable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000590 * of length \c ctx->len Bytes. For example, \c 256 Bytes
591 * for an 2048-bit RSA modulus.
Hanno Becker3cdc7112017-10-05 10:09:31 +0100592 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100593 * \return \c 0 on success.
594 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000595 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200596int mbedtls_rsa_pkcs1_encrypt( mbedtls_rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000597 int (*f_rng)(void *, unsigned char *, size_t),
Paul Bakker21eb2802010-08-16 11:10:02 +0000598 void *p_rng,
Thomas Daubney21772772021-05-13 17:30:32 +0100599 size_t ilen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000600 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000601 unsigned char *output );
602
603/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000604 * \brief This function performs a PKCS#1 v1.5 encryption operation
605 * (RSAES-PKCS1-v1_5-ENCRYPT).
Paul Bakkerb3869132013-02-28 17:21:01 +0100606 *
Hanno Becker9a467772018-12-13 09:54:59 +0000607 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100608 * \param f_rng The RNG function to use. It is mandatory and used for
609 * padding generation.
Hanno Becker9a467772018-12-13 09:54:59 +0000610 * \param p_rng The RNG context to be passed to \p f_rng. This may
Thomas Daubney03412782021-05-20 15:31:17 +0100611 * be \c NULL if \p f_rng doesn't need a context argument.
Hanno Becker9a467772018-12-13 09:54:59 +0000612 * \param ilen The length of the plaintext in Bytes.
613 * \param input The input data to encrypt. This must be a readable
Jaeden Amerofb236732019-02-08 13:11:59 +0000614 * buffer of size \p ilen Bytes. It may be \c NULL if
615 * `ilen == 0`.
Hanno Becker9a467772018-12-13 09:54:59 +0000616 * \param output The output buffer. This must be a writable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000617 * of length \c ctx->len Bytes. For example, \c 256 Bytes
618 * for an 2048-bit RSA modulus.
Hanno Becker3cdc7112017-10-05 10:09:31 +0100619 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100620 * \return \c 0 on success.
621 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +0100622 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200623int mbedtls_rsa_rsaes_pkcs1_v15_encrypt( mbedtls_rsa_context *ctx,
Paul Bakkerb3869132013-02-28 17:21:01 +0100624 int (*f_rng)(void *, unsigned char *, size_t),
625 void *p_rng,
Thomas Daubney53e4ac62021-05-13 18:26:49 +0100626 size_t ilen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100627 const unsigned char *input,
628 unsigned char *output );
629
630/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000631 * \brief This function performs a PKCS#1 v2.1 OAEP encryption
632 * operation (RSAES-OAEP-ENCRYPT).
Paul Bakkerb3869132013-02-28 17:21:01 +0100633 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100634 * \note The output buffer must be as large as the size
635 * of ctx->N. For example, 128 Bytes if RSA-1024 is used.
636 *
Tom Cosgrove1e211442022-05-26 11:51:00 +0100637 * \param ctx The initialized RSA context to use.
Hanno Beckera9020f22018-12-18 14:45:45 +0000638 * \param f_rng The RNG function to use. This is needed for padding
Thomas Daubney2c65db92021-05-21 10:58:28 +0100639 * generation and is mandatory.
Hanno Becker9a467772018-12-13 09:54:59 +0000640 * \param p_rng The RNG context to be passed to \p f_rng. This may
Hanno Beckera9020f22018-12-18 14:45:45 +0000641 * be \c NULL if \p f_rng doesn't need a context argument.
Rose Zadik042e97f2018-01-26 16:35:10 +0000642 * \param label The buffer holding the custom label to use.
Hanno Becker9a467772018-12-13 09:54:59 +0000643 * This must be a readable buffer of length \p label_len
644 * Bytes. It may be \c NULL if \p label_len is \c 0.
645 * \param label_len The length of the label in Bytes.
646 * \param ilen The length of the plaintext buffer \p input in Bytes.
647 * \param input The input data to encrypt. This must be a readable
Jaeden Amerofb236732019-02-08 13:11:59 +0000648 * buffer of size \p ilen Bytes. It may be \c NULL if
649 * `ilen == 0`.
Hanno Becker9a467772018-12-13 09:54:59 +0000650 * \param output The output buffer. This must be a writable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000651 * of length \c ctx->len Bytes. For example, \c 256 Bytes
652 * for an 2048-bit RSA modulus.
Paul Bakkerb3869132013-02-28 17:21:01 +0100653 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100654 * \return \c 0 on success.
655 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +0100656 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200657int mbedtls_rsa_rsaes_oaep_encrypt( mbedtls_rsa_context *ctx,
Paul Bakkerb3869132013-02-28 17:21:01 +0100658 int (*f_rng)(void *, unsigned char *, size_t),
659 void *p_rng,
Paul Bakkera43231c2013-02-28 17:33:49 +0100660 const unsigned char *label, size_t label_len,
661 size_t ilen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100662 const unsigned char *input,
663 unsigned char *output );
664
665/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000666 * \brief This function performs an RSA operation, then removes the
667 * message padding.
Paul Bakker5121ce52009-01-03 21:22:43 +0000668 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000669 * It is the generic wrapper for performing a PKCS#1 decryption
Thomas Daubneyc7feaf32021-05-07 14:02:43 +0100670 * operation.
Paul Bakker5121ce52009-01-03 21:22:43 +0000671 *
Hanno Becker248ae6d2017-05-04 11:27:39 +0100672 * \note The output buffer length \c output_max_len should be
Rose Zadik042e97f2018-01-26 16:35:10 +0000673 * as large as the size \p ctx->len of \p ctx->N (for example,
674 * 128 Bytes if RSA-1024 is used) to be able to hold an
675 * arbitrary decrypted message. If it is not large enough to
676 * hold the decryption of the particular ciphertext provided,
677 * the function returns \c MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE.
Hanno Becker248ae6d2017-05-04 11:27:39 +0100678 *
Hanno Becker9a467772018-12-13 09:54:59 +0000679 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100680 * \param f_rng The RNG function. This is used for blinding and is
681 * mandatory; see mbedtls_rsa_private() for more.
Hanno Becker9a467772018-12-13 09:54:59 +0000682 * \param p_rng The RNG context to be passed to \p f_rng. This may be
Thomas Daubney03412782021-05-20 15:31:17 +0100683 * \c NULL if \p f_rng doesn't need a context.
Hanno Becker9a467772018-12-13 09:54:59 +0000684 * \param olen The address at which to store the length of
685 * the plaintext. This must not be \c NULL.
686 * \param input The ciphertext buffer. This must be a readable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000687 * of length \c ctx->len Bytes. For example, \c 256 Bytes
688 * for an 2048-bit RSA modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000689 * \param output The buffer used to hold the plaintext. This must
690 * be a writable buffer of length \p output_max_len Bytes.
Hanno Beckerf66f2942018-12-18 13:30:08 +0000691 * \param output_max_len The length in Bytes of the output buffer \p output.
Rose Zadike8b5b992018-03-27 12:19:47 +0100692 *
693 * \return \c 0 on success.
694 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000695 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200696int mbedtls_rsa_pkcs1_decrypt( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200697 int (*f_rng)(void *, unsigned char *, size_t),
698 void *p_rng,
Thomas Daubneyc7feaf32021-05-07 14:02:43 +0100699 size_t *olen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000700 const unsigned char *input,
Paul Bakker060c5682009-01-12 21:48:39 +0000701 unsigned char *output,
Paul Bakker23986e52011-04-24 08:57:21 +0000702 size_t output_max_len );
Paul Bakker5121ce52009-01-03 21:22:43 +0000703
704/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000705 * \brief This function performs a PKCS#1 v1.5 decryption
706 * operation (RSAES-PKCS1-v1_5-DECRYPT).
Paul Bakkerb3869132013-02-28 17:21:01 +0100707 *
Hanno Becker248ae6d2017-05-04 11:27:39 +0100708 * \note The output buffer length \c output_max_len should be
Rose Zadik042e97f2018-01-26 16:35:10 +0000709 * as large as the size \p ctx->len of \p ctx->N, for example,
710 * 128 Bytes if RSA-1024 is used, to be able to hold an
711 * arbitrary decrypted message. If it is not large enough to
712 * hold the decryption of the particular ciphertext provided,
713 * the function returns #MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE.
Hanno Becker248ae6d2017-05-04 11:27:39 +0100714 *
Hanno Becker9a467772018-12-13 09:54:59 +0000715 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100716 * \param f_rng The RNG function. This is used for blinding and is
717 * mandatory; see mbedtls_rsa_private() for more.
Hanno Becker9a467772018-12-13 09:54:59 +0000718 * \param p_rng The RNG context to be passed to \p f_rng. This may be
Thomas Daubney03412782021-05-20 15:31:17 +0100719 * \c NULL if \p f_rng doesn't need a context.
Hanno Becker9a467772018-12-13 09:54:59 +0000720 * \param olen The address at which to store the length of
721 * the plaintext. This must not be \c NULL.
722 * \param input The ciphertext buffer. This must be a readable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000723 * of length \c ctx->len Bytes. For example, \c 256 Bytes
724 * for an 2048-bit RSA modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000725 * \param output The buffer used to hold the plaintext. This must
726 * be a writable buffer of length \p output_max_len Bytes.
Hanno Beckerf66f2942018-12-18 13:30:08 +0000727 * \param output_max_len The length in Bytes of the output buffer \p output.
Rose Zadike8b5b992018-03-27 12:19:47 +0100728 *
729 * \return \c 0 on success.
730 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
731 *
Paul Bakkerb3869132013-02-28 17:21:01 +0100732 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200733int mbedtls_rsa_rsaes_pkcs1_v15_decrypt( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200734 int (*f_rng)(void *, unsigned char *, size_t),
735 void *p_rng,
Thomas Daubney34733082021-05-12 09:24:29 +0100736 size_t *olen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100737 const unsigned char *input,
738 unsigned char *output,
739 size_t output_max_len );
740
741/**
Rose Zadike8b5b992018-03-27 12:19:47 +0100742 * \brief This function performs a PKCS#1 v2.1 OAEP decryption
743 * operation (RSAES-OAEP-DECRYPT).
Paul Bakkerb3869132013-02-28 17:21:01 +0100744 *
Rose Zadikf2ec2882018-04-17 10:27:25 +0100745 * \note The output buffer length \c output_max_len should be
746 * as large as the size \p ctx->len of \p ctx->N, for
747 * example, 128 Bytes if RSA-1024 is used, to be able to
748 * hold an arbitrary decrypted message. If it is not
749 * large enough to hold the decryption of the particular
750 * ciphertext provided, the function returns
751 * #MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE.
Paul Bakkerb3869132013-02-28 17:21:01 +0100752 *
Hanno Becker9a467772018-12-13 09:54:59 +0000753 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100754 * \param f_rng The RNG function. This is used for blinding and is
755 * mandatory.
Hanno Becker9a467772018-12-13 09:54:59 +0000756 * \param p_rng The RNG context to be passed to \p f_rng. This may be
Thomas Daubney03412782021-05-20 15:31:17 +0100757 * \c NULL if \p f_rng doesn't need a context.
Rose Zadike8b5b992018-03-27 12:19:47 +0100758 * \param label The buffer holding the custom label to use.
Hanno Becker9a467772018-12-13 09:54:59 +0000759 * This must be a readable buffer of length \p label_len
760 * Bytes. It may be \c NULL if \p label_len is \c 0.
761 * \param label_len The length of the label in Bytes.
762 * \param olen The address at which to store the length of
763 * the plaintext. This must not be \c NULL.
764 * \param input The ciphertext buffer. This must be a readable buffer
Hanno Becker385ce912018-12-13 18:33:12 +0000765 * of length \c ctx->len Bytes. For example, \c 256 Bytes
766 * for an 2048-bit RSA modulus.
Hanno Becker9a467772018-12-13 09:54:59 +0000767 * \param output The buffer used to hold the plaintext. This must
768 * be a writable buffer of length \p output_max_len Bytes.
Hanno Beckerf66f2942018-12-18 13:30:08 +0000769 * \param output_max_len The length in Bytes of the output buffer \p output.
Rose Zadike8b5b992018-03-27 12:19:47 +0100770 *
771 * \return \c 0 on success.
772 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +0100773 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200774int mbedtls_rsa_rsaes_oaep_decrypt( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200775 int (*f_rng)(void *, unsigned char *, size_t),
776 void *p_rng,
Paul Bakkera43231c2013-02-28 17:33:49 +0100777 const unsigned char *label, size_t label_len,
778 size_t *olen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100779 const unsigned char *input,
780 unsigned char *output,
781 size_t output_max_len );
782
783/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000784 * \brief This function performs a private RSA operation to sign
785 * a message digest using PKCS#1.
Paul Bakker5121ce52009-01-03 21:22:43 +0000786 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000787 * It is the generic wrapper for performing a PKCS#1
Thomas Daubney140184d2021-05-18 16:04:07 +0100788 * signature.
Paul Bakker5121ce52009-01-03 21:22:43 +0000789 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000790 * \note The \p sig buffer must be as large as the size
791 * of \p ctx->N. For example, 128 Bytes if RSA-1024 is used.
Paul Bakker9dcc3222011-03-08 14:16:06 +0000792 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000793 * \note For PKCS#1 v2.1 encoding, see comments on
794 * mbedtls_rsa_rsassa_pss_sign() for details on
795 * \p md_alg and \p hash_id.
Rose Zadike8b5b992018-03-27 12:19:47 +0100796 *
Hanno Becker9a467772018-12-13 09:54:59 +0000797 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100798 * \param f_rng The RNG function to use. This is mandatory and
799 * must not be \c NULL.
Hanno Becker9a467772018-12-13 09:54:59 +0000800 * \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 +0100801 * if \p f_rng doesn't need a context argument.
Rose Zadike8b5b992018-03-27 12:19:47 +0100802 * \param md_alg The message-digest algorithm used to hash the original data.
803 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200804 * \param hashlen The length of the message digest or raw data in Bytes.
805 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
806 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +0000807 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200808 * This must be a readable buffer of at least \p hashlen Bytes.
Hanno Becker9a467772018-12-13 09:54:59 +0000809 * \param sig The buffer to hold the signature. This must be a writable
Hanno Becker385ce912018-12-13 18:33:12 +0000810 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
Gilles Peskine73a1f372019-11-08 18:39:22 +0100811 * for an 2048-bit RSA modulus. A buffer length of
812 * #MBEDTLS_MPI_MAX_SIZE is always safe.
Rose Zadike8b5b992018-03-27 12:19:47 +0100813 *
814 * \return \c 0 if the signing operation was successful.
815 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000816 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200817int mbedtls_rsa_pkcs1_sign( mbedtls_rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000818 int (*f_rng)(void *, unsigned char *, size_t),
Paul Bakker9dcc3222011-03-08 14:16:06 +0000819 void *p_rng,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200820 mbedtls_md_type_t md_alg,
Paul Bakker23986e52011-04-24 08:57:21 +0000821 unsigned int hashlen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000822 const unsigned char *hash,
Paul Bakker5121ce52009-01-03 21:22:43 +0000823 unsigned char *sig );
824
825/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000826 * \brief This function performs a PKCS#1 v1.5 signature
827 * operation (RSASSA-PKCS1-v1_5-SIGN).
Paul Bakkerb3869132013-02-28 17:21:01 +0100828 *
Hanno Becker9a467772018-12-13 09:54:59 +0000829 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100830 * \param f_rng The RNG function. This is used for blinding and is
831 * mandatory; see mbedtls_rsa_private() for more.
Hanno Becker9a467772018-12-13 09:54:59 +0000832 * \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 +0100833 * if \p f_rng doesn't need a context argument.
Rose Zadik042e97f2018-01-26 16:35:10 +0000834 * \param md_alg The message-digest algorithm used to hash the original data.
835 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200836 * \param hashlen The length of the message digest or raw data in Bytes.
837 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
838 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +0000839 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200840 * This must be a readable buffer of at least \p hashlen Bytes.
Hanno Becker9a467772018-12-13 09:54:59 +0000841 * \param sig The buffer to hold the signature. This must be a writable
Hanno Becker385ce912018-12-13 18:33:12 +0000842 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
Gilles Peskine73a1f372019-11-08 18:39:22 +0100843 * for an 2048-bit RSA modulus. A buffer length of
844 * #MBEDTLS_MPI_MAX_SIZE is always safe.
Paul Bakkerb3869132013-02-28 17:21:01 +0100845 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100846 * \return \c 0 if the signing operation was successful.
847 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +0100848 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200849int mbedtls_rsa_rsassa_pkcs1_v15_sign( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200850 int (*f_rng)(void *, unsigned char *, size_t),
851 void *p_rng,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200852 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +0100853 unsigned int hashlen,
854 const unsigned char *hash,
855 unsigned char *sig );
856
857/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000858 * \brief This function performs a PKCS#1 v2.1 PSS signature
859 * operation (RSASSA-PSS-SIGN).
Paul Bakkerb3869132013-02-28 17:21:01 +0100860 *
Janos Follathb7953322021-04-01 14:44:17 +0100861 * \note The \c hash_id set in \p ctx by calling
862 * mbedtls_rsa_set_padding() selects the hash used for the
863 * encoding operation and for the mask generation function
864 * (MGF1). For more details on the encoding operation and the
865 * mask generation function, consult <em>RFC-3447: Public-Key
Rose Zadik042e97f2018-01-26 16:35:10 +0000866 * Cryptography Standards (PKCS) #1 v2.1: RSA Cryptography
Janos Follathb7953322021-04-01 14:44:17 +0100867 * Specifications</em>.
Rose Zadike8b5b992018-03-27 12:19:47 +0100868 *
Cédric Meuter010ddc22020-04-25 09:24:11 +0200869 * \note This function enforces that the provided salt length complies
870 * with FIPS 186-4 §5.5 (e) and RFC 8017 (PKCS#1 v2.2) §9.1.1
871 * step 3. The constraint is that the hash length plus the salt
872 * length plus 2 bytes must be at most the key length. If this
873 * constraint is not met, this function returns
Jaeden Amero3725bb22018-09-07 19:12:36 +0100874 * #MBEDTLS_ERR_RSA_BAD_INPUT_DATA.
875 *
Hanno Becker9a467772018-12-13 09:54:59 +0000876 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100877 * \param f_rng The RNG function. It is mandatory and must not be \c NULL.
Hanno Becker9a467772018-12-13 09:54:59 +0000878 * \param p_rng The RNG context to be passed to \p f_rng. This may be \c NULL
879 * if \p f_rng doesn't need a context argument.
Rose Zadike8b5b992018-03-27 12:19:47 +0100880 * \param md_alg The message-digest algorithm used to hash the original data.
881 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200882 * \param hashlen The length of the message digest or raw data in Bytes.
883 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
884 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +0000885 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200886 * This must be a readable buffer of at least \p hashlen Bytes.
Cedric Meuter8aa4d752020-04-21 12:49:11 +0200887 * \param saltlen The length of the salt that should be used.
Cédric Meuter010ddc22020-04-25 09:24:11 +0200888 * If passed #MBEDTLS_RSA_SALT_LEN_ANY, the function will use
889 * the largest possible salt length up to the hash length,
890 * which is the largest permitted by some standards including
891 * FIPS 186-4 §5.5.
Cedric Meuter8aa4d752020-04-21 12:49:11 +0200892 * \param sig The buffer to hold the signature. This must be a writable
893 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
894 * for an 2048-bit RSA modulus. A buffer length of
895 * #MBEDTLS_MPI_MAX_SIZE is always safe.
896 *
897 * \return \c 0 if the signing operation was successful.
898 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
899 */
900int mbedtls_rsa_rsassa_pss_sign_ext( mbedtls_rsa_context *ctx,
901 int (*f_rng)(void *, unsigned char *, size_t),
902 void *p_rng,
Cedric Meuter8aa4d752020-04-21 12:49:11 +0200903 mbedtls_md_type_t md_alg,
904 unsigned int hashlen,
905 const unsigned char *hash,
906 int saltlen,
907 unsigned char *sig );
908
909/**
910 * \brief This function performs a PKCS#1 v2.1 PSS signature
911 * operation (RSASSA-PSS-SIGN).
912 *
Janos Follathb7953322021-04-01 14:44:17 +0100913 * \note The \c hash_id set in \p ctx by calling
914 * mbedtls_rsa_set_padding() selects the hash used for the
915 * encoding operation and for the mask generation function
916 * (MGF1). For more details on the encoding operation and the
917 * mask generation function, consult <em>RFC-3447: Public-Key
Cedric Meuter8aa4d752020-04-21 12:49:11 +0200918 * Cryptography Standards (PKCS) #1 v2.1: RSA Cryptography
Janos Follathb7953322021-04-01 14:44:17 +0100919 * Specifications</em>.
Cedric Meuter8aa4d752020-04-21 12:49:11 +0200920 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000921 * \note This function always uses the maximum possible salt size,
922 * up to the length of the payload hash. This choice of salt
923 * size complies with FIPS 186-4 §5.5 (e) and RFC 8017 (PKCS#1
924 * v2.2) §9.1.1 step 3. Furthermore this function enforces a
Rose Zadike8b5b992018-03-27 12:19:47 +0100925 * minimum salt size which is the hash size minus 2 bytes. If
926 * this minimum size is too large given the key size (the salt
927 * size, plus the hash size, plus 2 bytes must be no more than
928 * the key size in bytes), this function returns
929 * #MBEDTLS_ERR_RSA_BAD_INPUT_DATA.
930 *
Rose Zadike8b5b992018-03-27 12:19:47 +0100931 * \param ctx The initialized RSA context to use.
Thomas Daubney2c65db92021-05-21 10:58:28 +0100932 * \param f_rng The RNG function. It is mandatory and must not be \c NULL.
Rose Zadike8b5b992018-03-27 12:19:47 +0100933 * \param p_rng The RNG context to be passed to \p f_rng. This may be \c NULL
934 * if \p f_rng doesn't need a context argument.
Rose Zadike8b5b992018-03-27 12:19:47 +0100935 * \param md_alg The message-digest algorithm used to hash the original data.
936 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200937 * \param hashlen The length of the message digest or raw data in Bytes.
938 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
939 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +0000940 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200941 * This must be a readable buffer of at least \p hashlen Bytes.
Hanno Becker9a467772018-12-13 09:54:59 +0000942 * \param sig The buffer to hold the signature. This must be a writable
Hanno Becker385ce912018-12-13 18:33:12 +0000943 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
Gilles Peskine73a1f372019-11-08 18:39:22 +0100944 * for an 2048-bit RSA modulus. A buffer length of
945 * #MBEDTLS_MPI_MAX_SIZE is always safe.
Rose Zadike8b5b992018-03-27 12:19:47 +0100946 *
947 * \return \c 0 if the signing operation was successful.
948 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +0100949 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200950int mbedtls_rsa_rsassa_pss_sign( mbedtls_rsa_context *ctx,
Paul Bakkerb3869132013-02-28 17:21:01 +0100951 int (*f_rng)(void *, unsigned char *, size_t),
952 void *p_rng,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200953 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +0100954 unsigned int hashlen,
955 const unsigned char *hash,
956 unsigned char *sig );
957
958/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000959 * \brief This function performs a public RSA operation and checks
960 * the message digest.
Paul Bakker5121ce52009-01-03 21:22:43 +0000961 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000962 * This is the generic wrapper for performing a PKCS#1
Thomas Daubney68d9cbc2021-05-18 18:45:09 +0100963 * verification.
Paul Bakker5121ce52009-01-03 21:22:43 +0000964 *
Rose Zadik042e97f2018-01-26 16:35:10 +0000965 * \note For PKCS#1 v2.1 encoding, see comments on
966 * mbedtls_rsa_rsassa_pss_verify() about \p md_alg and
967 * \p hash_id.
Rose Zadike8b5b992018-03-27 12:19:47 +0100968 *
Hanno Becker9a467772018-12-13 09:54:59 +0000969 * \param ctx The initialized RSA public key context to use.
Rose Zadike8b5b992018-03-27 12:19:47 +0100970 * \param md_alg The message-digest algorithm used to hash the original data.
971 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200972 * \param hashlen The length of the message digest or raw data in Bytes.
973 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
974 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +0000975 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200976 * This must be a readable buffer of at least \p hashlen Bytes.
Hanno Becker9a467772018-12-13 09:54:59 +0000977 * \param sig The buffer holding the signature. This must be a readable
Hanno Becker385ce912018-12-13 18:33:12 +0000978 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
979 * for an 2048-bit RSA modulus.
Rose Zadike8b5b992018-03-27 12:19:47 +0100980 *
981 * \return \c 0 if the verify operation was successful.
982 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +0000983 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200984int mbedtls_rsa_pkcs1_verify( mbedtls_rsa_context *ctx,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200985 mbedtls_md_type_t md_alg,
Paul Bakker23986e52011-04-24 08:57:21 +0000986 unsigned int hashlen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000987 const unsigned char *hash,
Manuel Pégourié-Gonnardcc0a9d02013-08-12 11:34:35 +0200988 const unsigned char *sig );
Paul Bakker5121ce52009-01-03 21:22:43 +0000989
990/**
Rose Zadik042e97f2018-01-26 16:35:10 +0000991 * \brief This function performs a PKCS#1 v1.5 verification
992 * operation (RSASSA-PKCS1-v1_5-VERIFY).
Paul Bakkerb3869132013-02-28 17:21:01 +0100993 *
Hanno Becker9a467772018-12-13 09:54:59 +0000994 * \param ctx The initialized RSA public key context to use.
Rose Zadik042e97f2018-01-26 16:35:10 +0000995 * \param md_alg The message-digest algorithm used to hash the original data.
996 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +0200997 * \param hashlen The length of the message digest or raw data in Bytes.
998 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
999 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +00001000 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +02001001 * This must be a readable buffer of at least \p hashlen Bytes.
Hanno Becker9a467772018-12-13 09:54:59 +00001002 * \param sig The buffer holding the signature. This must be a readable
Hanno Becker385ce912018-12-13 18:33:12 +00001003 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
1004 * for an 2048-bit RSA modulus.
Paul Bakkerb3869132013-02-28 17:21:01 +01001005 *
Rose Zadike8b5b992018-03-27 12:19:47 +01001006 * \return \c 0 if the verify operation was successful.
1007 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +01001008 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001009int mbedtls_rsa_rsassa_pkcs1_v15_verify( mbedtls_rsa_context *ctx,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001010 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001011 unsigned int hashlen,
1012 const unsigned char *hash,
Manuel Pégourié-Gonnardcc0a9d02013-08-12 11:34:35 +02001013 const unsigned char *sig );
Paul Bakkerb3869132013-02-28 17:21:01 +01001014
1015/**
Rose Zadik042e97f2018-01-26 16:35:10 +00001016 * \brief This function performs a PKCS#1 v2.1 PSS verification
1017 * operation (RSASSA-PSS-VERIFY).
Paul Bakkerb3869132013-02-28 17:21:01 +01001018 *
Janos Follathb7953322021-04-01 14:44:17 +01001019 * \note The \c hash_id set in \p ctx by calling
1020 * mbedtls_rsa_set_padding() selects the hash used for the
1021 * encoding operation and for the mask generation function
1022 * (MGF1). For more details on the encoding operation and the
1023 * mask generation function, consult <em>RFC-3447: Public-Key
Rose Zadik042e97f2018-01-26 16:35:10 +00001024 * Cryptography Standards (PKCS) #1 v2.1: RSA Cryptography
Janos Follathb7953322021-04-01 14:44:17 +01001025 * Specifications</em>. If the \c hash_id set in \p ctx by
1026 * mbedtls_rsa_set_padding() is #MBEDTLS_MD_NONE, the \p md_alg
1027 * parameter is used.
Rose Zadike8b5b992018-03-27 12:19:47 +01001028 *
Hanno Becker9a467772018-12-13 09:54:59 +00001029 * \param ctx The initialized RSA public key context to use.
Rose Zadike8b5b992018-03-27 12:19:47 +01001030 * \param md_alg The message-digest algorithm used to hash the original data.
1031 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +02001032 * \param hashlen The length of the message digest or raw data in Bytes.
1033 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
1034 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +00001035 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +02001036 * This must be a readable buffer of at least \p hashlen Bytes.
Hanno Becker9a467772018-12-13 09:54:59 +00001037 * \param sig The buffer holding the signature. This must be a readable
Hanno Becker385ce912018-12-13 18:33:12 +00001038 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
1039 * for an 2048-bit RSA modulus.
Rose Zadike8b5b992018-03-27 12:19:47 +01001040 *
1041 * \return \c 0 if the verify operation was successful.
1042 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Paul Bakkerb3869132013-02-28 17:21:01 +01001043 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001044int mbedtls_rsa_rsassa_pss_verify( mbedtls_rsa_context *ctx,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001045 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +01001046 unsigned int hashlen,
1047 const unsigned char *hash,
Manuel Pégourié-Gonnardcc0a9d02013-08-12 11:34:35 +02001048 const unsigned char *sig );
Paul Bakkerb3869132013-02-28 17:21:01 +01001049
1050/**
Rose Zadik042e97f2018-01-26 16:35:10 +00001051 * \brief This function performs a PKCS#1 v2.1 PSS verification
1052 * operation (RSASSA-PSS-VERIFY).
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001053 *
Rose Zadik042e97f2018-01-26 16:35:10 +00001054 * \note The \p sig buffer must be as large as the size
1055 * of \p ctx->N. For example, 128 Bytes if RSA-1024 is used.
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001056 *
Janos Follathb7953322021-04-01 14:44:17 +01001057 * \note The \c hash_id set in \p ctx by mbedtls_rsa_set_padding() is
1058 * ignored.
Rose Zadike8b5b992018-03-27 12:19:47 +01001059 *
Hanno Becker9a467772018-12-13 09:54:59 +00001060 * \param ctx The initialized RSA public key context to use.
Rose Zadike8b5b992018-03-27 12:19:47 +01001061 * \param md_alg The message-digest algorithm used to hash the original data.
1062 * Use #MBEDTLS_MD_NONE for signing raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +02001063 * \param hashlen The length of the message digest or raw data in Bytes.
1064 * If \p md_alg is not #MBEDTLS_MD_NONE, this must match the
1065 * output length of the corresponding hash algorithm.
Hanno Becker9a467772018-12-13 09:54:59 +00001066 * \param hash The buffer holding the message digest or raw data.
Manuel Pégourié-Gonnarde7885e52021-06-22 12:29:27 +02001067 * This must be a readable buffer of at least \p hashlen Bytes.
Janos Follathb7953322021-04-01 14:44:17 +01001068 * \param mgf1_hash_id The message digest algorithm used for the
1069 * verification operation and the mask generation
1070 * function (MGF1). For more details on the encoding
1071 * operation and the mask generation function, consult
1072 * <em>RFC-3447: Public-Key Cryptography Standards
1073 * (PKCS) #1 v2.1: RSA Cryptography
1074 * Specifications</em>.
Hanno Becker9a467772018-12-13 09:54:59 +00001075 * \param expected_salt_len The length of the salt used in padding. Use
1076 * #MBEDTLS_RSA_SALT_LEN_ANY to accept any salt length.
1077 * \param sig The buffer holding the signature. This must be a readable
Hanno Becker385ce912018-12-13 18:33:12 +00001078 * buffer of length \c ctx->len Bytes. For example, \c 256 Bytes
1079 * for an 2048-bit RSA modulus.
Rose Zadike8b5b992018-03-27 12:19:47 +01001080 *
1081 * \return \c 0 if the verify operation was successful.
1082 * \return An \c MBEDTLS_ERR_RSA_XXX error code on failure.
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001083 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001084int mbedtls_rsa_rsassa_pss_verify_ext( mbedtls_rsa_context *ctx,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001085 mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001086 unsigned int hashlen,
1087 const unsigned char *hash,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001088 mbedtls_md_type_t mgf1_hash_id,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +02001089 int expected_salt_len,
1090 const unsigned char *sig );
1091
1092/**
Rose Zadik042e97f2018-01-26 16:35:10 +00001093 * \brief This function copies the components of an RSA context.
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001094 *
Hanno Becker9a467772018-12-13 09:54:59 +00001095 * \param dst The destination context. This must be initialized.
1096 * \param src The source context. This must be initialized.
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001097 *
Rose Zadike8b5b992018-03-27 12:19:47 +01001098 * \return \c 0 on success.
1099 * \return #MBEDTLS_ERR_MPI_ALLOC_FAILED on memory allocation failure.
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001100 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001101int mbedtls_rsa_copy( mbedtls_rsa_context *dst, const mbedtls_rsa_context *src );
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +02001102
1103/**
Rose Zadik042e97f2018-01-26 16:35:10 +00001104 * \brief This function frees the components of an RSA key.
Paul Bakker13e2dfe2009-07-28 07:18:38 +00001105 *
Hanno Becker9a467772018-12-13 09:54:59 +00001106 * \param ctx The RSA context to free. May be \c NULL, in which case
1107 * this function is a no-op. If it is not \c NULL, it must
Hanno Becker385ce912018-12-13 18:33:12 +00001108 * point to an initialized RSA context.
Paul Bakker5121ce52009-01-03 21:22:43 +00001109 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001110void mbedtls_rsa_free( mbedtls_rsa_context *ctx );
Paul Bakker5121ce52009-01-03 21:22:43 +00001111
Ron Eldorfa8f6352017-06-20 15:48:46 +03001112#if defined(MBEDTLS_SELF_TEST)
1113
Paul Bakker5121ce52009-01-03 21:22:43 +00001114/**
Rose Zadik042e97f2018-01-26 16:35:10 +00001115 * \brief The RSA checkup routine.
Paul Bakker5121ce52009-01-03 21:22:43 +00001116 *
Rose Zadike8b5b992018-03-27 12:19:47 +01001117 * \return \c 0 on success.
1118 * \return \c 1 on failure.
Paul Bakker5121ce52009-01-03 21:22:43 +00001119 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +02001120int mbedtls_rsa_self_test( int verbose );
Paul Bakker5121ce52009-01-03 21:22:43 +00001121
Ron Eldorfa8f6352017-06-20 15:48:46 +03001122#endif /* MBEDTLS_SELF_TEST */
1123
Paul Bakker5121ce52009-01-03 21:22:43 +00001124#ifdef __cplusplus
1125}
1126#endif
1127
Paul Bakker5121ce52009-01-03 21:22:43 +00001128#endif /* rsa.h */