1*462c32cbSDag-Erling Smørgrav /* $OpenBSD: moduli.c,v 1.26 2012/07/06 00:41:59 dtucker Exp $ */ 2d95e11bfSDag-Erling Smørgrav /* 3d95e11bfSDag-Erling Smørgrav * Copyright 1994 Phil Karn <karn@qualcomm.com> 4d95e11bfSDag-Erling Smørgrav * Copyright 1996-1998, 2003 William Allen Simpson <wsimpson@greendragon.com> 5d95e11bfSDag-Erling Smørgrav * Copyright 2000 Niels Provos <provos@citi.umich.edu> 6d95e11bfSDag-Erling Smørgrav * All rights reserved. 7d95e11bfSDag-Erling Smørgrav * 8d95e11bfSDag-Erling Smørgrav * Redistribution and use in source and binary forms, with or without 9d95e11bfSDag-Erling Smørgrav * modification, are permitted provided that the following conditions 10d95e11bfSDag-Erling Smørgrav * are met: 11d95e11bfSDag-Erling Smørgrav * 1. Redistributions of source code must retain the above copyright 12d95e11bfSDag-Erling Smørgrav * notice, this list of conditions and the following disclaimer. 13d95e11bfSDag-Erling Smørgrav * 2. Redistributions in binary form must reproduce the above copyright 14d95e11bfSDag-Erling Smørgrav * notice, this list of conditions and the following disclaimer in the 15d95e11bfSDag-Erling Smørgrav * documentation and/or other materials provided with the distribution. 16d95e11bfSDag-Erling Smørgrav * 17d95e11bfSDag-Erling Smørgrav * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 18d95e11bfSDag-Erling Smørgrav * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 19d95e11bfSDag-Erling Smørgrav * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 20d95e11bfSDag-Erling Smørgrav * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 21d95e11bfSDag-Erling Smørgrav * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 22d95e11bfSDag-Erling Smørgrav * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23d95e11bfSDag-Erling Smørgrav * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24d95e11bfSDag-Erling Smørgrav * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25d95e11bfSDag-Erling Smørgrav * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 26d95e11bfSDag-Erling Smørgrav * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27d95e11bfSDag-Erling Smørgrav */ 28d95e11bfSDag-Erling Smørgrav 29d95e11bfSDag-Erling Smørgrav /* 30d95e11bfSDag-Erling Smørgrav * Two-step process to generate safe primes for DHGEX 31d95e11bfSDag-Erling Smørgrav * 32d95e11bfSDag-Erling Smørgrav * Sieve candidates for "safe" primes, 33d95e11bfSDag-Erling Smørgrav * suitable for use as Diffie-Hellman moduli; 34d95e11bfSDag-Erling Smørgrav * that is, where q = (p-1)/2 is also prime. 35d95e11bfSDag-Erling Smørgrav * 36d95e11bfSDag-Erling Smørgrav * First step: generate candidate primes (memory intensive) 37d95e11bfSDag-Erling Smørgrav * Second step: test primes' safety (processor intensive) 38d95e11bfSDag-Erling Smørgrav */ 39d95e11bfSDag-Erling Smørgrav 40d95e11bfSDag-Erling Smørgrav #include "includes.h" 41761efaa7SDag-Erling Smørgrav 42*462c32cbSDag-Erling Smørgrav #include <sys/param.h> 43761efaa7SDag-Erling Smørgrav #include <sys/types.h> 44d95e11bfSDag-Erling Smørgrav 45d95e11bfSDag-Erling Smørgrav #include <openssl/bn.h> 46d4af9e69SDag-Erling Smørgrav #include <openssl/dh.h> 47d95e11bfSDag-Erling Smørgrav 48*462c32cbSDag-Erling Smørgrav #include <errno.h> 49761efaa7SDag-Erling Smørgrav #include <stdio.h> 50761efaa7SDag-Erling Smørgrav #include <stdlib.h> 51761efaa7SDag-Erling Smørgrav #include <string.h> 52761efaa7SDag-Erling Smørgrav #include <stdarg.h> 53761efaa7SDag-Erling Smørgrav #include <time.h> 54*462c32cbSDag-Erling Smørgrav #include <unistd.h> 55761efaa7SDag-Erling Smørgrav 56761efaa7SDag-Erling Smørgrav #include "xmalloc.h" 57d4af9e69SDag-Erling Smørgrav #include "dh.h" 58761efaa7SDag-Erling Smørgrav #include "log.h" 59761efaa7SDag-Erling Smørgrav 604a421b63SDag-Erling Smørgrav #include "openbsd-compat/openssl-compat.h" 614a421b63SDag-Erling Smørgrav 62d95e11bfSDag-Erling Smørgrav /* 63d95e11bfSDag-Erling Smørgrav * File output defines 64d95e11bfSDag-Erling Smørgrav */ 65d95e11bfSDag-Erling Smørgrav 66d95e11bfSDag-Erling Smørgrav /* need line long enough for largest moduli plus headers */ 67d95e11bfSDag-Erling Smørgrav #define QLINESIZE (100+8192) 68d95e11bfSDag-Erling Smørgrav 69efcad6b7SDag-Erling Smørgrav /* 70efcad6b7SDag-Erling Smørgrav * Size: decimal. 71d95e11bfSDag-Erling Smørgrav * Specifies the number of the most significant bit (0 to M). 72efcad6b7SDag-Erling Smørgrav * WARNING: internally, usually 1 to N. 73d95e11bfSDag-Erling Smørgrav */ 74d95e11bfSDag-Erling Smørgrav #define QSIZE_MINIMUM (511) 75d95e11bfSDag-Erling Smørgrav 76d95e11bfSDag-Erling Smørgrav /* 77d95e11bfSDag-Erling Smørgrav * Prime sieving defines 78d95e11bfSDag-Erling Smørgrav */ 79d95e11bfSDag-Erling Smørgrav 80d95e11bfSDag-Erling Smørgrav /* Constant: assuming 8 bit bytes and 32 bit words */ 81d95e11bfSDag-Erling Smørgrav #define SHIFT_BIT (3) 82d95e11bfSDag-Erling Smørgrav #define SHIFT_BYTE (2) 83d95e11bfSDag-Erling Smørgrav #define SHIFT_WORD (SHIFT_BIT+SHIFT_BYTE) 84d95e11bfSDag-Erling Smørgrav #define SHIFT_MEGABYTE (20) 85d95e11bfSDag-Erling Smørgrav #define SHIFT_MEGAWORD (SHIFT_MEGABYTE-SHIFT_BYTE) 86d95e11bfSDag-Erling Smørgrav 87d95e11bfSDag-Erling Smørgrav /* 88d74d50a8SDag-Erling Smørgrav * Using virtual memory can cause thrashing. This should be the largest 89d74d50a8SDag-Erling Smørgrav * number that is supported without a large amount of disk activity -- 90d74d50a8SDag-Erling Smørgrav * that would increase the run time from hours to days or weeks! 91d74d50a8SDag-Erling Smørgrav */ 92d74d50a8SDag-Erling Smørgrav #define LARGE_MINIMUM (8UL) /* megabytes */ 93d74d50a8SDag-Erling Smørgrav 94d74d50a8SDag-Erling Smørgrav /* 95d74d50a8SDag-Erling Smørgrav * Do not increase this number beyond the unsigned integer bit size. 96d74d50a8SDag-Erling Smørgrav * Due to a multiple of 4, it must be LESS than 128 (yielding 2**30 bits). 97d74d50a8SDag-Erling Smørgrav */ 98d74d50a8SDag-Erling Smørgrav #define LARGE_MAXIMUM (127UL) /* megabytes */ 99d74d50a8SDag-Erling Smørgrav 100d74d50a8SDag-Erling Smørgrav /* 101d95e11bfSDag-Erling Smørgrav * Constant: when used with 32-bit integers, the largest sieve prime 102d95e11bfSDag-Erling Smørgrav * has to be less than 2**32. 103d95e11bfSDag-Erling Smørgrav */ 104d95e11bfSDag-Erling Smørgrav #define SMALL_MAXIMUM (0xffffffffUL) 105d95e11bfSDag-Erling Smørgrav 106d95e11bfSDag-Erling Smørgrav /* Constant: can sieve all primes less than 2**32, as 65537**2 > 2**32-1. */ 107d95e11bfSDag-Erling Smørgrav #define TINY_NUMBER (1UL<<16) 108d95e11bfSDag-Erling Smørgrav 109d95e11bfSDag-Erling Smørgrav /* Ensure enough bit space for testing 2*q. */ 110d95e11bfSDag-Erling Smørgrav #define TEST_MAXIMUM (1UL<<16) 111d95e11bfSDag-Erling Smørgrav #define TEST_MINIMUM (QSIZE_MINIMUM + 1) 112d95e11bfSDag-Erling Smørgrav /* real TEST_MINIMUM (1UL << (SHIFT_WORD - TEST_POWER)) */ 113d95e11bfSDag-Erling Smørgrav #define TEST_POWER (3) /* 2**n, n < SHIFT_WORD */ 114d95e11bfSDag-Erling Smørgrav 115d95e11bfSDag-Erling Smørgrav /* bit operations on 32-bit words */ 116d95e11bfSDag-Erling Smørgrav #define BIT_CLEAR(a,n) ((a)[(n)>>SHIFT_WORD] &= ~(1L << ((n) & 31))) 117d95e11bfSDag-Erling Smørgrav #define BIT_SET(a,n) ((a)[(n)>>SHIFT_WORD] |= (1L << ((n) & 31))) 118d95e11bfSDag-Erling Smørgrav #define BIT_TEST(a,n) ((a)[(n)>>SHIFT_WORD] & (1L << ((n) & 31))) 119d95e11bfSDag-Erling Smørgrav 120d95e11bfSDag-Erling Smørgrav /* 121d95e11bfSDag-Erling Smørgrav * Prime testing defines 122d95e11bfSDag-Erling Smørgrav */ 123d95e11bfSDag-Erling Smørgrav 124d74d50a8SDag-Erling Smørgrav /* Minimum number of primality tests to perform */ 125d74d50a8SDag-Erling Smørgrav #define TRIAL_MINIMUM (4) 126d74d50a8SDag-Erling Smørgrav 127d95e11bfSDag-Erling Smørgrav /* 128d95e11bfSDag-Erling Smørgrav * Sieving data (XXX - move to struct) 129d95e11bfSDag-Erling Smørgrav */ 130d95e11bfSDag-Erling Smørgrav 131d95e11bfSDag-Erling Smørgrav /* sieve 2**16 */ 132d95e11bfSDag-Erling Smørgrav static u_int32_t *TinySieve, tinybits; 133d95e11bfSDag-Erling Smørgrav 134d95e11bfSDag-Erling Smørgrav /* sieve 2**30 in 2**16 parts */ 135d95e11bfSDag-Erling Smørgrav static u_int32_t *SmallSieve, smallbits, smallbase; 136d95e11bfSDag-Erling Smørgrav 137d95e11bfSDag-Erling Smørgrav /* sieve relative to the initial value */ 138d95e11bfSDag-Erling Smørgrav static u_int32_t *LargeSieve, largewords, largetries, largenumbers; 139d95e11bfSDag-Erling Smørgrav static u_int32_t largebits, largememory; /* megabytes */ 140d95e11bfSDag-Erling Smørgrav static BIGNUM *largebase; 141d95e11bfSDag-Erling Smørgrav 142043840dfSDag-Erling Smørgrav int gen_candidates(FILE *, u_int32_t, u_int32_t, BIGNUM *); 143*462c32cbSDag-Erling Smørgrav int prime_test(FILE *, FILE *, u_int32_t, u_int32_t, char *, unsigned long, 144*462c32cbSDag-Erling Smørgrav unsigned long); 145d95e11bfSDag-Erling Smørgrav 146d95e11bfSDag-Erling Smørgrav /* 147d95e11bfSDag-Erling Smørgrav * print moduli out in consistent form, 148d95e11bfSDag-Erling Smørgrav */ 149d95e11bfSDag-Erling Smørgrav static int 150d95e11bfSDag-Erling Smørgrav qfileout(FILE * ofile, u_int32_t otype, u_int32_t otests, u_int32_t otries, 151d95e11bfSDag-Erling Smørgrav u_int32_t osize, u_int32_t ogenerator, BIGNUM * omodulus) 152d95e11bfSDag-Erling Smørgrav { 153d95e11bfSDag-Erling Smørgrav struct tm *gtm; 154d95e11bfSDag-Erling Smørgrav time_t time_now; 155d95e11bfSDag-Erling Smørgrav int res; 156d95e11bfSDag-Erling Smørgrav 157d95e11bfSDag-Erling Smørgrav time(&time_now); 158d95e11bfSDag-Erling Smørgrav gtm = gmtime(&time_now); 159d95e11bfSDag-Erling Smørgrav 160d95e11bfSDag-Erling Smørgrav res = fprintf(ofile, "%04d%02d%02d%02d%02d%02d %u %u %u %u %x ", 161d95e11bfSDag-Erling Smørgrav gtm->tm_year + 1900, gtm->tm_mon + 1, gtm->tm_mday, 162d95e11bfSDag-Erling Smørgrav gtm->tm_hour, gtm->tm_min, gtm->tm_sec, 163d95e11bfSDag-Erling Smørgrav otype, otests, otries, osize, ogenerator); 164d95e11bfSDag-Erling Smørgrav 165d95e11bfSDag-Erling Smørgrav if (res < 0) 166d95e11bfSDag-Erling Smørgrav return (-1); 167d95e11bfSDag-Erling Smørgrav 168d95e11bfSDag-Erling Smørgrav if (BN_print_fp(ofile, omodulus) < 1) 169d95e11bfSDag-Erling Smørgrav return (-1); 170d95e11bfSDag-Erling Smørgrav 171d95e11bfSDag-Erling Smørgrav res = fprintf(ofile, "\n"); 172d95e11bfSDag-Erling Smørgrav fflush(ofile); 173d95e11bfSDag-Erling Smørgrav 174d95e11bfSDag-Erling Smørgrav return (res > 0 ? 0 : -1); 175d95e11bfSDag-Erling Smørgrav } 176d95e11bfSDag-Erling Smørgrav 177d95e11bfSDag-Erling Smørgrav 178d95e11bfSDag-Erling Smørgrav /* 179d95e11bfSDag-Erling Smørgrav ** Sieve p's and q's with small factors 180d95e11bfSDag-Erling Smørgrav */ 181d95e11bfSDag-Erling Smørgrav static void 182d95e11bfSDag-Erling Smørgrav sieve_large(u_int32_t s) 183d95e11bfSDag-Erling Smørgrav { 184d95e11bfSDag-Erling Smørgrav u_int32_t r, u; 185d95e11bfSDag-Erling Smørgrav 186efcad6b7SDag-Erling Smørgrav debug3("sieve_large %u", s); 187d95e11bfSDag-Erling Smørgrav largetries++; 188d95e11bfSDag-Erling Smørgrav /* r = largebase mod s */ 189d95e11bfSDag-Erling Smørgrav r = BN_mod_word(largebase, s); 190d95e11bfSDag-Erling Smørgrav if (r == 0) 191d95e11bfSDag-Erling Smørgrav u = 0; /* s divides into largebase exactly */ 192d95e11bfSDag-Erling Smørgrav else 193d95e11bfSDag-Erling Smørgrav u = s - r; /* largebase+u is first entry divisible by s */ 194d95e11bfSDag-Erling Smørgrav 195d95e11bfSDag-Erling Smørgrav if (u < largebits * 2) { 196d95e11bfSDag-Erling Smørgrav /* 197d95e11bfSDag-Erling Smørgrav * The sieve omits p's and q's divisible by 2, so ensure that 198d95e11bfSDag-Erling Smørgrav * largebase+u is odd. Then, step through the sieve in 199d95e11bfSDag-Erling Smørgrav * increments of 2*s 200d95e11bfSDag-Erling Smørgrav */ 201d95e11bfSDag-Erling Smørgrav if (u & 0x1) 202d95e11bfSDag-Erling Smørgrav u += s; /* Make largebase+u odd, and u even */ 203d95e11bfSDag-Erling Smørgrav 204d95e11bfSDag-Erling Smørgrav /* Mark all multiples of 2*s */ 205d95e11bfSDag-Erling Smørgrav for (u /= 2; u < largebits; u += s) 206d95e11bfSDag-Erling Smørgrav BIT_SET(LargeSieve, u); 207d95e11bfSDag-Erling Smørgrav } 208d95e11bfSDag-Erling Smørgrav 209d95e11bfSDag-Erling Smørgrav /* r = p mod s */ 210d95e11bfSDag-Erling Smørgrav r = (2 * r + 1) % s; 211d95e11bfSDag-Erling Smørgrav if (r == 0) 212d95e11bfSDag-Erling Smørgrav u = 0; /* s divides p exactly */ 213d95e11bfSDag-Erling Smørgrav else 214d95e11bfSDag-Erling Smørgrav u = s - r; /* p+u is first entry divisible by s */ 215d95e11bfSDag-Erling Smørgrav 216d95e11bfSDag-Erling Smørgrav if (u < largebits * 4) { 217d95e11bfSDag-Erling Smørgrav /* 218d95e11bfSDag-Erling Smørgrav * The sieve omits p's divisible by 4, so ensure that 219d95e11bfSDag-Erling Smørgrav * largebase+u is not. Then, step through the sieve in 220d95e11bfSDag-Erling Smørgrav * increments of 4*s 221d95e11bfSDag-Erling Smørgrav */ 222d95e11bfSDag-Erling Smørgrav while (u & 0x3) { 223d95e11bfSDag-Erling Smørgrav if (SMALL_MAXIMUM - u < s) 224d95e11bfSDag-Erling Smørgrav return; 225d95e11bfSDag-Erling Smørgrav u += s; 226d95e11bfSDag-Erling Smørgrav } 227d95e11bfSDag-Erling Smørgrav 228d95e11bfSDag-Erling Smørgrav /* Mark all multiples of 4*s */ 229d95e11bfSDag-Erling Smørgrav for (u /= 4; u < largebits; u += s) 230d95e11bfSDag-Erling Smørgrav BIT_SET(LargeSieve, u); 231d95e11bfSDag-Erling Smørgrav } 232d95e11bfSDag-Erling Smørgrav } 233d95e11bfSDag-Erling Smørgrav 234d95e11bfSDag-Erling Smørgrav /* 235d74d50a8SDag-Erling Smørgrav * list candidates for Sophie-Germain primes (where q = (p-1)/2) 236d95e11bfSDag-Erling Smørgrav * to standard output. 237d95e11bfSDag-Erling Smørgrav * The list is checked against small known primes (less than 2**30). 238d95e11bfSDag-Erling Smørgrav */ 239d95e11bfSDag-Erling Smørgrav int 240043840dfSDag-Erling Smørgrav gen_candidates(FILE *out, u_int32_t memory, u_int32_t power, BIGNUM *start) 241d95e11bfSDag-Erling Smørgrav { 242d95e11bfSDag-Erling Smørgrav BIGNUM *q; 243d95e11bfSDag-Erling Smørgrav u_int32_t j, r, s, t; 244d95e11bfSDag-Erling Smørgrav u_int32_t smallwords = TINY_NUMBER >> 6; 245d95e11bfSDag-Erling Smørgrav u_int32_t tinywords = TINY_NUMBER >> 6; 246d95e11bfSDag-Erling Smørgrav time_t time_start, time_stop; 247043840dfSDag-Erling Smørgrav u_int32_t i; 248043840dfSDag-Erling Smørgrav int ret = 0; 249d95e11bfSDag-Erling Smørgrav 250d95e11bfSDag-Erling Smørgrav largememory = memory; 251d95e11bfSDag-Erling Smørgrav 252d74d50a8SDag-Erling Smørgrav if (memory != 0 && 253d74d50a8SDag-Erling Smørgrav (memory < LARGE_MINIMUM || memory > LARGE_MAXIMUM)) { 254d74d50a8SDag-Erling Smørgrav error("Invalid memory amount (min %ld, max %ld)", 255d74d50a8SDag-Erling Smørgrav LARGE_MINIMUM, LARGE_MAXIMUM); 256d74d50a8SDag-Erling Smørgrav return (-1); 257d74d50a8SDag-Erling Smørgrav } 258d74d50a8SDag-Erling Smørgrav 259d95e11bfSDag-Erling Smørgrav /* 260d95e11bfSDag-Erling Smørgrav * Set power to the length in bits of the prime to be generated. 261d95e11bfSDag-Erling Smørgrav * This is changed to 1 less than the desired safe prime moduli p. 262d95e11bfSDag-Erling Smørgrav */ 263d95e11bfSDag-Erling Smørgrav if (power > TEST_MAXIMUM) { 264d95e11bfSDag-Erling Smørgrav error("Too many bits: %u > %lu", power, TEST_MAXIMUM); 265d95e11bfSDag-Erling Smørgrav return (-1); 266d95e11bfSDag-Erling Smørgrav } else if (power < TEST_MINIMUM) { 267d95e11bfSDag-Erling Smørgrav error("Too few bits: %u < %u", power, TEST_MINIMUM); 268d95e11bfSDag-Erling Smørgrav return (-1); 269d95e11bfSDag-Erling Smørgrav } 270d95e11bfSDag-Erling Smørgrav power--; /* decrement before squaring */ 271d95e11bfSDag-Erling Smørgrav 272d95e11bfSDag-Erling Smørgrav /* 273d95e11bfSDag-Erling Smørgrav * The density of ordinary primes is on the order of 1/bits, so the 274d95e11bfSDag-Erling Smørgrav * density of safe primes should be about (1/bits)**2. Set test range 275d95e11bfSDag-Erling Smørgrav * to something well above bits**2 to be reasonably sure (but not 276d95e11bfSDag-Erling Smørgrav * guaranteed) of catching at least one safe prime. 277d95e11bfSDag-Erling Smørgrav */ 278d95e11bfSDag-Erling Smørgrav largewords = ((power * power) >> (SHIFT_WORD - TEST_POWER)); 279d95e11bfSDag-Erling Smørgrav 280d95e11bfSDag-Erling Smørgrav /* 281d95e11bfSDag-Erling Smørgrav * Need idea of how much memory is available. We don't have to use all 282d95e11bfSDag-Erling Smørgrav * of it. 283d95e11bfSDag-Erling Smørgrav */ 284d95e11bfSDag-Erling Smørgrav if (largememory > LARGE_MAXIMUM) { 285d95e11bfSDag-Erling Smørgrav logit("Limited memory: %u MB; limit %lu MB", 286d95e11bfSDag-Erling Smørgrav largememory, LARGE_MAXIMUM); 287d95e11bfSDag-Erling Smørgrav largememory = LARGE_MAXIMUM; 288d95e11bfSDag-Erling Smørgrav } 289d95e11bfSDag-Erling Smørgrav 290d95e11bfSDag-Erling Smørgrav if (largewords <= (largememory << SHIFT_MEGAWORD)) { 291d95e11bfSDag-Erling Smørgrav logit("Increased memory: %u MB; need %u bytes", 292d95e11bfSDag-Erling Smørgrav largememory, (largewords << SHIFT_BYTE)); 293d95e11bfSDag-Erling Smørgrav largewords = (largememory << SHIFT_MEGAWORD); 294d95e11bfSDag-Erling Smørgrav } else if (largememory > 0) { 295d95e11bfSDag-Erling Smørgrav logit("Decreased memory: %u MB; want %u bytes", 296d95e11bfSDag-Erling Smørgrav largememory, (largewords << SHIFT_BYTE)); 297d95e11bfSDag-Erling Smørgrav largewords = (largememory << SHIFT_MEGAWORD); 298d95e11bfSDag-Erling Smørgrav } 299d95e11bfSDag-Erling Smørgrav 300761efaa7SDag-Erling Smørgrav TinySieve = xcalloc(tinywords, sizeof(u_int32_t)); 301d95e11bfSDag-Erling Smørgrav tinybits = tinywords << SHIFT_WORD; 302d95e11bfSDag-Erling Smørgrav 303761efaa7SDag-Erling Smørgrav SmallSieve = xcalloc(smallwords, sizeof(u_int32_t)); 304d95e11bfSDag-Erling Smørgrav smallbits = smallwords << SHIFT_WORD; 305d95e11bfSDag-Erling Smørgrav 306d95e11bfSDag-Erling Smørgrav /* 307d95e11bfSDag-Erling Smørgrav * dynamically determine available memory 308d95e11bfSDag-Erling Smørgrav */ 309d95e11bfSDag-Erling Smørgrav while ((LargeSieve = calloc(largewords, sizeof(u_int32_t))) == NULL) 310d95e11bfSDag-Erling Smørgrav largewords -= (1L << (SHIFT_MEGAWORD - 2)); /* 1/4 MB chunks */ 311d95e11bfSDag-Erling Smørgrav 312d95e11bfSDag-Erling Smørgrav largebits = largewords << SHIFT_WORD; 313d95e11bfSDag-Erling Smørgrav largenumbers = largebits * 2; /* even numbers excluded */ 314d95e11bfSDag-Erling Smørgrav 315d95e11bfSDag-Erling Smørgrav /* validation check: count the number of primes tried */ 316d95e11bfSDag-Erling Smørgrav largetries = 0; 31792eb0aa1SDag-Erling Smørgrav if ((q = BN_new()) == NULL) 31892eb0aa1SDag-Erling Smørgrav fatal("BN_new failed"); 319d95e11bfSDag-Erling Smørgrav 320d95e11bfSDag-Erling Smørgrav /* 321d95e11bfSDag-Erling Smørgrav * Generate random starting point for subprime search, or use 322d95e11bfSDag-Erling Smørgrav * specified parameter. 323d95e11bfSDag-Erling Smørgrav */ 32492eb0aa1SDag-Erling Smørgrav if ((largebase = BN_new()) == NULL) 32592eb0aa1SDag-Erling Smørgrav fatal("BN_new failed"); 32692eb0aa1SDag-Erling Smørgrav if (start == NULL) { 32792eb0aa1SDag-Erling Smørgrav if (BN_rand(largebase, power, 1, 1) == 0) 32892eb0aa1SDag-Erling Smørgrav fatal("BN_rand failed"); 32992eb0aa1SDag-Erling Smørgrav } else { 33092eb0aa1SDag-Erling Smørgrav if (BN_copy(largebase, start) == NULL) 33192eb0aa1SDag-Erling Smørgrav fatal("BN_copy: failed"); 33292eb0aa1SDag-Erling Smørgrav } 333d95e11bfSDag-Erling Smørgrav 334d95e11bfSDag-Erling Smørgrav /* ensure odd */ 33592eb0aa1SDag-Erling Smørgrav if (BN_set_bit(largebase, 0) == 0) 33692eb0aa1SDag-Erling Smørgrav fatal("BN_set_bit: failed"); 337d95e11bfSDag-Erling Smørgrav 338d95e11bfSDag-Erling Smørgrav time(&time_start); 339d95e11bfSDag-Erling Smørgrav 340d95e11bfSDag-Erling Smørgrav logit("%.24s Sieve next %u plus %u-bit", ctime(&time_start), 341d95e11bfSDag-Erling Smørgrav largenumbers, power); 342d95e11bfSDag-Erling Smørgrav debug2("start point: 0x%s", BN_bn2hex(largebase)); 343d95e11bfSDag-Erling Smørgrav 344d95e11bfSDag-Erling Smørgrav /* 345d95e11bfSDag-Erling Smørgrav * TinySieve 346d95e11bfSDag-Erling Smørgrav */ 347d95e11bfSDag-Erling Smørgrav for (i = 0; i < tinybits; i++) { 348d95e11bfSDag-Erling Smørgrav if (BIT_TEST(TinySieve, i)) 349d95e11bfSDag-Erling Smørgrav continue; /* 2*i+3 is composite */ 350d95e11bfSDag-Erling Smørgrav 351d95e11bfSDag-Erling Smørgrav /* The next tiny prime */ 352d95e11bfSDag-Erling Smørgrav t = 2 * i + 3; 353d95e11bfSDag-Erling Smørgrav 354d95e11bfSDag-Erling Smørgrav /* Mark all multiples of t */ 355d95e11bfSDag-Erling Smørgrav for (j = i + t; j < tinybits; j += t) 356d95e11bfSDag-Erling Smørgrav BIT_SET(TinySieve, j); 357d95e11bfSDag-Erling Smørgrav 358d95e11bfSDag-Erling Smørgrav sieve_large(t); 359d95e11bfSDag-Erling Smørgrav } 360d95e11bfSDag-Erling Smørgrav 361d95e11bfSDag-Erling Smørgrav /* 362d95e11bfSDag-Erling Smørgrav * Start the small block search at the next possible prime. To avoid 363d95e11bfSDag-Erling Smørgrav * fencepost errors, the last pass is skipped. 364d95e11bfSDag-Erling Smørgrav */ 365d95e11bfSDag-Erling Smørgrav for (smallbase = TINY_NUMBER + 3; 366d95e11bfSDag-Erling Smørgrav smallbase < (SMALL_MAXIMUM - TINY_NUMBER); 367d95e11bfSDag-Erling Smørgrav smallbase += TINY_NUMBER) { 368d95e11bfSDag-Erling Smørgrav for (i = 0; i < tinybits; i++) { 369d95e11bfSDag-Erling Smørgrav if (BIT_TEST(TinySieve, i)) 370d95e11bfSDag-Erling Smørgrav continue; /* 2*i+3 is composite */ 371d95e11bfSDag-Erling Smørgrav 372d95e11bfSDag-Erling Smørgrav /* The next tiny prime */ 373d95e11bfSDag-Erling Smørgrav t = 2 * i + 3; 374d95e11bfSDag-Erling Smørgrav r = smallbase % t; 375d95e11bfSDag-Erling Smørgrav 376d95e11bfSDag-Erling Smørgrav if (r == 0) { 377d95e11bfSDag-Erling Smørgrav s = 0; /* t divides into smallbase exactly */ 378d95e11bfSDag-Erling Smørgrav } else { 379d95e11bfSDag-Erling Smørgrav /* smallbase+s is first entry divisible by t */ 380d95e11bfSDag-Erling Smørgrav s = t - r; 381d95e11bfSDag-Erling Smørgrav } 382d95e11bfSDag-Erling Smørgrav 383d95e11bfSDag-Erling Smørgrav /* 384d95e11bfSDag-Erling Smørgrav * The sieve omits even numbers, so ensure that 385d95e11bfSDag-Erling Smørgrav * smallbase+s is odd. Then, step through the sieve 386d95e11bfSDag-Erling Smørgrav * in increments of 2*t 387d95e11bfSDag-Erling Smørgrav */ 388d95e11bfSDag-Erling Smørgrav if (s & 1) 389d95e11bfSDag-Erling Smørgrav s += t; /* Make smallbase+s odd, and s even */ 390d95e11bfSDag-Erling Smørgrav 391d95e11bfSDag-Erling Smørgrav /* Mark all multiples of 2*t */ 392d95e11bfSDag-Erling Smørgrav for (s /= 2; s < smallbits; s += t) 393d95e11bfSDag-Erling Smørgrav BIT_SET(SmallSieve, s); 394d95e11bfSDag-Erling Smørgrav } 395d95e11bfSDag-Erling Smørgrav 396d95e11bfSDag-Erling Smørgrav /* 397d95e11bfSDag-Erling Smørgrav * SmallSieve 398d95e11bfSDag-Erling Smørgrav */ 399d95e11bfSDag-Erling Smørgrav for (i = 0; i < smallbits; i++) { 400d95e11bfSDag-Erling Smørgrav if (BIT_TEST(SmallSieve, i)) 401d95e11bfSDag-Erling Smørgrav continue; /* 2*i+smallbase is composite */ 402d95e11bfSDag-Erling Smørgrav 403d95e11bfSDag-Erling Smørgrav /* The next small prime */ 404d95e11bfSDag-Erling Smørgrav sieve_large((2 * i) + smallbase); 405d95e11bfSDag-Erling Smørgrav } 406d95e11bfSDag-Erling Smørgrav 407d95e11bfSDag-Erling Smørgrav memset(SmallSieve, 0, smallwords << SHIFT_BYTE); 408d95e11bfSDag-Erling Smørgrav } 409d95e11bfSDag-Erling Smørgrav 410d95e11bfSDag-Erling Smørgrav time(&time_stop); 411d95e11bfSDag-Erling Smørgrav 412d95e11bfSDag-Erling Smørgrav logit("%.24s Sieved with %u small primes in %ld seconds", 413d95e11bfSDag-Erling Smørgrav ctime(&time_stop), largetries, (long) (time_stop - time_start)); 414d95e11bfSDag-Erling Smørgrav 415d95e11bfSDag-Erling Smørgrav for (j = r = 0; j < largebits; j++) { 416d95e11bfSDag-Erling Smørgrav if (BIT_TEST(LargeSieve, j)) 417d95e11bfSDag-Erling Smørgrav continue; /* Definitely composite, skip */ 418d95e11bfSDag-Erling Smørgrav 419d95e11bfSDag-Erling Smørgrav debug2("test q = largebase+%u", 2 * j); 42092eb0aa1SDag-Erling Smørgrav if (BN_set_word(q, 2 * j) == 0) 42192eb0aa1SDag-Erling Smørgrav fatal("BN_set_word failed"); 42292eb0aa1SDag-Erling Smørgrav if (BN_add(q, q, largebase) == 0) 42392eb0aa1SDag-Erling Smørgrav fatal("BN_add failed"); 424d4af9e69SDag-Erling Smørgrav if (qfileout(out, MODULI_TYPE_SOPHIE_GERMAIN, 425d4af9e69SDag-Erling Smørgrav MODULI_TESTS_SIEVE, largetries, 426d4af9e69SDag-Erling Smørgrav (power - 1) /* MSB */, (0), q) == -1) { 427d95e11bfSDag-Erling Smørgrav ret = -1; 428d95e11bfSDag-Erling Smørgrav break; 429d95e11bfSDag-Erling Smørgrav } 430d95e11bfSDag-Erling Smørgrav 431d95e11bfSDag-Erling Smørgrav r++; /* count q */ 432d95e11bfSDag-Erling Smørgrav } 433d95e11bfSDag-Erling Smørgrav 434d95e11bfSDag-Erling Smørgrav time(&time_stop); 435d95e11bfSDag-Erling Smørgrav 436d95e11bfSDag-Erling Smørgrav xfree(LargeSieve); 437d95e11bfSDag-Erling Smørgrav xfree(SmallSieve); 438d95e11bfSDag-Erling Smørgrav xfree(TinySieve); 439d95e11bfSDag-Erling Smørgrav 440d95e11bfSDag-Erling Smørgrav logit("%.24s Found %u candidates", ctime(&time_stop), r); 441d95e11bfSDag-Erling Smørgrav 442d95e11bfSDag-Erling Smørgrav return (ret); 443d95e11bfSDag-Erling Smørgrav } 444d95e11bfSDag-Erling Smørgrav 445*462c32cbSDag-Erling Smørgrav static void 446*462c32cbSDag-Erling Smørgrav write_checkpoint(char *cpfile, u_int32_t lineno) 447*462c32cbSDag-Erling Smørgrav { 448*462c32cbSDag-Erling Smørgrav FILE *fp; 449*462c32cbSDag-Erling Smørgrav char tmp[MAXPATHLEN]; 450*462c32cbSDag-Erling Smørgrav int r; 451*462c32cbSDag-Erling Smørgrav 452*462c32cbSDag-Erling Smørgrav r = snprintf(tmp, sizeof(tmp), "%s.XXXXXXXXXX", cpfile); 453*462c32cbSDag-Erling Smørgrav if (r == -1 || r >= MAXPATHLEN) { 454*462c32cbSDag-Erling Smørgrav logit("write_checkpoint: temp pathname too long"); 455*462c32cbSDag-Erling Smørgrav return; 456*462c32cbSDag-Erling Smørgrav } 457*462c32cbSDag-Erling Smørgrav if ((r = mkstemp(tmp)) == -1) { 458*462c32cbSDag-Erling Smørgrav logit("mkstemp(%s): %s", tmp, strerror(errno)); 459*462c32cbSDag-Erling Smørgrav return; 460*462c32cbSDag-Erling Smørgrav } 461*462c32cbSDag-Erling Smørgrav if ((fp = fdopen(r, "w")) == NULL) { 462*462c32cbSDag-Erling Smørgrav logit("write_checkpoint: fdopen: %s", strerror(errno)); 463*462c32cbSDag-Erling Smørgrav close(r); 464*462c32cbSDag-Erling Smørgrav return; 465*462c32cbSDag-Erling Smørgrav } 466*462c32cbSDag-Erling Smørgrav if (fprintf(fp, "%lu\n", (unsigned long)lineno) > 0 && fclose(fp) == 0 467*462c32cbSDag-Erling Smørgrav && rename(tmp, cpfile) == 0) 468*462c32cbSDag-Erling Smørgrav debug3("wrote checkpoint line %lu to '%s'", 469*462c32cbSDag-Erling Smørgrav (unsigned long)lineno, cpfile); 470*462c32cbSDag-Erling Smørgrav else 471*462c32cbSDag-Erling Smørgrav logit("failed to write to checkpoint file '%s': %s", cpfile, 472*462c32cbSDag-Erling Smørgrav strerror(errno)); 473*462c32cbSDag-Erling Smørgrav } 474*462c32cbSDag-Erling Smørgrav 475*462c32cbSDag-Erling Smørgrav static unsigned long 476*462c32cbSDag-Erling Smørgrav read_checkpoint(char *cpfile) 477*462c32cbSDag-Erling Smørgrav { 478*462c32cbSDag-Erling Smørgrav FILE *fp; 479*462c32cbSDag-Erling Smørgrav unsigned long lineno = 0; 480*462c32cbSDag-Erling Smørgrav 481*462c32cbSDag-Erling Smørgrav if ((fp = fopen(cpfile, "r")) == NULL) 482*462c32cbSDag-Erling Smørgrav return 0; 483*462c32cbSDag-Erling Smørgrav if (fscanf(fp, "%lu\n", &lineno) < 1) 484*462c32cbSDag-Erling Smørgrav logit("Failed to load checkpoint from '%s'", cpfile); 485*462c32cbSDag-Erling Smørgrav else 486*462c32cbSDag-Erling Smørgrav logit("Loaded checkpoint from '%s' line %lu", cpfile, lineno); 487*462c32cbSDag-Erling Smørgrav fclose(fp); 488*462c32cbSDag-Erling Smørgrav return lineno; 489*462c32cbSDag-Erling Smørgrav } 490*462c32cbSDag-Erling Smørgrav 491d95e11bfSDag-Erling Smørgrav /* 492d95e11bfSDag-Erling Smørgrav * perform a Miller-Rabin primality test 493d95e11bfSDag-Erling Smørgrav * on the list of candidates 494d95e11bfSDag-Erling Smørgrav * (checking both q and p) 495d95e11bfSDag-Erling Smørgrav * The result is a list of so-call "safe" primes 496d95e11bfSDag-Erling Smørgrav */ 497d95e11bfSDag-Erling Smørgrav int 498*462c32cbSDag-Erling Smørgrav prime_test(FILE *in, FILE *out, u_int32_t trials, u_int32_t generator_wanted, 499*462c32cbSDag-Erling Smørgrav char *checkpoint_file, unsigned long start_lineno, unsigned long num_lines) 500d95e11bfSDag-Erling Smørgrav { 501d95e11bfSDag-Erling Smørgrav BIGNUM *q, *p, *a; 502d95e11bfSDag-Erling Smørgrav BN_CTX *ctx; 503d95e11bfSDag-Erling Smørgrav char *cp, *lp; 504d95e11bfSDag-Erling Smørgrav u_int32_t count_in = 0, count_out = 0, count_possible = 0; 505d95e11bfSDag-Erling Smørgrav u_int32_t generator_known, in_tests, in_tries, in_type, in_size; 506*462c32cbSDag-Erling Smørgrav unsigned long last_processed = 0, end_lineno; 507d95e11bfSDag-Erling Smørgrav time_t time_start, time_stop; 508d95e11bfSDag-Erling Smørgrav int res; 509d95e11bfSDag-Erling Smørgrav 510d74d50a8SDag-Erling Smørgrav if (trials < TRIAL_MINIMUM) { 511d74d50a8SDag-Erling Smørgrav error("Minimum primality trials is %d", TRIAL_MINIMUM); 512d74d50a8SDag-Erling Smørgrav return (-1); 513d74d50a8SDag-Erling Smørgrav } 514d74d50a8SDag-Erling Smørgrav 515d95e11bfSDag-Erling Smørgrav time(&time_start); 516d95e11bfSDag-Erling Smørgrav 51792eb0aa1SDag-Erling Smørgrav if ((p = BN_new()) == NULL) 51892eb0aa1SDag-Erling Smørgrav fatal("BN_new failed"); 51992eb0aa1SDag-Erling Smørgrav if ((q = BN_new()) == NULL) 52092eb0aa1SDag-Erling Smørgrav fatal("BN_new failed"); 52192eb0aa1SDag-Erling Smørgrav if ((ctx = BN_CTX_new()) == NULL) 52292eb0aa1SDag-Erling Smørgrav fatal("BN_CTX_new failed"); 523d95e11bfSDag-Erling Smørgrav 524d95e11bfSDag-Erling Smørgrav debug2("%.24s Final %u Miller-Rabin trials (%x generator)", 525d95e11bfSDag-Erling Smørgrav ctime(&time_start), trials, generator_wanted); 526d95e11bfSDag-Erling Smørgrav 527*462c32cbSDag-Erling Smørgrav if (checkpoint_file != NULL) 528*462c32cbSDag-Erling Smørgrav last_processed = read_checkpoint(checkpoint_file); 529*462c32cbSDag-Erling Smørgrav if (start_lineno > last_processed) 530*462c32cbSDag-Erling Smørgrav last_processed = start_lineno; 531*462c32cbSDag-Erling Smørgrav if (num_lines == 0) 532*462c32cbSDag-Erling Smørgrav end_lineno = ULONG_MAX; 533*462c32cbSDag-Erling Smørgrav else 534*462c32cbSDag-Erling Smørgrav end_lineno = last_processed + num_lines; 535*462c32cbSDag-Erling Smørgrav debug2("process line %lu to line %lu", last_processed, end_lineno); 536*462c32cbSDag-Erling Smørgrav 537d95e11bfSDag-Erling Smørgrav res = 0; 538d95e11bfSDag-Erling Smørgrav lp = xmalloc(QLINESIZE + 1); 539*462c32cbSDag-Erling Smørgrav while (fgets(lp, QLINESIZE + 1, in) != NULL && count_in < end_lineno) { 540d95e11bfSDag-Erling Smørgrav count_in++; 541*462c32cbSDag-Erling Smørgrav if (checkpoint_file != NULL) { 542*462c32cbSDag-Erling Smørgrav if (count_in <= last_processed) { 543*462c32cbSDag-Erling Smørgrav debug3("skipping line %u, before checkpoint", 544*462c32cbSDag-Erling Smørgrav count_in); 545*462c32cbSDag-Erling Smørgrav continue; 546*462c32cbSDag-Erling Smørgrav } 547*462c32cbSDag-Erling Smørgrav write_checkpoint(checkpoint_file, count_in); 548*462c32cbSDag-Erling Smørgrav } 549d4af9e69SDag-Erling Smørgrav if (strlen(lp) < 14 || *lp == '!' || *lp == '#') { 550d95e11bfSDag-Erling Smørgrav debug2("%10u: comment or short line", count_in); 551d95e11bfSDag-Erling Smørgrav continue; 552d95e11bfSDag-Erling Smørgrav } 553d95e11bfSDag-Erling Smørgrav 554d95e11bfSDag-Erling Smørgrav /* XXX - fragile parser */ 555d95e11bfSDag-Erling Smørgrav /* time */ 556d95e11bfSDag-Erling Smørgrav cp = &lp[14]; /* (skip) */ 557d95e11bfSDag-Erling Smørgrav 558d95e11bfSDag-Erling Smørgrav /* type */ 559d95e11bfSDag-Erling Smørgrav in_type = strtoul(cp, &cp, 10); 560d95e11bfSDag-Erling Smørgrav 561d95e11bfSDag-Erling Smørgrav /* tests */ 562d95e11bfSDag-Erling Smørgrav in_tests = strtoul(cp, &cp, 10); 563d95e11bfSDag-Erling Smørgrav 564d4af9e69SDag-Erling Smørgrav if (in_tests & MODULI_TESTS_COMPOSITE) { 565d95e11bfSDag-Erling Smørgrav debug2("%10u: known composite", count_in); 566d95e11bfSDag-Erling Smørgrav continue; 567d95e11bfSDag-Erling Smørgrav } 568efcad6b7SDag-Erling Smørgrav 569d95e11bfSDag-Erling Smørgrav /* tries */ 570d95e11bfSDag-Erling Smørgrav in_tries = strtoul(cp, &cp, 10); 571d95e11bfSDag-Erling Smørgrav 572d95e11bfSDag-Erling Smørgrav /* size (most significant bit) */ 573d95e11bfSDag-Erling Smørgrav in_size = strtoul(cp, &cp, 10); 574d95e11bfSDag-Erling Smørgrav 575d95e11bfSDag-Erling Smørgrav /* generator (hex) */ 576d95e11bfSDag-Erling Smørgrav generator_known = strtoul(cp, &cp, 16); 577d95e11bfSDag-Erling Smørgrav 578d95e11bfSDag-Erling Smørgrav /* Skip white space */ 579d95e11bfSDag-Erling Smørgrav cp += strspn(cp, " "); 580d95e11bfSDag-Erling Smørgrav 581d95e11bfSDag-Erling Smørgrav /* modulus (hex) */ 582d95e11bfSDag-Erling Smørgrav switch (in_type) { 583d4af9e69SDag-Erling Smørgrav case MODULI_TYPE_SOPHIE_GERMAIN: 584d74d50a8SDag-Erling Smørgrav debug2("%10u: (%u) Sophie-Germain", count_in, in_type); 585d95e11bfSDag-Erling Smørgrav a = q; 58692eb0aa1SDag-Erling Smørgrav if (BN_hex2bn(&a, cp) == 0) 58792eb0aa1SDag-Erling Smørgrav fatal("BN_hex2bn failed"); 588d95e11bfSDag-Erling Smørgrav /* p = 2*q + 1 */ 58992eb0aa1SDag-Erling Smørgrav if (BN_lshift(p, q, 1) == 0) 59092eb0aa1SDag-Erling Smørgrav fatal("BN_lshift failed"); 59192eb0aa1SDag-Erling Smørgrav if (BN_add_word(p, 1) == 0) 59292eb0aa1SDag-Erling Smørgrav fatal("BN_add_word failed"); 593d95e11bfSDag-Erling Smørgrav in_size += 1; 594d95e11bfSDag-Erling Smørgrav generator_known = 0; 595d95e11bfSDag-Erling Smørgrav break; 596d4af9e69SDag-Erling Smørgrav case MODULI_TYPE_UNSTRUCTURED: 597d4af9e69SDag-Erling Smørgrav case MODULI_TYPE_SAFE: 598d4af9e69SDag-Erling Smørgrav case MODULI_TYPE_SCHNORR: 599d4af9e69SDag-Erling Smørgrav case MODULI_TYPE_STRONG: 600d4af9e69SDag-Erling Smørgrav case MODULI_TYPE_UNKNOWN: 601d95e11bfSDag-Erling Smørgrav debug2("%10u: (%u)", count_in, in_type); 602d95e11bfSDag-Erling Smørgrav a = p; 60392eb0aa1SDag-Erling Smørgrav if (BN_hex2bn(&a, cp) == 0) 60492eb0aa1SDag-Erling Smørgrav fatal("BN_hex2bn failed"); 605d95e11bfSDag-Erling Smørgrav /* q = (p-1) / 2 */ 60692eb0aa1SDag-Erling Smørgrav if (BN_rshift(q, p, 1) == 0) 60792eb0aa1SDag-Erling Smørgrav fatal("BN_rshift failed"); 608d95e11bfSDag-Erling Smørgrav break; 609efcad6b7SDag-Erling Smørgrav default: 610efcad6b7SDag-Erling Smørgrav debug2("Unknown prime type"); 611efcad6b7SDag-Erling Smørgrav break; 612d95e11bfSDag-Erling Smørgrav } 613d95e11bfSDag-Erling Smørgrav 614d95e11bfSDag-Erling Smørgrav /* 615d95e11bfSDag-Erling Smørgrav * due to earlier inconsistencies in interpretation, check 616d95e11bfSDag-Erling Smørgrav * the proposed bit size. 617d95e11bfSDag-Erling Smørgrav */ 618043840dfSDag-Erling Smørgrav if ((u_int32_t)BN_num_bits(p) != (in_size + 1)) { 619d95e11bfSDag-Erling Smørgrav debug2("%10u: bit size %u mismatch", count_in, in_size); 620d95e11bfSDag-Erling Smørgrav continue; 621d95e11bfSDag-Erling Smørgrav } 622d95e11bfSDag-Erling Smørgrav if (in_size < QSIZE_MINIMUM) { 623d95e11bfSDag-Erling Smørgrav debug2("%10u: bit size %u too short", count_in, in_size); 624d95e11bfSDag-Erling Smørgrav continue; 625d95e11bfSDag-Erling Smørgrav } 626d95e11bfSDag-Erling Smørgrav 627d4af9e69SDag-Erling Smørgrav if (in_tests & MODULI_TESTS_MILLER_RABIN) 628d95e11bfSDag-Erling Smørgrav in_tries += trials; 629d95e11bfSDag-Erling Smørgrav else 630d95e11bfSDag-Erling Smørgrav in_tries = trials; 631efcad6b7SDag-Erling Smørgrav 632d95e11bfSDag-Erling Smørgrav /* 633d95e11bfSDag-Erling Smørgrav * guess unknown generator 634d95e11bfSDag-Erling Smørgrav */ 635d95e11bfSDag-Erling Smørgrav if (generator_known == 0) { 636d95e11bfSDag-Erling Smørgrav if (BN_mod_word(p, 24) == 11) 637d95e11bfSDag-Erling Smørgrav generator_known = 2; 638d95e11bfSDag-Erling Smørgrav else if (BN_mod_word(p, 12) == 5) 639d95e11bfSDag-Erling Smørgrav generator_known = 3; 640d95e11bfSDag-Erling Smørgrav else { 641d95e11bfSDag-Erling Smørgrav u_int32_t r = BN_mod_word(p, 10); 642d95e11bfSDag-Erling Smørgrav 643efcad6b7SDag-Erling Smørgrav if (r == 3 || r == 7) 644d95e11bfSDag-Erling Smørgrav generator_known = 5; 645d95e11bfSDag-Erling Smørgrav } 646d95e11bfSDag-Erling Smørgrav } 647d95e11bfSDag-Erling Smørgrav /* 648d95e11bfSDag-Erling Smørgrav * skip tests when desired generator doesn't match 649d95e11bfSDag-Erling Smørgrav */ 650d95e11bfSDag-Erling Smørgrav if (generator_wanted > 0 && 651d95e11bfSDag-Erling Smørgrav generator_wanted != generator_known) { 652d95e11bfSDag-Erling Smørgrav debug2("%10u: generator %d != %d", 653d95e11bfSDag-Erling Smørgrav count_in, generator_known, generator_wanted); 654d95e11bfSDag-Erling Smørgrav continue; 655d95e11bfSDag-Erling Smørgrav } 656d95e11bfSDag-Erling Smørgrav 657efcad6b7SDag-Erling Smørgrav /* 658efcad6b7SDag-Erling Smørgrav * Primes with no known generator are useless for DH, so 659efcad6b7SDag-Erling Smørgrav * skip those. 660efcad6b7SDag-Erling Smørgrav */ 661efcad6b7SDag-Erling Smørgrav if (generator_known == 0) { 662efcad6b7SDag-Erling Smørgrav debug2("%10u: no known generator", count_in); 663efcad6b7SDag-Erling Smørgrav continue; 664efcad6b7SDag-Erling Smørgrav } 665efcad6b7SDag-Erling Smørgrav 666d95e11bfSDag-Erling Smørgrav count_possible++; 667d95e11bfSDag-Erling Smørgrav 668d95e11bfSDag-Erling Smørgrav /* 669d95e11bfSDag-Erling Smørgrav * The (1/4)^N performance bound on Miller-Rabin is 670d95e11bfSDag-Erling Smørgrav * extremely pessimistic, so don't spend a lot of time 671d95e11bfSDag-Erling Smørgrav * really verifying that q is prime until after we know 672d95e11bfSDag-Erling Smørgrav * that p is also prime. A single pass will weed out the 673d95e11bfSDag-Erling Smørgrav * vast majority of composite q's. 674d95e11bfSDag-Erling Smørgrav */ 6754a421b63SDag-Erling Smørgrav if (BN_is_prime_ex(q, 1, ctx, NULL) <= 0) { 676efcad6b7SDag-Erling Smørgrav debug("%10u: q failed first possible prime test", 677d95e11bfSDag-Erling Smørgrav count_in); 678d95e11bfSDag-Erling Smørgrav continue; 679d95e11bfSDag-Erling Smørgrav } 680d95e11bfSDag-Erling Smørgrav 681d95e11bfSDag-Erling Smørgrav /* 682d95e11bfSDag-Erling Smørgrav * q is possibly prime, so go ahead and really make sure 683d95e11bfSDag-Erling Smørgrav * that p is prime. If it is, then we can go back and do 684d95e11bfSDag-Erling Smørgrav * the same for q. If p is composite, chances are that 685d95e11bfSDag-Erling Smørgrav * will show up on the first Rabin-Miller iteration so it 686d95e11bfSDag-Erling Smørgrav * doesn't hurt to specify a high iteration count. 687d95e11bfSDag-Erling Smørgrav */ 6884a421b63SDag-Erling Smørgrav if (!BN_is_prime_ex(p, trials, ctx, NULL)) { 689efcad6b7SDag-Erling Smørgrav debug("%10u: p is not prime", count_in); 690d95e11bfSDag-Erling Smørgrav continue; 691d95e11bfSDag-Erling Smørgrav } 692d95e11bfSDag-Erling Smørgrav debug("%10u: p is almost certainly prime", count_in); 693d95e11bfSDag-Erling Smørgrav 694d95e11bfSDag-Erling Smørgrav /* recheck q more rigorously */ 6954a421b63SDag-Erling Smørgrav if (!BN_is_prime_ex(q, trials - 1, ctx, NULL)) { 696d95e11bfSDag-Erling Smørgrav debug("%10u: q is not prime", count_in); 697d95e11bfSDag-Erling Smørgrav continue; 698d95e11bfSDag-Erling Smørgrav } 699d95e11bfSDag-Erling Smørgrav debug("%10u: q is almost certainly prime", count_in); 700d95e11bfSDag-Erling Smørgrav 701d4af9e69SDag-Erling Smørgrav if (qfileout(out, MODULI_TYPE_SAFE, 702d4af9e69SDag-Erling Smørgrav in_tests | MODULI_TESTS_MILLER_RABIN, 703d95e11bfSDag-Erling Smørgrav in_tries, in_size, generator_known, p)) { 704d95e11bfSDag-Erling Smørgrav res = -1; 705d95e11bfSDag-Erling Smørgrav break; 706d95e11bfSDag-Erling Smørgrav } 707d95e11bfSDag-Erling Smørgrav 708d95e11bfSDag-Erling Smørgrav count_out++; 709d95e11bfSDag-Erling Smørgrav } 710d95e11bfSDag-Erling Smørgrav 711d95e11bfSDag-Erling Smørgrav time(&time_stop); 712d95e11bfSDag-Erling Smørgrav xfree(lp); 713d95e11bfSDag-Erling Smørgrav BN_free(p); 714d95e11bfSDag-Erling Smørgrav BN_free(q); 715d95e11bfSDag-Erling Smørgrav BN_CTX_free(ctx); 716d95e11bfSDag-Erling Smørgrav 717*462c32cbSDag-Erling Smørgrav if (checkpoint_file != NULL) 718*462c32cbSDag-Erling Smørgrav unlink(checkpoint_file); 719*462c32cbSDag-Erling Smørgrav 720d95e11bfSDag-Erling Smørgrav logit("%.24s Found %u safe primes of %u candidates in %ld seconds", 721d95e11bfSDag-Erling Smørgrav ctime(&time_stop), count_out, count_possible, 722d95e11bfSDag-Erling Smørgrav (long) (time_stop - time_start)); 723d95e11bfSDag-Erling Smørgrav 724d95e11bfSDag-Erling Smørgrav return (res); 725d95e11bfSDag-Erling Smørgrav } 726