Дискретное логарифмирование — Википедия

Дискре́тное логарифми́рование (DLOG) — задача обращения функции ${\displaystyle g^{x}}$ в некоторой конечной мультипликативной группе ${\displaystyle G}$.

Наиболее часто задачу дискретного логарифмирования рассматривают в мультипликативной группе кольца вычетов или конечного поля, а также в группе точек эллиптической кривой над конечным полем. Эффективные алгоритмы для решения задачи дискретного логарифмирования в общем случае неизвестны.

Для заданных g и a решение x уравнения ${\displaystyle g^{x}=a}$ называется дискретным логарифмом элемента a по основанию g. В случае, когда G является мультипликативной группой кольца вычетов по модулю m, решение называют также индексом числа a по основанию g. Индекс числа a по основанию g гарантированно существует, если g является первообразным корнем по модулю m.

Пусть в некоторой конечной мультипликативной абелевой группе ${\displaystyle G}$ задано уравнение

${\displaystyle g^{x}=a}$.

(1)

Решение задачи дискретного логарифмирования состоит в нахождении некоторого целого неотрицательного числа ${\displaystyle x}$, удовлетворяющего уравнению (1). Если оно разрешимо, у него должно быть хотя бы одно натуральное решение, не превышающее порядок группы. Это сразу даёт грубую оценку сложности алгоритма поиска решений сверху — алгоритм полного перебора нашёл бы решение за число шагов не выше порядка данной группы.

Чаще всего рассматривается случай, когда ${\displaystyle G=\langle g\rangle }$, то есть группа является циклической, порождённой элементом ${\displaystyle g}$. В этом случае уравнение всегда имеет решение. В случае же произвольной группы вопрос о разрешимости задачи дискретного логарифмирования, то есть вопрос о существовании решений уравнения (1), требует отдельного рассмотрения.

Рассмотрим задачу дискретного логарифмирования в кольце вычетов по модулю простого числа. Пусть задано сравнение

${\displaystyle 3^{x}\equiv 13{\pmod {17}}.}$

Будем решать задачу методом перебора. Выпишем таблицу всех степеней числа 3. Каждый раз мы вычисляем остаток от деления на 17 (например, 3³≡27 — остаток от деления на 17 равен 10).

Теперь легко увидеть, что решением рассматриваемого сравнения является x = 4, поскольку 3⁴≡13.

На практике модуль обычно является достаточно большим числом, и метод перебора является слишком медленным, поэтому возникает потребность в более быстрых алгоритмах.

Разрешимости и решению задачи дискретного логарифмирования в произвольной конечной абелевой группе посвящена статья J. Buchmann, M. J. Jacobson и E. Teske^[1]. В алгоритме используется таблица, состоящая из ${\displaystyle O({\sqrt {|\langle g\rangle |}})}$ пар элементов и выполняется ${\displaystyle O({\sqrt {|\langle g\rangle |}})}$ умножений. Данный алгоритм медленный и не пригоден для практического использования. Для конкретных групп существуют свои, более эффективные, алгоритмы.

Рассмотрим сравнение

${\displaystyle a^{x}\equiv b{\pmod {p}},}$

(2)

где ${\displaystyle p}$ — простое, ${\displaystyle b}$ не делится на ${\displaystyle p}$ без остатка. Если ${\displaystyle a}$ является образующим элементом группы ${\displaystyle \mathbb {Z} /p\mathbb {Z} }$, то уравнение (2) имеет решение при любых ${\displaystyle b}$. Такие числа ${\displaystyle a}$ называются ещё первообразными корнями, и их количество равно ${\displaystyle \phi (p-1)}$, где ${\displaystyle \phi }$ — функция Эйлера. Решение уравнения (2) можно находить по формуле:

${\displaystyle x\equiv \sum \limits _{i=1}^{p-2}(1-a^{i})^{-1}b^{i}{\pmod {p}}.}$

Однако сложность вычисления по этой формуле хуже, чем сложность перебора.

Следующий алгоритм имеет сложность ${\displaystyle O({\sqrt {p}}\cdot \log {p})}$.

Алгоритм

1. Присвоить ${\displaystyle H:=\left\lfloor {\sqrt {p}}\right\rfloor +1}$
2. Вычислить ${\displaystyle c=a^{H}{\bmod {p}}}$
3. Составить таблицу значений ${\displaystyle c^{u}{\bmod {p}}}$ для ${\displaystyle 1\leq u\leq H}$ и отсортировать её.
4. Составить таблицу значений ${\displaystyle b\cdot a^{v}{\bmod {p}}}$ для ${\displaystyle 0\leq v\leq H}$ и отсортировать её.
5. Найти общие элементы в таблицах. Для них ${\displaystyle c^{u}\equiv b\cdot a^{v}{\pmod {p}},}$ откуда ${\displaystyle a^{Hu-v}\equiv b{\pmod {p}}.}$
6. Выдать ${\displaystyle Hu-v}$.

