rsa_eay.c 16.5 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60
/* crypto/rsa/rsa_eay.c */
/* Copyright (C) 1995-1998 Eric Young (eay@cryptsoft.com)
 * All rights reserved.
 *
 * This package is an SSL implementation written
 * by Eric Young (eay@cryptsoft.com).
 * The implementation was written so as to conform with Netscapes SSL.
 * 
 * This library is free for commercial and non-commercial use as long as
 * the following conditions are aheared to.  The following conditions
 * apply to all code found in this distribution, be it the RC4, RSA,
 * lhash, DES, etc., code; not just the SSL code.  The SSL documentation
 * included with this distribution is covered by the same copyright terms
 * except that the holder is Tim Hudson (tjh@cryptsoft.com).
 * 
 * Copyright remains Eric Young's, and as such any Copyright notices in
 * the code are not to be removed.
 * If this package is used in a product, Eric Young should be given attribution
 * as the author of the parts of the library used.
 * This can be in the form of a textual message at program startup or
 * in documentation (online or textual) provided with the package.
 * 
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright
 *    notice, this list of conditions and the following disclaimer in the
 *    documentation and/or other materials provided with the distribution.
 * 3. All advertising materials mentioning features or use of this software
 *    must display the following acknowledgement:
 *    "This product includes cryptographic software written by
 *     Eric Young (eay@cryptsoft.com)"
 *    The word 'cryptographic' can be left out if the rouines from the library
 *    being used are not cryptographic related :-).
 * 4. If you include any Windows specific code (or a derivative thereof) from 
 *    the apps directory (application code) you must include an acknowledgement:
 *    "This product includes software written by Tim Hudson (tjh@cryptsoft.com)"
 * 
 * THIS SOFTWARE IS PROVIDED BY ERIC YOUNG ``AS IS'' AND
 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
 * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
 * SUCH DAMAGE.
 * 
 * The licence and distribution terms for any publically available version or
 * derivative of this code cannot be changed.  i.e. this code cannot simply be
 * copied and put under another distribution licence
 * [including the GNU Public Licence.]
 */

#include <stdio.h>
#include "cryptlib.h"
61 62 63
#include <openssl/bn.h>
#include <openssl/rsa.h>
#include <openssl/rand.h>
64
#include <openssl/engine.h>
65

66 67
#ifndef RSA_NULL

R
Richard Levitte 已提交
68
static int RSA_eay_public_encrypt(int flen, const unsigned char *from,
69
		unsigned char *to, RSA *rsa,int padding);
R
Richard Levitte 已提交
70
static int RSA_eay_private_encrypt(int flen, const unsigned char *from,
71
		unsigned char *to, RSA *rsa,int padding);
R
Richard Levitte 已提交
72
static int RSA_eay_public_decrypt(int flen, const unsigned char *from,
73
		unsigned char *to, RSA *rsa,int padding);
R
Richard Levitte 已提交
74
static int RSA_eay_private_decrypt(int flen, const unsigned char *from,
75
		unsigned char *to, RSA *rsa,int padding);
R
Richard Levitte 已提交
76
static int RSA_eay_mod_exp(BIGNUM *r0, const BIGNUM *i, RSA *rsa);
77 78 79 80 81
static int RSA_eay_init(RSA *rsa);
static int RSA_eay_finish(RSA *rsa);
static RSA_METHOD rsa_pkcs1_eay_meth={
	"Eric Young's PKCS#1 RSA",
	RSA_eay_public_encrypt,
B
Bodo Möller 已提交
82 83
	RSA_eay_public_decrypt, /* signature verification */
	RSA_eay_private_encrypt, /* signing */
84 85
	RSA_eay_private_decrypt,
	RSA_eay_mod_exp,
B
Bodo Möller 已提交
86
	BN_mod_exp_mont, /* XXX probably we should not use Montgomery if  e == 3 */
87 88
	RSA_eay_init,
	RSA_eay_finish,
B
Bodo Möller 已提交
89
	0, /* flags */
90
	NULL,
B
Bodo Möller 已提交
91 92
	0, /* rsa_sign */
	0  /* rsa_verify */
93 94
	};

