blob: 4f6f8da8dad573e8ec076a8b69fcb11795ec06c8 [file] [log] [blame]
dtucker@openbsd.org714031a2019-10-04 03:26:58 +00001/* $OpenBSD: moduli.c,v 1.36 2019/10/04 03:26:58 dtucker Exp $ */
Darren Tuckerb2f9d412003-08-02 23:51:38 +10002/*
3 * Copyright 1994 Phil Karn <karn@qualcomm.com>
4 * Copyright 1996-1998, 2003 William Allen Simpson <wsimpson@greendragon.com>
5 * Copyright 2000 Niels Provos <provos@citi.umich.edu>
6 * All rights reserved.
7 *
8 * Redistribution and use in source and binary forms, with or without
9 * modification, are permitted provided that the following conditions
10 * are met:
11 * 1. Redistributions of source code must retain the above copyright
12 * notice, this list of conditions and the following disclaimer.
13 * 2. Redistributions in binary form must reproduce the above copyright
14 * notice, this list of conditions and the following disclaimer in the
15 * documentation and/or other materials provided with the distribution.
16 *
17 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 */
28
29/*
30 * Two-step process to generate safe primes for DHGEX
31 *
32 * Sieve candidates for "safe" primes,
33 * suitable for use as Diffie-Hellman moduli;
34 * that is, where q = (p-1)/2 is also prime.
35 *
36 * First step: generate candidate primes (memory intensive)
37 * Second step: test primes' safety (processor intensive)
38 */
39
40#include "includes.h"
Damien Miller5598b4f2006-07-24 14:09:40 +100041
Damien Miller72ef7c12015-01-15 02:21:31 +110042#ifdef WITH_OPENSSL
43
Damien Miller5598b4f2006-07-24 14:09:40 +100044#include <sys/types.h>
Darren Tuckerb2f9d412003-08-02 23:51:38 +100045
46#include <openssl/bn.h>
Damien Miller2e9cf492008-06-29 22:47:04 +100047#include <openssl/dh.h>
Darren Tuckerb2f9d412003-08-02 23:51:38 +100048
Damien Miller91f3eae2011-10-18 16:05:55 +110049#include <errno.h>
Damien Millera7a73ee2006-08-05 11:37:59 +100050#include <stdio.h>
Damien Millere7a1e5c2006-08-05 11:34:19 +100051#include <stdlib.h>
Damien Millere3476ed2006-07-24 14:13:33 +100052#include <string.h>
Damien Millerd7834352006-08-05 12:39:39 +100053#include <stdarg.h>
Damien Miller5598b4f2006-07-24 14:09:40 +100054#include <time.h>
Damien Miller390d0562011-10-18 16:05:19 +110055#include <unistd.h>
deraadt@openbsd.org087266e2015-01-20 23:14:00 +000056#include <limits.h>
Damien Miller5598b4f2006-07-24 14:09:40 +100057
58#include "xmalloc.h"
Damien Miller2e9cf492008-06-29 22:47:04 +100059#include "dh.h"
Damien Miller5598b4f2006-07-24 14:09:40 +100060#include "log.h"
Damien Miller4bedd402013-10-24 21:02:26 +110061#include "misc.h"
Damien Miller5598b4f2006-07-24 14:09:40 +100062
Darren Tuckerebdef762010-12-04 23:20:50 +110063#include "openbsd-compat/openssl-compat.h"
64
Darren Tuckerb2f9d412003-08-02 23:51:38 +100065/*
66 * File output defines
67 */
68
69/* need line long enough for largest moduli plus headers */
Darren Tuckerfc959702004-07-17 16:12:08 +100070#define QLINESIZE (100+8192)
Darren Tuckerb2f9d412003-08-02 23:51:38 +100071
Darren Tucker06930c72003-12-31 11:34:51 +110072/*
73 * Size: decimal.
Darren Tuckerb2f9d412003-08-02 23:51:38 +100074 * Specifies the number of the most significant bit (0 to M).
Darren Tucker06930c72003-12-31 11:34:51 +110075 * WARNING: internally, usually 1 to N.
Darren Tuckerb2f9d412003-08-02 23:51:38 +100076 */
Darren Tuckerfc959702004-07-17 16:12:08 +100077#define QSIZE_MINIMUM (511)
Darren Tuckerb2f9d412003-08-02 23:51:38 +100078
79/*
80 * Prime sieving defines
81 */
82
83/* Constant: assuming 8 bit bytes and 32 bit words */
Darren Tuckerfc959702004-07-17 16:12:08 +100084#define SHIFT_BIT (3)
85#define SHIFT_BYTE (2)
86#define SHIFT_WORD (SHIFT_BIT+SHIFT_BYTE)
87#define SHIFT_MEGABYTE (20)
88#define SHIFT_MEGAWORD (SHIFT_MEGABYTE-SHIFT_BYTE)
Darren Tuckerb2f9d412003-08-02 23:51:38 +100089
90/*
Darren Tucker770fc012004-05-13 16:24:32 +100091 * Using virtual memory can cause thrashing. This should be the largest
92 * number that is supported without a large amount of disk activity --
93 * that would increase the run time from hours to days or weeks!
94 */
Darren Tuckerfc959702004-07-17 16:12:08 +100095#define LARGE_MINIMUM (8UL) /* megabytes */
Darren Tucker770fc012004-05-13 16:24:32 +100096
97/*
98 * Do not increase this number beyond the unsigned integer bit size.
99 * Due to a multiple of 4, it must be LESS than 128 (yielding 2**30 bits).
100 */
Darren Tuckerfc959702004-07-17 16:12:08 +1000101#define LARGE_MAXIMUM (127UL) /* megabytes */
Darren Tucker770fc012004-05-13 16:24:32 +1000102
103/*
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000104 * Constant: when used with 32-bit integers, the largest sieve prime
105 * has to be less than 2**32.
106 */
Darren Tuckerfc959702004-07-17 16:12:08 +1000107#define SMALL_MAXIMUM (0xffffffffUL)
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000108
109/* Constant: can sieve all primes less than 2**32, as 65537**2 > 2**32-1. */
Darren Tuckerfc959702004-07-17 16:12:08 +1000110#define TINY_NUMBER (1UL<<16)
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000111
112/* Ensure enough bit space for testing 2*q. */
Damien Miller0dc1bef2005-07-17 17:22:45 +1000113#define TEST_MAXIMUM (1UL<<16)
114#define TEST_MINIMUM (QSIZE_MINIMUM + 1)
115/* real TEST_MINIMUM (1UL << (SHIFT_WORD - TEST_POWER)) */
116#define TEST_POWER (3) /* 2**n, n < SHIFT_WORD */
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000117
118/* bit operations on 32-bit words */
Damien Miller0dc1bef2005-07-17 17:22:45 +1000119#define BIT_CLEAR(a,n) ((a)[(n)>>SHIFT_WORD] &= ~(1L << ((n) & 31)))
120#define BIT_SET(a,n) ((a)[(n)>>SHIFT_WORD] |= (1L << ((n) & 31)))
121#define BIT_TEST(a,n) ((a)[(n)>>SHIFT_WORD] & (1L << ((n) & 31)))
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000122
123/*
124 * Prime testing defines
125 */
126
Darren Tucker770fc012004-05-13 16:24:32 +1000127/* Minimum number of primality tests to perform */
Damien Miller0dc1bef2005-07-17 17:22:45 +1000128#define TRIAL_MINIMUM (4)
Darren Tucker770fc012004-05-13 16:24:32 +1000129
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000130/*
131 * Sieving data (XXX - move to struct)
132 */
133
134/* sieve 2**16 */
135static u_int32_t *TinySieve, tinybits;
136
137/* sieve 2**30 in 2**16 parts */
138static u_int32_t *SmallSieve, smallbits, smallbase;
139
140/* sieve relative to the initial value */
141static u_int32_t *LargeSieve, largewords, largetries, largenumbers;
142static u_int32_t largebits, largememory; /* megabytes */
143static BIGNUM *largebase;
144
Damien Millerb089fb52005-05-26 12:16:18 +1000145int gen_candidates(FILE *, u_int32_t, u_int32_t, BIGNUM *);
Damien Millerdfceafe2012-07-06 13:44:19 +1000146int prime_test(FILE *, FILE *, u_int32_t, u_int32_t, char *, unsigned long,
147 unsigned long);
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000148
149/*
150 * print moduli out in consistent form,
151 */
152static int
153qfileout(FILE * ofile, u_int32_t otype, u_int32_t otests, u_int32_t otries,
154 u_int32_t osize, u_int32_t ogenerator, BIGNUM * omodulus)
155{
156 struct tm *gtm;
157 time_t time_now;
158 int res;
159
160 time(&time_now);
161 gtm = gmtime(&time_now);
dtucker@openbsd.org714031a2019-10-04 03:26:58 +0000162 if (gtm == NULL)
163 return -1;
Damien Miller787b2ec2003-11-21 23:56:47 +1100164
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000165 res = fprintf(ofile, "%04d%02d%02d%02d%02d%02d %u %u %u %u %x ",
166 gtm->tm_year + 1900, gtm->tm_mon + 1, gtm->tm_mday,
167 gtm->tm_hour, gtm->tm_min, gtm->tm_sec,
168 otype, otests, otries, osize, ogenerator);
169
170 if (res < 0)
171 return (-1);
172
173 if (BN_print_fp(ofile, omodulus) < 1)
174 return (-1);
175
176 res = fprintf(ofile, "\n");
177 fflush(ofile);
178
179 return (res > 0 ? 0 : -1);
180}
181
182
183/*
184 ** Sieve p's and q's with small factors
185 */
186static void
187sieve_large(u_int32_t s)
188{
189 u_int32_t r, u;
190
Darren Tucker06930c72003-12-31 11:34:51 +1100191 debug3("sieve_large %u", s);
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000192 largetries++;
193 /* r = largebase mod s */
194 r = BN_mod_word(largebase, s);
195 if (r == 0)
196 u = 0; /* s divides into largebase exactly */
197 else
198 u = s - r; /* largebase+u is first entry divisible by s */
199
200 if (u < largebits * 2) {
201 /*
202 * The sieve omits p's and q's divisible by 2, so ensure that
203 * largebase+u is odd. Then, step through the sieve in
204 * increments of 2*s
205 */
206 if (u & 0x1)
207 u += s; /* Make largebase+u odd, and u even */
208
209 /* Mark all multiples of 2*s */
210 for (u /= 2; u < largebits; u += s)
211 BIT_SET(LargeSieve, u);
212 }
213
214 /* r = p mod s */
215 r = (2 * r + 1) % s;
216 if (r == 0)
217 u = 0; /* s divides p exactly */
218 else
219 u = s - r; /* p+u is first entry divisible by s */
220
221 if (u < largebits * 4) {
222 /*
223 * The sieve omits p's divisible by 4, so ensure that
224 * largebase+u is not. Then, step through the sieve in
225 * increments of 4*s
226 */
227 while (u & 0x3) {
228 if (SMALL_MAXIMUM - u < s)
229 return;
230 u += s;
231 }
232
233 /* Mark all multiples of 4*s */
234 for (u /= 4; u < largebits; u += s)
235 BIT_SET(LargeSieve, u);
236 }
237}
238
239/*
Darren Tucker47abce42004-05-02 22:09:00 +1000240 * list candidates for Sophie-Germain primes (where q = (p-1)/2)
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000241 * to standard output.
242 * The list is checked against small known primes (less than 2**30).
243 */
244int
Damien Millerb089fb52005-05-26 12:16:18 +1000245gen_candidates(FILE *out, u_int32_t memory, u_int32_t power, BIGNUM *start)
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000246{
247 BIGNUM *q;
248 u_int32_t j, r, s, t;
249 u_int32_t smallwords = TINY_NUMBER >> 6;
250 u_int32_t tinywords = TINY_NUMBER >> 6;
251 time_t time_start, time_stop;
Damien Millerb089fb52005-05-26 12:16:18 +1000252 u_int32_t i;
253 int ret = 0;
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000254
255 largememory = memory;
256
Darren Tucker770fc012004-05-13 16:24:32 +1000257 if (memory != 0 &&
Damien Miller0dc1bef2005-07-17 17:22:45 +1000258 (memory < LARGE_MINIMUM || memory > LARGE_MAXIMUM)) {
Darren Tucker770fc012004-05-13 16:24:32 +1000259 error("Invalid memory amount (min %ld, max %ld)",
260 LARGE_MINIMUM, LARGE_MAXIMUM);
261 return (-1);
262 }
263
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000264 /*
Damien Millera8e06ce2003-11-21 23:48:55 +1100265 * Set power to the length in bits of the prime to be generated.
266 * This is changed to 1 less than the desired safe prime moduli p.
267 */
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000268 if (power > TEST_MAXIMUM) {
269 error("Too many bits: %u > %lu", power, TEST_MAXIMUM);
270 return (-1);
271 } else if (power < TEST_MINIMUM) {
272 error("Too few bits: %u < %u", power, TEST_MINIMUM);
273 return (-1);
274 }
275 power--; /* decrement before squaring */
276
277 /*
Damien Millera8e06ce2003-11-21 23:48:55 +1100278 * The density of ordinary primes is on the order of 1/bits, so the
279 * density of safe primes should be about (1/bits)**2. Set test range
280 * to something well above bits**2 to be reasonably sure (but not
281 * guaranteed) of catching at least one safe prime.
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000282 */
283 largewords = ((power * power) >> (SHIFT_WORD - TEST_POWER));
284
285 /*
Damien Millera8e06ce2003-11-21 23:48:55 +1100286 * Need idea of how much memory is available. We don't have to use all
287 * of it.
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000288 */
289 if (largememory > LARGE_MAXIMUM) {
290 logit("Limited memory: %u MB; limit %lu MB",
291 largememory, LARGE_MAXIMUM);
292 largememory = LARGE_MAXIMUM;
293 }
294
295 if (largewords <= (largememory << SHIFT_MEGAWORD)) {
296 logit("Increased memory: %u MB; need %u bytes",
297 largememory, (largewords << SHIFT_BYTE));
298 largewords = (largememory << SHIFT_MEGAWORD);
299 } else if (largememory > 0) {
300 logit("Decreased memory: %u MB; want %u bytes",
301 largememory, (largewords << SHIFT_BYTE));
302 largewords = (largememory << SHIFT_MEGAWORD);
303 }
304
Damien Miller07d86be2006-03-26 14:19:21 +1100305 TinySieve = xcalloc(tinywords, sizeof(u_int32_t));
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000306 tinybits = tinywords << SHIFT_WORD;
307
Damien Miller07d86be2006-03-26 14:19:21 +1100308 SmallSieve = xcalloc(smallwords, sizeof(u_int32_t));
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000309 smallbits = smallwords << SHIFT_WORD;
310
311 /*
312 * dynamically determine available memory
313 */
314 while ((LargeSieve = calloc(largewords, sizeof(u_int32_t))) == NULL)
315 largewords -= (1L << (SHIFT_MEGAWORD - 2)); /* 1/4 MB chunks */
316
317 largebits = largewords << SHIFT_WORD;
318 largenumbers = largebits * 2; /* even numbers excluded */
319
320 /* validation check: count the number of primes tried */
321 largetries = 0;
Darren Tucker0bc85572006-11-07 23:14:41 +1100322 if ((q = BN_new()) == NULL)
323 fatal("BN_new failed");
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000324
325 /*
Damien Millera8e06ce2003-11-21 23:48:55 +1100326 * Generate random starting point for subprime search, or use
327 * specified parameter.
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000328 */
Darren Tucker0bc85572006-11-07 23:14:41 +1100329 if ((largebase = BN_new()) == NULL)
330 fatal("BN_new failed");
331 if (start == NULL) {
332 if (BN_rand(largebase, power, 1, 1) == 0)
333 fatal("BN_rand failed");
334 } else {
335 if (BN_copy(largebase, start) == NULL)
336 fatal("BN_copy: failed");
337 }
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000338
339 /* ensure odd */
Darren Tucker0bc85572006-11-07 23:14:41 +1100340 if (BN_set_bit(largebase, 0) == 0)
341 fatal("BN_set_bit: failed");
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000342
343 time(&time_start);
344
Damien Millera8e06ce2003-11-21 23:48:55 +1100345 logit("%.24s Sieve next %u plus %u-bit", ctime(&time_start),
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000346 largenumbers, power);
347 debug2("start point: 0x%s", BN_bn2hex(largebase));
348
349 /*
Damien Millera8e06ce2003-11-21 23:48:55 +1100350 * TinySieve
351 */
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000352 for (i = 0; i < tinybits; i++) {
353 if (BIT_TEST(TinySieve, i))
354 continue; /* 2*i+3 is composite */
355
356 /* The next tiny prime */
357 t = 2 * i + 3;
358
359 /* Mark all multiples of t */
360 for (j = i + t; j < tinybits; j += t)
361 BIT_SET(TinySieve, j);
362
363 sieve_large(t);
364 }
365
366 /*
Damien Millera8e06ce2003-11-21 23:48:55 +1100367 * Start the small block search at the next possible prime. To avoid
368 * fencepost errors, the last pass is skipped.
369 */
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000370 for (smallbase = TINY_NUMBER + 3;
Damien Miller0dc1bef2005-07-17 17:22:45 +1000371 smallbase < (SMALL_MAXIMUM - TINY_NUMBER);
372 smallbase += TINY_NUMBER) {
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000373 for (i = 0; i < tinybits; i++) {
374 if (BIT_TEST(TinySieve, i))
375 continue; /* 2*i+3 is composite */
376
377 /* The next tiny prime */
378 t = 2 * i + 3;
379 r = smallbase % t;
380
381 if (r == 0) {
382 s = 0; /* t divides into smallbase exactly */
383 } else {
384 /* smallbase+s is first entry divisible by t */
385 s = t - r;
386 }
387
388 /*
389 * The sieve omits even numbers, so ensure that
390 * smallbase+s is odd. Then, step through the sieve
391 * in increments of 2*t
392 */
393 if (s & 1)
394 s += t; /* Make smallbase+s odd, and s even */
395
396 /* Mark all multiples of 2*t */
397 for (s /= 2; s < smallbits; s += t)
398 BIT_SET(SmallSieve, s);
399 }
400
401 /*
Damien Millera8e06ce2003-11-21 23:48:55 +1100402 * SmallSieve
403 */
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000404 for (i = 0; i < smallbits; i++) {
405 if (BIT_TEST(SmallSieve, i))
406 continue; /* 2*i+smallbase is composite */
407
408 /* The next small prime */
409 sieve_large((2 * i) + smallbase);
410 }
411
412 memset(SmallSieve, 0, smallwords << SHIFT_BYTE);
413 }
414
415 time(&time_stop);
416
deraadt@openbsd.orgaabd75e2017-12-08 03:45:52 +0000417 logit("%.24s Sieved with %u small primes in %lld seconds",
418 ctime(&time_stop), largetries, (long long)(time_stop - time_start));
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000419
420 for (j = r = 0; j < largebits; j++) {
421 if (BIT_TEST(LargeSieve, j))
422 continue; /* Definitely composite, skip */
423
424 debug2("test q = largebase+%u", 2 * j);
Darren Tucker0bc85572006-11-07 23:14:41 +1100425 if (BN_set_word(q, 2 * j) == 0)
426 fatal("BN_set_word failed");
427 if (BN_add(q, q, largebase) == 0)
428 fatal("BN_add failed");
Damien Miller2e9cf492008-06-29 22:47:04 +1000429 if (qfileout(out, MODULI_TYPE_SOPHIE_GERMAIN,
430 MODULI_TESTS_SIEVE, largetries,
431 (power - 1) /* MSB */, (0), q) == -1) {
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000432 ret = -1;
433 break;
434 }
435
436 r++; /* count q */
437 }
438
439 time(&time_stop);
440
Darren Tuckera627d422013-06-02 07:31:17 +1000441 free(LargeSieve);
442 free(SmallSieve);
443 free(TinySieve);
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000444
445 logit("%.24s Found %u candidates", ctime(&time_stop), r);
446
447 return (ret);
448}
449
Damien Miller390d0562011-10-18 16:05:19 +1100450static void
451write_checkpoint(char *cpfile, u_int32_t lineno)
452{
453 FILE *fp;
deraadt@openbsd.org087266e2015-01-20 23:14:00 +0000454 char tmp[PATH_MAX];
Damien Miller390d0562011-10-18 16:05:19 +1100455 int r;
456
Darren Tucker9ee09cf2011-11-04 10:52:43 +1100457 r = snprintf(tmp, sizeof(tmp), "%s.XXXXXXXXXX", cpfile);
deraadt@openbsd.org8142fca2019-07-03 03:24:02 +0000458 if (r < 0 || r >= PATH_MAX) {
Damien Miller390d0562011-10-18 16:05:19 +1100459 logit("write_checkpoint: temp pathname too long");
460 return;
461 }
Darren Tucker9ee09cf2011-11-04 10:52:43 +1100462 if ((r = mkstemp(tmp)) == -1) {
463 logit("mkstemp(%s): %s", tmp, strerror(errno));
Damien Miller390d0562011-10-18 16:05:19 +1100464 return;
465 }
466 if ((fp = fdopen(r, "w")) == NULL) {
467 logit("write_checkpoint: fdopen: %s", strerror(errno));
doug@openbsd.org7df88182014-08-21 01:08:52 +0000468 unlink(tmp);
Damien Miller390d0562011-10-18 16:05:19 +1100469 close(r);
470 return;
471 }
472 if (fprintf(fp, "%lu\n", (unsigned long)lineno) > 0 && fclose(fp) == 0
Darren Tucker9ee09cf2011-11-04 10:52:43 +1100473 && rename(tmp, cpfile) == 0)
Damien Miller390d0562011-10-18 16:05:19 +1100474 debug3("wrote checkpoint line %lu to '%s'",
475 (unsigned long)lineno, cpfile);
476 else
477 logit("failed to write to checkpoint file '%s': %s", cpfile,
478 strerror(errno));
479}
480
481static unsigned long
482read_checkpoint(char *cpfile)
483{
484 FILE *fp;
485 unsigned long lineno = 0;
486
487 if ((fp = fopen(cpfile, "r")) == NULL)
488 return 0;
489 if (fscanf(fp, "%lu\n", &lineno) < 1)
490 logit("Failed to load checkpoint from '%s'", cpfile);
491 else
492 logit("Loaded checkpoint from '%s' line %lu", cpfile, lineno);
493 fclose(fp);
494 return lineno;
495}
496
Damien Miller4bedd402013-10-24 21:02:26 +1100497static unsigned long
498count_lines(FILE *f)
499{
500 unsigned long count = 0;
501 char lp[QLINESIZE + 1];
502
503 if (fseek(f, 0, SEEK_SET) != 0) {
504 debug("input file is not seekable");
505 return ULONG_MAX;
506 }
507 while (fgets(lp, QLINESIZE + 1, f) != NULL)
508 count++;
509 rewind(f);
510 debug("input file has %lu lines", count);
511 return count;
512}
513
514static char *
515fmt_time(time_t seconds)
516{
517 int day, hr, min;
518 static char buf[128];
519
520 min = (seconds / 60) % 60;
521 hr = (seconds / 60 / 60) % 24;
522 day = seconds / 60 / 60 / 24;
523 if (day > 0)
524 snprintf(buf, sizeof buf, "%dd %d:%02d", day, hr, min);
525 else
526 snprintf(buf, sizeof buf, "%d:%02d", hr, min);
527 return buf;
528}
529
530static void
531print_progress(unsigned long start_lineno, unsigned long current_lineno,
532 unsigned long end_lineno)
533{
534 static time_t time_start, time_prev;
535 time_t time_now, elapsed;
536 unsigned long num_to_process, processed, remaining, percent, eta;
537 double time_per_line;
538 char *eta_str;
539
540 time_now = monotime();
541 if (time_start == 0) {
542 time_start = time_prev = time_now;
543 return;
544 }
545 /* print progress after 1m then once per 5m */
546 if (time_now - time_prev < 5 * 60)
547 return;
548 time_prev = time_now;
549 elapsed = time_now - time_start;
550 processed = current_lineno - start_lineno;
551 remaining = end_lineno - current_lineno;
552 num_to_process = end_lineno - start_lineno;
553 time_per_line = (double)elapsed / processed;
554 /* if we don't know how many we're processing just report count+time */
555 time(&time_now);
556 if (end_lineno == ULONG_MAX) {
557 logit("%.24s processed %lu in %s", ctime(&time_now),
558 processed, fmt_time(elapsed));
559 return;
560 }
561 percent = 100 * processed / num_to_process;
562 eta = time_per_line * remaining;
563 eta_str = xstrdup(fmt_time(eta));
564 logit("%.24s processed %lu of %lu (%lu%%) in %s, ETA %s",
565 ctime(&time_now), processed, num_to_process, percent,
566 fmt_time(elapsed), eta_str);
567 free(eta_str);
568}
569
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000570/*
571 * perform a Miller-Rabin primality test
572 * on the list of candidates
573 * (checking both q and p)
574 * The result is a list of so-call "safe" primes
575 */
576int
Damien Miller390d0562011-10-18 16:05:19 +1100577prime_test(FILE *in, FILE *out, u_int32_t trials, u_int32_t generator_wanted,
Damien Millerdfceafe2012-07-06 13:44:19 +1000578 char *checkpoint_file, unsigned long start_lineno, unsigned long num_lines)
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000579{
580 BIGNUM *q, *p, *a;
581 BN_CTX *ctx;
582 char *cp, *lp;
583 u_int32_t count_in = 0, count_out = 0, count_possible = 0;
584 u_int32_t generator_known, in_tests, in_tries, in_type, in_size;
Damien Millerdfceafe2012-07-06 13:44:19 +1000585 unsigned long last_processed = 0, end_lineno;
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000586 time_t time_start, time_stop;
tb@openbsd.orga36b0b12019-01-20 02:01:59 +0000587 int res, is_prime;
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000588
Darren Tucker770fc012004-05-13 16:24:32 +1000589 if (trials < TRIAL_MINIMUM) {
590 error("Minimum primality trials is %d", TRIAL_MINIMUM);
591 return (-1);
592 }
593
Damien Miller4bedd402013-10-24 21:02:26 +1100594 if (num_lines == 0)
595 end_lineno = count_lines(in);
596 else
597 end_lineno = start_lineno + num_lines;
598
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000599 time(&time_start);
600
Darren Tucker0bc85572006-11-07 23:14:41 +1100601 if ((p = BN_new()) == NULL)
602 fatal("BN_new failed");
603 if ((q = BN_new()) == NULL)
604 fatal("BN_new failed");
605 if ((ctx = BN_CTX_new()) == NULL)
606 fatal("BN_CTX_new failed");
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000607
608 debug2("%.24s Final %u Miller-Rabin trials (%x generator)",
609 ctime(&time_start), trials, generator_wanted);
610
Damien Miller390d0562011-10-18 16:05:19 +1100611 if (checkpoint_file != NULL)
612 last_processed = read_checkpoint(checkpoint_file);
deraadt@openbsd.org9136ec12016-09-12 01:22:38 +0000613 last_processed = start_lineno = MAXIMUM(last_processed, start_lineno);
Damien Miller4bedd402013-10-24 21:02:26 +1100614 if (end_lineno == ULONG_MAX)
615 debug("process from line %lu from pipe", last_processed);
Damien Millerdfceafe2012-07-06 13:44:19 +1000616 else
Damien Miller4bedd402013-10-24 21:02:26 +1100617 debug("process from line %lu to line %lu", last_processed,
618 end_lineno);
Damien Miller390d0562011-10-18 16:05:19 +1100619
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000620 res = 0;
621 lp = xmalloc(QLINESIZE + 1);
Damien Millerdfceafe2012-07-06 13:44:19 +1000622 while (fgets(lp, QLINESIZE + 1, in) != NULL && count_in < end_lineno) {
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000623 count_in++;
Damien Miller4bedd402013-10-24 21:02:26 +1100624 if (count_in <= last_processed) {
625 debug3("skipping line %u, before checkpoint or "
626 "specified start line", count_in);
627 continue;
Damien Miller390d0562011-10-18 16:05:19 +1100628 }
Damien Miller4bedd402013-10-24 21:02:26 +1100629 if (checkpoint_file != NULL)
630 write_checkpoint(checkpoint_file, count_in);
631 print_progress(start_lineno, count_in, end_lineno);
Darren Tucker90aaed42007-02-25 20:38:55 +1100632 if (strlen(lp) < 14 || *lp == '!' || *lp == '#') {
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000633 debug2("%10u: comment or short line", count_in);
634 continue;
635 }
636
637 /* XXX - fragile parser */
638 /* time */
639 cp = &lp[14]; /* (skip) */
640
641 /* type */
642 in_type = strtoul(cp, &cp, 10);
643
644 /* tests */
645 in_tests = strtoul(cp, &cp, 10);
646
Damien Miller2e9cf492008-06-29 22:47:04 +1000647 if (in_tests & MODULI_TESTS_COMPOSITE) {
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000648 debug2("%10u: known composite", count_in);
649 continue;
650 }
Darren Tucker06930c72003-12-31 11:34:51 +1100651
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000652 /* tries */
653 in_tries = strtoul(cp, &cp, 10);
654
655 /* size (most significant bit) */
656 in_size = strtoul(cp, &cp, 10);
657
658 /* generator (hex) */
659 generator_known = strtoul(cp, &cp, 16);
660
661 /* Skip white space */
662 cp += strspn(cp, " ");
663
664 /* modulus (hex) */
665 switch (in_type) {
Damien Miller2e9cf492008-06-29 22:47:04 +1000666 case MODULI_TYPE_SOPHIE_GERMAIN:
Darren Tucker47abce42004-05-02 22:09:00 +1000667 debug2("%10u: (%u) Sophie-Germain", count_in, in_type);
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000668 a = q;
Darren Tucker0bc85572006-11-07 23:14:41 +1100669 if (BN_hex2bn(&a, cp) == 0)
670 fatal("BN_hex2bn failed");
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000671 /* p = 2*q + 1 */
Darren Tucker0bc85572006-11-07 23:14:41 +1100672 if (BN_lshift(p, q, 1) == 0)
673 fatal("BN_lshift failed");
674 if (BN_add_word(p, 1) == 0)
675 fatal("BN_add_word failed");
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000676 in_size += 1;
677 generator_known = 0;
678 break;
Damien Miller2e9cf492008-06-29 22:47:04 +1000679 case MODULI_TYPE_UNSTRUCTURED:
680 case MODULI_TYPE_SAFE:
681 case MODULI_TYPE_SCHNORR:
682 case MODULI_TYPE_STRONG:
683 case MODULI_TYPE_UNKNOWN:
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000684 debug2("%10u: (%u)", count_in, in_type);
685 a = p;
Darren Tucker0bc85572006-11-07 23:14:41 +1100686 if (BN_hex2bn(&a, cp) == 0)
687 fatal("BN_hex2bn failed");
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000688 /* q = (p-1) / 2 */
Darren Tucker0bc85572006-11-07 23:14:41 +1100689 if (BN_rshift(q, p, 1) == 0)
690 fatal("BN_rshift failed");
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000691 break;
Darren Tucker06930c72003-12-31 11:34:51 +1100692 default:
693 debug2("Unknown prime type");
694 break;
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000695 }
696
697 /*
698 * due to earlier inconsistencies in interpretation, check
699 * the proposed bit size.
700 */
Damien Millerb089fb52005-05-26 12:16:18 +1000701 if ((u_int32_t)BN_num_bits(p) != (in_size + 1)) {
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000702 debug2("%10u: bit size %u mismatch", count_in, in_size);
703 continue;
704 }
705 if (in_size < QSIZE_MINIMUM) {
706 debug2("%10u: bit size %u too short", count_in, in_size);
707 continue;
708 }
709
Damien Miller2e9cf492008-06-29 22:47:04 +1000710 if (in_tests & MODULI_TESTS_MILLER_RABIN)
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000711 in_tries += trials;
712 else
713 in_tries = trials;
Darren Tucker06930c72003-12-31 11:34:51 +1100714
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000715 /*
716 * guess unknown generator
717 */
718 if (generator_known == 0) {
719 if (BN_mod_word(p, 24) == 11)
720 generator_known = 2;
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000721 else {
722 u_int32_t r = BN_mod_word(p, 10);
723
Darren Tucker06930c72003-12-31 11:34:51 +1100724 if (r == 3 || r == 7)
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000725 generator_known = 5;
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000726 }
727 }
728 /*
729 * skip tests when desired generator doesn't match
730 */
731 if (generator_wanted > 0 &&
732 generator_wanted != generator_known) {
733 debug2("%10u: generator %d != %d",
734 count_in, generator_known, generator_wanted);
735 continue;
736 }
737
Darren Tucker5cd9d442003-12-10 00:54:38 +1100738 /*
739 * Primes with no known generator are useless for DH, so
740 * skip those.
741 */
742 if (generator_known == 0) {
743 debug2("%10u: no known generator", count_in);
744 continue;
745 }
746
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000747 count_possible++;
748
749 /*
Damien Millera8e06ce2003-11-21 23:48:55 +1100750 * The (1/4)^N performance bound on Miller-Rabin is
751 * extremely pessimistic, so don't spend a lot of time
752 * really verifying that q is prime until after we know
753 * that p is also prime. A single pass will weed out the
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000754 * vast majority of composite q's.
755 */
tb@openbsd.orga36b0b12019-01-20 02:01:59 +0000756 is_prime = BN_is_prime_ex(q, 1, ctx, NULL);
757 if (is_prime < 0)
758 fatal("BN_is_prime_ex failed");
759 if (is_prime == 0) {
Darren Tucker06930c72003-12-31 11:34:51 +1100760 debug("%10u: q failed first possible prime test",
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000761 count_in);
762 continue;
763 }
Damien Miller787b2ec2003-11-21 23:56:47 +1100764
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000765 /*
Damien Millera8e06ce2003-11-21 23:48:55 +1100766 * q is possibly prime, so go ahead and really make sure
767 * that p is prime. If it is, then we can go back and do
768 * the same for q. If p is composite, chances are that
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000769 * will show up on the first Rabin-Miller iteration so it
770 * doesn't hurt to specify a high iteration count.
771 */
tb@openbsd.orga36b0b12019-01-20 02:01:59 +0000772 is_prime = BN_is_prime_ex(p, trials, ctx, NULL);
773 if (is_prime < 0)
774 fatal("BN_is_prime_ex failed");
775 if (is_prime == 0) {
Darren Tucker06930c72003-12-31 11:34:51 +1100776 debug("%10u: p is not prime", count_in);
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000777 continue;
778 }
779 debug("%10u: p is almost certainly prime", count_in);
780
781 /* recheck q more rigorously */
tb@openbsd.orga36b0b12019-01-20 02:01:59 +0000782 is_prime = BN_is_prime_ex(q, trials - 1, ctx, NULL);
783 if (is_prime < 0)
784 fatal("BN_is_prime_ex failed");
785 if (is_prime == 0) {
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000786 debug("%10u: q is not prime", count_in);
787 continue;
788 }
789 debug("%10u: q is almost certainly prime", count_in);
790
Damien Miller2e9cf492008-06-29 22:47:04 +1000791 if (qfileout(out, MODULI_TYPE_SAFE,
792 in_tests | MODULI_TESTS_MILLER_RABIN,
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000793 in_tries, in_size, generator_known, p)) {
794 res = -1;
795 break;
796 }
797
798 count_out++;
799 }
800
801 time(&time_stop);
Darren Tuckera627d422013-06-02 07:31:17 +1000802 free(lp);
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000803 BN_free(p);
804 BN_free(q);
805 BN_CTX_free(ctx);
806
Damien Miller390d0562011-10-18 16:05:19 +1100807 if (checkpoint_file != NULL)
808 unlink(checkpoint_file);
809
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000810 logit("%.24s Found %u safe primes of %u candidates in %ld seconds",
Damien Millera8e06ce2003-11-21 23:48:55 +1100811 ctime(&time_stop), count_out, count_possible,
Darren Tuckerb2f9d412003-08-02 23:51:38 +1000812 (long) (time_stop - time_start));
813
814 return (res);
815}
Damien Miller72ef7c12015-01-15 02:21:31 +1100816
817#endif /* WITH_OPENSSL */