Существует также множество других алгоритмов для решения задачи дискретного логарифмирования в поле вычетов. Их принято разделять на экспоненциальные и субэкспоненциальные. Полиномиального алгоритма для решения этой задачи пока не существует.

1. Алгоритм Шенкса (алгоритм больших и малых шагов, baby-step giant-step)
2. Алгоритм Полига — Хеллмана работает, если известно разложение числа ${\displaystyle p-1=\prod \limits _{i=1}^{s}q_{i}^{\alpha _{i}}}$ на простые множители. Сложность: ${\displaystyle O(\sum \limits _{i=1}^{s}\alpha _{i}(\log {p}+q_{i}))}$. Если множители, на которые раскладывается ${\displaystyle p-1}$, достаточно маленькие, то алгоритм очень эффективен^[2].
3. ρ-Метод Полларда имеет эвристическую оценку сложности ${\displaystyle O(p^{\frac {1}{2}})}$^[3].

В L-нотации вычислительная сложность данных алгоритмов оценивается как ${\displaystyle L_{p}[d,c]}$ арифметических операций, где ${\displaystyle c}$ и ${\displaystyle 0\leq d<1}$ — некоторые константы. Эффективность алгоритма во многом зависит от близости величин ${\displaystyle c}$ и ${\displaystyle d}$ к 1 и 0, соответственно.

1. Алгоритм Адлемана появился в 1979 году^[4]. Это был первый субэкспоненциалный алгоритм дискретного логарифмирования. На практике он всё же недостаточно эффективен. В этом алгоритме ${\displaystyle d={\frac {1}{2}}}$.
2. Алгоритм COS был предложен в 1986 году математиками Копперсмитом (Don Coppersmith), Одлыжко (Andrew Odlyzko) и Шреппелем (Richard Schroeppel)^[5]. В этом алгоритме константа ${\displaystyle c=1}$, ${\displaystyle d={\frac {1}{2}}}$. В 1991 году с помощью этого метода было проведено логарифмирование по модулю ${\displaystyle p\approx 10^{58}}$. В 1997 году Вебер провёл дискретное логарифмирование по модулю ${\displaystyle p\approx 10^{85}}$ с помощью некоторой версии данного алгоритма. Экспериментально показано, что при ${\displaystyle p\leq 10^{90}}$ алгоритм COS лучше решета числового поля.
3. Дискретное логарифмирование при помощи решета числового поля было применено к дискретному логарифмированию позднее, чем к факторизации чисел. Первые идеи появились в 1990-х годах. Алгоритм, предложенный Д. Гордоном в 1993 году, имел эвристическую сложность ${\displaystyle L_{p}\left[{\tfrac {1}{3}},3^{3/2}\right]}$^[6], но оказался достаточно непрактичным. Позднее было предложено множество различных улучшений данного алгоритма. Было показано, что при ${\displaystyle p\geq 10^{100}}$ решето числового поля быстрее, чем COS. Современные рекорды в дискретном логарифмировании получены именно с помощью этого метода.

Наилучшими параметрами в оценке сложности на данный момент является ${\displaystyle c=(92+26{\sqrt {13}})^{\frac {1}{3}}/3\approx 1{,}902}$, ${\displaystyle d={\frac {1}{3}}}$^[7].

Для чисел специального вида результат можно улучшить. В некоторых случаях можно построить алгоритм, для которого константы будут ${\displaystyle c\approx 1{,}00475}$, ${\displaystyle d={\frac {2}{5}}}$. За счёт того, что константа ${\displaystyle c}$ достаточно близка к 1, подобные алгоритмы могут обогнать алгоритм с ${\displaystyle d={\frac {1}{3}}}$.

Задача рассматривается в поле GF(q), где ${\displaystyle q=p^{n}}$, ${\displaystyle p}$ — простое.

1. Алгоритм исчисления индексов (index-calculus) эффективен, если ${\displaystyle p}$ невелико. В этом случае он имеет эвристическую оценку сложности ${\displaystyle L_{p}\left[{\tfrac {1}{2}},c\right]}$.
2. Алгоритм Эль-Гамаля, появившийся в 1985 году, применим при ${\displaystyle n=2}$ и имеет сложность ${\displaystyle L_{p}\left[{\tfrac {1}{2}},c\right]}$ арифметических операций.
3. Алгоритм Копперсмита дискретного логарифмирования в конечном поле характеристики 2 стал первым субэкспоненциальным алгоритмом дискретного логарифмирования с константой ${\displaystyle d={\frac {1}{3}}}$ в оценке сложности ${\displaystyle L_{p}[d,c]}$. Данный алгоритм появился в 1984 году — до изобретения решета числового поля^[8].