95
const RSA_METHOD *RSA_PKCS1_SSLeay(void)
96 97 98 99
	{
	return(&rsa_pkcs1_eay_meth);
	}

R
Richard Levitte 已提交
100
static int RSA_eay_public_encrypt(int flen, const unsigned char *from,
U
Ulf Möller 已提交
101
	     unsigned char *to, RSA *rsa, int padding)
102
	{
103
	BIGNUM f,ret;
104 105 106 107
	int i,j,k,num=0,r= -1;
	unsigned char *buf=NULL;
	BN_CTX *ctx=NULL;

108 109
	BN_init(&f);
	BN_init(&ret);
110 111
	if ((ctx=BN_CTX_new()) == NULL) goto err;
	num=BN_num_bytes(rsa->n);
112
	if ((buf=(unsigned char *)OPENSSL_malloc(num)) == NULL)
113 114 115 116 117 118 119 120 121 122
		{
		RSAerr(RSA_F_RSA_EAY_PUBLIC_ENCRYPT,ERR_R_MALLOC_FAILURE);
		goto err;
		}

	switch (padding)
		{
	case RSA_PKCS1_PADDING:
		i=RSA_padding_add_PKCS1_type_2(buf,num,from,flen);
		break;
123
#ifndef OPENSSL_NO_SHA
B
Ben Laurie 已提交
124 125 126
	case RSA_PKCS1_OAEP_PADDING:
	        i=RSA_padding_add_PKCS1_OAEP(buf,num,from,flen,NULL,0);
		break;
127
#endif
128 129 130 131 132 133 134 135 136 137 138 139
	case RSA_SSLV23_PADDING:
		i=RSA_padding_add_SSLv23(buf,num,from,flen);
		break;
	case RSA_NO_PADDING:
		i=RSA_padding_add_none(buf,num,from,flen);
		break;
	default:
		RSAerr(RSA_F_RSA_EAY_PUBLIC_ENCRYPT,RSA_R_UNKNOWN_PADDING_TYPE);
		goto err;
		}
	if (i <= 0) goto err;

140
	if (BN_bin2bn(buf,num,&f) == NULL) goto err;
141
	
B
Bodo Möller 已提交
142 143 144 145 146 147 148
	if (BN_ucmp(&f, rsa->n) >= 0)
		{	
		/* usually the padding functions would catch this */
		RSAerr(RSA_F_RSA_EAY_PUBLIC_ENCRYPT,RSA_R_DATA_TOO_LARGE_FOR_MODULUS);
		goto err;
		}

149
	if ((rsa->_method_mod_n == NULL) && (rsa->flags & RSA_FLAG_CACHE_PUBLIC))
150
		{
151 152 153 154
		BN_MONT_CTX* bn_mont_ctx;
		if ((bn_mont_ctx=BN_MONT_CTX_new()) == NULL)
			goto err;
		if (!BN_MONT_CTX_set(bn_mont_ctx,rsa->n,ctx))
155
			{
156 157 158 159 160 161 162
			BN_MONT_CTX_free(bn_mont_ctx);
			goto err;
			}
		if (rsa->_method_mod_n == NULL) /* other thread may have finished first */
			{
			CRYPTO_w_lock(CRYPTO_LOCK_RSA);
			if (rsa->_method_mod_n == NULL)
163
				{
164 165
				rsa->_method_mod_n = bn_mont_ctx;
				bn_mont_ctx = NULL;
166
				}
167
			CRYPTO_w_unlock(CRYPTO_LOCK_RSA);
168
			}
169 170
		if (bn_mont_ctx)
			BN_MONT_CTX_free(bn_mont_ctx);
171
		}
172
		
173
	if (!rsa->meth->bn_mod_exp(&ret,&f,rsa->e,rsa->n,ctx,
174
		rsa->_method_mod_n)) goto err;
175 176 177

	/* put in leading 0 bytes if the number is less than the
	 * length of the modulus */
178 179
	j=BN_num_bytes(&ret);
	i=BN_bn2bin(&ret,&(to[num-j]));
180 181 182 183 184 185
	for (k=0; k<(num-i); k++)
		to[k]=0;

	r=num;
err:
	if (ctx != NULL) BN_CTX_free(ctx);
186 187
	BN_clear_free(&f);
	BN_clear_free(&ret);
188 189 190
	if (buf != NULL) 
		{
		memset(buf,0,num);
191
		OPENSSL_free(buf);
192 193 194 195
		}
	return(r);
	}

