1 /* 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 #include <openssl/bn.h>
58
59 #include <openssl/mem.h>
60 #include <openssl/type_check.h>
61
62 #include "internal.h"
63 #include "../../internal.h"
64
65
BN_ucmp(const BIGNUM * a,const BIGNUM * b)66 int BN_ucmp(const BIGNUM *a, const BIGNUM *b) {
67 int a_width = bn_minimal_width(a);
68 int b_width = bn_minimal_width(b);
69 int i = a_width - b_width;
70 if (i != 0) {
71 return i;
72 }
73
74 const BN_ULONG *ap = a->d;
75 const BN_ULONG *bp = b->d;
76 for (i = a_width - 1; i >= 0; i--) {
77 BN_ULONG t1 = ap[i];
78 BN_ULONG t2 = bp[i];
79 if (t1 != t2) {
80 return (t1 > t2) ? 1 : -1;
81 }
82 }
83
84 return 0;
85 }
86
BN_cmp(const BIGNUM * a,const BIGNUM * b)87 int BN_cmp(const BIGNUM *a, const BIGNUM *b) {
88 int i;
89 int gt, lt;
90 BN_ULONG t1, t2;
91
92 if ((a == NULL) || (b == NULL)) {
93 if (a != NULL) {
94 return -1;
95 } else if (b != NULL) {
96 return 1;
97 } else {
98 return 0;
99 }
100 }
101
102 if (a->neg != b->neg) {
103 if (a->neg) {
104 return -1;
105 }
106 return 1;
107 }
108 if (a->neg == 0) {
109 gt = 1;
110 lt = -1;
111 } else {
112 gt = -1;
113 lt = 1;
114 }
115
116 int a_width = bn_minimal_width(a);
117 int b_width = bn_minimal_width(b);
118 if (a_width > b_width) {
119 return gt;
120 }
121 if (a_width < b_width) {
122 return lt;
123 }
124
125 for (i = a_width - 1; i >= 0; i--) {
126 t1 = a->d[i];
127 t2 = b->d[i];
128 if (t1 > t2) {
129 return gt;
130 } if (t1 < t2) {
131 return lt;
132 }
133 }
134
135 return 0;
136 }
137
bn_cmp_words(const BN_ULONG * a,const BN_ULONG * b,int n)138 int bn_cmp_words(const BN_ULONG *a, const BN_ULONG *b, int n) {
139 int i;
140 BN_ULONG aa, bb;
141
142 aa = a[n - 1];
143 bb = b[n - 1];
144 if (aa != bb) {
145 return (aa > bb) ? 1 : -1;
146 }
147
148 for (i = n - 2; i >= 0; i--) {
149 aa = a[i];
150 bb = b[i];
151 if (aa != bb) {
152 return (aa > bb) ? 1 : -1;
153 }
154 }
155 return 0;
156 }
157
bn_cmp_part_words(const BN_ULONG * a,const BN_ULONG * b,int cl,int dl)158 int bn_cmp_part_words(const BN_ULONG *a, const BN_ULONG *b, int cl, int dl) {
159 int n, i;
160 n = cl - 1;
161
162 if (dl < 0) {
163 for (i = dl; i < 0; i++) {
164 if (b[n - i] != 0) {
165 return -1; // a < b
166 }
167 }
168 }
169 if (dl > 0) {
170 for (i = dl; i > 0; i--) {
171 if (a[n + i] != 0) {
172 return 1; // a > b
173 }
174 }
175 }
176
177 return bn_cmp_words(a, b, cl);
178 }
179
bn_less_than_words_impl(const BN_ULONG * a,size_t a_len,const BN_ULONG * b,size_t b_len)180 static int bn_less_than_words_impl(const BN_ULONG *a, size_t a_len,
181 const BN_ULONG *b, size_t b_len) {
182 OPENSSL_COMPILE_ASSERT(sizeof(BN_ULONG) <= sizeof(crypto_word_t),
183 crypto_word_t_too_small);
184 int ret = 0;
185 // Process the common words in little-endian order.
186 size_t min = a_len < b_len ? a_len : b_len;
187 for (size_t i = 0; i < min; i++) {
188 crypto_word_t eq = constant_time_eq_w(a[i], b[i]);
189 crypto_word_t lt = constant_time_lt_w(a[i], b[i]);
190 ret = constant_time_select_int(eq, ret, constant_time_select_int(lt, 1, 0));
191 }
192
193 // If |a| or |b| has non-zero words beyond |min|, they take precedence.
194 if (a_len < b_len) {
195 crypto_word_t mask = 0;
196 for (size_t i = a_len; i < b_len; i++) {
197 mask |= b[i];
198 }
199 ret = constant_time_select_int(constant_time_is_zero_w(mask), ret, 1);
200 } else if (b_len < a_len) {
201 crypto_word_t mask = 0;
202 for (size_t i = b_len; i < a_len; i++) {
203 mask |= a[i];
204 }
205 ret = constant_time_select_int(constant_time_is_zero_w(mask), ret, 0);
206 }
207
208 return ret;
209 }
210
bn_less_than_words(const BN_ULONG * a,const BN_ULONG * b,size_t len)211 int bn_less_than_words(const BN_ULONG *a, const BN_ULONG *b, size_t len) {
212 return bn_less_than_words_impl(a, len, b, len);
213 }
214
BN_abs_is_word(const BIGNUM * bn,BN_ULONG w)215 int BN_abs_is_word(const BIGNUM *bn, BN_ULONG w) {
216 switch (bn_minimal_width(bn)) {
217 case 1:
218 return bn->d[0] == w;
219 case 0:
220 return w == 0;
221 default:
222 return 0;
223 }
224 }
225
BN_cmp_word(const BIGNUM * a,BN_ULONG b)226 int BN_cmp_word(const BIGNUM *a, BN_ULONG b) {
227 BIGNUM b_bn;
228 BN_init(&b_bn);
229
230 b_bn.d = &b;
231 b_bn.top = b > 0;
232 b_bn.dmax = 1;
233 b_bn.flags = BN_FLG_STATIC_DATA;
234 return BN_cmp(a, &b_bn);
235 }
236
BN_is_zero(const BIGNUM * bn)237 int BN_is_zero(const BIGNUM *bn) {
238 return bn_minimal_width(bn) == 0;
239 }
240
BN_is_one(const BIGNUM * bn)241 int BN_is_one(const BIGNUM *bn) {
242 return bn->neg == 0 && BN_abs_is_word(bn, 1);
243 }
244
BN_is_word(const BIGNUM * bn,BN_ULONG w)245 int BN_is_word(const BIGNUM *bn, BN_ULONG w) {
246 return BN_abs_is_word(bn, w) && (w == 0 || bn->neg == 0);
247 }
248
BN_is_odd(const BIGNUM * bn)249 int BN_is_odd(const BIGNUM *bn) {
250 return bn->top > 0 && (bn->d[0] & 1) == 1;
251 }
252
BN_is_pow2(const BIGNUM * bn)253 int BN_is_pow2(const BIGNUM *bn) {
254 int width = bn_minimal_width(bn);
255 if (width == 0 || bn->neg) {
256 return 0;
257 }
258
259 for (int i = 0; i < width - 1; i++) {
260 if (bn->d[i] != 0) {
261 return 0;
262 }
263 }
264
265 return 0 == (bn->d[width-1] & (bn->d[width-1] - 1));
266 }
267
BN_equal_consttime(const BIGNUM * a,const BIGNUM * b)268 int BN_equal_consttime(const BIGNUM *a, const BIGNUM *b) {
269 BN_ULONG mask = 0;
270 // If |a| or |b| has more words than the other, all those words must be zero.
271 for (int i = a->top; i < b->top; i++) {
272 mask |= b->d[i];
273 }
274 for (int i = b->top; i < a->top; i++) {
275 mask |= a->d[i];
276 }
277 // Common words must match.
278 int min = a->top < b->top ? a->top : b->top;
279 for (int i = 0; i < min; i++) {
280 mask |= (a->d[i] ^ b->d[i]);
281 }
282 // The sign bit must match.
283 mask |= (a->neg ^ b->neg);
284 return mask == 0;
285 }
286
BN_less_than_consttime(const BIGNUM * a,const BIGNUM * b)287 int BN_less_than_consttime(const BIGNUM *a, const BIGNUM *b) {
288 // We do not attempt to process the sign bit in constant time. Negative
289 // |BIGNUM|s should never occur in crypto, only calculators.
290 if (a->neg && !b->neg) {
291 return 1;
292 }
293 if (b->neg && !a->neg) {
294 return 0;
295 }
296 if (a->neg && b->neg) {
297 const BIGNUM *tmp = a;
298 a = b;
299 b = tmp;
300 }
301 return bn_less_than_words_impl(a->d, a->top, b->d, b->top);
302 }
303