bn_prime.c 10.9 KB
Newer Older
R
Rich Salz 已提交
1
/*
R
Richard Levitte 已提交
2
 * Copyright 1995-2019 The OpenSSL Project Authors. All Rights Reserved.
R
Rich Salz 已提交
3 4 5 6 7
 *
 * 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
B
Bodo Möller 已提交
8
 */
9 10 11

#include <stdio.h>
#include <time.h>
12
#include "internal/cryptlib.h"
13
#include "bn_local.h"
14

15 16 17 18
/*
 * The quick sieve algorithm approach to weeding out primes is Philip
 * Zimmermann's, as implemented in PGP.  I have had a read of his comments
 * and implemented my own version.
19 20 21
 */
#include "bn_prime.h"

B
Bodo Möller 已提交
22
static int witness(BIGNUM *w, const BIGNUM *a, const BIGNUM *a1,
23 24
                   const BIGNUM *a1_odd, int k, BN_CTX *ctx,
                   BN_MONT_CTX *mont);
25
static int probable_prime(BIGNUM *rnd, int bits, int safe, prime_t *mods);
26 27 28
static int probable_prime_dh(BIGNUM *rnd, int bits, int safe, prime_t *mods,
                             const BIGNUM *add, const BIGNUM *rem,
                             BN_CTX *ctx);
29

30 31
#define square(x) ((BN_ULONG)(x) * (BN_ULONG)(x))

32
int BN_GENCB_call(BN_GENCB *cb, int a, int b)
33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52
{
    /* No callback means continue */
    if (!cb)
        return 1;
    switch (cb->ver) {
    case 1:
        /* Deprecated-style callbacks */
        if (!cb->cb.cb_1)
            return 1;
        cb->cb.cb_1(a, b, cb->arg);
        return 1;
    case 2:
        /* New-style callbacks */
        return cb->cb.cb_2(a, b, cb);
    default:
        break;
    }
    /* Unrecognised callback type */
    return 0;
}
53 54

int BN_generate_prime_ex(BIGNUM *ret, int bits, int safe,
55 56 57 58 59
                         const BIGNUM *add, const BIGNUM *rem, BN_GENCB *cb)
{
    BIGNUM *t;
    int found = 0;
    int i, j, c1 = 0;
R
Rich Salz 已提交
60 61
    BN_CTX *ctx = NULL;
    prime_t *mods = NULL;
62 63 64 65 66 67
    int checks = BN_prime_checks_for_size(bits);

    if (bits < 2) {
        /* There are no prime numbers this small. */
        BNerr(BN_F_BN_GENERATE_PRIME_EX, BN_R_BITS_TOO_SMALL);
        return 0;
68 69 70 71 72 73
    } else if (add == NULL && safe && bits < 6 && bits != 3) {
        /*
         * The smallest safe prime (7) is three bits.
         * But the following two safe primes with less than 6 bits (11, 23)
         * are unreachable for BN_rand with BN_RAND_TOP_TWO.
         */
74 75 76 77
        BNerr(BN_F_BN_GENERATE_PRIME_EX, BN_R_BITS_TOO_SMALL);
        return 0;
    }

78 79 80 81
    mods = OPENSSL_zalloc(sizeof(*mods) * NUMPRIMES);
    if (mods == NULL)
        goto err;

82 83 84 85 86
    ctx = BN_CTX_new();
    if (ctx == NULL)
        goto err;
    BN_CTX_start(ctx);
    t = BN_CTX_get(ctx);
87
    if (t == NULL)
88 89 90 91
        goto err;
 loop:
    /* make a random number and set the top and bottom bits */
    if (add == NULL) {
92
        if (!probable_prime(ret, bits, safe, mods))
93 94
            goto err;
    } else {
95 96
        if (!probable_prime_dh(ret, bits, safe, mods, add, rem, ctx))
            goto err;
97
    }
D
David Benjamin 已提交
98

99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137
    if (!BN_GENCB_call(cb, 0, c1++))
        /* aborted */
        goto err;

    if (!safe) {
        i = BN_is_prime_fasttest_ex(ret, checks, ctx, 0, cb);
        if (i == -1)
            goto err;
        if (i == 0)
            goto loop;
    } else {
        /*
         * for "safe prime" generation, check that (p-1)/2 is prime. Since a
         * prime is odd, We just need to divide by 2
         */
        if (!BN_rshift1(t, ret))
            goto err;

        for (i = 0; i < checks; i++) {
            j = BN_is_prime_fasttest_ex(ret, 1, ctx, 0, cb);
            if (j == -1)
                goto err;
            if (j == 0)
                goto loop;

            j = BN_is_prime_fasttest_ex(t, 1, ctx, 0, cb);
            if (j == -1)
                goto err;
            if (j == 0)
                goto loop;

            if (!BN_GENCB_call(cb, 2, c1 - 1))
                goto err;
            /* We have a safe prime test pass */
        }
    }
    /* we have a prime :-) */
    found = 1;
 err:
R
Rich Salz 已提交
138
    OPENSSL_free(mods);
139
    BN_CTX_end(ctx);
R
Rich Salz 已提交
140
    BN_CTX_free(ctx);
141 142 143 144 145 146 147 148 149
    bn_check_top(ret);
    return found;
}

