xref: /freebsd/crypto/openssh/moduli.c (revision 462c32cb8d7a451c999a3f1e7d00f9c89e96700c)
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