B
Bodo Möller 已提交
196
/* signing */
R
Richard Levitte 已提交
197
static int RSA_eay_private_encrypt(int flen, const unsigned char *from,
U
Ulf Möller 已提交
198
	     unsigned char *to, RSA *rsa, int padding)
199
	{
200
	BIGNUM f,ret;
201 202 203 204
	int i,j,k,num=0,r= -1;
	unsigned char *buf=NULL;
	BN_CTX *ctx=NULL;

205 206 207
	BN_init(&f);
	BN_init(&ret);

208 209
	if ((ctx=BN_CTX_new()) == NULL) goto err;
	num=BN_num_bytes(rsa->n);
210
	if ((buf=(unsigned char *)OPENSSL_malloc(num)) == NULL)
211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230
		{
		RSAerr(RSA_F_RSA_EAY_PRIVATE_ENCRYPT,ERR_R_MALLOC_FAILURE);
		goto err;
		}

	switch (padding)
		{
	case RSA_PKCS1_PADDING:
		i=RSA_padding_add_PKCS1_type_1(buf,num,from,flen);
		break;
	case RSA_NO_PADDING:
		i=RSA_padding_add_none(buf,num,from,flen);
		break;
	case RSA_SSLV23_PADDING:
	default:
		RSAerr(RSA_F_RSA_EAY_PRIVATE_ENCRYPT,RSA_R_UNKNOWN_PADDING_TYPE);
		goto err;
		}
	if (i <= 0) goto err;

231
	if (BN_bin2bn(buf,num,&f) == NULL) goto err;
B
Bodo Möller 已提交
232 233 234 235 236 237 238
	
	if (BN_ucmp(&f, rsa->n) >= 0)
		{	
		/* usually the padding functions would catch this */
		RSAerr(RSA_F_RSA_EAY_PRIVATE_ENCRYPT,RSA_R_DATA_TOO_LARGE_FOR_MODULUS);
		goto err;
		}
239 240 241 242

	if ((rsa->flags & RSA_FLAG_BLINDING) && (rsa->blinding == NULL))
		RSA_blinding_on(rsa,ctx);
	if (rsa->flags & RSA_FLAG_BLINDING)
243
		if (!BN_BLINDING_convert(&f,rsa->blinding,ctx)) goto err;
244

245 246
	if ( (rsa->flags & RSA_FLAG_EXT_PKEY) ||
		((rsa->p != NULL) &&
247 248 249
		(rsa->q != NULL) &&
		(rsa->dmp1 != NULL) &&
		(rsa->dmq1 != NULL) &&
250
		(rsa->iqmp != NULL)) )
251
		{ if (!rsa->meth->rsa_mod_exp(&ret,&f,rsa)) goto err; }
252 253
	else
		{
254
		if (!rsa->meth->bn_mod_exp(&ret,&f,rsa->d,rsa->n,ctx,NULL)) goto err;
255 256 257
		}

	if (rsa->flags & RSA_FLAG_BLINDING)
258
		if (!BN_BLINDING_invert(&ret,rsa->blinding,ctx)) goto err;
259 260 261

	/* put in leading 0 bytes if the number is less than the
	 * length of the modulus */
262 263
	j=BN_num_bytes(&ret);
	i=BN_bn2bin(&ret,&(to[num-j]));
264 265 266 267 268 269
	for (k=0; k<(num-i); k++)
		to[k]=0;

	r=num;
err:
	if (ctx != NULL) BN_CTX_free(ctx);
270 271
	BN_clear_free(&ret);
	BN_clear_free(&f);
272 273 274
	if (buf != NULL)
		{
		memset(buf,0,num);
275
		OPENSSL_free(buf);
276 277 278 279
		}
	return(r);
	}