int BN_is_prime_ex(const BIGNUM *a, int checks, BN_CTX *ctx_passed,
                   BN_GENCB *cb)
{
    return BN_is_prime_fasttest_ex(a, checks, ctx_passed, 0, cb);
}
150

151
int BN_is_prime_fasttest_ex(const BIGNUM *a, int checks, BN_CTX *ctx_passed,
152 153 154 155 156
                            int do_trial_division, BN_GENCB *cb)
{
    int i, j, ret = -1;
    int k;
    BN_CTX *ctx = NULL;
157
    BIGNUM *A1, *A1_odd, *A3, *check; /* taken from ctx */
158 159
    BN_MONT_CTX *mont = NULL;

160 161 162 163 164 165
    /* Take care of the really small primes 2 & 3 */
    if (BN_is_word(a, 2) || BN_is_word(a, 3))
        return 1;

    /* Check odd and bigger than 1 */
    if (!BN_is_odd(a) || BN_cmp(a, BN_value_one()) <= 0)
166 167 168 169 170 171 172
        return 0;

    if (checks == BN_prime_checks)
        checks = BN_prime_checks_for_size(BN_num_bits(a));

    /* first look for small factors */
    if (do_trial_division) {
D
David Benjamin 已提交
173 174 175 176 177
        for (i = 1; i < NUMPRIMES; i++) {
            BN_ULONG mod = BN_mod_word(a, primes[i]);
            if (mod == (BN_ULONG)-1)
                goto err;
            if (mod == 0)
A
Adam Langley 已提交
178
                return BN_is_word(a, primes[i]);
D
David Benjamin 已提交
179
        }
180 181 182 183 184 185 186 187 188 189 190
        if (!BN_GENCB_call(cb, 1, -1))
            goto err;
    }

    if (ctx_passed != NULL)
        ctx = ctx_passed;
    else if ((ctx = BN_CTX_new()) == NULL)
        goto err;
    BN_CTX_start(ctx);

    A1 = BN_CTX_get(ctx);
191
    A3 = BN_CTX_get(ctx);
192 193 194 195 196
    A1_odd = BN_CTX_get(ctx);
    check = BN_CTX_get(ctx);
    if (check == NULL)
        goto err;

197
    /* compute A1 := a - 1 */
198
    if (!BN_copy(A1, a) || !BN_sub_word(A1, 1))
199
        goto err;
200 201
    /* compute A3 := a - 3 */
    if (!BN_copy(A3, a) || !BN_sub_word(A3, 3))
202 203 204 205 206 207 208 209 210
        goto err;

    /* write  A1  as  A1_odd * 2^k */
    k = 1;
    while (!BN_is_bit_set(A1, k))
        k++;
    if (!BN_rshift(A1_odd, A1, k))
        goto err;

211
    /* Montgomery setup for computations mod a */
212 213 214
    mont = BN_MONT_CTX_new();
    if (mont == NULL)
        goto err;
215
    if (!BN_MONT_CTX_set(mont, a, ctx))
216 217 218
        goto err;

    for (i = 0; i < checks; i++) {
219 220
        /* 1 < check < a-1 */
        if (!BN_priv_rand_range(check, A3) || !BN_add_word(check, 2))
221 222
            goto err;

223
        j = witness(check, a, A1, A1_odd, k, ctx, mont);
224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239
        if (j == -1)
            goto err;
        if (j) {
            ret = 0;
            goto err;
        }
        if (!BN_GENCB_call(cb, 1, i))
            goto err;
    }
    ret = 1;
 err:
    if (ctx != NULL) {
        BN_CTX_end(ctx);
        if (ctx_passed == NULL)
            BN_CTX_free(ctx);
    }
R
Rich Salz 已提交
240
    BN_MONT_CTX_free(mont);
241

K
KaoruToda 已提交
242
    return ret;
243
}
244

B
Bodo Möller 已提交
245
static int witness(BIGNUM *w, const BIGNUM *a, const BIGNUM *a1,
246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270
                   const BIGNUM *a1_odd, int k, BN_CTX *ctx,
                   BN_MONT_CTX *mont)
{
    if (!BN_mod_exp_mont(w, w, a1_odd, a, ctx, mont)) /* w := w^a1_odd mod a */
        return -1;
    if (BN_is_one(w))
        return 0;               /* probably prime */
    if (BN_cmp(w, a1) == 0)
        return 0;               /* w == -1 (mod a), 'a' is probably prime */
    while (--k) {
        if (!BN_mod_mul(w, w, w, a, ctx)) /* w := w^2 mod a */
            return -1;
        if (BN_is_one(w))
            return 1;           /* 'a' is composite, otherwise a previous 'w'
                                 * would have been == -1 (mod 'a') */
        if (BN_cmp(w, a1) == 0)
            return 0;           /* w == -1 (mod a), 'a' is probably prime */
    }
    /*
     * If we get here, 'w' is the (a-1)/2-th power of the original 'w', and
     * it is neither -1 nor +1 -- so 'a' cannot be prime
     */
    bn_check_top(w);
    return 1;
}
271

