blob: dc2319ca62d1d52f309a0d0a8ee9e3433df25564 [file] [log] [blame]
Paul Bakker5121ce52009-01-03 21:22:43 +00001/**
2 * \file rsa.h
Paul Bakkere0ccd0a2009-01-04 16:27:10 +00003 *
Paul Bakker37ca75d2011-01-06 12:28:03 +00004 * \brief The RSA public-key cryptosystem
5 *
Manuel Pégourié-Gonnard6fb81872015-07-27 11:11:48 +02006 * Copyright (C) 2006-2015, ARM Limited, All Rights Reserved
Manuel Pégourié-Gonnard37ff1402015-09-04 14:21:07 +02007 * SPDX-License-Identifier: Apache-2.0
8 *
9 * Licensed under the Apache License, Version 2.0 (the "License"); you may
10 * not use this file except in compliance with the License.
11 * You may obtain a copy of the License at
12 *
13 * http://www.apache.org/licenses/LICENSE-2.0
14 *
15 * Unless required by applicable law or agreed to in writing, software
16 * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
17 * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
18 * See the License for the specific language governing permissions and
19 * limitations under the License.
Paul Bakkerb96f1542010-07-18 20:36:00 +000020 *
Manuel Pégourié-Gonnardfe446432015-03-06 13:17:10 +000021 * This file is part of mbed TLS (https://tls.mbed.org)
Paul Bakker5121ce52009-01-03 21:22:43 +000022 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020023#ifndef MBEDTLS_RSA_H
24#define MBEDTLS_RSA_H
Paul Bakker5121ce52009-01-03 21:22:43 +000025
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020026#if !defined(MBEDTLS_CONFIG_FILE)
Paul Bakkered27a042013-04-18 22:46:23 +020027#include "config.h"
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020028#else
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020029#include MBEDTLS_CONFIG_FILE
Manuel Pégourié-Gonnardcef4ad22014-04-29 12:39:06 +020030#endif
Paul Bakkered27a042013-04-18 22:46:23 +020031
Paul Bakker314052f2011-08-15 09:07:52 +000032#include "bignum.h"
Paul Bakkerc70b9822013-04-07 22:00:46 +020033#include "md.h"
Paul Bakker5121ce52009-01-03 21:22:43 +000034
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020035#if defined(MBEDTLS_THREADING_C)
Paul Bakkerc9965dc2013-09-29 14:58:17 +020036#include "threading.h"
37#endif
38
Paul Bakker13e2dfe2009-07-28 07:18:38 +000039/*
40 * RSA Error codes
41 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020042#define MBEDTLS_ERR_RSA_BAD_INPUT_DATA -0x4080 /**< Bad input parameters to function. */
43#define MBEDTLS_ERR_RSA_INVALID_PADDING -0x4100 /**< Input data contains invalid padding and is rejected. */
44#define MBEDTLS_ERR_RSA_KEY_GEN_FAILED -0x4180 /**< Something failed during generation of a key. */
Manuel Pégourié-Gonnardeecb43c2015-05-12 12:56:41 +020045#define MBEDTLS_ERR_RSA_KEY_CHECK_FAILED -0x4200 /**< Key failed to pass the library's validity check. */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020046#define MBEDTLS_ERR_RSA_PUBLIC_FAILED -0x4280 /**< The public key operation failed. */
47#define MBEDTLS_ERR_RSA_PRIVATE_FAILED -0x4300 /**< The private key operation failed. */
48#define MBEDTLS_ERR_RSA_VERIFY_FAILED -0x4380 /**< The PKCS#1 verification failed. */
49#define MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE -0x4400 /**< The output buffer for decryption is not large enough. */
50#define MBEDTLS_ERR_RSA_RNG_FAILED -0x4480 /**< The random generator failed to generate non-zeros. */
Hanno Becker91c194d2017-09-29 12:50:12 +010051#define MBEDTLS_ERR_RSA_EXPORT_UNSUPPORTED -0x4500 /**< The requested parameter export is not possible/allowed. */
Paul Bakker5121ce52009-01-03 21:22:43 +000052
53/*
Paul Bakkerc70b9822013-04-07 22:00:46 +020054 * RSA constants
Paul Bakker5121ce52009-01-03 21:22:43 +000055 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020056#define MBEDTLS_RSA_PUBLIC 0
57#define MBEDTLS_RSA_PRIVATE 1
Paul Bakker5121ce52009-01-03 21:22:43 +000058
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020059#define MBEDTLS_RSA_PKCS_V15 0
60#define MBEDTLS_RSA_PKCS_V21 1
Paul Bakker5121ce52009-01-03 21:22:43 +000061
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020062#define MBEDTLS_RSA_SIGN 1
63#define MBEDTLS_RSA_CRYPT 2
Paul Bakker5121ce52009-01-03 21:22:43 +000064
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020065#define MBEDTLS_RSA_SALT_LEN_ANY -1
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +020066
Manuel Pégourié-Gonnarde511ffc2013-08-22 17:33:21 +020067/*
68 * The above constants may be used even if the RSA module is compile out,
69 * eg for alternative (PKCS#11) RSA implemenations in the PK layers.
70 */
Hanno Beckerd22b78b2017-10-12 11:42:17 +010071
72#if !defined(MBEDTLS_RSA_ALT)
73// Regular implementation
74//
Manuel Pégourié-Gonnarde511ffc2013-08-22 17:33:21 +020075
Paul Bakker407a0da2013-06-27 14:29:21 +020076#ifdef __cplusplus
77extern "C" {
78#endif
79
Hanno Beckera3ebec22017-08-23 14:06:24 +010080/**
Hanno Becker5063cd22017-09-29 11:49:12 +010081 * \brief RSA context structure
82 *
83 * \note Direct manipulation of the members of this structure
84 * is deprecated and will no longer be supported starting
85 * from the next major release. All manipulation should instead
86 * be done through the public interface functions.
87 *
Paul Bakker5121ce52009-01-03 21:22:43 +000088 */
89typedef struct
90{
91 int ver; /*!< always 0 */
Paul Bakker23986e52011-04-24 08:57:21 +000092 size_t len; /*!< size(N) in chars */
Paul Bakker5121ce52009-01-03 21:22:43 +000093
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020094 mbedtls_mpi N; /*!< public modulus */
95 mbedtls_mpi E; /*!< public exponent */
Paul Bakker5121ce52009-01-03 21:22:43 +000096
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +020097 mbedtls_mpi D; /*!< private exponent */
98 mbedtls_mpi P; /*!< 1st prime factor */
99 mbedtls_mpi Q; /*!< 2nd prime factor */
Hanno Becker1a59e792017-08-23 07:41:10 +0100100
Hanno Becker08f055e2017-10-12 10:53:58 +0100101 /* DP,DQ,QP are not used in NO_CRT but temporarily kept for ABI
102 * compatibility. Will be removed on next ABI changing release. */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200103 mbedtls_mpi DP; /*!< D % (P - 1) */
104 mbedtls_mpi DQ; /*!< D % (Q - 1) */
105 mbedtls_mpi QP; /*!< 1 / (Q % P) */
Paul Bakker5121ce52009-01-03 21:22:43 +0000106
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200107 mbedtls_mpi RN; /*!< cached R^2 mod N */
Hanno Becker1a59e792017-08-23 07:41:10 +0100108
Hanno Becker08f055e2017-10-12 10:53:58 +0100109 /* RP, RQ are not used in NO_CRT but temporarily kept for ABI
110 * compatibility. Will be removed on next ABI changing release. */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200111 mbedtls_mpi RP; /*!< cached R^2 mod P */
112 mbedtls_mpi RQ; /*!< cached R^2 mod Q */
Paul Bakker5121ce52009-01-03 21:22:43 +0000113
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200114 mbedtls_mpi Vi; /*!< cached blinding value */
115 mbedtls_mpi Vf; /*!< cached un-blinding value */
Manuel Pégourié-Gonnardea53a552013-09-10 13:29:30 +0200116
Hanno Becker4b2f6912017-09-29 13:34:55 +0100117 int padding; /*!< \c MBEDTLS_RSA_PKCS_V15 for 1.5 padding and
118 \c MBEDTLS_RSA_PKCS_v21 for OAEP/PSS */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200119 int hash_id; /*!< Hash identifier of mbedtls_md_type_t as
120 specified in the mbedtls_md.h header file
Paul Bakker9dcc3222011-03-08 14:16:06 +0000121 for the EME-OAEP and EMSA-PSS
122 encoding */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200123#if defined(MBEDTLS_THREADING_C)
124 mbedtls_threading_mutex_t mutex; /*!< Thread-safety mutex */
Paul Bakkerc9965dc2013-09-29 14:58:17 +0200125#endif
Paul Bakker5121ce52009-01-03 21:22:43 +0000126}
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200127mbedtls_rsa_context;
Paul Bakker5121ce52009-01-03 21:22:43 +0000128
Paul Bakker5121ce52009-01-03 21:22:43 +0000129/**
130 * \brief Initialize an RSA context
131 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100132 * Note: Set padding to \c MBEDTLS_RSA_PKCS_V21 for the RSAES-OAEP
Paul Bakker9a736322012-11-14 12:39:52 +0000133 * encryption scheme and the RSASSA-PSS signature scheme.
134 *
Paul Bakker5121ce52009-01-03 21:22:43 +0000135 * \param ctx RSA context to be initialized
Hanno Becker4b2f6912017-09-29 13:34:55 +0100136 * \param padding \c MBEDTLS_RSA_PKCS_V15 or \c MBEDTLS_RSA_PKCS_V21
137 * \param hash_id \c MBEDTLS_RSA_PKCS_V21 hash identifier
Paul Bakker5121ce52009-01-03 21:22:43 +0000138 *
139 * \note The hash_id parameter is actually ignored
Hanno Becker4b2f6912017-09-29 13:34:55 +0100140 * when using \c MBEDTLS_RSA_PKCS_V15 padding.
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200141 *
142 * \note Choice of padding mode is strictly enforced for private key
143 * operations, since there might be security concerns in
144 * mixing padding modes. For public key operations it's merely
145 * a default value, which can be overriden by calling specific
146 * rsa_rsaes_xxx or rsa_rsassa_xxx functions.
147 *
148 * \note The chosen hash is always used for OEAP encryption.
149 * For PSS signatures, it's always used for making signatures,
150 * but can be overriden (and always is, if set to
Hanno Becker4b2f6912017-09-29 13:34:55 +0100151 * \c MBEDTLS_MD_NONE) for verifying them.
Paul Bakker5121ce52009-01-03 21:22:43 +0000152 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200153void mbedtls_rsa_init( mbedtls_rsa_context *ctx,
Hanno Becker8fd55482017-08-23 14:07:48 +0100154 int padding,
155 int hash_id);
Paul Bakker5121ce52009-01-03 21:22:43 +0000156
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100157/**
158 * \brief Import a set of core parameters into an RSA context
159 *
160 * \param ctx Initialized RSA context to store parameters
161 * \param N RSA modulus, or NULL
162 * \param P First prime factor of N, or NULL
163 * \param Q Second prime factor of N, or NULL
164 * \param D Private exponent, or NULL
165 * \param E Public exponent, or NULL
166 *
167 * \note This function can be called multiple times for successive
168 * imports if the parameters are not simultaneously present.
169 * Any sequence of calls to this function should be followed
170 * by a call to \c mbedtls_rsa_complete which will check
171 * and complete the provided information to a ready-for-use
172 * public or private RSA key.
173 *
Hanno Becker5178dca2017-10-03 14:29:37 +0100174 * \note The imported parameters are copied and need not be preserved
175 * for the lifetime of the RSA context being set up.
176 *
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100177 * \return 0 if successful, non-zero error code on failure.
178 */
179int mbedtls_rsa_import( mbedtls_rsa_context *ctx,
180 const mbedtls_mpi *N,
181 const mbedtls_mpi *P, const mbedtls_mpi *Q,
182 const mbedtls_mpi *D, const mbedtls_mpi *E );
183
184/**
185 * \brief Import core RSA parameters in raw big-endian
186 * binary format into an RSA context
187 *
188 * \param ctx Initialized RSA context to store parameters
189 * \param N RSA modulus, or NULL
190 * \param N_len Byte length of N, ignored if N == NULL
191 * \param P First prime factor of N, or NULL
192 * \param P_len Byte length of P, ignored if P == NULL
193 * \param Q Second prime factor of N, or NULL
194 * \param Q_len Byte length of Q, ignored if Q == NULL
195 * \param D Private exponent, or NULL
196 * \param D_len Byte length of D, ignored if D == NULL
197 * \param E Public exponent, or NULL
198 * \param E_len Byte length of E, ignored if E == NULL
199 *
200 * \note This function can be called multiple times for successive
201 * imports if the parameters are not simultaneously present.
202 * Any sequence of calls to this function should be followed
203 * by a call to \c mbedtls_rsa_complete which will check
204 * and complete the provided information to a ready-for-use
205 * public or private RSA key.
206 *
Hanno Becker5178dca2017-10-03 14:29:37 +0100207 * \note The imported parameters are copied and need not be preserved
208 * for the lifetime of the RSA context being set up.
209 *
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100210 * \return 0 if successful, non-zero error code on failure.
211 */
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100212int mbedtls_rsa_import_raw( mbedtls_rsa_context *ctx,
Hanno Becker74716312017-10-02 10:00:37 +0100213 unsigned char const *N, size_t N_len,
214 unsigned char const *P, size_t P_len,
215 unsigned char const *Q, size_t Q_len,
216 unsigned char const *D, size_t D_len,
217 unsigned char const *E, size_t E_len );
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100218
219/**
220 * \brief Attempt to complete an RSA context from
221 * a set of imported core parameters.
222 *
223 * \param ctx Initialized RSA context to store parameters
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100224 *
Hanno Beckered203612017-09-29 13:34:25 +0100225 * \note
226 * - To setup an RSA public key, precisely N and E
227 * must have been imported.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100228 *
Hanno Beckered203612017-09-29 13:34:25 +0100229 * - To setup an RSA private key, enough information must be
Hanno Becker98838b02017-10-02 13:16:10 +0100230 * present for the other parameters to be derivable.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100231 *
Hanno Beckered203612017-09-29 13:34:25 +0100232 * The default implementation supports the following:
233 * - Derive P, Q from N, D, E
234 * - Derive N, D from P, Q, E.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100235 *
Hanno Beckered203612017-09-29 13:34:25 +0100236 * - Alternative implementations need not support these
237 * and may return \c MBEDTLS_ERR_RSA_BAD_INPUT_DATA instead.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100238 *
Hanno Becker43a08d02017-10-02 13:16:35 +0100239 * \return
240 * - 0 if successful. In this case, it is guaranteed
Hanno Becker1e801f52017-10-10 16:44:47 +0100241 * that the RSA context can be used for RSA operations
242 * without the risk of failure or crash.
Hanno Becker4b2f6912017-09-29 13:34:55 +0100243 * - \c MBEDTLS_ERR_RSA_BAD_INPUT_DATA if the attempted
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100244 * derivations failed.
Hanno Becker43a08d02017-10-02 13:16:35 +0100245 *
Hanno Becker1e801f52017-10-10 16:44:47 +0100246 * \warning This function need not perform consistency checks
247 * for the imported parameters! In particular, parameters that
248 * are not needed by the implementation may be silently discarded
249 * and left unchecked. For the purpose of checking the consistency
250 * of the key material, see \c mbedtls_rsa_check_privkey.
Hanno Becker43a08d02017-10-02 13:16:35 +0100251 *
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100252 */
Hanno Beckerf9e184b2017-10-10 16:49:26 +0100253int mbedtls_rsa_complete( mbedtls_rsa_context *ctx );
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100254
255/**
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100256 * \brief Export core parameters of an RSA key
257 *
258 * \param ctx Initialized RSA context
259 * \param N MPI to hold the RSA modulus, or NULL
260 * \param P MPI to hold the first prime factor of N, or NULL
261 * \param Q MPI to hold the second prime factor of N, or NULL
262 * \param D MPI to hold the private exponent, or NULL
263 * \param E MPI to hold the public exponent, or NULL
264 *
Hanno Beckered203612017-09-29 13:34:25 +0100265 * \return
266 * - 0 if successful. In this case, the non-NULL buffers
267 * pointed to by N, P, Q, D, E are fully written, with
268 * additional unused space filled leading by 0-bytes.
269 * - Non-zero return code otherwise. In particular, if
270 * exporting the requested parameters
271 * cannot be done because of a lack of functionality
272 * or because of security policies, the error code
273 * \c MBEDTLS_ERR_RSA_EXPORT_UNSUPPORTED is returned.
274 * In this case, the RSA context stays intact and can
275 * be continued to be used.
Hanno Becker91c194d2017-09-29 12:50:12 +0100276 *
Hanno Beckered203612017-09-29 13:34:25 +0100277 * \note Reasons for returning \c MBEDTLS_ERR_RSA_EXPORT_UNSUPPORTED
Hanno Becker91c194d2017-09-29 12:50:12 +0100278 * would be the following: Firstly, it might be that an
279 * alternative RSA implementation is in use which stores
280 * the key externally, and which either cannot or should not
281 * export it into RAM. Alternatively, an implementation
282 * (regardless of SW or HW) might not support deducing e.g.
283 * P, Q from N, D, E if the former are not part of the
284 * implementation.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100285 *
286 */
287int mbedtls_rsa_export( const mbedtls_rsa_context *ctx,
288 mbedtls_mpi *N, mbedtls_mpi *P, mbedtls_mpi *Q,
289 mbedtls_mpi *D, mbedtls_mpi *E );
290
291/**
292 * \brief Export core parameters of an RSA key
293 * in raw big-endian binary format
294 *
295 * \param ctx Initialized RSA context
296 * \param N Byte array to store the RSA modulus, or NULL
297 * \param N_len Size of buffer for modulus
298 * \param P Byte array to hold the first prime factor of N, or NULL
299 * \param P_len Size of buffer for first prime factor
300 * \param Q Byte array to hold the second prime factor of N, or NULL
301 * \param Q_len Size of buffer for second prime factor
302 * \param D Byte array to hold the private exponent, or NULL
303 * \param D_len Size of buffer for private exponent
304 * \param E Byte array to hold the public exponent, or NULL
305 * \param E_len Size of buffer for public exponent
306 *
307 * \note The length fields are ignored if the corresponding
308 * buffer pointers are NULL.
309 *
Hanno Beckered203612017-09-29 13:34:25 +0100310 * \return
311 * - 0 if successful. In this case, the non-NULL buffers
312 * pointed to by N, P, Q, D, E are fully written, with
313 * additional unused space filled leading by 0-bytes.
314 * - Non-zero return code otherwise. In particular, if
315 * exporting the requested parameters
316 * cannot be done because of a lack of functionality
317 * or because of security policies, the error code
318 * \c MBEDTLS_ERR_RSA_EXPORT_UNSUPPORTED is returned.
319 * In this case, the RSA context stays intact and can
320 * be continued to be used.
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100321 *
Hanno Beckered203612017-09-29 13:34:25 +0100322 * \note Reasons for returning \c MBEDTLS_ERR_RSA_EXPORT_UNSUPPORTED
Hanno Becker91c194d2017-09-29 12:50:12 +0100323 * would be the following: Firstly, it might be that an
324 * alternative RSA implementation is in use which stores
325 * the key externally, and which either cannot or should not
326 * export it into RAM. Alternatively, an implementation
327 * (regardless of SW or HW) might not support deducing e.g.
328 * P, Q from N, D, E if the former are not part of the
329 * implementation.
330 *
331 *
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100332 */
333int mbedtls_rsa_export_raw( const mbedtls_rsa_context *ctx,
334 unsigned char *N, size_t N_len,
335 unsigned char *P, size_t P_len,
336 unsigned char *Q, size_t Q_len,
337 unsigned char *D, size_t D_len,
338 unsigned char *E, size_t E_len );
339
340/**
341 * \brief Export CRT parameters of a private RSA key
342 *
343 * \param ctx Initialized RSA context
344 * \param DP MPI to hold D modulo P-1, or NULL
345 * \param DQ MPI to hold D modulo Q-1, or NULL
346 * \param QP MPI to hold modular inverse of Q modulo P, or NULL
347 *
348 * \return 0 if successful, non-zero error code otherwise.
349 *
350 * \note Alternative RSA implementations not using CRT-parameters
351 * internally can implement this function using based on
352 * \c mbedtls_rsa_deduce_opt.
353 *
354 */
355int mbedtls_rsa_export_crt( const mbedtls_rsa_context *ctx,
356 mbedtls_mpi *DP, mbedtls_mpi *DQ, mbedtls_mpi *QP );
357
Paul Bakker5121ce52009-01-03 21:22:43 +0000358/**
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +0100359 * \brief Set padding for an already initialized RSA context
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200360 * See \c mbedtls_rsa_init() for details.
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +0100361 *
362 * \param ctx RSA context to be set
Hanno Becker4b2f6912017-09-29 13:34:55 +0100363 * \param padding \c MBEDTLS_RSA_PKCS_V15 or \c MBEDTLS_RSA_PKCS_V21
364 * \param hash_id \c MBEDTLS_RSA_PKCS_V21 hash identifier
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +0100365 */
Hanno Becker8fd55482017-08-23 14:07:48 +0100366void mbedtls_rsa_set_padding( mbedtls_rsa_context *ctx, int padding,
367 int hash_id);
Manuel Pégourié-Gonnard844a4c02014-03-10 21:55:35 +0100368
369/**
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100370 * \brief Get length of RSA modulus in bytes
371 *
372 * \param ctx Initialized RSA context
373 *
374 * \return Length of RSA modulus, in bytes.
375 *
376 */
377size_t mbedtls_rsa_get_len( const mbedtls_rsa_context *ctx );
378
379/**
Paul Bakker5121ce52009-01-03 21:22:43 +0000380 * \brief Generate an RSA keypair
381 *
382 * \param ctx RSA context that will hold the key
Paul Bakker21eb2802010-08-16 11:10:02 +0000383 * \param f_rng RNG function
384 * \param p_rng RNG parameter
Paul Bakker5121ce52009-01-03 21:22:43 +0000385 * \param nbits size of the public key in bits
386 * \param exponent public exponent (e.g., 65537)
387 *
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200388 * \note mbedtls_rsa_init() must be called beforehand to setup
Paul Bakker21eb2802010-08-16 11:10:02 +0000389 * the RSA context.
Paul Bakker5121ce52009-01-03 21:22:43 +0000390 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100391 * \return 0 if successful, or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakker5121ce52009-01-03 21:22:43 +0000392 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200393int mbedtls_rsa_gen_key( mbedtls_rsa_context *ctx,
Hanno Becker8fd55482017-08-23 14:07:48 +0100394 int (*f_rng)(void *, unsigned char *, size_t),
395 void *p_rng,
396 unsigned int nbits, int exponent );
Paul Bakker5121ce52009-01-03 21:22:43 +0000397
398/**
Hanno Becker43a08d02017-10-02 13:16:35 +0100399 * \brief Check if a context contains (at least) an RSA public key
Paul Bakker5121ce52009-01-03 21:22:43 +0000400 *
401 * \param ctx RSA context to be checked
402 *
Hanno Becker43a08d02017-10-02 13:16:35 +0100403 * \return 0 if successful, or an \c MBEDTLS_ERR_RSA_XXX error code.
404 * On success, it is guaranteed that enough information is
405 * present to perform an RSA public key operation
406 * \c mbedtls_rsa_public.
407 *
Paul Bakker5121ce52009-01-03 21:22:43 +0000408 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200409int mbedtls_rsa_check_pubkey( const mbedtls_rsa_context *ctx );
Paul Bakker5121ce52009-01-03 21:22:43 +0000410
411/**
Hanno Becker1e801f52017-10-10 16:44:47 +0100412 * \brief Check if a context contains an RSA private key
413 * and perform basic consistency checks.
Paul Bakker5121ce52009-01-03 21:22:43 +0000414 *
Hanno Becker1e801f52017-10-10 16:44:47 +0100415 * \param ctx RSA context to be checked
Paul Bakker5121ce52009-01-03 21:22:43 +0000416 *
Hanno Becker1e801f52017-10-10 16:44:47 +0100417 * \return 0 if successful, or an \c MBEDTLS_ERR_RSA_XXX error code.
Hanno Becker43a08d02017-10-02 13:16:35 +0100418 *
Hanno Becker68767a62017-10-17 10:13:31 +0100419 * \note The consistency checks performed by this function not only
420 * ensure that \c mbedtls_rsa_private can be called successfully
421 * on the given context, but that the various parameters are
422 * mutually consistent with high probability, in the sense that
423 * \c mbedtls_rsa_public and \c mbedtls_rsa_private are inverses.
Hanno Becker1e801f52017-10-10 16:44:47 +0100424 *
425 * \warning This function should catch accidental misconfigurations
426 * like swapping of parameters, but it cannot establish full
427 * trust in neither the quality nor the consistency of the key
428 * material that was used to setup the given RSA context:
429 * - Regarding consistency, note (see \c mbedtls_rsa_complete)
430 * that imported parameters irrelevant for the implementation
431 * might be silently dropped, in which case the present
432 * function doesn't have access to and hence cannot check them.
433 * If the user desires to check the consistency of the entire
434 * content of, say, an PKCS1-encoded RSA private key, he
435 * should use \c mbedtls_rsa_validate_params before setting
436 * up the RSA context.
437 * Further, if the implementation performs empirical checks,
438 * these checks will substantiate but not guarantee consistency.
439 * - Regarding quality, this function is not expected to perform
440 * extended quality assessments like checking that the prime
441 * factors are safe. Further, it is the user's responsibility to
442 * ensure trustworthiness of the source of his RSA parameters,
443 * a question going beyond what's effectively checkable
444 * by the library.
Hanno Becker43a08d02017-10-02 13:16:35 +0100445 *
Paul Bakker5121ce52009-01-03 21:22:43 +0000446 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200447int mbedtls_rsa_check_privkey( const mbedtls_rsa_context *ctx );
Paul Bakker5121ce52009-01-03 21:22:43 +0000448
449/**
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100450 * \brief Check a public-private RSA key pair.
451 * Check each of the contexts, and make sure they match.
452 *
453 * \param pub RSA context holding the public key
454 * \param prv RSA context holding the private key
455 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100456 * \return 0 if successful, or an \c MBEDTLS_ERR_RSA_XXX error code
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100457 */
Hanno Becker98838b02017-10-02 13:16:10 +0100458int mbedtls_rsa_check_pub_priv( const mbedtls_rsa_context *pub,
459 const mbedtls_rsa_context *prv );
Manuel Pégourié-Gonnard2f8d1f92014-11-06 14:02:51 +0100460
461/**
Paul Bakker5121ce52009-01-03 21:22:43 +0000462 * \brief Do an RSA public key operation
463 *
464 * \param ctx RSA context
465 * \param input input buffer
466 * \param output output buffer
467 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100468 * \return 0 if successful, or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakker5121ce52009-01-03 21:22:43 +0000469 *
470 * \note This function does NOT take care of message
Brian J Murray2adecba2016-11-06 04:45:15 -0800471 * padding. Also, be sure to set input[0] = 0 or ensure that
Paul Bakker619467a2009-03-28 23:26:51 +0000472 * input is smaller than N.
Paul Bakker5121ce52009-01-03 21:22:43 +0000473 *
474 * \note The input and output buffers must be large
475 * enough (eg. 128 bytes if RSA-1024 is used).
476 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200477int mbedtls_rsa_public( mbedtls_rsa_context *ctx,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000478 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000479 unsigned char *output );
480
481/**
482 * \brief Do an RSA private key operation
483 *
484 * \param ctx RSA context
Paul Bakker548957d2013-08-30 10:30:02 +0200485 * \param f_rng RNG function (Needed for blinding)
486 * \param p_rng RNG parameter
Paul Bakker5121ce52009-01-03 21:22:43 +0000487 * \param input input buffer
488 * \param output output buffer
489 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100490 * \return 0 if successful, or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakker5121ce52009-01-03 21:22:43 +0000491 *
492 * \note The input and output buffers must be large
493 * enough (eg. 128 bytes if RSA-1024 is used).
494 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200495int mbedtls_rsa_private( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200496 int (*f_rng)(void *, unsigned char *, size_t),
497 void *p_rng,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000498 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000499 unsigned char *output );
500
501/**
Paul Bakkerb3869132013-02-28 17:21:01 +0100502 * \brief Generic wrapper to perform a PKCS#1 encryption using the
503 * mode from the context. Add the message padding, then do an
504 * RSA operation.
Paul Bakker5121ce52009-01-03 21:22:43 +0000505 *
506 * \param ctx RSA context
Paul Bakker548957d2013-08-30 10:30:02 +0200507 * \param f_rng RNG function (Needed for padding and PKCS#1 v2.1 encoding
Hanno Becker4b2f6912017-09-29 13:34:55 +0100508 * and \c MBEDTLS_RSA_PRIVATE)
Paul Bakker21eb2802010-08-16 11:10:02 +0000509 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100510 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
Paul Bakker592457c2009-04-01 19:01:43 +0000511 * \param ilen contains the plaintext length
Paul Bakker5121ce52009-01-03 21:22:43 +0000512 * \param input buffer holding the data to be encrypted
513 * \param output buffer that will hold the ciphertext
514 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100515 * \return 0 if successful, or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakker5121ce52009-01-03 21:22:43 +0000516 *
517 * \note The output buffer must be as large as the size
518 * of ctx->N (eg. 128 bytes if RSA-1024 is used).
519 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200520int mbedtls_rsa_pkcs1_encrypt( mbedtls_rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000521 int (*f_rng)(void *, unsigned char *, size_t),
Paul Bakker21eb2802010-08-16 11:10:02 +0000522 void *p_rng,
Paul Bakker23986e52011-04-24 08:57:21 +0000523 int mode, size_t ilen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000524 const unsigned char *input,
Paul Bakker5121ce52009-01-03 21:22:43 +0000525 unsigned char *output );
526
527/**
Paul Bakkerb3869132013-02-28 17:21:01 +0100528 * \brief Perform a PKCS#1 v1.5 encryption (RSAES-PKCS1-v1_5-ENCRYPT)
529 *
530 * \param ctx RSA context
Hanno Becker4b2f6912017-09-29 13:34:55 +0100531 * \param f_rng RNG function (Needed for padding and \c MBEDTLS_RSA_PRIVATE)
Paul Bakkerb3869132013-02-28 17:21:01 +0100532 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100533 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
Paul Bakkerb3869132013-02-28 17:21:01 +0100534 * \param ilen contains the plaintext length
535 * \param input buffer holding the data to be encrypted
536 * \param output buffer that will hold the ciphertext
537 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100538 * \return 0 if successful, or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakkerb3869132013-02-28 17:21:01 +0100539 *
540 * \note The output buffer must be as large as the size
541 * of ctx->N (eg. 128 bytes if RSA-1024 is used).
542 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200543int mbedtls_rsa_rsaes_pkcs1_v15_encrypt( mbedtls_rsa_context *ctx,
Paul Bakkerb3869132013-02-28 17:21:01 +0100544 int (*f_rng)(void *, unsigned char *, size_t),
545 void *p_rng,
546 int mode, size_t ilen,
547 const unsigned char *input,
548 unsigned char *output );
549
550/**
551 * \brief Perform a PKCS#1 v2.1 OAEP encryption (RSAES-OAEP-ENCRYPT)
552 *
553 * \param ctx RSA context
Paul Bakker548957d2013-08-30 10:30:02 +0200554 * \param f_rng RNG function (Needed for padding and PKCS#1 v2.1 encoding
Hanno Becker4b2f6912017-09-29 13:34:55 +0100555 * and \c MBEDTLS_RSA_PRIVATE)
Paul Bakkerb3869132013-02-28 17:21:01 +0100556 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100557 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
Paul Bakkera43231c2013-02-28 17:33:49 +0100558 * \param label buffer holding the custom label to use
559 * \param label_len contains the label length
Paul Bakkerb3869132013-02-28 17:21:01 +0100560 * \param ilen contains the plaintext length
561 * \param input buffer holding the data to be encrypted
562 * \param output buffer that will hold the ciphertext
563 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100564 * \return 0 if successful, or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakkerb3869132013-02-28 17:21:01 +0100565 *
566 * \note The output buffer must be as large as the size
567 * of ctx->N (eg. 128 bytes if RSA-1024 is used).
568 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200569int mbedtls_rsa_rsaes_oaep_encrypt( mbedtls_rsa_context *ctx,
Paul Bakkerb3869132013-02-28 17:21:01 +0100570 int (*f_rng)(void *, unsigned char *, size_t),
571 void *p_rng,
Paul Bakkera43231c2013-02-28 17:33:49 +0100572 int mode,
573 const unsigned char *label, size_t label_len,
574 size_t ilen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100575 const unsigned char *input,
576 unsigned char *output );
577
578/**
579 * \brief Generic wrapper to perform a PKCS#1 decryption using the
580 * mode from the context. Do an RSA operation, then remove
581 * the message padding
Paul Bakker5121ce52009-01-03 21:22:43 +0000582 *
583 * \param ctx RSA context
Hanno Becker4b2f6912017-09-29 13:34:55 +0100584 * \param f_rng RNG function (Only needed for \c MBEDTLS_RSA_PRIVATE)
Paul Bakker548957d2013-08-30 10:30:02 +0200585 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100586 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
Paul Bakker4d8ca702011-08-09 10:31:05 +0000587 * \param olen will contain the plaintext length
Paul Bakker5121ce52009-01-03 21:22:43 +0000588 * \param input buffer holding the encrypted data
589 * \param output buffer that will hold the plaintext
Paul Bakker23986e52011-04-24 08:57:21 +0000590 * \param output_max_len maximum length of the output buffer
Paul Bakker5121ce52009-01-03 21:22:43 +0000591 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100592 * \return 0 if successful, or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakker5121ce52009-01-03 21:22:43 +0000593 *
Hanno Becker248ae6d2017-05-04 11:27:39 +0100594 * \note The output buffer length \c output_max_len should be
Hanno Becker4b2f6912017-09-29 13:34:55 +0100595 * as large as the size \c ctx->len of \c ctx->N (eg. 128 bytes
Hanno Becker248ae6d2017-05-04 11:27:39 +0100596 * if RSA-1024 is used) to be able to hold an arbitrary
597 * decrypted message. If it is not large enough to hold
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100598 * the decryption of the particular ciphertext provided,
Hanno Becker4b2f6912017-09-29 13:34:55 +0100599 * the function will return \c MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE.
Hanno Becker248ae6d2017-05-04 11:27:39 +0100600 *
601 * \note The input buffer must be as large as the size
Hanno Becker4b2f6912017-09-29 13:34:55 +0100602 * of \c ctx->N (eg. 128 bytes if RSA-1024 is used).
Paul Bakker5121ce52009-01-03 21:22:43 +0000603 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200604int mbedtls_rsa_pkcs1_decrypt( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200605 int (*f_rng)(void *, unsigned char *, size_t),
606 void *p_rng,
Paul Bakker23986e52011-04-24 08:57:21 +0000607 int mode, size_t *olen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000608 const unsigned char *input,
Paul Bakker060c5682009-01-12 21:48:39 +0000609 unsigned char *output,
Paul Bakker23986e52011-04-24 08:57:21 +0000610 size_t output_max_len );
Paul Bakker5121ce52009-01-03 21:22:43 +0000611
612/**
Paul Bakkerb3869132013-02-28 17:21:01 +0100613 * \brief Perform a PKCS#1 v1.5 decryption (RSAES-PKCS1-v1_5-DECRYPT)
614 *
615 * \param ctx RSA context
Hanno Becker4b2f6912017-09-29 13:34:55 +0100616 * \param f_rng RNG function (Only needed for \c MBEDTLS_RSA_PRIVATE)
Paul Bakker548957d2013-08-30 10:30:02 +0200617 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100618 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
Paul Bakkerb3869132013-02-28 17:21:01 +0100619 * \param olen will contain the plaintext length
620 * \param input buffer holding the encrypted data
621 * \param output buffer that will hold the plaintext
622 * \param output_max_len maximum length of the output buffer
623 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100624 * \return 0 if successful, or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakkerb3869132013-02-28 17:21:01 +0100625 *
Hanno Becker248ae6d2017-05-04 11:27:39 +0100626 * \note The output buffer length \c output_max_len should be
Hanno Becker4b2f6912017-09-29 13:34:55 +0100627 * as large as the size \c ctx->len of \c ctx->N (eg. 128 bytes
Hanno Becker248ae6d2017-05-04 11:27:39 +0100628 * if RSA-1024 is used) to be able to hold an arbitrary
629 * decrypted message. If it is not large enough to hold
Hanno Beckercbb59bc2017-08-23 14:11:08 +0100630 * the decryption of the particular ciphertext provided,
Hanno Becker4b2f6912017-09-29 13:34:55 +0100631 * the function will return \c MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE.
Hanno Becker248ae6d2017-05-04 11:27:39 +0100632 *
633 * \note The input buffer must be as large as the size
Hanno Becker4b2f6912017-09-29 13:34:55 +0100634 * of \c ctx->N (eg. 128 bytes if RSA-1024 is used).
Paul Bakkerb3869132013-02-28 17:21:01 +0100635 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200636int mbedtls_rsa_rsaes_pkcs1_v15_decrypt( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200637 int (*f_rng)(void *, unsigned char *, size_t),
638 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +0100639 int mode, size_t *olen,
640 const unsigned char *input,
641 unsigned char *output,
642 size_t output_max_len );
643
644/**
645 * \brief Perform a PKCS#1 v2.1 OAEP decryption (RSAES-OAEP-DECRYPT)
646 *
647 * \param ctx RSA context
Hanno Becker4b2f6912017-09-29 13:34:55 +0100648 * \param f_rng RNG function (Only needed for \c MBEDTLS_RSA_PRIVATE)
Paul Bakker548957d2013-08-30 10:30:02 +0200649 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100650 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
Paul Bakkera43231c2013-02-28 17:33:49 +0100651 * \param label buffer holding the custom label to use
652 * \param label_len contains the label length
Paul Bakkerb3869132013-02-28 17:21:01 +0100653 * \param olen will contain the plaintext length
654 * \param input buffer holding the encrypted data
655 * \param output buffer that will hold the plaintext
656 * \param output_max_len maximum length of the output buffer
657 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100658 * \return 0 if successful, or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakkerb3869132013-02-28 17:21:01 +0100659 *
Hanno Becker248ae6d2017-05-04 11:27:39 +0100660 * \note The output buffer length \c output_max_len should be
Hanno Becker4b2f6912017-09-29 13:34:55 +0100661 * as large as the size \c ctx->len of \c ctx->N (eg. 128 bytes
Hanno Becker248ae6d2017-05-04 11:27:39 +0100662 * if RSA-1024 is used) to be able to hold an arbitrary
663 * decrypted message. If it is not large enough to hold
Hanno Becker8fd55482017-08-23 14:07:48 +0100664 * the decryption of the particular ciphertext provided,
Hanno Becker4b2f6912017-09-29 13:34:55 +0100665 * the function will return \c MBEDTLS_ERR_RSA_OUTPUT_TOO_LARGE.
Hanno Becker248ae6d2017-05-04 11:27:39 +0100666 *
Hanno Becker8fd55482017-08-23 14:07:48 +0100667 * \note The input buffer must be as large as the size
Hanno Becker4b2f6912017-09-29 13:34:55 +0100668 * of \c ctx->N (eg. 128 bytes if RSA-1024 is used).
Paul Bakkerb3869132013-02-28 17:21:01 +0100669 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200670int mbedtls_rsa_rsaes_oaep_decrypt( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200671 int (*f_rng)(void *, unsigned char *, size_t),
672 void *p_rng,
Paul Bakkera43231c2013-02-28 17:33:49 +0100673 int mode,
674 const unsigned char *label, size_t label_len,
675 size_t *olen,
Paul Bakkerb3869132013-02-28 17:21:01 +0100676 const unsigned char *input,
677 unsigned char *output,
678 size_t output_max_len );
679
680/**
681 * \brief Generic wrapper to perform a PKCS#1 signature using the
682 * mode from the context. Do a private RSA operation to sign
683 * a message digest
Paul Bakker5121ce52009-01-03 21:22:43 +0000684 *
685 * \param ctx RSA context
Paul Bakker548957d2013-08-30 10:30:02 +0200686 * \param f_rng RNG function (Needed for PKCS#1 v2.1 encoding and for
Hanno Becker4b2f6912017-09-29 13:34:55 +0100687 * \c MBEDTLS_RSA_PRIVATE)
Paul Bakker9dcc3222011-03-08 14:16:06 +0000688 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100689 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
690 * \param md_alg a \c MBEDTLS_MD_XXX (use \c MBEDTLS_MD_NONE for
691 * signing raw data)
692 * \param hashlen message digest length (for \c MBEDTLS_MD_NONE only)
Paul Bakker5121ce52009-01-03 21:22:43 +0000693 * \param hash buffer holding the message digest
694 * \param sig buffer that will hold the ciphertext
695 *
696 * \return 0 if the signing operation was successful,
Hanno Becker4b2f6912017-09-29 13:34:55 +0100697 * or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakker5121ce52009-01-03 21:22:43 +0000698 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100699 * \note The \c sig buffer must be as large as the size
700 * of \c ctx->N (eg. 128 bytes if RSA-1024 is used).
Paul Bakker9dcc3222011-03-08 14:16:06 +0000701 *
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200702 * \note In case of PKCS#1 v2.1 encoding, see comments on
Hanno Becker4b2f6912017-09-29 13:34:55 +0100703 * \note \c mbedtls_rsa_rsassa_pss_sign() for details on
704 * \c md_alg and \c hash_id.
Paul Bakker5121ce52009-01-03 21:22:43 +0000705 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200706int mbedtls_rsa_pkcs1_sign( mbedtls_rsa_context *ctx,
Paul Bakkera3d195c2011-11-27 21:07:34 +0000707 int (*f_rng)(void *, unsigned char *, size_t),
Paul Bakker9dcc3222011-03-08 14:16:06 +0000708 void *p_rng,
Paul Bakker5121ce52009-01-03 21:22:43 +0000709 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200710 mbedtls_md_type_t md_alg,
Paul Bakker23986e52011-04-24 08:57:21 +0000711 unsigned int hashlen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000712 const unsigned char *hash,
Paul Bakker5121ce52009-01-03 21:22:43 +0000713 unsigned char *sig );
714
715/**
Paul Bakkerb3869132013-02-28 17:21:01 +0100716 * \brief Perform a PKCS#1 v1.5 signature (RSASSA-PKCS1-v1_5-SIGN)
717 *
718 * \param ctx RSA context
Hanno Becker4b2f6912017-09-29 13:34:55 +0100719 * \param f_rng RNG function (Only needed for \c MBEDTLS_RSA_PRIVATE)
Paul Bakker548957d2013-08-30 10:30:02 +0200720 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100721 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
722 * \param md_alg a \c MBEDTLS_MD_XXX (use \c MBEDTLS_MD_NONE
723 * for signing raw data)
724 * \param hashlen message digest length (for \c MBEDTLS_MD_NONE only)
Paul Bakkerb3869132013-02-28 17:21:01 +0100725 * \param hash buffer holding the message digest
726 * \param sig buffer that will hold the ciphertext
727 *
728 * \return 0 if the signing operation was successful,
Hanno Becker4b2f6912017-09-29 13:34:55 +0100729 * or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakkerb3869132013-02-28 17:21:01 +0100730 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100731 * \note The \c sig buffer must be as large as the size
732 * of \c ctx->N (eg. 128 bytes if RSA-1024 is used).
Paul Bakkerb3869132013-02-28 17:21:01 +0100733 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200734int mbedtls_rsa_rsassa_pkcs1_v15_sign( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200735 int (*f_rng)(void *, unsigned char *, size_t),
736 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +0100737 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200738 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +0100739 unsigned int hashlen,
740 const unsigned char *hash,
741 unsigned char *sig );
742
743/**
744 * \brief Perform a PKCS#1 v2.1 PSS signature (RSASSA-PSS-SIGN)
745 *
746 * \param ctx RSA context
Paul Bakker548957d2013-08-30 10:30:02 +0200747 * \param f_rng RNG function (Needed for PKCS#1 v2.1 encoding and for
Hanno Becker4b2f6912017-09-29 13:34:55 +0100748 * \c MBEDTLS_RSA_PRIVATE)
Paul Bakkerb3869132013-02-28 17:21:01 +0100749 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100750 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
751 * \param md_alg a \c MBEDTLS_MD_XXX (use \c MBEDTLS_MD_NONE
752 * for signing raw data)
753 * \param hashlen message digest length (for \c MBEDTLS_MD_NONE only)
Paul Bakkerb3869132013-02-28 17:21:01 +0100754 * \param hash buffer holding the message digest
755 * \param sig buffer that will hold the ciphertext
756 *
757 * \return 0 if the signing operation was successful,
Hanno Becker4b2f6912017-09-29 13:34:55 +0100758 * or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakkerb3869132013-02-28 17:21:01 +0100759 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100760 * \note The \c sig buffer must be as large as the size
761 * of \c ctx->N (eg. 128 bytes if RSA-1024 is used).
Paul Bakkerb3869132013-02-28 17:21:01 +0100762 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100763 * \note The \c hash_id in the RSA context is the one used for the
764 * encoding. \c md_alg in the function call is the type of hash
Paul Bakkerb3869132013-02-28 17:21:01 +0100765 * that is encoded. According to RFC 3447 it is advised to
766 * keep both hashes the same.
767 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200768int mbedtls_rsa_rsassa_pss_sign( mbedtls_rsa_context *ctx,
Paul Bakkerb3869132013-02-28 17:21:01 +0100769 int (*f_rng)(void *, unsigned char *, size_t),
770 void *p_rng,
771 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200772 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +0100773 unsigned int hashlen,
774 const unsigned char *hash,
775 unsigned char *sig );
776
777/**
778 * \brief Generic wrapper to perform a PKCS#1 verification using the
779 * mode from the context. Do a public RSA operation and check
780 * the message digest
Paul Bakker5121ce52009-01-03 21:22:43 +0000781 *
782 * \param ctx points to an RSA public key
Hanno Becker4b2f6912017-09-29 13:34:55 +0100783 * \param f_rng RNG function (Only needed for \c MBEDTLS_RSA_PRIVATE)
Paul Bakker548957d2013-08-30 10:30:02 +0200784 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100785 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
786 * \param md_alg a \c MBEDTLS_MD_XXX (use \c MBEDTLS_MD_NONE for signing raw data)
787 * \param hashlen message digest length (for \c MBEDTLS_MD_NONE only)
Paul Bakker5121ce52009-01-03 21:22:43 +0000788 * \param hash buffer holding the message digest
789 * \param sig buffer holding the ciphertext
790 *
791 * \return 0 if the verify operation was successful,
Hanno Becker4b2f6912017-09-29 13:34:55 +0100792 * or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakker5121ce52009-01-03 21:22:43 +0000793 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100794 * \note The \c sig buffer must be as large as the size
795 * of \c ctx->N (eg. 128 bytes if RSA-1024 is used).
Paul Bakker9dcc3222011-03-08 14:16:06 +0000796 *
Manuel Pégourié-Gonnarde6d1d822014-06-02 16:47:02 +0200797 * \note In case of PKCS#1 v2.1 encoding, see comments on
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200798 * \c mbedtls_rsa_rsassa_pss_verify() about md_alg and hash_id.
Paul Bakker5121ce52009-01-03 21:22:43 +0000799 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200800int mbedtls_rsa_pkcs1_verify( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200801 int (*f_rng)(void *, unsigned char *, size_t),
802 void *p_rng,
Paul Bakker5121ce52009-01-03 21:22:43 +0000803 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200804 mbedtls_md_type_t md_alg,
Paul Bakker23986e52011-04-24 08:57:21 +0000805 unsigned int hashlen,
Paul Bakkerff60ee62010-03-16 21:09:09 +0000806 const unsigned char *hash,
Manuel Pégourié-Gonnardcc0a9d02013-08-12 11:34:35 +0200807 const unsigned char *sig );
Paul Bakker5121ce52009-01-03 21:22:43 +0000808
809/**
Paul Bakkerb3869132013-02-28 17:21:01 +0100810 * \brief Perform a PKCS#1 v1.5 verification (RSASSA-PKCS1-v1_5-VERIFY)
811 *
812 * \param ctx points to an RSA public key
Hanno Becker4b2f6912017-09-29 13:34:55 +0100813 * \param f_rng RNG function (Only needed for \c MBEDTLS_RSA_PRIVATE)
Paul Bakker548957d2013-08-30 10:30:02 +0200814 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100815 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
816 * \param md_alg a \c MBEDTLS_MD_XXX (use \c MBEDTLS_MD_NONE
817 * for signing raw data)
818 * \param hashlen message digest length (for \c MBEDTLS_MD_NONE only)
Paul Bakkerb3869132013-02-28 17:21:01 +0100819 * \param hash buffer holding the message digest
820 * \param sig buffer holding the ciphertext
821 *
822 * \return 0 if the verify operation was successful,
Hanno Becker4b2f6912017-09-29 13:34:55 +0100823 * or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakkerb3869132013-02-28 17:21:01 +0100824 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100825 * \note The \c sig buffer must be as large as the size
826 * of \c ctx->N (eg. 128 bytes if RSA-1024 is used).
Paul Bakkerb3869132013-02-28 17:21:01 +0100827 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200828int mbedtls_rsa_rsassa_pkcs1_v15_verify( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200829 int (*f_rng)(void *, unsigned char *, size_t),
830 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +0100831 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200832 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +0100833 unsigned int hashlen,
834 const unsigned char *hash,
Manuel Pégourié-Gonnardcc0a9d02013-08-12 11:34:35 +0200835 const unsigned char *sig );
Paul Bakkerb3869132013-02-28 17:21:01 +0100836
837/**
838 * \brief Perform a PKCS#1 v2.1 PSS verification (RSASSA-PSS-VERIFY)
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +0200839 * (This is the "simple" version.)
Paul Bakkerb3869132013-02-28 17:21:01 +0100840 *
841 * \param ctx points to an RSA public key
Hanno Becker4b2f6912017-09-29 13:34:55 +0100842 * \param f_rng RNG function (Only needed for \c MBEDTLS_RSA_PRIVATE)
Paul Bakker548957d2013-08-30 10:30:02 +0200843 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100844 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
845 * \param md_alg a \c MBEDTLS_MD_XXX (use \c MBEDTLS_MD_NONE for signing raw data)
846 * \param hashlen message digest length (for \c MBEDTLS_MD_NONE only)
Paul Bakkerb3869132013-02-28 17:21:01 +0100847 * \param hash buffer holding the message digest
848 * \param sig buffer holding the ciphertext
849 *
850 * \return 0 if the verify operation was successful,
Hanno Becker4b2f6912017-09-29 13:34:55 +0100851 * or an \c MBEDTLS_ERR_RSA_XXX error code
Paul Bakkerb3869132013-02-28 17:21:01 +0100852 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100853 * \note The \c sig buffer must be as large as the size
854 * of \c ctx->N (eg. 128 bytes if RSA-1024 is used).
Paul Bakkerb3869132013-02-28 17:21:01 +0100855 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100856 * \note The \c hash_id in the RSA context is the one used for the
857 * verification. \c md_alg in the function call is the type of
Paul Bakkerb9e4e2c2014-05-01 14:18:25 +0200858 * hash that is verified. According to RFC 3447 it is advised to
Hanno Becker4b2f6912017-09-29 13:34:55 +0100859 * keep both hashes the same. If \c hash_id in the RSA context is
860 * unset, the \c md_alg from the function call is used.
Paul Bakkerb3869132013-02-28 17:21:01 +0100861 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200862int mbedtls_rsa_rsassa_pss_verify( mbedtls_rsa_context *ctx,
Paul Bakker548957d2013-08-30 10:30:02 +0200863 int (*f_rng)(void *, unsigned char *, size_t),
864 void *p_rng,
Paul Bakkerb3869132013-02-28 17:21:01 +0100865 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200866 mbedtls_md_type_t md_alg,
Paul Bakkerb3869132013-02-28 17:21:01 +0100867 unsigned int hashlen,
868 const unsigned char *hash,
Manuel Pégourié-Gonnardcc0a9d02013-08-12 11:34:35 +0200869 const unsigned char *sig );
Paul Bakkerb3869132013-02-28 17:21:01 +0100870
871/**
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +0200872 * \brief Perform a PKCS#1 v2.1 PSS verification (RSASSA-PSS-VERIFY)
873 * (This is the version with "full" options.)
874 *
875 * \param ctx points to an RSA public key
Hanno Becker4b2f6912017-09-29 13:34:55 +0100876 * \param f_rng RNG function (Only needed for \c MBEDTLS_RSA_PRIVATE)
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +0200877 * \param p_rng RNG parameter
Hanno Becker4b2f6912017-09-29 13:34:55 +0100878 * \param mode \c MBEDTLS_RSA_PUBLIC or \c MBEDTLS_RSA_PRIVATE
879 * \param md_alg a \c MBEDTLS_MD_XXX (use \c MBEDTLS_MD_NONE for signing raw data)
880 * \param hashlen message digest length (for \c MBEDTLS_MD_NONE only)
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +0200881 * \param hash buffer holding the message digest
882 * \param mgf1_hash_id message digest used for mask generation
883 * \param expected_salt_len Length of the salt used in padding, use
Hanno Becker4b2f6912017-09-29 13:34:55 +0100884 * \c MBEDTLS_RSA_SALT_LEN_ANY to accept any salt length
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +0200885 * \param sig buffer holding the ciphertext
886 *
887 * \return 0 if the verify operation was successful,
Hanno Becker4b2f6912017-09-29 13:34:55 +0100888 * or an \c MBEDTLS_ERR_RSA_XXX error code
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +0200889 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100890 * \note The \c sig buffer must be as large as the size
891 * of \c ctx->N (eg. 128 bytes if RSA-1024 is used).
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +0200892 *
Hanno Becker4b2f6912017-09-29 13:34:55 +0100893 * \note The \c hash_id in the RSA context is ignored.
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +0200894 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200895int mbedtls_rsa_rsassa_pss_verify_ext( mbedtls_rsa_context *ctx,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +0200896 int (*f_rng)(void *, unsigned char *, size_t),
897 void *p_rng,
898 int mode,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200899 mbedtls_md_type_t md_alg,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +0200900 unsigned int hashlen,
901 const unsigned char *hash,
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200902 mbedtls_md_type_t mgf1_hash_id,
Manuel Pégourié-Gonnard5ec628a2014-06-03 11:44:06 +0200903 int expected_salt_len,
904 const unsigned char *sig );
905
906/**
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +0200907 * \brief Copy the components of an RSA context
908 *
909 * \param dst Destination context
910 * \param src Source context
911 *
Manuel Pégourié-Gonnard81abefd2015-05-29 12:53:47 +0200912 * \return 0 on success,
Hanno Becker4b2f6912017-09-29 13:34:55 +0100913 * \c MBEDTLS_ERR_MPI_ALLOC_FAILED on memory allocation failure
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +0200914 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200915int mbedtls_rsa_copy( mbedtls_rsa_context *dst, const mbedtls_rsa_context *src );
Manuel Pégourié-Gonnard3053f5b2013-08-14 13:39:57 +0200916
917/**
Paul Bakker5121ce52009-01-03 21:22:43 +0000918 * \brief Free the components of an RSA key
Paul Bakker13e2dfe2009-07-28 07:18:38 +0000919 *
920 * \param ctx RSA Context to free
Paul Bakker5121ce52009-01-03 21:22:43 +0000921 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200922void mbedtls_rsa_free( mbedtls_rsa_context *ctx );
Paul Bakker5121ce52009-01-03 21:22:43 +0000923
Hanno Beckerd22b78b2017-10-12 11:42:17 +0100924#ifdef __cplusplus
925}
926#endif
927
928#else /* MBEDTLS_RSA_ALT */
929#include "rsa_alt.h"
930#endif /* MBEDTLS_RSA_ALT */
931
932#ifdef __cplusplus
933extern "C" {
934#endif
935
Paul Bakker5121ce52009-01-03 21:22:43 +0000936/**
937 * \brief Checkup routine
938 *
939 * \return 0 if successful, or 1 if the test failed
940 */
Manuel Pégourié-Gonnard2cf5a7c2015-04-08 12:49:31 +0200941int mbedtls_rsa_self_test( int verbose );
Paul Bakker5121ce52009-01-03 21:22:43 +0000942
943#ifdef __cplusplus
944}
945#endif
946
Paul Bakker5121ce52009-01-03 21:22:43 +0000947#endif /* rsa.h */