R
Richard Levitte 已提交
280
static int RSA_eay_private_decrypt(int flen, const unsigned char *from,
U
Ulf Möller 已提交
281
	     unsigned char *to, RSA *rsa, int padding)
282
	{
283
	BIGNUM f,ret;
284 285 286 287 288
	int j,num=0,r= -1;
	unsigned char *p;
	unsigned char *buf=NULL;
	BN_CTX *ctx=NULL;

289 290
	BN_init(&f);
	BN_init(&ret);
291 292 293 294 295
	ctx=BN_CTX_new();
	if (ctx == NULL) goto err;

	num=BN_num_bytes(rsa->n);

296
	if ((buf=(unsigned char *)OPENSSL_malloc(num)) == NULL)
297 298 299 300 301
		{
		RSAerr(RSA_F_RSA_EAY_PRIVATE_DECRYPT,ERR_R_MALLOC_FAILURE);
		goto err;
		}

U
Ulf Möller 已提交
302
	/* This check was for equality but PGP does evil things
303 304 305 306 307 308 309 310
	 * and chops off the top '0' bytes */
	if (flen > num)
		{
		RSAerr(RSA_F_RSA_EAY_PRIVATE_DECRYPT,RSA_R_DATA_GREATER_THAN_MOD_LEN);
		goto err;
		}

	/* make data into a big number */
311
	if (BN_bin2bn(from,(int)flen,&f) == NULL) goto err;
312

B
Bodo Möller 已提交
313 314 315 316 317 318
	if (BN_ucmp(&f, rsa->n) >= 0)
		{
		RSAerr(RSA_F_RSA_EAY_PRIVATE_DECRYPT,RSA_R_DATA_TOO_LARGE_FOR_MODULUS);
		goto err;
		}

319 320 321
	if ((rsa->flags & RSA_FLAG_BLINDING) && (rsa->blinding == NULL))
		RSA_blinding_on(rsa,ctx);
	if (rsa->flags & RSA_FLAG_BLINDING)
322
		if (!BN_BLINDING_convert(&f,rsa->blinding,ctx)) goto err;
323 324

	/* do the decrypt */
325 326
	if ( (rsa->flags & RSA_FLAG_EXT_PKEY) ||
		((rsa->p != NULL) &&
327 328 329
		(rsa->q != NULL) &&
		(rsa->dmp1 != NULL) &&
		(rsa->dmq1 != NULL) &&
330
		(rsa->iqmp != NULL)) )
331
		{ if (!rsa->meth->rsa_mod_exp(&ret,&f,rsa)) goto err; }
332 333
	else
		{
334
		if (!rsa->meth->bn_mod_exp(&ret,&f,rsa->d,rsa->n,ctx,NULL))
335 336 337 338
			goto err;
		}

	if (rsa->flags & RSA_FLAG_BLINDING)
339
		if (!BN_BLINDING_invert(&ret,rsa->blinding,ctx)) goto err;
340 341

	p=buf;
342
	j=BN_bn2bin(&ret,p); /* j is only used with no-padding mode */
343 344 345 346

	switch (padding)
		{
	case RSA_PKCS1_PADDING:
347
		r=RSA_padding_check_PKCS1_type_2(to,num,buf,j,num);
348
		break;
349
#ifndef OPENSSL_NO_SHA
B
Ben Laurie 已提交
350 351 352
        case RSA_PKCS1_OAEP_PADDING:
	        r=RSA_padding_check_PKCS1_OAEP(to,num,buf,j,num,NULL,0);
                break;
353
#endif
B
Ben Laurie 已提交
354
 	case RSA_SSLV23_PADDING:
355
		r=RSA_padding_check_SSLv23(to,num,buf,j,num);
356 357
		break;
	case RSA_NO_PADDING:
358
		r=RSA_padding_check_none(to,num,buf,j,num);
359 360 361 362 363 364 365 366 367 368
		break;
	default:
		RSAerr(RSA_F_RSA_EAY_PRIVATE_DECRYPT,RSA_R_UNKNOWN_PADDING_TYPE);
		goto err;
		}
	if (r < 0)
		RSAerr(RSA_F_RSA_EAY_PRIVATE_DECRYPT,RSA_R_PADDING_CHECK_FAILED);

err:
	if (ctx != NULL) BN_CTX_free(ctx);
369 370
	BN_clear_free(&f);
	BN_clear_free(&ret);
371 372 373
	if (buf != NULL)
		{
		memset(buf,0,num);
374
		OPENSSL_free(buf);
375 376 377 378
		}
	return(r);
	}

