3 * $Id: keycheck-mp.c,v 1.1 2001/02/03 16:08:24 mdw Exp $
5 * Key consistency checking tools for large integers
7 * (c) 2001 Straylight/Edgeware
10 /*----- Licensing notice --------------------------------------------------*
12 * This file is part of Catacomb.
14 * Catacomb is free software; you can redistribute it and/or modify
15 * it under the terms of the GNU Library General Public License as
16 * published by the Free Software Foundation; either version 2 of the
17 * License, or (at your option) any later version.
19 * Catacomb is distributed in the hope that it will be useful,
20 * but WITHOUT ANY WARRANTY; without even the implied warranty of
21 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
22 * GNU Library General Public License for more details.
24 * You should have received a copy of the GNU Library General Public
25 * License along with Catacomb; if not, write to the Free
26 * Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
30 /*----- Revision history --------------------------------------------------*
32 * $Log: keycheck-mp.c,v $
33 * Revision 1.1 2001/02/03 16:08:24 mdw
34 * Add consistency checking for public keys.
38 /*----- Header files ------------------------------------------------------*/
40 #include <mLib/dstr.h>
52 /*----- Main code ---------------------------------------------------------*/
54 /* --- @keycheck_prime@ --- *
56 * Arguments: @keycheck *kc@ = keycheck state
57 * @unsigned sev@ = severity if not prime
58 * @mp *m@ = a number to check for primality
59 * @const char *name@ = name of this number
61 * Returns: Zero if OK, or return status from function.
63 * Use: Checks that a number is prime.
66 int keycheck_prime(keycheck
*kc
, unsigned sev
, mp
*m
, const char *name
)
70 rc
= pfilt_smallfactor(m
);
73 grand
*r
= fibrand_create(0);
77 r
->ops
->misc(r
, GRAND_SEEDRAND
, &rand_global
);
78 n
= rabin_iters(mp_bits(m
));
81 x
= mprand_range(x
, m
, r
, 0);
82 rc
= rabin_test(&rn
, x
);
84 } while (n
&& rc
== PGEN_PASS
);
92 rc
= keycheck_report(kc
, sev
, "%s not prime", name
);
96 /*----- That's all, folks -------------------------------------------------*/