2016-05-17 18:51:04 +00:00
|
|
|
/*
|
|
|
|
* Copyright 1998-2016 The OpenSSL Project Authors. All Rights Reserved.
|
2005-04-26 22:31:48 +00:00
|
|
|
*
|
2016-05-17 18:51:04 +00:00
|
|
|
* Licensed under the OpenSSL license (the "License"). You may not use
|
|
|
|
* 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 10:56:39 +00:00
|
|
|
*/
|
|
|
|
|
2016-01-05 04:00:33 +00:00
|
|
|
#include <openssl/opensslconf.h>
|
2015-05-14 14:56:48 +00:00
|
|
|
#include "internal/cryptlib.h"
|
1998-12-21 10:56:39 +00:00
|
|
|
#include "bn_lcl.h"
|
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
#define BN_BLINDING_COUNTER 32
|
2005-04-26 22:31:48 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
struct bn_blinding_st {
|
|
|
|
BIGNUM *A;
|
|
|
|
BIGNUM *Ai;
|
|
|
|
BIGNUM *e;
|
|
|
|
BIGNUM *mod; /* just a reference */
|
2016-03-08 22:37:01 +00:00
|
|
|
CRYPTO_THREAD_ID tid;
|
2015-01-22 03:40:55 +00:00
|
|
|
int counter;
|
|
|
|
unsigned long flags;
|
|
|
|
BN_MONT_CTX *m_ctx;
|
|
|
|
int (*bn_mod_exp) (BIGNUM *r, const BIGNUM *a, const BIGNUM *p,
|
|
|
|
const BIGNUM *m, BN_CTX *ctx, BN_MONT_CTX *m_ctx);
|
2016-03-08 22:37:01 +00:00
|
|
|
CRYPTO_RWLOCK *lock;
|
2015-01-22 03:40:55 +00:00
|
|
|
};
|
2005-04-26 22:31:48 +00:00
|
|
|
|
|
|
|
BN_BLINDING *BN_BLINDING_new(const BIGNUM *A, const BIGNUM *Ai, BIGNUM *mod)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
|
|
|
BN_BLINDING *ret = NULL;
|
|
|
|
|
|
|
|
bn_check_top(mod);
|
|
|
|
|
2015-08-25 17:25:58 +00:00
|
|
|
if ((ret = OPENSSL_zalloc(sizeof(*ret))) == NULL) {
|
2015-01-22 03:40:55 +00:00
|
|
|
BNerr(BN_F_BN_BLINDING_NEW, ERR_R_MALLOC_FAILURE);
|
2016-03-08 22:37:01 +00:00
|
|
|
return NULL;
|
2015-01-22 03:40:55 +00:00
|
|
|
}
|
2016-03-08 22:37:01 +00:00
|
|
|
|
|
|
|
ret->lock = CRYPTO_THREAD_lock_new();
|
|
|
|
if (ret->lock == NULL) {
|
|
|
|
BNerr(BN_F_BN_BLINDING_NEW, ERR_R_MALLOC_FAILURE);
|
|
|
|
OPENSSL_free(ret);
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
BN_BLINDING_set_current_thread(ret);
|
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
if (A != NULL) {
|
|
|
|
if ((ret->A = BN_dup(A)) == NULL)
|
|
|
|
goto err;
|
|
|
|
}
|
2016-03-08 22:37:01 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
if (Ai != NULL) {
|
|
|
|
if ((ret->Ai = BN_dup(Ai)) == NULL)
|
|
|
|
goto err;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* save a copy of mod in the BN_BLINDING structure */
|
|
|
|
if ((ret->mod = BN_dup(mod)) == NULL)
|
|
|
|
goto err;
|
2016-03-08 22:37:01 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
if (BN_get_flags(mod, BN_FLG_CONSTTIME) != 0)
|
|
|
|
BN_set_flags(ret->mod, BN_FLG_CONSTTIME);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Set the counter to the special value -1 to indicate that this is
|
|
|
|
* never-used fresh blinding that does not need updating before first
|
|
|
|
* use.
|
|
|
|
*/
|
|
|
|
ret->counter = -1;
|
2016-03-08 22:37:01 +00:00
|
|
|
|
|
|
|
return ret;
|
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
err:
|
2015-05-01 01:37:06 +00:00
|
|
|
BN_BLINDING_free(ret);
|
2016-03-08 22:37:01 +00:00
|
|
|
return NULL;
|
2015-01-22 03:40:55 +00:00
|
|
|
}
|
1998-12-21 10:56:39 +00:00
|
|
|
|
1999-04-19 21:31:43 +00:00
|
|
|
void BN_BLINDING_free(BN_BLINDING *r)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
|
|
|
if (r == NULL)
|
|
|
|
return;
|
|
|
|
|
2015-05-01 01:37:06 +00:00
|
|
|
BN_free(r->A);
|
|
|
|
BN_free(r->Ai);
|
|
|
|
BN_free(r->e);
|
|
|
|
BN_free(r->mod);
|
2016-03-08 22:37:01 +00:00
|
|
|
CRYPTO_THREAD_lock_free(r->lock);
|
2015-01-22 03:40:55 +00:00
|
|
|
OPENSSL_free(r);
|
|
|
|
}
|
1998-12-21 10:56:39 +00:00
|
|
|
|
1999-04-19 21:31:43 +00:00
|
|
|
int BN_BLINDING_update(BN_BLINDING *b, BN_CTX *ctx)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
|
|
|
int ret = 0;
|
|
|
|
|
|
|
|
if ((b->A == NULL) || (b->Ai == NULL)) {
|
|
|
|
BNerr(BN_F_BN_BLINDING_UPDATE, BN_R_NOT_INITIALIZED);
|
|
|
|
goto err;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (b->counter == -1)
|
|
|
|
b->counter = 0;
|
|
|
|
|
|
|
|
if (++b->counter == BN_BLINDING_COUNTER && b->e != NULL &&
|
|
|
|
!(b->flags & BN_BLINDING_NO_RECREATE)) {
|
|
|
|
/* re-create blinding parameters */
|
|
|
|
if (!BN_BLINDING_create_param(b, NULL, NULL, ctx, NULL, NULL))
|
|
|
|
goto err;
|
|
|
|
} else if (!(b->flags & BN_BLINDING_NO_UPDATE)) {
|
|
|
|
if (!BN_mod_mul(b->A, b->A, b->A, b->mod, ctx))
|
|
|
|
goto err;
|
|
|
|
if (!BN_mod_mul(b->Ai, b->Ai, b->Ai, b->mod, ctx))
|
|
|
|
goto err;
|
|
|
|
}
|
|
|
|
|
|
|
|
ret = 1;
|
|
|
|
err:
|
|
|
|
if (b->counter == BN_BLINDING_COUNTER)
|
|
|
|
b->counter = 0;
|
2017-10-17 14:04:09 +00:00
|
|
|
return ret;
|
2015-01-22 03:40:55 +00:00
|
|
|
}
|
1998-12-21 10:56:39 +00:00
|
|
|
|
1999-04-19 21:31:43 +00:00
|
|
|
int BN_BLINDING_convert(BIGNUM *n, BN_BLINDING *b, BN_CTX *ctx)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
|
|
|
return BN_BLINDING_convert_ex(n, NULL, b, ctx);
|
|
|
|
}
|
2005-04-26 22:31:48 +00:00
|
|
|
|
|
|
|
int BN_BLINDING_convert_ex(BIGNUM *n, BIGNUM *r, BN_BLINDING *b, BN_CTX *ctx)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
|
|
|
int ret = 1;
|
2005-05-26 04:30:49 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
bn_check_top(n);
|
1998-12-21 11:00:56 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
if ((b->A == NULL) || (b->Ai == NULL)) {
|
|
|
|
BNerr(BN_F_BN_BLINDING_CONVERT_EX, BN_R_NOT_INITIALIZED);
|
2017-10-17 14:04:09 +00:00
|
|
|
return 0;
|
2015-01-22 03:40:55 +00:00
|
|
|
}
|
2005-04-26 22:31:48 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
if (b->counter == -1)
|
|
|
|
/* Fresh blinding, doesn't need updating. */
|
|
|
|
b->counter = 0;
|
|
|
|
else if (!BN_BLINDING_update(b, ctx))
|
2017-10-17 14:04:09 +00:00
|
|
|
return 0;
|
2011-10-19 14:59:27 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
if (r != NULL) {
|
|
|
|
if (!BN_copy(r, b->Ai))
|
|
|
|
ret = 0;
|
|
|
|
}
|
2005-04-26 22:31:48 +00:00
|
|
|
|
2015-01-22 03:40:55 +00:00
|
|
|
if (!BN_mod_mul(n, n, b->A, b->mod, ctx))
|
|
|
|
ret = 0;
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
1998-12-21 10:56:39 +00:00
|
|
|
|
1999-04-19 21:31:43 +00:00
|
|
|
int BN_BLINDING_invert(BIGNUM *n, BN_BLINDING *b, BN_CTX *ctx)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
|
|
|
return BN_BLINDING_invert_ex(n, NULL, b, ctx);
|
|
|
|
}
|
|
|
|
|
|
|
|
int BN_BLINDING_invert_ex(BIGNUM *n, const BIGNUM *r, BN_BLINDING *b,
|
|
|
|
BN_CTX *ctx)
|
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
|
|
|
|
bn_check_top(n);
|
|
|
|
|
|
|
|
if (r != NULL)
|
|
|
|
ret = BN_mod_mul(n, n, r, b->mod, ctx);
|
|
|
|
else {
|
|
|
|
if (b->Ai == NULL) {
|
|
|
|
BNerr(BN_F_BN_BLINDING_INVERT_EX, BN_R_NOT_INITIALIZED);
|
2017-10-17 14:04:09 +00:00
|
|
|
return 0;
|
2015-01-22 03:40:55 +00:00
|
|
|
}
|
|
|
|
ret = BN_mod_mul(n, n, b->Ai, b->mod, ctx);
|
|
|
|
}
|
|
|
|
|
|
|
|
bn_check_top(n);
|
2017-10-17 14:04:09 +00:00
|
|
|
return ret;
|
2015-01-22 03:40:55 +00:00
|
|
|
}
|
1998-12-21 10:56:39 +00:00
|
|
|
|
2016-03-08 22:37:01 +00:00
|
|
|
int BN_BLINDING_is_current_thread(BN_BLINDING *b)
|
|
|
|
{
|
|
|
|
return CRYPTO_THREAD_compare_id(CRYPTO_THREAD_get_current_id(), b->tid);
|
|
|
|
}
|
|
|
|
|
|
|
|
void BN_BLINDING_set_current_thread(BN_BLINDING *b)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
2016-03-08 22:37:01 +00:00
|
|
|
b->tid = CRYPTO_THREAD_get_current_id();
|
2015-01-22 03:40:55 +00:00
|
|
|
}
|
2005-04-26 22:31:48 +00:00
|
|
|
|
2016-03-08 22:37:01 +00:00
|
|
|
int BN_BLINDING_lock(BN_BLINDING *b)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
2016-03-08 22:37:01 +00:00
|
|
|
return CRYPTO_THREAD_write_lock(b->lock);
|
2015-01-22 03:40:55 +00:00
|
|
|
}
|
2005-04-26 22:31:48 +00:00
|
|
|
|
2016-03-08 22:37:01 +00:00
|
|
|
int BN_BLINDING_unlock(BN_BLINDING *b)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
2016-03-08 22:37:01 +00:00
|
|
|
return CRYPTO_THREAD_unlock(b->lock);
|
2015-01-22 03:40:55 +00:00
|
|
|
}
|
2006-06-23 15:21:36 +00:00
|
|
|
|
2005-04-26 22:31:48 +00:00
|
|
|
unsigned long BN_BLINDING_get_flags(const BN_BLINDING *b)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
|
|
|
return b->flags;
|
|
|
|
}
|
2005-04-26 22:31:48 +00:00
|
|
|
|
|
|
|
void BN_BLINDING_set_flags(BN_BLINDING *b, unsigned long flags)
|
2015-01-22 03:40:55 +00:00
|
|
|
{
|
|
|
|
b->flags = flags;
|
|
|
|
}
|
2005-04-26 22:31:48 +00:00
|
|
|
|
|
|
|
BN_BLINDING *BN_BLINDING_create_param(BN_BLINDING *b,
|
2015-01-22 03:40:55 +00:00
|
|
|
const BIGNUM *e, BIGNUM *m, BN_CTX *ctx,
|
|
|
|
int (*bn_mod_exp) (BIGNUM *r,
|
|
|
|
const BIGNUM *a,
|
|
|
|
const BIGNUM *p,
|
|
|
|
const BIGNUM *m,
|
|
|
|
BN_CTX *ctx,
|
|
|
|
BN_MONT_CTX *m_ctx),
|
|
|
|
BN_MONT_CTX *m_ctx)
|
2005-04-26 22:31:48 +00:00
|
|
|
{
|
2015-01-22 03:40:55 +00:00
|
|
|
int retry_counter = 32;
|
|
|
|
BN_BLINDING *ret = NULL;
|
|
|
|
|
|
|
|
if (b == NULL)
|
|
|
|
ret = BN_BLINDING_new(NULL, NULL, m);
|
|
|
|
else
|
|
|
|
ret = b;
|
|
|
|
|
|
|
|
if (ret == NULL)
|
|
|
|
goto err;
|
|
|
|
|
|
|
|
if (ret->A == NULL && (ret->A = BN_new()) == NULL)
|
|
|
|
goto err;
|
|
|
|
if (ret->Ai == NULL && (ret->Ai = BN_new()) == NULL)
|
|
|
|
goto err;
|
|
|
|
|
|
|
|
if (e != NULL) {
|
2015-05-01 01:37:06 +00:00
|
|
|
BN_free(ret->e);
|
2015-01-22 03:40:55 +00:00
|
|
|
ret->e = BN_dup(e);
|
|
|
|
}
|
|
|
|
if (ret->e == NULL)
|
|
|
|
goto err;
|
|
|
|
|
|
|
|
if (bn_mod_exp != NULL)
|
|
|
|
ret->bn_mod_exp = bn_mod_exp;
|
|
|
|
if (m_ctx != NULL)
|
|
|
|
ret->m_ctx = m_ctx;
|
|
|
|
|
|
|
|
do {
|
|
|
|
int rv;
|
|
|
|
if (!BN_rand_range(ret->A, ret->mod))
|
|
|
|
goto err;
|
|
|
|
if (!int_bn_mod_inverse(ret->Ai, ret->A, ret->mod, ctx, &rv)) {
|
|
|
|
/*
|
|
|
|
* this should almost never happen for good RSA keys
|
|
|
|
*/
|
|
|
|
if (rv) {
|
|
|
|
if (retry_counter-- == 0) {
|
|
|
|
BNerr(BN_F_BN_BLINDING_CREATE_PARAM,
|
|
|
|
BN_R_TOO_MANY_ITERATIONS);
|
|
|
|
goto err;
|
|
|
|
}
|
|
|
|
} else
|
|
|
|
goto err;
|
|
|
|
} else
|
|
|
|
break;
|
|
|
|
} while (1);
|
|
|
|
|
|
|
|
if (ret->bn_mod_exp != NULL && ret->m_ctx != NULL) {
|
|
|
|
if (!ret->bn_mod_exp
|
|
|
|
(ret->A, ret->A, ret->e, ret->mod, ctx, ret->m_ctx))
|
|
|
|
goto err;
|
|
|
|
} else {
|
|
|
|
if (!BN_mod_exp(ret->A, ret->A, ret->e, ret->mod, ctx))
|
|
|
|
goto err;
|
|
|
|
}
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
err:
|
2015-05-01 01:37:06 +00:00
|
|
|
if (b == NULL) {
|
2015-01-22 03:40:55 +00:00
|
|
|
BN_BLINDING_free(ret);
|
|
|
|
ret = NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
return ret;
|
2005-04-26 22:31:48 +00:00
|
|
|
}
|