Lenstra Elliptic Curve Factorization Website Links For
Elliptic
 

Information About

Lenstra Elliptic Curve Factorization




For general purpose factoring (on a General Purpose Computer ) this method is the third-fastest factoring method. The second fastest is the multiple polynomial version of the Quadratic Sieve . The fastest general purpose factoring algorithm is the General Number Field Sieve . Both the quadratic sieve and the general number field sieve are Probabilistic Algorithms .

Practically speaking, ECM is considered a special purpose factoring algorithm as it is most suitable for finding small factors. Currently, it is still the best algorithm for factoring out Divisor s of size not greatly exceeding 20 to 25 digits (64 to 83 bits or so), as its running time is dominated by the size of a factor ''p'' rather than by the size of the number ''n'' to be factored. The largest factor found (the co-factor being larger) by ECM as of several years ago was around 50 digits. Increasing the number of curves tested improves the chances, but they are not linear with the increase in the number of digits.

ECM is at its core an improvement of the older Pollard's P-1 Algorithm . In that method, it is assumed that the given number ''n'' has a Prime factor ''p'' such that ''p'' − 1 had only "small" prime factors (numbers whose prime factors are all "small" are informally called Smooth Number s). Then, by Fermat's Little Theorem ,

:a^e\equiv 1\pmod{p}

whenever ''p'' − 1 divides ''e'' and ''p'' does not divide ''a''. Taking ''e'' to be a product of small primes raised to small powers, and ''a'' to be a random residue mod ''n'', we can hopefully factor ''n'' by computing the Greatest Common Divisor of ''n'' and ''ae''-1, as other divisors ''q'' of ''n'' are unlikely to have the property that ''q''-1 divides ''e'' — smooth values are rare. However, we will not be able to factor ''n'' if ''n'' does not have a prime factor ''p'' with ''p''-1 smooth.

The Lenstra elliptic curve factorization gets around this obstacle by considering the Group of a random Elliptic Curve over the Finite Field Z''p'', rather than considering the multiplicative group of Z''p'' which always has order ''p''-1. The order of the group of an elliptic curve over Z''p'' varies between

: p + 1 - 2\sqrt{p}

and

: p + 1 + 2\sqrt{p}

by a Theorem By Helmut Hasse , and randomly, and is likely to be smooth for some elliptic curves. Although there is no proof that a smooth group order will be found in the Hasse-interval, by using heuristic probabilistic methods, the Canfield-Erdös-Pomerance Theorem with suitably optimized parameter choices, and the L-notation , we can expect to try

:L_p {Link without Title}

curves before getting a smooth group order. This heuristic estimate is very reliable in practice.

The Lenstra elliptic curve factorization method to find a factor of the given number ''n'' works as follows:

  • Pick a random Elliptic Curve over Z with a point ''A'' on it. Then, we consider the group law on this curve mod ''n'' — this is possible since almost all residues mod ''n'' have inverses, which can be found using the Euclidean Algorithm and finding a noninvertible residue is tantamount to factoring ''n''.


  • Compute ''eA'' in this group, where ''e'' is product of small primes raised to small powers, as in the Pollard P−1 factorization. It can be done one prime at a time, thus efficiently.


  • Hopefully, ''eA'' is a zero element of the Elliptic curve group in Z ''p'', but not in Z ''q'' for another prime divisor ''q'' of ''n'' (as in the '''Pollard p−1''' method, it is unlikely that both groups will have an order which is a divisor of ''e''). Then we can find a factor of ''n'' by finding the Greatest Common Divisor of the first coordinate of ''A'' and ''n'', since this coordinate will be zero in Z ''p''.


  • If it does not work, we try with some other curve and starting point.



SEE ALSO




OTHER EXTERNAL LINKS



REFERENCES

  • Brent, Richard P. "Factorization of the tenth Fermat number." ''Mathematics of Computation'' 68 (1999), 429-451.


  • Cohen, Henri. ''A Course in Computational Algebraic Number Theory.'' Springer-Verlag, New York, Berlin, Heidelberg, 1996. ISBN 0-387-55640-0.


  • Lenstra, A. K. and Lenstra Jr., H. W. (editors), ''The development of the number field sieve.'' Lecture Notes in Mathematics 1554, Springer-Verlag, Berlin, 1993. MR 96m:11116.


  • Lenstra Jr., H. W. "Factoring integers with elliptic curves." ''Annals of Mathematics'' (2) 126 (1987), 649-673. MR 89g:11125.