39 lines
1.4 KiB
Factor
39 lines
1.4 KiB
Factor
|
! Copyright (C) 2009 Doug Coleman.
|
||
|
|
! See http://factorcode.org/license.txt for BSD license.
|
||
|
|
USING: combinators.short-circuit help.markup help.syntax kernel
|
||
|
|
math math.functions math.primes random ;
|
||
|
|
IN: math.primes.safe
|
||
|
|
|
||
|
|
HELP: next-safe-prime
|
||
|
|
{ $values
|
||
|
|
{ "n" integer }
|
||
|
|
{ "q" integer }
|
||
|
|
}
|
||
|
|
{ $description "Tests consecutive numbers and returns the next safe prime. A safe prime is desirable in cryptography applications such as Diffie-Hellman and SRP6." } ;
|
||
|
|
|
||
|
|
HELP: random-safe-prime
|
||
|
|
{ $values
|
||
|
|
{ "numbits" integer }
|
||
|
|
{ "p" integer }
|
||
|
|
}
|
||
|
|
{ $description "Returns a safe prime number " { $snippet "numbits" } " bits in length, with the topmost bit set to one." } ;
|
||
|
|
|
||
|
|
HELP: safe-prime?
|
||
|
|
{ $values
|
||
|
|
{ "q" integer }
|
||
|
|
{ "?" "a boolean" }
|
||
|
|
}
|
||
|
|
{ $description "Tests whether the number is a safe prime. A safe prime " { $snippet "p" } " must be prime, as must " { $snippet "(p - 1) / 2" } "." } ;
|
||
|
|
|
||
|
|
|
||
|
|
ARTICLE: "math.primes.safe" "Safe prime numbers"
|
||
|
|
"The " { $vocab-link "math.primes.safe" } " vocabulary implements words to calculate safe prime numbers. Safe primes are of the form p = 2q + 1, where p,q are prime. Safe primes have desirable qualities for cryptographic applications." $nl
|
||
|
|
|
||
|
|
"Testing if a number is a safe prime:"
|
||
|
|
{ $subsection safe-prime? }
|
||
|
|
"Generating safe prime numbers:"
|
||
|
|
{ $subsection next-safe-prime }
|
||
|
|
{ $subsection random-safe-prime } ;
|
||
|
|
|
||
|
|
ABOUT: "math.primes.safe"
|