Рассматривается группа точек эллиптической кривой над конечным полем. В данной группе определена операция сложения двух точек. Тогда ${\displaystyle mP}$ — это _{${\displaystyle \underbrace {P+\ldots +P} \limits _{m}}$}. Решением задачи дискретного логарифмирования на эллиптической кривой является нахождение такого натурального числа ${\displaystyle m}$, что ${\displaystyle mP=A}$ для заданных точек ${\displaystyle P}$ и ${\displaystyle A.}$

До 1990 года не существовало алгоритмов дискретного логарифмирования, учитывающих особенностей строения группы точек эллиптической кривой. Впоследствии, Альфред Менезес, Тацуаки Окамото и Скотт Ванстоун предложили алгоритм, использующий спаривание Вейля^[9]. Для эллиптической кривой, определённой над полем ${\displaystyle GF(q)}$, данный алгоритм сводит задачу дискретного логарифмирования к аналогичной задаче в поле ${\displaystyle GF(q^{k})}$. Однако, данное сведение полезно, только если степень ${\displaystyle k}$ мала. Это условие выполняется, в основном, для суперсингулярных эллиптических кривых. В остальных случаях подобное сведение практически никогда не приводит к субэкспоненциальным алгоритмам.

Задача дискретного логарифмирования является одной из основных задач, на которых базируется криптография с открытым ключом. Классическими криптографическими схемами на её основе являются схема выработки общего ключа Диффи-Хеллмана^[10], схема электронной подписи Эль-Гамаля^[11][12], криптосистема Мэсси-Омуры^[13] для передачи сообщений. Их криптостойкость основывается на предположительно высокой вычислительной сложности обращения показательной функции. Хотя сама показательная функция вычисляется достаточно эффективно, даже самые современные алгоритмы вычисления дискретного логарифма имеют очень высокую сложность, которая сравнима со сложностью наиболее быстрых алгоритмов разложения чисел на множители.

Другая возможность эффективного решения задачи вычисления дискретного логарифма связана с квантовыми вычислениями. Теоретически доказано, что с помощью алгоритма Шора дискретный логарифм можно вычислить за полиномиальное время^[14][15][16]. В любом случае, если полиномиальный алгоритм вычисления дискретного логарифма будет реализован, это будет означать практическую непригодность криптосистем на его основе для долговременной защиты данных. Рассматривается ряд идей для создания новых алгоритмов с открытым ключом.

• Diffie W., Hellman M. E. New Directions in Cryptography (англ.) // IEEE Transactions on Information Theory / F. Kschischang — IEEE, 1976. — Vol. 22, Iss. 6. — P. 644—654. — ISSN 0018-9448; 1557-9654 — doi:10.1109/TIT.1976.1055638
• Elgamal T. A Public-Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms, A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms (англ.) // IEEE Transactions on Information Theory / F. Kschischang — IEEE, 1985. — P. 10—18. — ISSN 0018-9448; 1557-9654 — doi:10.1109/TIT.1985.1057074; doi:10.1007/3-540-39568-7_2
• Elgamal T. A Public-Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms, A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms (англ.) // IEEE Transactions on Information Theory / F. Kschischang — IEEE, 1985. — P. 10—18. — ISSN 0018-9448; 1557-9654 — doi:10.1109/TIT.1985.1057074; doi:10.1007/3-540-39568-7_2
• Shor P. Algorithms for Quantum Computation: Discrete Logarithms and Factoring (англ.) // Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on — IEEE, 1994. — P. 124–134. — ISBN 0-8186-6580-7 — doi:10.1109/SFCS.1994.365700
• Василенко О. Н. Теоретико-числовые алгоритмы в криптографии. — Москва: МЦНМО, 2003. — 328 с. — ISBN 5-94057-103-4. Архивная копия от 27 января 2007 на Wayback Machine
• Коблиц Н. Курс теории чисел и криптографии. — Москва: ТВПб, 2001. — 254 с. — ISBN 5-85484-014-6.
• Odlyzko A. M. Discrete logarithms in finite fields and their cryptographic significance // LNCS^[англ.]. — 1984. — Т. 209. — С. 224—316.
• Нестеренко Ю. В. Глава 4.8. Дискретное логарифмирование // Введение в криптографию / Под ред. В. В. Ященко. — Питер, 2001. — 288 с. — ISBN 5-318-00443-1.
• Обзор методов вычисления дискретного логарифма (англ.)
• Нечаев В.И. К вопросу о сложности детерминированного алгоритма для дискретного логарифма // Математические заметки. — 1994. — Февраль (т. 55, вып. 2). — С. 91—101.