3 * Key consistency checking tools for large integers
5 * (c) 2001 Straylight/Edgeware
8 /*----- Licensing notice --------------------------------------------------*
10 * This file is part of Catacomb.
12 * Catacomb is free software; you can redistribute it and/or modify
13 * it under the terms of the GNU Library General Public License as
14 * published by the Free Software Foundation; either version 2 of the
15 * License, or (at your option) any later version.
17 * Catacomb is distributed in the hope that it will be useful,
18 * but WITHOUT ANY WARRANTY; without even the implied warranty of
19 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 * GNU Library General Public License for more details.
22 * You should have received a copy of the GNU Library General Public
23 * License along with Catacomb; if not, write to the Free
24 * Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
28 /*----- Header files ------------------------------------------------------*/
30 #include <mLib/dstr.h>
42 /*----- Main code ---------------------------------------------------------*/
44 /* --- @keycheck_prime@ --- *
46 * Arguments: @keycheck *kc@ = keycheck state
47 * @unsigned sev@ = severity if not prime
48 * @mp *m@ = a number to check for primality
49 * @const char *name@ = name of this number
51 * Returns: Zero if OK, or return status from function.
53 * Use: Checks that a number is prime.
56 int keycheck_prime(keycheck *kc, unsigned sev, mp *m, const char *name)
60 rc = pfilt_smallfactor(m);
63 grand *r = fibrand_create(0);
67 r->ops->misc(r, GRAND_SEEDRAND, &rand_global);
68 n = rabin_iters(mp_bits(m));
71 x = mprand_range(x, m, r, 0);
72 rc = rabin_test(&rn, x);
74 } while (n && rc == PGEN_PASS);
82 rc = keycheck_report(kc, sev, "%s not prime", name);
86 /*----- That's all, folks -------------------------------------------------*/