libtommath/etc/drprime.c

67 lines
1.6 KiB
C
Raw Normal View History

2003-03-22 15:10:20 +00:00
/* Makes safe primes of a DR nature */
#include <tommath.h>
2019-04-13 06:46:57 +00:00
static int sizes[] = { 1+256/MP_DIGIT_BIT, 1+512/MP_DIGIT_BIT, 1+768/MP_DIGIT_BIT, 1+1024/MP_DIGIT_BIT, 1+2048/MP_DIGIT_BIT, 1+4096/MP_DIGIT_BIT };
2017-10-17 18:51:19 +00:00
2003-03-22 15:10:20 +00:00
int main(void)
{
int res, x, y;
char buf[4096];
FILE *out;
mp_int a, b;
2017-10-17 18:51:19 +00:00
2003-03-22 15:10:20 +00:00
mp_init(&a);
mp_init(&b);
2017-10-17 18:51:19 +00:00
2003-03-22 15:10:20 +00:00
out = fopen("drprimes.txt", "w");
2017-12-10 09:12:09 +00:00
if (out != NULL) {
for (x = 0; x < (int)(sizeof(sizes)/sizeof(sizes[0])); x++) {
2017-10-18 08:44:06 +00:00
top:
2019-04-13 06:46:57 +00:00
printf("Seeking a %d-bit safe prime\n", sizes[x] * MP_DIGIT_BIT);
2017-12-10 09:12:09 +00:00
mp_grow(&a, sizes[x]);
mp_zero(&a);
for (y = 1; y < sizes[x]; y++) {
a.dp[y] = MP_MASK;
}
2017-10-17 18:51:19 +00:00
2017-12-10 09:12:09 +00:00
/* make a DR modulus */
a.dp[0] = -1;
a.used = sizes[x];
2017-10-17 18:51:19 +00:00
2017-12-10 09:12:09 +00:00
/* now loop */
res = 0;
for (;;) {
2018-02-13 18:04:25 +00:00
a.dp[0] += 4uL;
2017-12-10 09:12:09 +00:00
if (a.dp[0] >= MP_MASK) break;
mp_prime_is_prime(&a, 1, &res);
if (res == 0) continue;
printf(".");
fflush(stdout);
2018-02-13 18:04:25 +00:00
mp_sub_d(&a, 1uL, &b);
2017-12-10 09:12:09 +00:00
mp_div_2(&b, &b);
mp_prime_is_prime(&b, 3, &res);
if (res == 0) continue;
mp_prime_is_prime(&a, 3, &res);
if (res == 1) break;
}
2017-10-17 18:51:19 +00:00
2017-12-10 09:12:09 +00:00
if (res != 1) {
printf("Error not DR modulus\n");
sizes[x] += 1;
goto top;
} else {
mp_toradix(&a, buf, 10);
printf("\n\np == %s\n\n", buf);
fprintf(out, "%d-bit prime:\np == %s\n\n", mp_count_bits(&a), buf);
fflush(out);
}
2017-10-18 08:44:06 +00:00
}
2017-12-10 09:12:09 +00:00
fclose(out);
2003-03-22 15:10:20 +00:00
}
2017-10-17 18:51:19 +00:00
2003-03-22 15:10:20 +00:00
mp_clear(&a);
mp_clear(&b);
2017-10-17 18:51:19 +00:00
2003-03-22 15:10:20 +00:00
return 0;
}