/src/openssl/crypto/bn/bn_blind.c
Line | Count | Source (jump to first uncovered line) |
1 | | /* |
2 | | * Copyright 1998-2018 The OpenSSL Project Authors. All Rights Reserved. |
3 | | * |
4 | | * Licensed under the OpenSSL license (the "License"). You may not use |
5 | | * this file except in compliance with the License. You can obtain a copy |
6 | | * in the file LICENSE in the source distribution or at |
7 | | * https://www.openssl.org/source/license.html |
8 | | */ |
9 | | |
10 | | #include <openssl/opensslconf.h> |
11 | | #include "internal/cryptlib.h" |
12 | | #include "bn_lcl.h" |
13 | | |
14 | 0 | #define BN_BLINDING_COUNTER 32 |
15 | | |
16 | | struct bn_blinding_st { |
17 | | BIGNUM *A; |
18 | | BIGNUM *Ai; |
19 | | BIGNUM *e; |
20 | | BIGNUM *mod; /* just a reference */ |
21 | | CRYPTO_THREAD_ID tid; |
22 | | int counter; |
23 | | unsigned long flags; |
24 | | BN_MONT_CTX *m_ctx; |
25 | | int (*bn_mod_exp) (BIGNUM *r, const BIGNUM *a, const BIGNUM *p, |
26 | | const BIGNUM *m, BN_CTX *ctx, BN_MONT_CTX *m_ctx); |
27 | | CRYPTO_RWLOCK *lock; |
28 | | }; |
29 | | |
30 | | BN_BLINDING *BN_BLINDING_new(const BIGNUM *A, const BIGNUM *Ai, BIGNUM *mod) |
31 | 0 | { |
32 | 0 | BN_BLINDING *ret = NULL; |
33 | 0 |
|
34 | 0 | bn_check_top(mod); |
35 | 0 |
|
36 | 0 | if ((ret = OPENSSL_zalloc(sizeof(*ret))) == NULL) { |
37 | 0 | BNerr(BN_F_BN_BLINDING_NEW, ERR_R_MALLOC_FAILURE); |
38 | 0 | return NULL; |
39 | 0 | } |
40 | 0 |
|
41 | 0 | ret->lock = CRYPTO_THREAD_lock_new(); |
42 | 0 | if (ret->lock == NULL) { |
43 | 0 | BNerr(BN_F_BN_BLINDING_NEW, ERR_R_MALLOC_FAILURE); |
44 | 0 | OPENSSL_free(ret); |
45 | 0 | return NULL; |
46 | 0 | } |
47 | 0 |
|
48 | 0 | BN_BLINDING_set_current_thread(ret); |
49 | 0 |
|
50 | 0 | if (A != NULL) { |
51 | 0 | if ((ret->A = BN_dup(A)) == NULL) |
52 | 0 | goto err; |
53 | 0 | } |
54 | 0 | |
55 | 0 | if (Ai != NULL) { |
56 | 0 | if ((ret->Ai = BN_dup(Ai)) == NULL) |
57 | 0 | goto err; |
58 | 0 | } |
59 | 0 | |
60 | 0 | /* save a copy of mod in the BN_BLINDING structure */ |
61 | 0 | if ((ret->mod = BN_dup(mod)) == NULL) |
62 | 0 | goto err; |
63 | 0 | |
64 | 0 | if (BN_get_flags(mod, BN_FLG_CONSTTIME) != 0) |
65 | 0 | BN_set_flags(ret->mod, BN_FLG_CONSTTIME); |
66 | 0 |
|
67 | 0 | /* |
68 | 0 | * Set the counter to the special value -1 to indicate that this is |
69 | 0 | * never-used fresh blinding that does not need updating before first |
70 | 0 | * use. |
71 | 0 | */ |
72 | 0 | ret->counter = -1; |
73 | 0 |
|
74 | 0 | return ret; |
75 | 0 |
|
76 | 0 | err: |
77 | 0 | BN_BLINDING_free(ret); |
78 | 0 | return NULL; |
79 | 0 | } |
80 | | |
81 | | void BN_BLINDING_free(BN_BLINDING *r) |
82 | 1.08M | { |
83 | 1.08M | if (r == NULL) |
84 | 1.08M | return; |
85 | 0 | BN_free(r->A); |
86 | 0 | BN_free(r->Ai); |
87 | 0 | BN_free(r->e); |
88 | 0 | BN_free(r->mod); |
89 | 0 | CRYPTO_THREAD_lock_free(r->lock); |
90 | 0 | OPENSSL_free(r); |
91 | 0 | } |
92 | | |
93 | | int BN_BLINDING_update(BN_BLINDING *b, BN_CTX *ctx) |
94 | 0 | { |
95 | 0 | int ret = 0; |
96 | 0 |
|
97 | 0 | if ((b->A == NULL) || (b->Ai == NULL)) { |
98 | 0 | BNerr(BN_F_BN_BLINDING_UPDATE, BN_R_NOT_INITIALIZED); |
99 | 0 | goto err; |
100 | 0 | } |
101 | 0 |
|
102 | 0 | if (b->counter == -1) |
103 | 0 | b->counter = 0; |
104 | 0 |
|
105 | 0 | if (++b->counter == BN_BLINDING_COUNTER && b->e != NULL && |
106 | 0 | !(b->flags & BN_BLINDING_NO_RECREATE)) { |
107 | 0 | /* re-create blinding parameters */ |
108 | 0 | if (!BN_BLINDING_create_param(b, NULL, NULL, ctx, NULL, NULL)) |
109 | 0 | goto err; |
110 | 0 | } else if (!(b->flags & BN_BLINDING_NO_UPDATE)) { |
111 | 0 | if (b->m_ctx != NULL) { |
112 | 0 | if (!bn_mul_mont_fixed_top(b->Ai, b->Ai, b->Ai, b->m_ctx, ctx) |
113 | 0 | || !bn_mul_mont_fixed_top(b->A, b->A, b->A, b->m_ctx, ctx)) |
114 | 0 | goto err; |
115 | 0 | } else { |
116 | 0 | if (!BN_mod_mul(b->Ai, b->Ai, b->Ai, b->mod, ctx) |
117 | 0 | || !BN_mod_mul(b->A, b->A, b->A, b->mod, ctx)) |
118 | 0 | goto err; |
119 | 0 | } |
120 | 0 | } |
121 | 0 | |
122 | 0 | ret = 1; |
123 | 0 | err: |
124 | 0 | if (b->counter == BN_BLINDING_COUNTER) |
125 | 0 | b->counter = 0; |
126 | 0 | return ret; |
127 | 0 | } |
128 | | |
129 | | int BN_BLINDING_convert(BIGNUM *n, BN_BLINDING *b, BN_CTX *ctx) |
130 | 0 | { |
131 | 0 | return BN_BLINDING_convert_ex(n, NULL, b, ctx); |
132 | 0 | } |
133 | | |
134 | | int BN_BLINDING_convert_ex(BIGNUM *n, BIGNUM *r, BN_BLINDING *b, BN_CTX *ctx) |
135 | 0 | { |
136 | 0 | int ret = 1; |
137 | 0 |
|
138 | 0 | bn_check_top(n); |
139 | 0 |
|
140 | 0 | if ((b->A == NULL) || (b->Ai == NULL)) { |
141 | 0 | BNerr(BN_F_BN_BLINDING_CONVERT_EX, BN_R_NOT_INITIALIZED); |
142 | 0 | return 0; |
143 | 0 | } |
144 | 0 |
|
145 | 0 | if (b->counter == -1) |
146 | 0 | /* Fresh blinding, doesn't need updating. */ |
147 | 0 | b->counter = 0; |
148 | 0 | else if (!BN_BLINDING_update(b, ctx)) |
149 | 0 | return 0; |
150 | 0 | |
151 | 0 | if (r != NULL && (BN_copy(r, b->Ai) == NULL)) |
152 | 0 | return 0; |
153 | 0 | |
154 | 0 | if (b->m_ctx != NULL) |
155 | 0 | ret = BN_mod_mul_montgomery(n, n, b->A, b->m_ctx, ctx); |
156 | 0 | else |
157 | 0 | ret = BN_mod_mul(n, n, b->A, b->mod, ctx); |
158 | 0 |
|
159 | 0 | return ret; |
160 | 0 | } |
161 | | |
162 | | int BN_BLINDING_invert(BIGNUM *n, BN_BLINDING *b, BN_CTX *ctx) |
163 | 0 | { |
164 | 0 | return BN_BLINDING_invert_ex(n, NULL, b, ctx); |
165 | 0 | } |
166 | | |
167 | | int BN_BLINDING_invert_ex(BIGNUM *n, const BIGNUM *r, BN_BLINDING *b, |
168 | | BN_CTX *ctx) |
169 | 0 | { |
170 | 0 | int ret; |
171 | 0 |
|
172 | 0 | bn_check_top(n); |
173 | 0 |
|
174 | 0 | if (r == NULL && (r = b->Ai) == NULL) { |
175 | 0 | BNerr(BN_F_BN_BLINDING_INVERT_EX, BN_R_NOT_INITIALIZED); |
176 | 0 | return 0; |
177 | 0 | } |
178 | 0 |
|
179 | 0 | if (b->m_ctx != NULL) { |
180 | 0 | /* ensure that BN_mod_mul_montgomery takes pre-defined path */ |
181 | 0 | if (n->dmax >= r->top) { |
182 | 0 | size_t i, rtop = r->top, ntop = n->top; |
183 | 0 | BN_ULONG mask; |
184 | 0 |
|
185 | 0 | for (i = 0; i < rtop; i++) { |
186 | 0 | mask = (BN_ULONG)0 - ((i - ntop) >> (8 * sizeof(i) - 1)); |
187 | 0 | n->d[i] &= mask; |
188 | 0 | } |
189 | 0 | mask = (BN_ULONG)0 - ((rtop - ntop) >> (8 * sizeof(ntop) - 1)); |
190 | 0 | /* always true, if (rtop >= ntop) n->top = r->top; */ |
191 | 0 | n->top = (int)(rtop & ~mask) | (ntop & mask); |
192 | 0 | n->flags |= (BN_FLG_FIXED_TOP & ~mask); |
193 | 0 | } |
194 | 0 | ret = BN_mod_mul_montgomery(n, n, r, b->m_ctx, ctx); |
195 | 0 | } else { |
196 | 0 | ret = BN_mod_mul(n, n, r, b->mod, ctx); |
197 | 0 | } |
198 | 0 |
|
199 | 0 | bn_check_top(n); |
200 | 0 | return ret; |
201 | 0 | } |
202 | | |
203 | | int BN_BLINDING_is_current_thread(BN_BLINDING *b) |
204 | 0 | { |
205 | 0 | return CRYPTO_THREAD_compare_id(CRYPTO_THREAD_get_current_id(), b->tid); |
206 | 0 | } |
207 | | |
208 | | void BN_BLINDING_set_current_thread(BN_BLINDING *b) |
209 | 0 | { |
210 | 0 | b->tid = CRYPTO_THREAD_get_current_id(); |
211 | 0 | } |
212 | | |
213 | | int BN_BLINDING_lock(BN_BLINDING *b) |
214 | 0 | { |
215 | 0 | return CRYPTO_THREAD_write_lock(b->lock); |
216 | 0 | } |
217 | | |
218 | | int BN_BLINDING_unlock(BN_BLINDING *b) |
219 | 0 | { |
220 | 0 | return CRYPTO_THREAD_unlock(b->lock); |
221 | 0 | } |
222 | | |
223 | | unsigned long BN_BLINDING_get_flags(const BN_BLINDING *b) |
224 | 0 | { |
225 | 0 | return b->flags; |
226 | 0 | } |
227 | | |
228 | | void BN_BLINDING_set_flags(BN_BLINDING *b, unsigned long flags) |
229 | 0 | { |
230 | 0 | b->flags = flags; |
231 | 0 | } |
232 | | |
233 | | BN_BLINDING *BN_BLINDING_create_param(BN_BLINDING *b, |
234 | | const BIGNUM *e, BIGNUM *m, BN_CTX *ctx, |
235 | | int (*bn_mod_exp) (BIGNUM *r, |
236 | | const BIGNUM *a, |
237 | | const BIGNUM *p, |
238 | | const BIGNUM *m, |
239 | | BN_CTX *ctx, |
240 | | BN_MONT_CTX *m_ctx), |
241 | | BN_MONT_CTX *m_ctx) |
242 | 0 | { |
243 | 0 | int retry_counter = 32; |
244 | 0 | BN_BLINDING *ret = NULL; |
245 | 0 |
|
246 | 0 | if (b == NULL) |
247 | 0 | ret = BN_BLINDING_new(NULL, NULL, m); |
248 | 0 | else |
249 | 0 | ret = b; |
250 | 0 |
|
251 | 0 | if (ret == NULL) |
252 | 0 | goto err; |
253 | 0 | |
254 | 0 | if (ret->A == NULL && (ret->A = BN_new()) == NULL) |
255 | 0 | goto err; |
256 | 0 | if (ret->Ai == NULL && (ret->Ai = BN_new()) == NULL) |
257 | 0 | goto err; |
258 | 0 | |
259 | 0 | if (e != NULL) { |
260 | 0 | BN_free(ret->e); |
261 | 0 | ret->e = BN_dup(e); |
262 | 0 | } |
263 | 0 | if (ret->e == NULL) |
264 | 0 | goto err; |
265 | 0 | |
266 | 0 | if (bn_mod_exp != NULL) |
267 | 0 | ret->bn_mod_exp = bn_mod_exp; |
268 | 0 | if (m_ctx != NULL) |
269 | 0 | ret->m_ctx = m_ctx; |
270 | 0 |
|
271 | 0 | do { |
272 | 0 | int rv; |
273 | 0 | if (!BN_priv_rand_range(ret->A, ret->mod)) |
274 | 0 | goto err; |
275 | 0 | if (int_bn_mod_inverse(ret->Ai, ret->A, ret->mod, ctx, &rv)) |
276 | 0 | break; |
277 | 0 | |
278 | 0 | /* |
279 | 0 | * this should almost never happen for good RSA keys |
280 | 0 | */ |
281 | 0 | if (!rv) |
282 | 0 | goto err; |
283 | 0 | |
284 | 0 | if (retry_counter-- == 0) { |
285 | 0 | BNerr(BN_F_BN_BLINDING_CREATE_PARAM, BN_R_TOO_MANY_ITERATIONS); |
286 | 0 | goto err; |
287 | 0 | } |
288 | 0 | } while (1); |
289 | 0 |
|
290 | 0 | if (ret->bn_mod_exp != NULL && ret->m_ctx != NULL) { |
291 | 0 | if (!ret->bn_mod_exp(ret->A, ret->A, ret->e, ret->mod, ctx, ret->m_ctx)) |
292 | 0 | goto err; |
293 | 0 | } else { |
294 | 0 | if (!BN_mod_exp(ret->A, ret->A, ret->e, ret->mod, ctx)) |
295 | 0 | goto err; |
296 | 0 | } |
297 | 0 | |
298 | 0 | if (ret->m_ctx != NULL) { |
299 | 0 | if (!bn_to_mont_fixed_top(ret->Ai, ret->Ai, ret->m_ctx, ctx) |
300 | 0 | || !bn_to_mont_fixed_top(ret->A, ret->A, ret->m_ctx, ctx)) |
301 | 0 | goto err; |
302 | 0 | } |
303 | 0 | |
304 | 0 | return ret; |
305 | 0 | err: |
306 | 0 | if (b == NULL) { |
307 | 0 | BN_BLINDING_free(ret); |
308 | 0 | ret = NULL; |
309 | 0 | } |
310 | 0 |
|
311 | 0 | return ret; |
312 | 0 | } |