2003-02-28 11:06:22 -05:00
|
|
|
/* Generates provable primes
|
|
|
|
*
|
2006-04-06 15:49:59 -04:00
|
|
|
* See http://gmail.com:8080/papers/pp.pdf for more info.
|
2003-02-28 11:06:22 -05:00
|
|
|
*
|
2006-04-06 15:49:59 -04:00
|
|
|
* Tom St Denis, tomstdenis@gmail.com, http://tom.gmail.com
|
2003-02-28 11:06:22 -05:00
|
|
|
*/
|
|
|
|
#include <time.h>
|
2003-02-28 11:09:08 -05:00
|
|
|
#include "tommath.h"
|
2003-02-28 11:06:22 -05:00
|
|
|
|
2003-07-15 20:26:58 -04:00
|
|
|
int n_prime;
|
|
|
|
FILE *primes;
|
|
|
|
|
2003-02-28 11:06:22 -05:00
|
|
|
/* fast square root */
|
2017-10-18 04:44:06 -04:00
|
|
|
static mp_digit i_sqrt(mp_word x)
|
2003-02-28 11:06:22 -05:00
|
|
|
{
|
2017-10-18 04:44:06 -04:00
|
|
|
mp_word x1, x2;
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
x2 = x;
|
|
|
|
do {
|
|
|
|
x1 = x2;
|
|
|
|
x2 = x1 - ((x1 * x1) - x) / (2 * x1);
|
|
|
|
} while (x1 != x2);
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
if (x1 * x1 > x) {
|
|
|
|
--x1;
|
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
return x1;
|
2003-02-28 11:08:34 -05:00
|
|
|
}
|
|
|
|
|
2003-02-28 11:06:22 -05:00
|
|
|
|
|
|
|
/* generates a prime digit */
|
2017-10-18 04:44:06 -04:00
|
|
|
static void gen_prime(void)
|
2003-02-28 11:06:22 -05:00
|
|
|
{
|
2017-10-18 04:44:06 -04:00
|
|
|
mp_digit r, x, y, next;
|
|
|
|
FILE *out;
|
|
|
|
|
|
|
|
out = fopen("pprime.dat", "wb");
|
|
|
|
|
|
|
|
/* write first set of primes */
|
|
|
|
/* *INDENT-OFF* */
|
|
|
|
r = 3; fwrite(&r, 1, sizeof(mp_digit), out);
|
|
|
|
r = 5; fwrite(&r, 1, sizeof(mp_digit), out);
|
|
|
|
r = 7; fwrite(&r, 1, sizeof(mp_digit), out);
|
|
|
|
r = 11; fwrite(&r, 1, sizeof(mp_digit), out);
|
|
|
|
r = 13; fwrite(&r, 1, sizeof(mp_digit), out);
|
|
|
|
r = 17; fwrite(&r, 1, sizeof(mp_digit), out);
|
|
|
|
r = 19; fwrite(&r, 1, sizeof(mp_digit), out);
|
|
|
|
r = 23; fwrite(&r, 1, sizeof(mp_digit), out);
|
|
|
|
r = 29; fwrite(&r, 1, sizeof(mp_digit), out);
|
|
|
|
r = 31; fwrite(&r, 1, sizeof(mp_digit), out);
|
|
|
|
/* *INDENT-ON* */
|
|
|
|
|
|
|
|
/* get square root, since if 'r' is composite its factors must be < than this */
|
|
|
|
y = i_sqrt(r);
|
|
|
|
next = (y + 1) * (y + 1);
|
|
|
|
|
|
|
|
for (;;) {
|
|
|
|
do {
|
|
|
|
r += 2; /* next candidate */
|
|
|
|
r &= MP_MASK;
|
|
|
|
if (r < 31) break;
|
|
|
|
|
|
|
|
/* update sqrt ? */
|
|
|
|
if (next <= r) {
|
|
|
|
++y;
|
|
|
|
next = (y + 1) * (y + 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
/* loop if divisible by 3,5,7,11,13,17,19,23,29 */
|
|
|
|
if ((r % 3) == 0) {
|
|
|
|
x = 0;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if ((r % 5) == 0) {
|
|
|
|
x = 0;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if ((r % 7) == 0) {
|
|
|
|
x = 0;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if ((r % 11) == 0) {
|
|
|
|
x = 0;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if ((r % 13) == 0) {
|
|
|
|
x = 0;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if ((r % 17) == 0) {
|
|
|
|
x = 0;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if ((r % 19) == 0) {
|
|
|
|
x = 0;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if ((r % 23) == 0) {
|
|
|
|
x = 0;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
if ((r % 29) == 0) {
|
|
|
|
x = 0;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* now check if r is divisible by x + k={1,7,11,13,17,19,23,29} */
|
|
|
|
for (x = 30; x <= y; x += 30) {
|
|
|
|
if ((r % (x + 1)) == 0) {
|
|
|
|
x = 0;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if ((r % (x + 7)) == 0) {
|
|
|
|
x = 0;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if ((r % (x + 11)) == 0) {
|
|
|
|
x = 0;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if ((r % (x + 13)) == 0) {
|
|
|
|
x = 0;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if ((r % (x + 17)) == 0) {
|
|
|
|
x = 0;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if ((r % (x + 19)) == 0) {
|
|
|
|
x = 0;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if ((r % (x + 23)) == 0) {
|
|
|
|
x = 0;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if ((r % (x + 29)) == 0) {
|
|
|
|
x = 0;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
} while (x == 0);
|
|
|
|
if (r > 31) {
|
|
|
|
fwrite(&r, 1, sizeof(mp_digit), out);
|
|
|
|
printf("%9d\r", r);
|
|
|
|
fflush(stdout);
|
2003-02-28 11:08:34 -05:00
|
|
|
}
|
2017-10-18 04:44:06 -04:00
|
|
|
if (r < 31) break;
|
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
fclose(out);
|
2003-02-28 11:06:22 -05:00
|
|
|
}
|
|
|
|
|
2003-07-15 20:26:58 -04:00
|
|
|
void load_tab(void)
|
|
|
|
{
|
|
|
|
primes = fopen("pprime.dat", "rb");
|
|
|
|
if (primes == NULL) {
|
|
|
|
gen_prime();
|
|
|
|
primes = fopen("pprime.dat", "rb");
|
|
|
|
}
|
|
|
|
fseek(primes, 0, SEEK_END);
|
|
|
|
n_prime = ftell(primes) / sizeof(mp_digit);
|
|
|
|
}
|
|
|
|
|
|
|
|
mp_digit prime_digit(void)
|
|
|
|
{
|
|
|
|
int n;
|
|
|
|
mp_digit d;
|
|
|
|
|
|
|
|
n = abs(rand()) % n_prime;
|
|
|
|
fseek(primes, n * sizeof(mp_digit), SEEK_SET);
|
|
|
|
fread(&d, 1, sizeof(mp_digit), primes);
|
|
|
|
return d;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-02-28 11:06:22 -05:00
|
|
|
/* makes a prime of at least k bits */
|
2017-10-18 04:44:06 -04:00
|
|
|
int pprime(int k, int li, mp_int *p, mp_int *q)
|
2003-02-28 11:06:22 -05:00
|
|
|
{
|
2017-10-18 04:44:06 -04:00
|
|
|
mp_int a, b, c, n, x, y, z, v;
|
|
|
|
int res, ii;
|
|
|
|
static const mp_digit bases[] = { 2, 3, 5, 7, 11, 13, 17, 19 };
|
|
|
|
|
|
|
|
/* single digit ? */
|
|
|
|
if (k <= (int) DIGIT_BIT) {
|
|
|
|
mp_set(p, prime_digit());
|
|
|
|
return MP_OKAY;
|
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
if ((res = mp_init(&c)) != MP_OKAY) {
|
|
|
|
return res;
|
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
if ((res = mp_init(&v)) != MP_OKAY) {
|
|
|
|
goto LBL_C;
|
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
/* product of first 50 primes */
|
|
|
|
if ((res =
|
|
|
|
mp_read_radix(&v,
|
|
|
|
"19078266889580195013601891820992757757219839668357012055907516904309700014933909014729740190",
|
|
|
|
10)) != MP_OKAY) {
|
|
|
|
goto LBL_V;
|
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
if ((res = mp_init(&a)) != MP_OKAY) {
|
|
|
|
goto LBL_V;
|
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
/* set the prime */
|
|
|
|
mp_set(&a, prime_digit());
|
|
|
|
|
|
|
|
if ((res = mp_init(&b)) != MP_OKAY) {
|
|
|
|
goto LBL_A;
|
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
if ((res = mp_init(&n)) != MP_OKAY) {
|
|
|
|
goto LBL_B;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ((res = mp_init(&x)) != MP_OKAY) {
|
|
|
|
goto LBL_N;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ((res = mp_init(&y)) != MP_OKAY) {
|
|
|
|
goto LBL_X;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ((res = mp_init(&z)) != MP_OKAY) {
|
|
|
|
goto LBL_Y;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* now loop making the single digit */
|
|
|
|
while (mp_count_bits(&a) < k) {
|
|
|
|
fprintf(stderr, "prime has %4d bits left\r", k - mp_count_bits(&a));
|
|
|
|
fflush(stderr);
|
|
|
|
top:
|
|
|
|
mp_set(&b, prime_digit());
|
|
|
|
|
|
|
|
/* now compute z = a * b * 2 */
|
|
|
|
if ((res = mp_mul(&a, &b, &z)) != MP_OKAY) { /* z = a * b */
|
|
|
|
goto LBL_Z;
|
2003-02-28 11:06:22 -05:00
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
if ((res = mp_copy(&z, &c)) != MP_OKAY) { /* c = a * b */
|
|
|
|
goto LBL_Z;
|
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
if ((res = mp_mul_2(&z, &z)) != MP_OKAY) { /* z = 2 * a * b */
|
|
|
|
goto LBL_Z;
|
2003-02-28 11:06:22 -05:00
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
/* n = z + 1 */
|
|
|
|
if ((res = mp_add_d(&z, 1, &n)) != MP_OKAY) { /* n = z + 1 */
|
|
|
|
goto LBL_Z;
|
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
/* check (n, v) == 1 */
|
|
|
|
if ((res = mp_gcd(&n, &v, &y)) != MP_OKAY) { /* y = (n, v) */
|
|
|
|
goto LBL_Z;
|
2003-02-28 11:07:32 -05:00
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
if (mp_cmp_d(&y, 1) != MP_EQ)
|
|
|
|
goto top;
|
|
|
|
|
|
|
|
/* now try base x=bases[ii] */
|
|
|
|
for (ii = 0; ii < li; ii++) {
|
|
|
|
mp_set(&x, bases[ii]);
|
|
|
|
|
|
|
|
/* compute x^a mod n */
|
|
|
|
if ((res = mp_exptmod(&x, &a, &n, &y)) != MP_OKAY) { /* y = x^a mod n */
|
|
|
|
goto LBL_Z;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* if y == 1 loop */
|
|
|
|
if (mp_cmp_d(&y, 1) == MP_EQ)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
/* now x^2a mod n */
|
|
|
|
if ((res = mp_sqrmod(&y, &n, &y)) != MP_OKAY) { /* y = x^2a mod n */
|
|
|
|
goto LBL_Z;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (mp_cmp_d(&y, 1) == MP_EQ)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
/* compute x^b mod n */
|
|
|
|
if ((res = mp_exptmod(&x, &b, &n, &y)) != MP_OKAY) { /* y = x^b mod n */
|
|
|
|
goto LBL_Z;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* if y == 1 loop */
|
|
|
|
if (mp_cmp_d(&y, 1) == MP_EQ)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
/* now x^2b mod n */
|
|
|
|
if ((res = mp_sqrmod(&y, &n, &y)) != MP_OKAY) { /* y = x^2b mod n */
|
|
|
|
goto LBL_Z;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (mp_cmp_d(&y, 1) == MP_EQ)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
/* compute x^c mod n == x^ab mod n */
|
|
|
|
if ((res = mp_exptmod(&x, &c, &n, &y)) != MP_OKAY) { /* y = x^ab mod n */
|
|
|
|
goto LBL_Z;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* if y == 1 loop */
|
|
|
|
if (mp_cmp_d(&y, 1) == MP_EQ)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
/* now compute (x^c mod n)^2 */
|
|
|
|
if ((res = mp_sqrmod(&y, &n, &y)) != MP_OKAY) { /* y = x^2ab mod n */
|
|
|
|
goto LBL_Z;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* y should be 1 */
|
|
|
|
if (mp_cmp_d(&y, 1) != MP_EQ)
|
|
|
|
continue;
|
|
|
|
break;
|
|
|
|
}
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
/* no bases worked? */
|
|
|
|
if (ii == li)
|
|
|
|
goto top;
|
2003-02-28 11:06:22 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
{
|
|
|
|
char buf[4096];
|
|
|
|
|
|
|
|
mp_toradix(&n, buf, 10);
|
|
|
|
printf("Certificate of primality for:\n%s\n\n", buf);
|
|
|
|
mp_toradix(&a, buf, 10);
|
|
|
|
printf("A == \n%s\n\n", buf);
|
|
|
|
mp_toradix(&b, buf, 10);
|
|
|
|
printf("B == \n%s\n\nG == %d\n", buf, bases[ii]);
|
|
|
|
printf("----------------------------------------------------------------\n");
|
|
|
|
}
|
|
|
|
|
|
|
|
/* a = n */
|
|
|
|
mp_copy(&n, &a);
|
|
|
|
}
|
2003-07-15 20:26:58 -04:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
/* get q to be the order of the large prime subgroup */
|
|
|
|
mp_sub_d(&n, 1, q);
|
|
|
|
mp_div_2(q, q);
|
|
|
|
mp_div(q, &b, q, NULL);
|
|
|
|
|
|
|
|
mp_exch(&n, p);
|
|
|
|
|
|
|
|
res = MP_OKAY;
|
|
|
|
LBL_Z:
|
|
|
|
mp_clear(&z);
|
|
|
|
LBL_Y:
|
|
|
|
mp_clear(&y);
|
|
|
|
LBL_X:
|
|
|
|
mp_clear(&x);
|
|
|
|
LBL_N:
|
|
|
|
mp_clear(&n);
|
|
|
|
LBL_B:
|
|
|
|
mp_clear(&b);
|
|
|
|
LBL_A:
|
|
|
|
mp_clear(&a);
|
|
|
|
LBL_V:
|
|
|
|
mp_clear(&v);
|
|
|
|
LBL_C:
|
|
|
|
mp_clear(&c);
|
|
|
|
return res;
|
2003-02-28 11:08:34 -05:00
|
|
|
}
|
2003-02-28 11:06:22 -05:00
|
|
|
|
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
int main(void)
|
2003-02-28 11:06:22 -05:00
|
|
|
{
|
2017-10-18 04:44:06 -04:00
|
|
|
mp_int p, q;
|
|
|
|
char buf[4096];
|
|
|
|
int k, li;
|
|
|
|
clock_t t1;
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
srand(time(NULL));
|
|
|
|
load_tab();
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
printf("Enter # of bits: \n");
|
|
|
|
fgets(buf, sizeof(buf), stdin);
|
|
|
|
sscanf(buf, "%d", &k);
|
2003-02-28 11:06:22 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
printf("Enter number of bases to try (1 to 8):\n");
|
|
|
|
fgets(buf, sizeof(buf), stdin);
|
|
|
|
sscanf(buf, "%d", &li);
|
2003-02-28 11:08:34 -05:00
|
|
|
|
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
mp_init(&p);
|
|
|
|
mp_init(&q);
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
t1 = clock();
|
|
|
|
pprime(k, li, &p, &q);
|
|
|
|
t1 = clock() - t1;
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
printf("\n\nTook %ld ticks, %d bits\n", t1, mp_count_bits(&p));
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
mp_toradix(&p, buf, 10);
|
|
|
|
printf("P == %s\n", buf);
|
|
|
|
mp_toradix(&q, buf, 10);
|
|
|
|
printf("Q == %s\n", buf);
|
2003-02-28 11:08:34 -05:00
|
|
|
|
2017-10-18 04:44:06 -04:00
|
|
|
return 0;
|
2003-02-28 11:08:34 -05:00
|
|
|
}
|
2005-08-01 12:37:28 -04:00
|
|
|
|
2017-08-28 10:27:26 -04:00
|
|
|
/* ref: $Format:%D$ */
|
|
|
|
/* git commit: $Format:%H$ */
|
|
|
|
/* commit time: $Format:%ai$ */
|