L-1/2 - e/2 *O(L1 + 2e ) = O(L1/2 + 3e/2) (13)

пар, для которых правая часть сравнения (12) полностью раскладывается на простые сомножители, меньшие L1/2. Сравнение (12), таким образом, принимает вид (8). Так строится система уравнений типа (9).

Напомним, что число а, согласно нашему предположению, существенно меньше, чем L1/2. Поэтому оно раскладывается в произведение простых чисел, входящих во множество {q1,…,qs}, и это приводит к сравнению (10).

Заметим, что количество (13) найденных сравнений типа (9) превосходит число s. Следовательно, построенная система неоднородных линейных сравнений относительно Log qi содержит сравнений больше, чем неизвестных. Конечно, множество её решений может при этом быть бесконечным. Одна из правдоподобных гипотез состоит в том, что система имеет всё-таки единственное решение, и, решив её, можно определить дискретные логарифмы всех чисел qi. На этом завершается первый этап работы алгоритма из [1].

Как было отмечено, каждое из чисел, стоящих в правой части сравнения (12), не превосходит p1/2 + e/2. Поэтому оно раскладывается в произведение не более O(ln p) простых сомножителей и, следовательно, каждое из сравнений (9) построенной системы содержит лишь O(ln p) отличных от нуля коэффициентов. Матрица системы сравнений будет разреженной, что позволяет применять для её решения специальные методы с меньшей оценкой сложности, чем обычный гауссов метод исключения переменных.

Вместо перебора всех допустимых значений ci в [1] предлагается использовать так называемое решето, отбрасывающее все пары этих чисел, для которых правая часть (12) заведомо не раскладывается в произведение малых простых сомножителей. Для каждого c1 и каждой малой простой степени q' < L1/2 можно найти все решения c2 < L1/2 линейного сравнения

J + (c1 + c2)H + c1c2 º 0 (mod q').

Организованная правильным образом, эта процедура одновременно отбирает все нужные пары чисел c1,c2 и даёт разложение на простые сомножители правых частей сравнений (12).

Итак, после первого этапа работы алгоритма в нашем распоряжении оказываются дискретные логарифмы всех чисел из множества S. Второй этап алгоритма сводит поиск дискретного логарифма числа b к поиску логарифмов некоторого множества чисел u, не превосходящих по величине L2. Выбирая случайным образом число w не более L1/4 раз, можно, как показывают вероятностные соображения, найти такое w, что вычет awb mod p раскладывается в произведение простых чисел, меньших L2. Пусть

(mod p)

такое разложение, где u1,…,ut – некоторые простые числа с условием L1/2 < u < < L2. На поиск этого сравнения потребуется O(L1/2)арифметических операций. В результате вычисление дискретного логарифма числа b сводится к вычислению t дискретных логарифмов для чисел uj, 1 £ j £ t среднего размера.

Наконец, на последнем этапе производится вычисление логарифмов всех чисел uj. Пусть u – простое число из интервала условием L1/2 < u < L2. Обозначим

G = [Öp / u], I = HGu – p.

Для любых целых чисел c1, c2 < L1/2 + e выполняется сравнение

(H + c1) (H + c2)u º I + (c1G+ c2H + c1c2 )u (mod p). (14)

Отметим, что правая часть этого сравнения не превосходит p1/2 L5/2 + e. Просеивая все числа c1, c2 из указанного интервала, можно найти такие, что числа G+ c2 и правая часть сравнения (14) состоят из простых сомножителей, не превосходящих L1/2. Тогда сравнение (14) позволяет вычислить Log u. Вычисление Log b при известных уже значениях Log q1 требует L1/2 + e арифметических операций.

Существуют и другие способы построения соотношений (8). В [2] для этого используются вычисления в полях алгебраических чисел. В качестве множителей в соотношения типа (8) используются не только простые числа, но и простые идеалы с небольшой нормой.

Задача вычисления дискретных логарифмов может рассматриваться также и в полях Fpn, состоящих из pn элементов, в мультипликативных группах классов вычетов (Z/mZ)*, в группах точек эллиптических кривых и вообще в произвольных группах.

Список литературы

1. Введение в криптографию под общей редакцией Ященко, М.: МЦНМО: «Черо», 1999.

2. Алгебраическая алгоритмика, Ноден П., Китте К., М.: «Мир», 1999.

[1] Coppersmith D., Odlyzko A. M., Schroeppel R. Descrete logariths in GF(p) // Algorithica. V. 1,1986. P. 1-15.

[2] Lenstra A. K, Lenstra H. W. (jr.) The Development of the Number Field Siev. Lect. Notes in Math. V. 1554. Springer, 1993.

[3] McCarthy D. P. “The optimal algorith to evaluate xn using elementary multiplication methods”, Math. Comp., vol. 31, no 137, 1977, pp. 251 – 256.