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