Proven Primes

[Greg Rose]

Tom St Denis <tomstdenis at yahoo.com> has a program that constructs provable 
primes, by bootstrapping them from smaller proven primes. The trouble is 
that his stuff is off the air at the moment. You might write to him, 
though. It's pretty quick, IIRC.

Greg.

At 06:45 PM 3/8/2003 +0000, Ben Laurie wrote:
>Jack Lloyd wrote:
>>I believe the IPSec primes had been proven. All are SG primes with a g=2
>>Check RFC 2412, draft-ietf-ipsec-ikev2-05.txt, and
>>draft-ietf-ipsec-ike-modp-groups-05.txt
>>However, I don't seen any primality proof certificates included in the
>>texts.
>
>RFC 2412 looks good, however, as you say, no certificates are included, 
>nor is it made clear that (p-1)/2 has been proven.
>
>I-Ds are less useful to me, since I can't give a long-term reference for 
>them :-(
>
>Thanks!
>
>Ben.
>
>--
>http://www.apache-ssl.org/ben.html       http://www.thebunker.net/
>
>"There is no limit to what a man can do or how far he can go if he
>doesn't mind who gets the credit." - Robert Woodruff
>
>
>---------------------------------------------------------------------
>The Cryptography Mailing List
>Unsubscribe by sending "unsubscribe cryptography" to 
>majordomo at wasabisystems.com
>


Greg Rose                                       INTERNET: ggr at qualcomm.com
Qualcomm Australia          VOICE:  +61-2-9817 4188   FAX: +61-2-9817 5199
Level 3, 230 Victoria Road,                http://people.qualcomm.com/ggr/
Gladesville NSW 2111    232B EC8F 44C6 C853 D68F  E107 E6BF CD2F 1081 A37C


---------------------------------------------------------------------
The Cryptography Mailing List
Unsubscribe by sending "unsubscribe cryptography" to majordomo at wasabisystems.com