B
Bodo Möller 已提交
379
/* signature verification */
R
Richard Levitte 已提交
380
static int RSA_eay_public_decrypt(int flen, const unsigned char *from,
U
Ulf Möller 已提交
381
	     unsigned char *to, RSA *rsa, int padding)
382
	{
383
	BIGNUM f,ret;
384 385 386 387 388
	int i,num=0,r= -1;
	unsigned char *p;
	unsigned char *buf=NULL;
	BN_CTX *ctx=NULL;

389 390
	BN_init(&f);
	BN_init(&ret);
391 392 393 394
	ctx=BN_CTX_new();
	if (ctx == NULL) goto err;

	num=BN_num_bytes(rsa->n);
395
	buf=(unsigned char *)OPENSSL_malloc(num);
396 397 398 399 400 401
	if (buf == NULL)
		{
		RSAerr(RSA_F_RSA_EAY_PUBLIC_DECRYPT,ERR_R_MALLOC_FAILURE);
		goto err;
		}

U
Ulf Möller 已提交
402
	/* This check was for equality but PGP does evil things
403 404 405 406 407 408 409
	 * and chops off the top '0' bytes */
	if (flen > num)
		{
		RSAerr(RSA_F_RSA_EAY_PUBLIC_DECRYPT,RSA_R_DATA_GREATER_THAN_MOD_LEN);
		goto err;
		}

410
	if (BN_bin2bn(from,flen,&f) == NULL) goto err;
B
Bodo Möller 已提交
411 412 413 414 415 416 417

	if (BN_ucmp(&f, rsa->n) >= 0)
		{
		RSAerr(RSA_F_RSA_EAY_PUBLIC_DECRYPT,RSA_R_DATA_TOO_LARGE_FOR_MODULUS);
		goto err;
		}

418
	/* do the decrypt */
419
	if ((rsa->_method_mod_n == NULL) && (rsa->flags & RSA_FLAG_CACHE_PUBLIC))
420
		{
421 422 423 424
		BN_MONT_CTX* bn_mont_ctx;
		if ((bn_mont_ctx=BN_MONT_CTX_new()) == NULL)
			goto err;
		if (!BN_MONT_CTX_set(bn_mont_ctx,rsa->n,ctx))
425
			{
426 427 428 429 430 431 432
			BN_MONT_CTX_free(bn_mont_ctx);
			goto err;
			}
		if (rsa->_method_mod_n == NULL) /* other thread may have finished first */
			{
			CRYPTO_w_lock(CRYPTO_LOCK_RSA);
			if (rsa->_method_mod_n == NULL)
433
				{
434 435
				rsa->_method_mod_n = bn_mont_ctx;
				bn_mont_ctx = NULL;
436
				}
437
			CRYPTO_w_unlock(CRYPTO_LOCK_RSA);
438
			}
439 440
		if (bn_mont_ctx)
			BN_MONT_CTX_free(bn_mont_ctx);
441
		}
442
		
443
	if (!rsa->meth->bn_mod_exp(&ret,&f,rsa->e,rsa->n,ctx,
444
		rsa->_method_mod_n)) goto err;
445 446

	p=buf;
447
	i=BN_bn2bin(&ret,p);
448 449 450 451

	switch (padding)
		{
	case RSA_PKCS1_PADDING:
452
		r=RSA_padding_check_PKCS1_type_1(to,num,buf,i,num);
453 454
		break;
	case RSA_NO_PADDING:
455
		r=RSA_padding_check_none(to,num,buf,i,num);
456 457 458 459 460 461 462 463 464 465
		break;
	default:
		RSAerr(RSA_F_RSA_EAY_PUBLIC_DECRYPT,RSA_R_UNKNOWN_PADDING_TYPE);
		goto err;
		}
	if (r < 0)
		RSAerr(RSA_F_RSA_EAY_PUBLIC_DECRYPT,RSA_R_PADDING_CHECK_FAILED);

err:
	if (ctx != NULL) BN_CTX_free(ctx);
466 467
	BN_clear_free(&f);
	BN_clear_free(&ret);
468 469 470
	if (buf != NULL)
		{
		memset(buf,0,num);
471
		OPENSSL_free(buf);
472 473 474 475
		}
	return(r);
	}

