| 
									
										
										
										
											2016-05-18 02:51:04 +08:00
										 |  |  | /*
 | 
					
						
							| 
									
										
										
										
											2023-09-07 16:59:15 +08:00
										 |  |  |  * Copyright 1995-2023 The OpenSSL Project Authors. All Rights Reserved. | 
					
						
							| 
									
										
										
										
											1998-12-21 18:52:47 +08:00
										 |  |  |  * | 
					
						
							| 
									
										
										
										
											2018-12-06 20:22:12 +08:00
										 |  |  |  * Licensed under the Apache License 2.0 (the "License").  You may not use | 
					
						
							| 
									
										
										
										
											2016-05-18 02:51:04 +08:00
										 |  |  |  * this file except in compliance with the License.  You can obtain a copy | 
					
						
							|  |  |  |  * in the file LICENSE in the source distribution or at | 
					
						
							|  |  |  |  * https://www.openssl.org/source/license.html
 | 
					
						
							| 
									
										
										
										
											1998-12-21 18:52:47 +08:00
										 |  |  |  */ | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-05-14 22:56:48 +08:00
										 |  |  | #include "internal/cryptlib.h"
 | 
					
						
							| 
									
										
										
										
											2019-09-28 06:45:40 +08:00
										 |  |  | #include "bn_local.h"
 | 
					
						
							| 
									
										
										
										
											1998-12-21 18:52:47 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1999-04-20 05:31:43 +08:00
										 |  |  | void BN_RECP_CTX_init(BN_RECP_CTX *recp) | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  | { | 
					
						
							| 
									
										
										
										
											2016-11-09 02:22:09 +08:00
										 |  |  |     memset(recp, 0, sizeof(*recp)); | 
					
						
							| 
									
										
										
										
											2015-11-21 21:27:46 +08:00
										 |  |  |     bn_init(&(recp->N)); | 
					
						
							|  |  |  |     bn_init(&(recp->Nr)); | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											1998-12-21 19:00:56 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1999-04-20 05:31:43 +08:00
										 |  |  | BN_RECP_CTX *BN_RECP_CTX_new(void) | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  | { | 
					
						
							|  |  |  |     BN_RECP_CTX *ret; | 
					
						
							| 
									
										
										
										
											1998-12-21 19:00:56 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-09-29 19:57:34 +08:00
										 |  |  |     if ((ret = OPENSSL_zalloc(sizeof(*ret))) == NULL) | 
					
						
							| 
									
										
										
										
											2017-10-17 22:04:09 +08:00
										 |  |  |         return NULL; | 
					
						
							| 
									
										
										
										
											1998-12-21 19:00:56 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2016-11-09 02:22:09 +08:00
										 |  |  |     bn_init(&(ret->N)); | 
					
						
							|  |  |  |     bn_init(&(ret->Nr)); | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |     ret->flags = BN_FLG_MALLOCED; | 
					
						
							| 
									
										
										
										
											2017-10-17 22:04:09 +08:00
										 |  |  |     return ret; | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											1998-12-21 19:00:56 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1999-04-20 05:31:43 +08:00
										 |  |  | void BN_RECP_CTX_free(BN_RECP_CTX *recp) | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  | { | 
					
						
							| 
									
										
										
										
											2018-03-28 04:25:08 +08:00
										 |  |  |     if (recp == NULL) | 
					
						
							|  |  |  |         return; | 
					
						
							|  |  |  |     BN_free(&recp->N); | 
					
						
							|  |  |  |     BN_free(&recp->Nr); | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |     if (recp->flags & BN_FLG_MALLOCED) | 
					
						
							|  |  |  |         OPENSSL_free(recp); | 
					
						
							|  |  |  | } | 
					
						
							| 
									
										
										
										
											1998-12-21 19:00:56 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											1999-06-05 06:23:10 +08:00
										 |  |  | int BN_RECP_CTX_set(BN_RECP_CTX *recp, const BIGNUM *d, BN_CTX *ctx) | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  | { | 
					
						
							| 
									
										
										
										
											2023-06-21 15:00:06 +08:00
										 |  |  |     if (BN_is_zero(d) || !BN_copy(&(recp->N), d)) | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |         return 0; | 
					
						
							|  |  |  |     BN_zero(&(recp->Nr)); | 
					
						
							|  |  |  |     recp->num_bits = BN_num_bits(d); | 
					
						
							|  |  |  |     recp->shift = 0; | 
					
						
							| 
									
										
										
										
											2017-10-09 19:05:58 +08:00
										 |  |  |     return 1; | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											1998-12-21 19:00:56 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2000-11-07 05:15:54 +08:00
										 |  |  | int BN_mod_mul_reciprocal(BIGNUM *r, const BIGNUM *x, const BIGNUM *y, | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |                           BN_RECP_CTX *recp, BN_CTX *ctx) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     int ret = 0; | 
					
						
							|  |  |  |     BIGNUM *a; | 
					
						
							|  |  |  |     const BIGNUM *ca; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     BN_CTX_start(ctx); | 
					
						
							|  |  |  |     if ((a = BN_CTX_get(ctx)) == NULL) | 
					
						
							|  |  |  |         goto err; | 
					
						
							|  |  |  |     if (y != NULL) { | 
					
						
							|  |  |  |         if (x == y) { | 
					
						
							|  |  |  |             if (!BN_sqr(a, x, ctx)) | 
					
						
							|  |  |  |                 goto err; | 
					
						
							|  |  |  |         } else { | 
					
						
							|  |  |  |             if (!BN_mul(a, x, y, ctx)) | 
					
						
							|  |  |  |                 goto err; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |         ca = a; | 
					
						
							|  |  |  |     } else | 
					
						
							|  |  |  |         ca = x;                 /* Just do the mod */ | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     ret = BN_div_recp(NULL, r, ca, recp, ctx); | 
					
						
							|  |  |  |  err: | 
					
						
							|  |  |  |     BN_CTX_end(ctx); | 
					
						
							|  |  |  |     bn_check_top(r); | 
					
						
							| 
									
										
										
										
											2017-10-17 22:04:09 +08:00
										 |  |  |     return ret; | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  | } | 
					
						
							| 
									
										
										
										
											1998-12-21 19:00:56 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2000-11-07 05:15:54 +08:00
										 |  |  | int BN_div_recp(BIGNUM *dv, BIGNUM *rem, const BIGNUM *m, | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |                 BN_RECP_CTX *recp, BN_CTX *ctx) | 
					
						
							|  |  |  | { | 
					
						
							|  |  |  |     int i, j, ret = 0; | 
					
						
							|  |  |  |     BIGNUM *a, *b, *d, *r; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     BN_CTX_start(ctx); | 
					
						
							| 
									
										
										
										
											2017-06-22 18:52:29 +08:00
										 |  |  |     d = (dv != NULL) ? dv : BN_CTX_get(ctx); | 
					
						
							|  |  |  |     r = (rem != NULL) ? rem : BN_CTX_get(ctx); | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |     a = BN_CTX_get(ctx); | 
					
						
							|  |  |  |     b = BN_CTX_get(ctx); | 
					
						
							| 
									
										
										
										
											2017-06-22 18:52:29 +08:00
										 |  |  |     if (b == NULL) | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |         goto err; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     if (BN_ucmp(m, &(recp->N)) < 0) { | 
					
						
							|  |  |  |         BN_zero(d); | 
					
						
							| 
									
										
										
										
											2015-10-08 20:38:57 +08:00
										 |  |  |         if (!BN_copy(r, m)) { | 
					
						
							|  |  |  |             BN_CTX_end(ctx); | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |             return 0; | 
					
						
							| 
									
										
										
										
											2015-10-08 20:38:57 +08:00
										 |  |  |         } | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |         BN_CTX_end(ctx); | 
					
						
							| 
									
										
										
										
											2017-10-09 19:05:58 +08:00
										 |  |  |         return 1; | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |     } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     /*
 | 
					
						
							|  |  |  |      * We want the remainder Given input of ABCDEF / ab we need multiply | 
					
						
							|  |  |  |      * ABCDEF by 3 digests of the reciprocal of ab | 
					
						
							|  |  |  |      */ | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     /* i := max(BN_num_bits(m), 2*BN_num_bits(N)) */ | 
					
						
							|  |  |  |     i = BN_num_bits(m); | 
					
						
							|  |  |  |     j = recp->num_bits << 1; | 
					
						
							|  |  |  |     if (j > i) | 
					
						
							|  |  |  |         i = j; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     /* Nr := round(2^i / N) */ | 
					
						
							|  |  |  |     if (i != recp->shift) | 
					
						
							|  |  |  |         recp->shift = BN_reciprocal(&(recp->Nr), &(recp->N), i, ctx); | 
					
						
							|  |  |  |     /* BN_reciprocal could have returned -1 for an error */ | 
					
						
							|  |  |  |     if (recp->shift == -1) | 
					
						
							|  |  |  |         goto err; | 
					
						
							| 
									
										
										
										
											1998-12-21 19:00:56 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-01-20 22:12:07 +08:00
										 |  |  |     /*-
 | 
					
						
							|  |  |  |      * d := |round(round(m / 2^BN_num_bits(N)) * recp->Nr / 2^(i - BN_num_bits(N)))| | 
					
						
							|  |  |  |      *    = |round(round(m / 2^BN_num_bits(N)) * round(2^i / N) / 2^(i - BN_num_bits(N)))| | 
					
						
							|  |  |  |      *   <= |(m / 2^BN_num_bits(N)) * (2^i / N) * (2^BN_num_bits(N) / 2^i)| | 
					
						
							|  |  |  |      *    = |m/N| | 
					
						
							|  |  |  |      */ | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |     if (!BN_rshift(a, m, recp->num_bits)) | 
					
						
							|  |  |  |         goto err; | 
					
						
							|  |  |  |     if (!BN_mul(b, a, &(recp->Nr), ctx)) | 
					
						
							|  |  |  |         goto err; | 
					
						
							|  |  |  |     if (!BN_rshift(d, b, i - recp->num_bits)) | 
					
						
							|  |  |  |         goto err; | 
					
						
							|  |  |  |     d->neg = 0; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     if (!BN_mul(b, &(recp->N), d, ctx)) | 
					
						
							|  |  |  |         goto err; | 
					
						
							|  |  |  |     if (!BN_usub(r, m, b)) | 
					
						
							|  |  |  |         goto err; | 
					
						
							|  |  |  |     r->neg = 0; | 
					
						
							| 
									
										
										
										
											1998-12-21 19:00:56 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |     j = 0; | 
					
						
							|  |  |  |     while (BN_ucmp(r, &(recp->N)) >= 0) { | 
					
						
							|  |  |  |         if (j++ > 2) { | 
					
						
							| 
									
										
										
										
											2020-11-04 19:23:19 +08:00
										 |  |  |             ERR_raise(ERR_LIB_BN, BN_R_BAD_RECIPROCAL); | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |             goto err; | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |         if (!BN_usub(r, r, &(recp->N))) | 
					
						
							|  |  |  |             goto err; | 
					
						
							|  |  |  |         if (!BN_add_word(d, 1)) | 
					
						
							|  |  |  |             goto err; | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											1998-12-21 18:52:47 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  |     r->neg = BN_is_zero(r) ? 0 : m->neg; | 
					
						
							|  |  |  |     d->neg = m->neg ^ recp->N.neg; | 
					
						
							|  |  |  |     ret = 1; | 
					
						
							|  |  |  |  err: | 
					
						
							|  |  |  |     BN_CTX_end(ctx); | 
					
						
							|  |  |  |     bn_check_top(dv); | 
					
						
							|  |  |  |     bn_check_top(rem); | 
					
						
							| 
									
										
										
										
											2017-10-17 22:04:09 +08:00
										 |  |  |     return ret; | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | /*
 | 
					
						
							|  |  |  |  * len is the expected size of the result We actually calculate with an extra | 
					
						
							|  |  |  |  * word of precision, so we can do faster division if the remainder is not | 
					
						
							|  |  |  |  * required. | 
					
						
							| 
									
										
										
										
											1998-12-21 19:00:56 +08:00
										 |  |  |  */ | 
					
						
							| 
									
										
										
										
											2000-11-27 00:42:38 +08:00
										 |  |  | /* r := 2^len / m */ | 
					
						
							| 
									
										
										
										
											2008-11-12 11:58:08 +08:00
										 |  |  | int BN_reciprocal(BIGNUM *r, const BIGNUM *m, int len, BN_CTX *ctx) | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  | { | 
					
						
							|  |  |  |     int ret = -1; | 
					
						
							|  |  |  |     BIGNUM *t; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     BN_CTX_start(ctx); | 
					
						
							|  |  |  |     if ((t = BN_CTX_get(ctx)) == NULL) | 
					
						
							|  |  |  |         goto err; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     if (!BN_set_bit(t, len)) | 
					
						
							|  |  |  |         goto err; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     if (!BN_div(r, NULL, t, m, ctx)) | 
					
						
							|  |  |  |         goto err; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |     ret = len; | 
					
						
							|  |  |  |  err: | 
					
						
							|  |  |  |     bn_check_top(r); | 
					
						
							|  |  |  |     BN_CTX_end(ctx); | 
					
						
							| 
									
										
										
										
											2017-10-17 22:04:09 +08:00
										 |  |  |     return ret; | 
					
						
							| 
									
										
										
										
											2015-01-22 11:40:55 +08:00
										 |  |  | } |