272
static int probable_prime(BIGNUM *rnd, int bits, int safe, prime_t *mods)
273 274 275 276 277 278
{
    int i;
    BN_ULONG delta;
    BN_ULONG maxdelta = BN_MASK2 - primes[NUMPRIMES - 1];

 again:
279
    /* TODO: Not all primes are private */
280
    if (!BN_priv_rand(rnd, bits, BN_RAND_TOP_TWO, BN_RAND_BOTTOM_ODD))
K
KaoruToda 已提交
281
        return 0;
282 283
    if (safe && !BN_set_bit(rnd, 1))
        return 0;
284
    /* we now have a random number 'rnd' to test. */
D
David Benjamin 已提交
285 286 287 288 289 290
    for (i = 1; i < NUMPRIMES; i++) {
        BN_ULONG mod = BN_mod_word(rnd, (BN_ULONG)primes[i]);
        if (mod == (BN_ULONG)-1)
            return 0;
        mods[i] = (prime_t) mod;
    }
291 292
    delta = 0;
 loop:
293 294 295 296 297 298 299
    for (i = 1; i < NUMPRIMES; i++) {
        /*
         * check that rnd is a prime and also that
         * gcd(rnd-1,primes) == 1 (except for 2)
         * do the second check only if we are interested in safe primes
         * in the case that the candidate prime is a single word then
         * we check only the primes up to sqrt(rnd)
300
         */
301 302 303 304 305 306 307 308 309
        if (bits <= 31 && delta <= 0x7fffffff
                && square(primes[i]) > BN_get_word(rnd) + delta)
            break;
        if (safe ? (mods[i] + delta) % primes[i] <= 1
                 : (mods[i] + delta) % primes[i] == 0) {
            delta += safe ? 4 : 2;
            if (delta > maxdelta)
                goto again;
            goto loop;
310 311 312
        }
    }
    if (!BN_add_word(rnd, delta))
K
KaoruToda 已提交
313
        return 0;
314 315 316
    if (BN_num_bits(rnd) != bits)
        goto again;
    bn_check_top(rnd);
317
    return 1;
318
}
319

320 321 322
static int probable_prime_dh(BIGNUM *rnd, int bits, int safe, prime_t *mods,
                             const BIGNUM *add, const BIGNUM *rem,
                             BN_CTX *ctx)
323 324 325
{
    int i, ret = 0;
    BIGNUM *t1;
326 327
    BN_ULONG delta;
    BN_ULONG maxdelta = BN_MASK2 - primes[NUMPRIMES - 1];
328 329 330 331 332

    BN_CTX_start(ctx);
    if ((t1 = BN_CTX_get(ctx)) == NULL)
        goto err;

333 334 335 336
    if (maxdelta > BN_MASK2 - BN_get_word(add))
        maxdelta = BN_MASK2 - BN_get_word(add);

 again:
337
    if (!BN_rand(rnd, bits, BN_RAND_TOP_ONE, BN_RAND_BOTTOM_ODD))
338 339 340 341 342 343 344 345 346
        goto err;

    /* we need ((rnd-rem) % add) == 0 */

    if (!BN_mod(t1, rnd, add, ctx))
        goto err;
    if (!BN_sub(rnd, rnd, t1))
        goto err;
    if (rem == NULL) {
347
        if (!BN_add_word(rnd, safe ? 3u : 1u))
348 349 350 351 352 353
            goto err;
    } else {
        if (!BN_add(rnd, rnd, rem))
            goto err;
    }

354 355 356 357 358
    if (BN_num_bits(rnd) < bits
            || BN_get_word(rnd) < (safe ? 5u : 3u)) {
        if (!BN_add(rnd, rnd, add))
            goto err;
    }
359

360
    /* we now have a random number 'rnd' to test. */
361
    for (i = 1; i < NUMPRIMES; i++) {
D
David Benjamin 已提交
362 363 364
        BN_ULONG mod = BN_mod_word(rnd, (BN_ULONG)primes[i]);
        if (mod == (BN_ULONG)-1)
            goto err;
365
        mods[i] = (prime_t) mod;
366
    }
367
    delta = 0;
368 369
 loop:
    for (i = 1; i < NUMPRIMES; i++) {
370 371 372 373 374 375 376 377 378 379
        /* check that rnd is a prime */
        if (bits <= 31 && delta <= 0x7fffffff
                && square(primes[i]) > BN_get_word(rnd) + delta)
            break;
        /* rnd mod p == 1 implies q = (rnd-1)/2 is divisible by p */
        if (safe ? (mods[i] + delta) % primes[i] <= 1
                 : (mods[i] + delta) % primes[i] == 0) {
            delta += BN_get_word(add);
            if (delta > maxdelta)
                goto again;
380 381 382
            goto loop;
        }
    }
383 384
    if (!BN_add_word(rnd, delta))
        goto err;
385 386 387 388
    ret = 1;

 err:
    BN_CTX_end(ctx);
389
    bn_check_top(rnd);
K
KaoruToda 已提交
390
    return ret;
391
}