R
Richard Levitte 已提交
476
static int RSA_eay_mod_exp(BIGNUM *r0, const BIGNUM *I, RSA *rsa)
477
	{
U
Ulf Möller 已提交
478
	BIGNUM r1,m1,vrfy;
479 480 481
	int ret=0;
	BN_CTX *ctx;

482 483
	BN_init(&m1);
	BN_init(&r1);
U
Ulf Möller 已提交
484
	BN_init(&vrfy);
485
	if ((ctx=BN_CTX_new()) == NULL) goto err;
486 487 488

	if (rsa->flags & RSA_FLAG_CACHE_PRIVATE)
		{
489
		if (rsa->_method_mod_p == NULL)
490
			{
491 492 493 494
			BN_MONT_CTX* bn_mont_ctx;
			if ((bn_mont_ctx=BN_MONT_CTX_new()) == NULL)
				goto err;
			if (!BN_MONT_CTX_set(bn_mont_ctx,rsa->p,ctx))
495
				{
496 497 498 499 500 501 502
				BN_MONT_CTX_free(bn_mont_ctx);
				goto err;
				}
			if (rsa->_method_mod_p == NULL) /* other thread may have finished first */
				{
				CRYPTO_w_lock(CRYPTO_LOCK_RSA);
				if (rsa->_method_mod_p == NULL)
503
					{
504 505
					rsa->_method_mod_p = bn_mont_ctx;
					bn_mont_ctx = NULL;
506 507
					}
				CRYPTO_w_unlock(CRYPTO_LOCK_RSA);
508 509 510
				}
			if (bn_mont_ctx)
				BN_MONT_CTX_free(bn_mont_ctx);
511
			}
512

513
		if (rsa->_method_mod_q == NULL)
514
			{
515 516 517 518
			BN_MONT_CTX* bn_mont_ctx;
			if ((bn_mont_ctx=BN_MONT_CTX_new()) == NULL)
				goto err;
			if (!BN_MONT_CTX_set(bn_mont_ctx,rsa->q,ctx))
519
				{
520
				BN_MONT_CTX_free(bn_mont_ctx);
B
Bodo Möller 已提交
521
				goto err;
522 523 524 525 526
				}
			if (rsa->_method_mod_q == NULL) /* other thread may have finished first */
				{
				CRYPTO_w_lock(CRYPTO_LOCK_RSA);
				if (rsa->_method_mod_q == NULL)
527
					{
528 529
					rsa->_method_mod_q = bn_mont_ctx;
					bn_mont_ctx = NULL;
530
					}
531
				CRYPTO_w_unlock(CRYPTO_LOCK_RSA);
532
				}
533 534
			if (bn_mont_ctx)
				BN_MONT_CTX_free(bn_mont_ctx);
535 536
			}
		}
537
		
538
	if (!BN_mod(&r1,I,rsa->q,ctx)) goto err;
539
	if (!rsa->meth->bn_mod_exp(&m1,&r1,rsa->dmq1,rsa->q,ctx,
540
		rsa->_method_mod_q)) goto err;
541

542
	if (!BN_mod(&r1,I,rsa->p,ctx)) goto err;
543
	if (!rsa->meth->bn_mod_exp(r0,&r1,rsa->dmp1,rsa->p,ctx,
544
		rsa->_method_mod_p)) goto err;
545

546 547 548 549 550
	if (!BN_sub(r0,r0,&m1)) goto err;
	/* This will help stop the size of r0 increasing, which does
	 * affect the multiply if it optimised for a power of 2 size */
	if (r0->neg)
		if (!BN_add(r0,r0,rsa->p)) goto err;
551

552 553
	if (!BN_mul(&r1,r0,rsa->iqmp,ctx)) goto err;
	if (!BN_mod(r0,&r1,rsa->p,ctx)) goto err;
554 555 556 557 558 559 560 561 562
	/* If p < q it is occasionally possible for the correction of
         * adding 'p' if r0 is negative above to leave the result still
	 * negative. This can break the private key operations: the following
	 * second correction should *always* correct this rare occurrence.
	 * This will *never* happen with OpenSSL generated keys because
         * they ensure p > q [steve]
         */
	if (r0->neg)
		if (!BN_add(r0,r0,rsa->p)) goto err;
563 564
	if (!BN_mul(&r1,r0,rsa->q,ctx)) goto err;
	if (!BN_add(r0,&r1,&m1)) goto err;
565

U
Ulf Möller 已提交
566 567
	if (rsa->e && rsa->n)
		{
568
		if (!rsa->meth->bn_mod_exp(&vrfy,r0,rsa->e,rsa->n,ctx,NULL)) goto err;
569 570 571 572 573 574 575 576 577 578 579 580
		/* If 'I' was greater than (or equal to) rsa->n, the operation
		 * will be equivalent to using 'I mod n'. However, the result of
		 * the verify will *always* be less than 'n' so we don't check
		 * for absolute equality, just congruency. */
		if (!BN_sub(&vrfy, &vrfy, I)) goto err;
		if (!BN_mod(&vrfy, &vrfy, rsa->n, ctx)) goto err;
		if (vrfy.neg)
			if (!BN_add(&vrfy, &vrfy, rsa->n)) goto err;
		if (!BN_is_zero(&vrfy))
			/* 'I' and 'vrfy' aren't congruent mod n. Don't leak
			 * miscalculated CRT output, just do a raw (slower)
			 * mod_exp and return that instead. */
581
			if (!rsa->meth->bn_mod_exp(r0,I,rsa->d,rsa->n,ctx,NULL)) goto err;
U
Ulf Möller 已提交
582
		}
583 584
	ret=1;
err:
585 586
	BN_clear_free(&m1);
	BN_clear_free(&r1);
U
Ulf Möller 已提交
587
	BN_clear_free(&vrfy);
B
Ben Laurie 已提交
588
	BN_CTX_free(ctx);
589 590 591
	return(ret);
	}

U
Ulf Möller 已提交
592
static int RSA_eay_init(RSA *rsa)
593 594 595 596 597
	{
	rsa->flags|=RSA_FLAG_CACHE_PUBLIC|RSA_FLAG_CACHE_PRIVATE;
	return(1);
	}

U
Ulf Möller 已提交
598
static int RSA_eay_finish(RSA *rsa)
599
	{
600 601 602 603 604 605
	if (rsa->_method_mod_n != NULL)
		BN_MONT_CTX_free(rsa->_method_mod_n);
	if (rsa->_method_mod_p != NULL)
		BN_MONT_CTX_free(rsa->_method_mod_p);
	if (rsa->_method_mod_q != NULL)
		BN_MONT_CTX_free(rsa->_method_mod_q);
606 607 608
	return(1);
	}

609
#endif