blob: e44e228e4a8ce94ba29434b3b5ee151bc984db2a [file] [log] [blame]
Adam Langley95c29f32014-06-20 12:00:00 -07001/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
2 * All rights reserved.
3 *
4 * This package is an SSL implementation written
5 * by Eric Young (eay@cryptsoft.com).
6 * The implementation was written so as to conform with Netscapes SSL.
7 *
8 * This library is free for commercial and non-commercial use as long as
9 * the following conditions are aheared to. The following conditions
10 * apply to all code found in this distribution, be it the RC4, RSA,
11 * lhash, DES, etc., code; not just the SSL code. The SSL documentation
12 * included with this distribution is covered by the same copyright terms
13 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
14 *
15 * Copyright remains Eric Young's, and as such any Copyright notices in
16 * the code are not to be removed.
17 * If this package is used in a product, Eric Young should be given attribution
18 * as the author of the parts of the library used.
19 * This can be in the form of a textual message at program startup or
20 * in documentation (online or textual) provided with the package.
21 *
22 * Redistribution and use in source and binary forms, with or without
23 * modification, are permitted provided that the following conditions
24 * are met:
25 * 1. Redistributions of source code must retain the copyright
26 * notice, this list of conditions and the following disclaimer.
27 * 2. Redistributions in binary form must reproduce the above copyright
28 * notice, this list of conditions and the following disclaimer in the
29 * documentation and/or other materials provided with the distribution.
30 * 3. All advertising materials mentioning features or use of this software
31 * must display the following acknowledgement:
32 * "This product includes cryptographic software written by
33 * Eric Young (eay@cryptsoft.com)"
34 * The word 'cryptographic' can be left out if the rouines from the library
35 * being used are not cryptographic related :-).
36 * 4. If you include any Windows specific code (or a derivative thereof) from
37 * the apps directory (application code) you must include an acknowledgement:
38 * "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
39 *
40 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
41 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
42 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
43 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
44 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
45 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
46 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
47 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
48 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
49 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
50 * SUCH DAMAGE.
51 *
52 * The licence and distribution terms for any publically available version or
53 * derivative of this code cannot be changed. i.e. this code cannot simply be
54 * copied and put under another distribution licence
55 * [including the GNU Public Licence.] */
56
57#ifndef OPENSSL_HEADER_RSA_H
58#define OPENSSL_HEADER_RSA_H
59
60#include <openssl/base.h>
61
Matt Braithwaite02e18342015-07-07 11:02:38 -070062#include <openssl/asn1.h>
Adam Langley95c29f32014-06-20 12:00:00 -070063#include <openssl/engine.h>
64#include <openssl/ex_data.h>
Adam Langley683d7bd2015-04-13 11:04:14 -070065#include <openssl/thread.h>
Adam Langley95c29f32014-06-20 12:00:00 -070066
67#if defined(__cplusplus)
68extern "C" {
69#endif
70
71
72/* rsa.h contains functions for handling encryption and signature using RSA. */
73
74
75/* Allocation and destruction. */
76
77/* RSA_new returns a new, empty RSA object or NULL on error. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -070078OPENSSL_EXPORT RSA *RSA_new(void);
Adam Langley95c29f32014-06-20 12:00:00 -070079
Adam Langley389e3f02014-08-19 11:24:27 -070080/* RSA_new_method acts the same as |RSA_new| but takes an explicit |ENGINE|. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -070081OPENSSL_EXPORT RSA *RSA_new_method(const ENGINE *engine);
Adam Langley95c29f32014-06-20 12:00:00 -070082
83/* RSA_free decrements the reference count of |rsa| and frees it if the
84 * reference count drops to zero. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -070085OPENSSL_EXPORT void RSA_free(RSA *rsa);
Adam Langley95c29f32014-06-20 12:00:00 -070086
87/* RSA_up_ref increments the reference count of |rsa|. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -070088OPENSSL_EXPORT int RSA_up_ref(RSA *rsa);
Adam Langley95c29f32014-06-20 12:00:00 -070089
90
91/* Key generation. */
92
93/* RSA_generate_key_ex generates a new RSA key where the modulus has size
94 * |bits| and the public exponent is |e|. If unsure, |RSA_F4| is a good value
95 * for |e|. If |cb| is not NULL then it is called during the key generation
96 * process. In addition to the calls documented for |BN_generate_prime_ex|, it
97 * is called with event=2 when the n'th prime is rejected as unsuitable and
Adam Langley5129e2d2014-07-25 10:06:44 -070098 * with event=3 when a suitable value for |p| is found.
99 *
100 * It returns one on success or zero on error. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700101OPENSSL_EXPORT int RSA_generate_key_ex(RSA *rsa, int bits, BIGNUM *e,
102 BN_GENCB *cb);
Adam Langley95c29f32014-06-20 12:00:00 -0700103
Adam Langley839b8812015-05-26 11:36:46 -0700104/* RSA_generate_multi_prime_key acts like |RSA_generate_key_ex| but can
105 * generate an RSA private key with more than two primes. */
106OPENSSL_EXPORT int RSA_generate_multi_prime_key(RSA *rsa, int bits,
107 int num_primes, BIGNUM *e,
108 BN_GENCB *cb);
109
Adam Langley95c29f32014-06-20 12:00:00 -0700110
111/* Encryption / Decryption */
112
113/* Padding types for encryption. */
114#define RSA_PKCS1_PADDING 1
Adam Langley95c29f32014-06-20 12:00:00 -0700115#define RSA_NO_PADDING 3
116#define RSA_PKCS1_OAEP_PADDING 4
117/* RSA_PKCS1_PSS_PADDING can only be used via the EVP interface. */
118#define RSA_PKCS1_PSS_PADDING 6
119
120/* RSA_encrypt encrypts |in_len| bytes from |in| to the public key from |rsa|
121 * and writes, at most, |max_out| bytes of encrypted data to |out|. The
122 * |max_out| argument must be, at least, |RSA_size| in order to ensure success.
123 *
124 * It returns 1 on success or zero on error.
125 *
126 * The |padding| argument must be one of the |RSA_*_PADDING| values. If in
127 * doubt, |RSA_PKCS1_PADDING| is the most common but |RSA_PKCS1_OAEP_PADDING|
128 * is the most secure. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700129OPENSSL_EXPORT int RSA_encrypt(RSA *rsa, size_t *out_len, uint8_t *out,
130 size_t max_out, const uint8_t *in, size_t in_len,
131 int padding);
Adam Langley95c29f32014-06-20 12:00:00 -0700132
133/* RSA_decrypt decrypts |in_len| bytes from |in| with the private key from
134 * |rsa| and writes, at most, |max_out| bytes of plaintext to |out|. The
135 * |max_out| argument must be, at least, |RSA_size| in order to ensure success.
136 *
137 * It returns 1 on success or zero on error.
138 *
139 * The |padding| argument must be one of the |RSA_*_PADDING| values. If in
140 * doubt, |RSA_PKCS1_PADDING| is the most common but |RSA_PKCS1_OAEP_PADDING|
141 * is the most secure. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700142OPENSSL_EXPORT int RSA_decrypt(RSA *rsa, size_t *out_len, uint8_t *out,
143 size_t max_out, const uint8_t *in, size_t in_len,
144 int padding);
Adam Langley95c29f32014-06-20 12:00:00 -0700145
146/* RSA_public_encrypt encrypts |flen| bytes from |from| to the public key in
147 * |rsa| and writes the encrypted data to |to|. The |to| buffer must have at
148 * least |RSA_size| bytes of space. It returns the number of bytes written, or
149 * -1 on error. The |padding| argument must be one of the |RSA_*_PADDING|
150 * values. If in doubt, |RSA_PKCS1_PADDING| is the most common but
151 * |RSA_PKCS1_OAEP_PADDING| is the most secure.
152 *
153 * WARNING: this function is dangerous because it breaks the usual return value
154 * convention. Use |RSA_encrypt| instead. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700155OPENSSL_EXPORT int RSA_public_encrypt(int flen, const uint8_t *from,
156 uint8_t *to, RSA *rsa, int padding);
Adam Langley95c29f32014-06-20 12:00:00 -0700157
158/* RSA_private_decrypt decrypts |flen| bytes from |from| with the public key in
159 * |rsa| and writes the plaintext to |to|. The |to| buffer must have at
160 * least |RSA_size| bytes of space. It returns the number of bytes written, or
161 * -1 on error. The |padding| argument must be one of the |RSA_*_PADDING|
162 * values. If in doubt, |RSA_PKCS1_PADDING| is the most common but
163 * |RSA_PKCS1_OAEP_PADDING| is the most secure.
164 *
165 * WARNING: this function is dangerous because it breaks the usual return value
166 * convention. Use |RSA_decrypt| instead. */
David Benjamin79c59a32015-09-19 13:35:39 -0400167OPENSSL_EXPORT int RSA_private_decrypt(size_t flen, const uint8_t *from,
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700168 uint8_t *to, RSA *rsa, int padding);
Adam Langley95c29f32014-06-20 12:00:00 -0700169
David Benjamin0aa07672014-07-24 15:34:14 -0400170/* RSA_message_index_PKCS1_type_2 performs the first step of a PKCS #1 padding
171 * check for decryption. If the |from_len| bytes pointed to at |from| are a
172 * valid PKCS #1 message, it returns one and sets |*out_index| to the start of
173 * the unpadded message. The unpadded message is a suffix of the input and has
174 * length |from_len - *out_index|. Otherwise, it returns zero and sets
David Benjaminc61517c2014-12-29 18:41:09 -0500175 * |*out_index| to zero. This function runs in time independent of the input
176 * data and is intended to be used directly to avoid Bleichenbacher's attack.
David Benjamin0aa07672014-07-24 15:34:14 -0400177 *
178 * WARNING: This function behaves differently from the usual OpenSSL convention
179 * in that it does NOT put an error on the queue in the error case. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700180OPENSSL_EXPORT int RSA_message_index_PKCS1_type_2(const uint8_t *from,
181 size_t from_len,
182 size_t *out_index);
David Benjamin0aa07672014-07-24 15:34:14 -0400183
Adam Langley95c29f32014-06-20 12:00:00 -0700184
185/* Signing / Verification */
186
187/* RSA_sign signs |in_len| bytes of digest from |in| with |rsa| and writes, at
188 * most, |RSA_size(rsa)| bytes to |out|. On successful return, the actual
189 * number of bytes written is written to |*out_len|.
190 *
191 * The |hash_nid| argument identifies the hash function used to calculate |in|
192 * and is embedded in the resulting signature. For example, it might be
193 * |NID_sha256|.
194 *
195 * It returns 1 on success and zero on error. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700196OPENSSL_EXPORT int RSA_sign(int hash_nid, const uint8_t *in,
197 unsigned int in_len, uint8_t *out,
198 unsigned int *out_len, RSA *rsa);
Adam Langley95c29f32014-06-20 12:00:00 -0700199
200/* RSA_sign_raw signs |in_len| bytes from |in| with the public key from |rsa|
Brian Smithb828cfd2015-03-29 16:51:14 -1000201 * and writes, at most, |max_out| bytes of signature data to |out|. The
Adam Langley95c29f32014-06-20 12:00:00 -0700202 * |max_out| argument must be, at least, |RSA_size| in order to ensure success.
203 *
204 * It returns 1 on success or zero on error.
205 *
206 * The |padding| argument must be one of the |RSA_*_PADDING| values. If in
207 * doubt, |RSA_PKCS1_PADDING| is the most common. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700208OPENSSL_EXPORT int RSA_sign_raw(RSA *rsa, size_t *out_len, uint8_t *out,
209 size_t max_out, const uint8_t *in,
210 size_t in_len, int padding);
Adam Langley95c29f32014-06-20 12:00:00 -0700211
212/* RSA_verify verifies that |sig_len| bytes from |sig| are a valid, PKCS#1
213 * signature of |msg_len| bytes at |msg| by |rsa|.
214 *
215 * The |hash_nid| argument identifies the hash function used to calculate |in|
216 * and is embedded in the resulting signature in order to prevent hash
217 * confusion attacks. For example, it might be |NID_sha256|.
218 *
219 * It returns one if the signature is valid and zero otherwise.
220 *
221 * WARNING: this differs from the original, OpenSSL function which additionally
222 * returned -1 on error. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700223OPENSSL_EXPORT int RSA_verify(int hash_nid, const uint8_t *msg, size_t msg_len,
224 const uint8_t *sig, size_t sig_len, RSA *rsa);
Adam Langley95c29f32014-06-20 12:00:00 -0700225
226/* RSA_verify_raw verifies |in_len| bytes of signature from |in| using the
227 * public key from |rsa| and writes, at most, |max_out| bytes of plaintext to
228 * |out|. The |max_out| argument must be, at least, |RSA_size| in order to
229 * ensure success.
230 *
231 * It returns 1 on success or zero on error.
232 *
233 * The |padding| argument must be one of the |RSA_*_PADDING| values. If in
234 * doubt, |RSA_PKCS1_PADDING| is the most common. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700235OPENSSL_EXPORT int RSA_verify_raw(RSA *rsa, size_t *out_len, uint8_t *out,
236 size_t max_out, const uint8_t *in,
237 size_t in_len, int padding);
Adam Langley95c29f32014-06-20 12:00:00 -0700238
239/* RSA_private_encrypt encrypts |flen| bytes from |from| with the private key in
240 * |rsa| and writes the encrypted data to |to|. The |to| buffer must have at
241 * least |RSA_size| bytes of space. It returns the number of bytes written, or
242 * -1 on error. The |padding| argument must be one of the |RSA_*_PADDING|
243 * values. If in doubt, |RSA_PKCS1_PADDING| is the most common.
244 *
245 * WARNING: this function is dangerous because it breaks the usual return value
246 * convention. Use |RSA_sign_raw| instead. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700247OPENSSL_EXPORT int RSA_private_encrypt(int flen, const uint8_t *from,
248 uint8_t *to, RSA *rsa, int padding);
Adam Langley95c29f32014-06-20 12:00:00 -0700249
Kenny Root3a9e1fb2015-06-10 14:52:40 -0700250/* RSA_public_decrypt verifies |flen| bytes of signature from |from| using the
Adam Langley95c29f32014-06-20 12:00:00 -0700251 * public key in |rsa| and writes the plaintext to |to|. The |to| buffer must
252 * have at least |RSA_size| bytes of space. It returns the number of bytes
253 * written, or -1 on error. The |padding| argument must be one of the
254 * |RSA_*_PADDING| values. If in doubt, |RSA_PKCS1_PADDING| is the most common.
255 *
256 * WARNING: this function is dangerous because it breaks the usual return value
257 * convention. Use |RSA_verify_raw| instead. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700258OPENSSL_EXPORT int RSA_public_decrypt(int flen, const uint8_t *from,
259 uint8_t *to, RSA *rsa, int padding);
Adam Langley95c29f32014-06-20 12:00:00 -0700260
261
262/* Utility functions. */
263
264/* RSA_size returns the number of bytes in the modulus, which is also the size
Brian Smithb828cfd2015-03-29 16:51:14 -1000265 * of a signature or encrypted value using |rsa|. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700266OPENSSL_EXPORT unsigned RSA_size(const RSA *rsa);
Adam Langley95c29f32014-06-20 12:00:00 -0700267
David Benjaminecc0ce72014-07-18 18:39:42 -0400268/* RSA_is_opaque returns one if |rsa| is opaque and doesn't expose its key
David Benjaminc20febe2014-11-11 23:47:50 -0500269 * material. Otherwise it returns zero. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700270OPENSSL_EXPORT int RSA_is_opaque(const RSA *rsa);
David Benjaminecc0ce72014-07-18 18:39:42 -0400271
David Benjaminc20febe2014-11-11 23:47:50 -0500272/* RSA_supports_digest returns one if |rsa| supports signing digests
273 * of type |md|. Otherwise it returns zero. */
274OPENSSL_EXPORT int RSA_supports_digest(const RSA *rsa, const EVP_MD *md);
275
David Benjaminc0e245a2015-06-17 00:02:59 -0400276/* RSAPublicKey_dup allocates a fresh |RSA| and copies the public key from
Adam Langley95c29f32014-06-20 12:00:00 -0700277 * |rsa| into it. It returns the fresh |RSA| object, or NULL on error. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700278OPENSSL_EXPORT RSA *RSAPublicKey_dup(const RSA *rsa);
Adam Langley95c29f32014-06-20 12:00:00 -0700279
280/* RSAPrivateKey_dup allocates a fresh |RSA| and copies the private key from
281 * |rsa| into it. It returns the fresh |RSA| object, or NULL on error. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700282OPENSSL_EXPORT RSA *RSAPrivateKey_dup(const RSA *rsa);
Adam Langley95c29f32014-06-20 12:00:00 -0700283
Adam Langley05b73772014-07-25 12:03:51 -0700284/* RSA_check_key performs basic validatity tests on |rsa|. It returns one if
285 * they pass and zero otherwise. Opaque keys and public keys always pass. If it
286 * returns zero then a more detailed error is available on the error queue. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700287OPENSSL_EXPORT int RSA_check_key(const RSA *rsa);
Adam Langley05b73772014-07-25 12:03:51 -0700288
Adam Langley409766d2014-06-20 12:00:00 -0700289/* RSA_recover_crt_params uses |rsa->n|, |rsa->d| and |rsa->e| in order to
290 * calculate the two primes used and thus the precomputed, CRT values. These
291 * values are set in the |p|, |q|, |dmp1|, |dmq1| and |iqmp| members of |rsa|,
292 * which must be |NULL| on entry. It returns one on success and zero
293 * otherwise. */
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700294OPENSSL_EXPORT int RSA_recover_crt_params(RSA *rsa);
Adam Langley409766d2014-06-20 12:00:00 -0700295
Adam Langley20b64fd2015-03-20 16:39:54 -0700296/* RSA_verify_PKCS1_PSS_mgf1 verifies that |EM| is a correct PSS padding of
297 * |mHash|, where |mHash| is a digest produced by |Hash|. |EM| must point to
298 * exactly |RSA_size(rsa)| bytes of data. The |mgf1Hash| argument specifies the
299 * hash function for generating the mask. If NULL, |Hash| is used. The |sLen|
300 * argument specifies the expected salt length in bytes. If |sLen| is -1 then
301 * the salt length is the same as the hash length. If -2, then the salt length
302 * is maximal and is taken from the size of |EM|.
303 *
304 * It returns one on success or zero on error. */
305OPENSSL_EXPORT int RSA_verify_PKCS1_PSS_mgf1(RSA *rsa, const uint8_t *mHash,
306 const EVP_MD *Hash,
307 const EVP_MD *mgf1Hash,
308 const uint8_t *EM, int sLen);
309
310/* RSA_padding_add_PKCS1_PSS_mgf1 writes a PSS padding of |mHash| to |EM|,
311 * where |mHash| is a digest produced by |Hash|. |RSA_size(rsa)| bytes of
312 * output will be written to |EM|. The |mgf1Hash| argument specifies the hash
313 * function for generating the mask. If NULL, |Hash| is used. The |sLen|
314 * argument specifies the expected salt length in bytes. If |sLen| is -1 then
315 * the salt length is the same as the hash length. If -2, then the salt length
316 * is maximal given the space in |EM|.
317 *
318 * It returns one on success or zero on error. */
319OPENSSL_EXPORT int RSA_padding_add_PKCS1_PSS_mgf1(RSA *rsa, uint8_t *EM,
320 const uint8_t *mHash,
321 const EVP_MD *Hash,
322 const EVP_MD *mgf1Hash,
323 int sLen);
324
David Benjaminb0acb772015-05-28 16:53:31 -0400325/* RSA_add_pkcs1_prefix builds a version of |msg| prefixed with the DigestInfo
326 * header for the given hash function and sets |out_msg| to point to it. On
327 * successful return, |*out_msg| may be allocated memory and, if so,
328 * |*is_alloced| will be 1. */
329OPENSSL_EXPORT int RSA_add_pkcs1_prefix(uint8_t **out_msg, size_t *out_msg_len,
330 int *is_alloced, int hash_nid,
331 const uint8_t *msg, size_t msg_len);
332
Adam Langley20b64fd2015-03-20 16:39:54 -0700333
Adam Langley95c29f32014-06-20 12:00:00 -0700334/* ASN.1 functions. */
335
David Benjaminc0e245a2015-06-17 00:02:59 -0400336/* RSA_parse_public_key parses a DER-encoded RSAPublicKey structure (RFC 3447)
337 * from |cbs| and advances |cbs|. It returns a newly-allocated |RSA| or NULL on
338 * error. */
339OPENSSL_EXPORT RSA *RSA_parse_public_key(CBS *cbs);
Adam Langley95c29f32014-06-20 12:00:00 -0700340
David Benjamin231cb822015-09-15 16:47:35 -0400341/* RSA_parse_public_key_buggy behaves like |RSA_parse_public_key|, but it
David Benjamin4c60d352015-09-23 12:23:01 -0400342 * tolerates some invalid encodings. Do not use this function. */
David Benjamin231cb822015-09-15 16:47:35 -0400343OPENSSL_EXPORT RSA *RSA_parse_public_key_buggy(CBS *cbs);
344
David Benjaminc0e245a2015-06-17 00:02:59 -0400345/* RSA_public_key_from_bytes parses |in| as a DER-encoded RSAPublicKey structure
346 * (RFC 3447). It returns a newly-allocated |RSA| or NULL on error. */
347OPENSSL_EXPORT RSA *RSA_public_key_from_bytes(const uint8_t *in, size_t in_len);
348
349/* RSA_marshal_public_key marshals |rsa| as a DER-encoded RSAPublicKey structure
350 * (RFC 3447) and appends the result to |cbb|. It returns one on success and
351 * zero on failure. */
352OPENSSL_EXPORT int RSA_marshal_public_key(CBB *cbb, const RSA *rsa);
353
354/* RSA_public_key_to_bytes marshals |rsa| as a DER-encoded RSAPublicKey
355 * structure (RFC 3447) and, on success, sets |*out_bytes| to a newly allocated
356 * buffer containing the result and returns one. Otherwise, it returns zero. The
357 * result should be freed with |OPENSSL_free|. */
358OPENSSL_EXPORT int RSA_public_key_to_bytes(uint8_t **out_bytes, size_t *out_len,
359 const RSA *rsa);
Adam Langley95c29f32014-06-20 12:00:00 -0700360
David Benjamin74f71102015-06-27 14:56:25 -0400361/* RSA_parse_private_key parses a DER-encoded RSAPrivateKey structure (RFC 3447)
362 * from |cbs| and advances |cbs|. It returns a newly-allocated |RSA| or NULL on
363 * error. */
364OPENSSL_EXPORT RSA *RSA_parse_private_key(CBS *cbs);
Adam Langley95c29f32014-06-20 12:00:00 -0700365
David Benjamin74f71102015-06-27 14:56:25 -0400366/* RSA_private_key_from_bytes parses |in| as a DER-encoded RSAPrivateKey
367 * structure (RFC 3447). It returns a newly-allocated |RSA| or NULL on error. */
368OPENSSL_EXPORT RSA *RSA_private_key_from_bytes(const uint8_t *in,
369 size_t in_len);
370
371/* RSA_marshal_private_key marshals |rsa| as a DER-encoded RSAPrivateKey
372 * structure (RFC 3447) and appends the result to |cbb|. It returns one on
373 * success and zero on failure. */
374OPENSSL_EXPORT int RSA_marshal_private_key(CBB *cbb, const RSA *rsa);
375
376/* RSA_private_key_to_bytes marshals |rsa| as a DER-encoded RSAPrivateKey
377 * structure (RFC 3447) and, on success, sets |*out_bytes| to a newly allocated
378 * buffer containing the result and returns one. Otherwise, it returns zero. The
379 * result should be freed with |OPENSSL_free|. */
380OPENSSL_EXPORT int RSA_private_key_to_bytes(uint8_t **out_bytes,
381 size_t *out_len, const RSA *rsa);
Adam Langley95c29f32014-06-20 12:00:00 -0700382
383
384/* ex_data functions.
385 *
David Benjamin546f1a52015-04-15 16:46:09 -0400386 * See |ex_data.h| for details. */
Adam Langley95c29f32014-06-20 12:00:00 -0700387
Adam Langleyeb7d2ed2014-07-30 16:02:14 -0700388OPENSSL_EXPORT int RSA_get_ex_new_index(long argl, void *argp,
389 CRYPTO_EX_new *new_func,
390 CRYPTO_EX_dup *dup_func,
391 CRYPTO_EX_free *free_func);
392OPENSSL_EXPORT int RSA_set_ex_data(RSA *r, int idx, void *arg);
393OPENSSL_EXPORT void *RSA_get_ex_data(const RSA *r, int idx);
Adam Langley95c29f32014-06-20 12:00:00 -0700394
David Benjamin6fad7bc2015-09-07 13:12:05 -0400395
396/* Flags. */
397
David Benjaminecc0ce72014-07-18 18:39:42 -0400398/* RSA_FLAG_OPAQUE specifies that this RSA_METHOD does not expose its key
399 * material. This may be set if, for instance, it is wrapping some other crypto
400 * API, like a platform key store. */
401#define RSA_FLAG_OPAQUE 1
Adam Langley95c29f32014-06-20 12:00:00 -0700402
403/* RSA_FLAG_CACHE_PUBLIC causes a precomputed Montgomery context to be created,
404 * on demand, for the public key operations. */
405#define RSA_FLAG_CACHE_PUBLIC 2
406
407/* RSA_FLAG_CACHE_PRIVATE causes a precomputed Montgomery context to be
408 * created, on demand, for the private key operations. */
409#define RSA_FLAG_CACHE_PRIVATE 4
410
411/* RSA_FLAG_NO_BLINDING disables blinding of private operations. */
412#define RSA_FLAG_NO_BLINDING 8
413
414/* RSA_FLAG_EXT_PKEY means that private key operations will be handled by
415 * |mod_exp| and that they do not depend on the private key components being
416 * present: for example a key stored in external hardware. */
417#define RSA_FLAG_EXT_PKEY 0x20
418
419/* RSA_FLAG_SIGN_VER causes the |sign| and |verify| functions of |rsa_meth_st|
420 * to be called when set. */
421#define RSA_FLAG_SIGN_VER 0x40
422
423
424/* RSA public exponent values. */
425
426#define RSA_3 0x3
427#define RSA_F4 0x10001
428
429
Adam Langleyc3ef76f2015-04-13 14:34:17 -0700430/* Deprecated functions. */
431
432/* RSA_blinding_on returns one. */
433OPENSSL_EXPORT int RSA_blinding_on(RSA *rsa, BN_CTX *ctx);
434
Matt Braithwaite1cb49cd2015-06-17 17:16:02 -0700435/* RSA_generate_key behaves like |RSA_generate_key_ex|, which is what you
436 * should use instead. It returns NULL on error, or a newly-allocated |RSA| on
437 * success. This function is provided for compatibility only. The |callback|
438 * and |cb_arg| parameters must be NULL. */
439OPENSSL_EXPORT RSA *RSA_generate_key(int bits, unsigned long e, void *callback,
440 void *cb_arg);
441
David Benjamin6fad7bc2015-09-07 13:12:05 -0400442/* d2i_RSAPublicKey parses an ASN.1, DER-encoded, RSA public key from |len|
443 * bytes at |*inp|. If |out| is not NULL then, on exit, a pointer to the result
444 * is in |*out|. If |*out| is already non-NULL on entry then the result is
445 * written directly into |*out|, otherwise a fresh |RSA| is allocated. On
446 * successful exit, |*inp| is advanced past the DER structure. It returns the
447 * result or NULL on error. */
448OPENSSL_EXPORT RSA *d2i_RSAPublicKey(RSA **out, const uint8_t **inp, long len);
449
450/* i2d_RSAPublicKey marshals |in| to an ASN.1, DER structure. If |outp| is not
451 * NULL then the result is written to |*outp| and |*outp| is advanced just past
452 * the output. It returns the number of bytes in the result, whether written or
453 * not, or a negative value on error. */
454OPENSSL_EXPORT int i2d_RSAPublicKey(const RSA *in, uint8_t **outp);
455
456/* d2i_RSAPrivateKey parses an ASN.1, DER-encoded, RSA private key from |len|
457 * bytes at |*inp|. If |out| is not NULL then, on exit, a pointer to the result
458 * is in |*out|. If |*out| is already non-NULL on entry then the result is
459 * written directly into |*out|, otherwise a fresh |RSA| is allocated. On
460 * successful exit, |*inp| is advanced past the DER structure. It returns the
461 * result or NULL on error. */
462OPENSSL_EXPORT RSA *d2i_RSAPrivateKey(RSA **out, const uint8_t **inp, long len);
463
464/* i2d_RSAPrivateKey marshals |in| to an ASN.1, DER structure. If |outp| is not
465 * NULL then the result is written to |*outp| and |*outp| is advanced just past
466 * the output. It returns the number of bytes in the result, whether written or
467 * not, or a negative value on error. */
468OPENSSL_EXPORT int i2d_RSAPrivateKey(const RSA *in, uint8_t **outp);
469
Matt Braithwaite02e18342015-07-07 11:02:38 -0700470typedef struct rsa_pss_params_st {
471 X509_ALGOR *hashAlgorithm;
472 X509_ALGOR *maskGenAlgorithm;
473 ASN1_INTEGER *saltLength;
474 ASN1_INTEGER *trailerField;
475} RSA_PSS_PARAMS;
476
477DECLARE_ASN1_FUNCTIONS(RSA_PSS_PARAMS)
478
Adam Langleyc3ef76f2015-04-13 14:34:17 -0700479
Adam Langley95c29f32014-06-20 12:00:00 -0700480struct rsa_meth_st {
481 struct openssl_method_common_st common;
482
483 void *app_data;
484
485 int (*init)(RSA *rsa);
486 int (*finish)(RSA *rsa);
487
David Benjamin925fee32014-07-11 14:14:08 -0400488 /* size returns the size of the RSA modulus in bytes. */
489 size_t (*size)(const RSA *rsa);
490
Adam Langley95c29f32014-06-20 12:00:00 -0700491 int (*sign)(int type, const uint8_t *m, unsigned int m_length,
492 uint8_t *sigret, unsigned int *siglen, const RSA *rsa);
493
494 int (*verify)(int dtype, const uint8_t *m, unsigned int m_length,
495 const uint8_t *sigbuf, unsigned int siglen, const RSA *rsa);
496
497
498 /* These functions mirror the |RSA_*| functions of the same name. */
499 int (*encrypt)(RSA *rsa, size_t *out_len, uint8_t *out, size_t max_out,
500 const uint8_t *in, size_t in_len, int padding);
501 int (*sign_raw)(RSA *rsa, size_t *out_len, uint8_t *out, size_t max_out,
502 const uint8_t *in, size_t in_len, int padding);
503
504 int (*decrypt)(RSA *rsa, size_t *out_len, uint8_t *out, size_t max_out,
505 const uint8_t *in, size_t in_len, int padding);
506 int (*verify_raw)(RSA *rsa, size_t *out_len, uint8_t *out, size_t max_out,
507 const uint8_t *in, size_t in_len, int padding);
508
Adam Langley6bc658d2014-08-18 13:29:45 -0700509 /* private_transform takes a big-endian integer from |in|, calculates the
510 * d'th power of it, modulo the RSA modulus and writes the result as a
511 * big-endian integer to |out|. Both |in| and |out| are |len| bytes long and
512 * |len| is always equal to |RSA_size(rsa)|. If the result of the transform
513 * can be represented in fewer than |len| bytes, then |out| must be zero
514 * padded on the left.
515 *
516 * It returns one on success and zero otherwise.
517 *
518 * RSA decrypt and sign operations will call this, thus an ENGINE might wish
519 * to override it in order to avoid having to implement the padding
520 * functionality demanded by those, higher level, operations. */
521 int (*private_transform)(RSA *rsa, uint8_t *out, const uint8_t *in,
522 size_t len);
523
Adam Langley95c29f32014-06-20 12:00:00 -0700524 int (*mod_exp)(BIGNUM *r0, const BIGNUM *I, RSA *rsa,
525 BN_CTX *ctx); /* Can be null */
526 int (*bn_mod_exp)(BIGNUM *r, const BIGNUM *a, const BIGNUM *p,
527 const BIGNUM *m, BN_CTX *ctx,
528 BN_MONT_CTX *m_ctx);
529
530 int flags;
531
532 int (*keygen)(RSA *rsa, int bits, BIGNUM *e, BN_GENCB *cb);
David Benjaminc20febe2014-11-11 23:47:50 -0500533
Adam Langley839b8812015-05-26 11:36:46 -0700534 int (*multi_prime_keygen)(RSA *rsa, int bits, int num_primes, BIGNUM *e,
535 BN_GENCB *cb);
536
David Benjaminc20febe2014-11-11 23:47:50 -0500537 /* supports_digest returns one if |rsa| supports digests of type
538 * |md|. If null, it is assumed that all digests are supported. */
539 int (*supports_digest)(const RSA *rsa, const EVP_MD *md);
Adam Langley95c29f32014-06-20 12:00:00 -0700540};
541
542
543/* Private functions. */
544
545typedef struct bn_blinding_st BN_BLINDING;
546
547struct rsa_st {
Adam Langley95c29f32014-06-20 12:00:00 -0700548 RSA_METHOD *meth;
549
550 BIGNUM *n;
551 BIGNUM *e;
552 BIGNUM *d;
553 BIGNUM *p;
554 BIGNUM *q;
555 BIGNUM *dmp1;
556 BIGNUM *dmq1;
557 BIGNUM *iqmp;
Adam Langley839b8812015-05-26 11:36:46 -0700558
559 STACK_OF(RSA_additional_prime) *additional_primes;
560
Adam Langley95c29f32014-06-20 12:00:00 -0700561 /* be careful using this if the RSA structure is shared */
562 CRYPTO_EX_DATA ex_data;
Adam Langley0da323a2015-05-15 12:49:30 -0700563 CRYPTO_refcount_t references;
Adam Langley95c29f32014-06-20 12:00:00 -0700564 int flags;
565
Adam Langley683d7bd2015-04-13 11:04:14 -0700566 CRYPTO_MUTEX lock;
567
568 /* Used to cache montgomery values. The creation of these values is protected
569 * by |lock|. */
Adam Langley95c29f32014-06-20 12:00:00 -0700570 BN_MONT_CTX *_method_mod_n;
571 BN_MONT_CTX *_method_mod_p;
572 BN_MONT_CTX *_method_mod_q;
573
574 /* num_blindings contains the size of the |blindings| and |blindings_inuse|
575 * arrays. This member and the |blindings_inuse| array are protected by
Adam Langley683d7bd2015-04-13 11:04:14 -0700576 * |lock|. */
Adam Langley95c29f32014-06-20 12:00:00 -0700577 unsigned num_blindings;
578 /* blindings is an array of BN_BLINDING structures that can be reserved by a
Adam Langley683d7bd2015-04-13 11:04:14 -0700579 * thread by locking |lock| and changing the corresponding element in
580 * |blindings_inuse| from 0 to 1. */
Adam Langley95c29f32014-06-20 12:00:00 -0700581 BN_BLINDING **blindings;
582 unsigned char *blindings_inuse;
583};
584
585
586#if defined(__cplusplus)
587} /* extern C */
588#endif
589
David Benjamin689be0f2015-02-11 15:55:26 -0500590#define RSA_R_BAD_E_VALUE 100
591#define RSA_R_BAD_FIXED_HEADER_DECRYPT 101
592#define RSA_R_BAD_PAD_BYTE_COUNT 102
593#define RSA_R_BAD_RSA_PARAMETERS 103
594#define RSA_R_BAD_SIGNATURE 104
595#define RSA_R_BLOCK_TYPE_IS_NOT_01 105
596#define RSA_R_BN_NOT_INITIALIZED 106
597#define RSA_R_CRT_PARAMS_ALREADY_GIVEN 107
598#define RSA_R_CRT_VALUES_INCORRECT 108
599#define RSA_R_DATA_LEN_NOT_EQUAL_TO_MOD_LEN 109
600#define RSA_R_DATA_TOO_LARGE 110
601#define RSA_R_DATA_TOO_LARGE_FOR_KEY_SIZE 111
602#define RSA_R_DATA_TOO_LARGE_FOR_MODULUS 112
603#define RSA_R_DATA_TOO_SMALL 113
604#define RSA_R_DATA_TOO_SMALL_FOR_KEY_SIZE 114
605#define RSA_R_DIGEST_TOO_BIG_FOR_RSA_KEY 115
606#define RSA_R_D_E_NOT_CONGRUENT_TO_1 116
607#define RSA_R_EMPTY_PUBLIC_KEY 117
608#define RSA_R_FIRST_OCTET_INVALID 118
609#define RSA_R_INCONSISTENT_SET_OF_CRT_VALUES 119
610#define RSA_R_INTERNAL_ERROR 120
611#define RSA_R_INVALID_MESSAGE_LENGTH 121
612#define RSA_R_KEY_SIZE_TOO_SMALL 122
613#define RSA_R_LAST_OCTET_INVALID 123
614#define RSA_R_MODULUS_TOO_LARGE 124
615#define RSA_R_NO_PUBLIC_EXPONENT 125
616#define RSA_R_NULL_BEFORE_BLOCK_MISSING 126
617#define RSA_R_N_NOT_EQUAL_P_Q 127
618#define RSA_R_OAEP_DECODING_ERROR 128
619#define RSA_R_ONLY_ONE_OF_P_Q_GIVEN 129
620#define RSA_R_OUTPUT_BUFFER_TOO_SMALL 130
621#define RSA_R_PADDING_CHECK_FAILED 131
622#define RSA_R_PKCS_DECODING_ERROR 132
623#define RSA_R_SLEN_CHECK_FAILED 133
624#define RSA_R_SLEN_RECOVERY_FAILED 134
625#define RSA_R_TOO_LONG 135
626#define RSA_R_TOO_MANY_ITERATIONS 136
627#define RSA_R_UNKNOWN_ALGORITHM_TYPE 137
628#define RSA_R_UNKNOWN_PADDING_TYPE 138
Adam Langley05b73772014-07-25 12:03:51 -0700629#define RSA_R_VALUE_MISSING 139
David Benjamin689be0f2015-02-11 15:55:26 -0500630#define RSA_R_WRONG_SIGNATURE_LENGTH 140
Adam Langley839b8812015-05-26 11:36:46 -0700631#define RSA_R_MUST_HAVE_AT_LEAST_TWO_PRIMES 141
632#define RSA_R_CANNOT_RECOVER_MULTI_PRIME_KEY 142
David Benjaminc0e245a2015-06-17 00:02:59 -0400633#define RSA_R_BAD_ENCODING 143
634#define RSA_R_ENCODE_ERROR 144
David Benjamin74f71102015-06-27 14:56:25 -0400635#define RSA_R_BAD_VERSION 145
Adam Langley95c29f32014-06-20 12:00:00 -0700636
637#endif /* OPENSSL_HEADER_RSA_H */