ECDSA

ECDSA (Elliptic Curve Digital Signature Algorithm) — алгоритм с открытым ключом, использующийся для построения и проверки электронной цифровой подписи при помощи криптографии на эллиптических кривых.

Алгоритм достаточно популярен в области электронных цифровых подписей из-за сложности задачи, на которой основано вычисление закрытого ключа из открытого. ECDSA принят различными организациями в качестве стандарта. Алгоритм состоит из четырёх частей: генерация основных параметров, генерация ключевой пары, создание и проверка цифровой подписи. В общем случае, считается достаточно безопасным (для соответствующих уровней криптостойкостей), а также имеет реализации в множестве криптографических библиотек.

ИсторияПравить

Эллиптические кривые, в качестве математического понятия, изучаются уже достаточно давно. Например, ещё у древнегреческого математика Диофанта в III веке нашей эры в труде «Арифметика» были задачи, которые сводились к нахождению рациональных точек на эллиптической кривой. Однако, их применение для реальных задач, в частности, для области криптографии, было неизвестно до конца XX века. В 1985 году Виктор Миллер и Нил Коблиц предложили использование эллиптических кривых для криптографии.

В 1991 году Национальным институтом стандартов и технологий (NIST) был разработан DSA, построенный на идее использования проблемы дискретного логарифма. Вскоре после этого, NIST запросил публичные комментарии по поводу своего предложения о схемах цифровой подписи. Воодушевившись данной идеей, Скотт Ванстоун в статье «Responses to NIST’s proposal» предложил аналог алгоритму цифровой подписи, использующий криптографию на эллиптических кривых (ECDSA).

В период с 1998-2000 гг. ECDSA был принят различными организациями, как стандарт (ISO 14888-3, ANSI X9.62, IEEE 1363—2000, FIPS 186-2).

ПрименениеПравить

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

Основные параметры эллиптической кривойПравить

Основными параметрами (англ. domain parameters) $D=(q,FR,a,b,G,n,h)$${\textstyle D=(q,FR,a,b,G,n,h)}$  эллиптической кривой над конечным полем ${\mathbb{F}}_q$$\mathbb {F} _{q}$  называется совокупность следующих величин:

• Порядок конечного поля $q$$q$  (напрмер, простое конечное поле ${\mathbb{F}}_p$$\mathbb {F} _{p}$  при $q=p$${\textstyle q=p}$ , где $p>3$${\textstyle p>3}$  и является простым числом).
• $FR$${\textstyle FR}$  (Field Representation) — индикатор, использующийся для представления элементов, приндлежащих полю ${\mathbb{F}}_q$$\mathbb {F} _{q}$ .
• Два элемента поля $a,b\in <!--\; \in \; -->{\mathbb{F}}_q$$a,b\in \mathbb {F} _{q}$ , задающие коэффициенты уравнения эллиптической кривой $E$$E$  над полем ${\mathbb{F}}_q$$\mathbb {F} _{q}$  (например, $y^2=x^3+ax+b$$y^{2}=x^{3}+ax+b$  при $q=p>3$$q=p>3$ ).
• Базовая точка $G=(x_G,y_G)\in <!--\; \in \; -->E({\mathbb{F}}_q)$${\textstyle G=(x_{G},y_{G})\in E(\mathbb {F} _{q})}$ , имееющая простой порядок $n$$n$ .
• Целое число $h$${\textstyle h}$ , являющееся кофактором $h=\mathrm{\#<!--\; \#\; -->}E({\mathbb{F}}_q)/n$${\textstyle h=\#E(\mathbb {F} _{q})/n}$ , где $\mathrm{\#<!--\; \#\; -->}E({\mathbb{F}}_q)$${\textstyle \#E(\mathbb {F} _{q})}$  — порядок кривой, численно совпадающий с числом точек в $E({\mathbb{F}}_q)$${\textstyle E(\mathbb {F} _{q})}$ .

Параметры должны быть выбраны таким образом, чтобы эллиптическая кривая, опредённая над конечным полем ${\mathbb{F}}_q$$\mathbb {F} _{q}$  была устройчива ко всем известным атакам, применимым к ECDLP. Помимо этого, могут быть и другие ограничения, связанные с соображениями безопасности или реализации. Как правило, основные параметры являются общими для группы сущностей, однако в некоторых приложениях (реализациях), они могут быть специфичными для каждого конкретного пользователя

ECDSA по стандарту ANSI X9.62Править

Для практического применения ECDSA налагают ограничения на поля, в которых определены эллиптические кривые. Для простоты, рассмотрим случай реализации алгоритмов, когда ${\mathbb{F}}_q$$\mathbb {F} _{q}$  — простое конечное поле, (для других полей — аналогично), тогда наше эллиптическое уравнение принимает вид $y^2=x^3+ax+b$${\textstyle y^{2}=x^{3}+ax+b}$ .

Алгоритм генерации основных параметровПравить

Для того, чтобы избежать известных атак, основанных на проблеме дискретного логарифма в группе точек эллиптической кривой, необходимо, чтобы число точек эллиптической кривой $E$$E$  делилось на достаточно большое простое число $n$$n$ . Стандарт ANSI X9.62 требует $n>2^{160}$$n > 2^{160}$ . Предлагается следующий алгоритм:

Ввод: Порядок поля $q$$q$ , индикатор представления поля $FR$$FR$  для ${\mathbb{F}}_q$${\textstyle \mathbb {F} _{q}}$ , $L$$L$  - уровень безопасности: $160⩽<!--\; ⩽\; -->L⩽<!--\; ⩽\; -->[{\log }_2<!--\; \; -->q]$${\textstyle 160\leqslant L\leqslant [\log _{2}q]}$  и $2^L⩾<!--\; ⩾\; -->4\sqrt{q}$${\textstyle 2^{L}\geqslant 4{\sqrt {q}}}$ . Вывод: Основные параметры эллиптической кривой $D=(q,FR,a,b,G,n,h)$${\textstyle D=(q,FR,a,b,G,n,h)}$ .

Шаг 1. Выберите верифицировано случайным образом элементы $a,b\in <!--\; \in \; -->{\mathbb{F}}_q$${\textstyle a,b\in \mathbb {F} _{q}}$ , удовлетворяющие условию $4a^3+27b^2\not\equiv 0modq$$4a^{3}+27b^{2}\not \equiv 0{\bmod {q}}$ . Шаг 2. $N:=\mathrm{\#<!--\; \#\; -->}E({\mathbb{F}}_q)$${\textstyle N:=\#E(\mathbb {F} _{q})}$ , порядок кривой можно вычислить при помощи алгоритма SEA. Шаг 3. Проверьте, что $Nmodn=0$${\textstyle N{\bmod {n}}=0}$  при большом простом числе $n⩾<!--\; ⩾\; -->2^L$$n\geqslant 2^{L}$ . Если нет, тогда перейдите к шагу 1. Шаг 4. Проверьте, что $q^k-<!--\; -\; -->1modn=0$$q^{k}-1{\bmod {n}}=0$  $\mathrm{\forall <!--\; \forall \; -->}k\in <!--\; \in \; -->[1,20]$$\forall k\in [1,20]$ . Если нет, тогда перейдите к шагу 1. Шаг 5. Проверьте, что $n\ne <!--\; \ne \; -->q$$n\neq q$ . Если нет, тогда перейдите к шагу 1. Шаг 6. $h:=N/n$$h:=N/n$ . Шаг 7. Выберите произвольную точку $G^{{}^{\prime }}\in <!--\; \in \; -->E({\mathbb{F}}_q)$${\textstyle G^{'}\in E(\mathbb {F} _{q})}$  и задайте $G:=h{G}^{{}^{\prime }}$${\textstyle G:=hG^{'}}$ . Повторяйте, пока $G\ne <!--\; \ne \; -->\mathcal{O}$${\textstyle G\neq {\mathcal {O}}}$ , где $\mathcal{O}$$\mathcal{O}$  - бесконечно удалённая точка Шаг 8. Верните $(q,FR,a,b,G,n,h)$${\textstyle (q,FR,a,b,G,n,h)}$

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

Алгоритм генерации ключевой парыПравить

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

Ввод: Основные параметры эллиптической кривой $D$${\textstyle D}$ . Вывод: Открытый ключ - $Q$$Q$ , закрытый ключ - $d$$d$ .

Шаг 1. Выберите случайное или псевдослучайное целое число $d\in <!--\; \in \; -->[1,n-<!--\; -\; -->1]$$d\in [1,n-1]$ . Шаг 2. Вычислите координаты точки на эллиптической кривой $Q=dG$$Q=dG$ . Шаг 3. Верните $(Q,d)$$(Q,d)$ .

Алгоритм проверки открытого ключа

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

Ввод: Основные параметры эллиптической кривой $D$${\textstyle D}$ , открытый ключ - $Q$$Q$ . Вывод: Решение о принятии или отклонении достоверности открытого ключа $Q$$Q$ .

Шаг 1. Проверьте, что $Q\ne <!--\; \ne \; -->\mathcal{O}$${\textstyle Q\neq {\mathcal {O}}}$ . Шаг 2. Проверьте, что $(x_G,y_G)$${\textstyle (x_{G},y_{G})}$  являются правильно представленными элементами в ${\mathbb{F}}_q$${\textstyle \mathbb {F} _{q}}$ , т.е. целыми числами, принадлежащими $[1,q-<!--\; -\; -->1]$${\textstyle [1,q-1]}$ . Шаг 3. Проверьте, что $Q$${\textstyle Q}$  удовлетворяет уравнению эллиптической кривой, определяемому элементами поля $a,b$${\textstyle a,b}$ . Шаг 4. Проверьте, что $nQ=\mathcal{O}$${\textstyle nQ={\mathcal {O}}}$ . Шаг 5. Если какая-либо проверка не прошла, то вернуть "Отклонить", иначе "Принять".

Алгоритм генерации цифровой подписиПравить

Алиса, обладающая основными параметрами кривой $D$$D$  и закрытым ключом $d$$d$  хочет подписать сообщение $m$$m$ , для этого она должна сгенерировать подпись $(r,s)$$(r,s)$ .

В дальнейшем $\mathcal{H}$${\mathcal {H}}$  обозначает криптографическую хэш-функцию, выходное значение которой имеют битовую длину не более $n$$n$  (если это условие не выполняется, то выходное значение $\mathcal{H}$${\mathcal {H}}$  может быть усечено). Предполагается, что мы работаем со выходом функции, уже преобразованным в целое число.

Ввод: Основные параметры эллиптической кривой $D$${\textstyle D}$ , закрытый ключ $d$$d$ , сообщение $m$$m$ . Вывод: Подпись $(r,s)$$(r,s)$ .

Шаг 1. Выберите случайное или псевдослучайное целое число $k\in <!--\; \in \; -->[1,n-<!--\; -\; -->1]$$k\in [1,n-1]$ . Шаг 2. Вычислите координаты точки $kG=(x_1,y_1)$$kG=(x_{1},y_{1})$ . Шаг 3. Вычислите $r=x_{1}modn$$r=x_{1}{\bmod {n}}$ . Если $r=0$$r=0$ , тогда перейдите к шагу 1. Шаг 4. Вычислите $e=\mathcal{H}(m)$$e={\mathcal {H}}(m)$ . Шаг 5. Вычислите $s=k^{-<!--\; -\; -->1}(e+dr)modn$$s=k^{-1}(e+dr){\bmod {n}}$ . Если $s=0$$s=0$ , тогда перейдите к шагу 1. Шаг 6. Верните $(r,s)$$(r,s)$ .

Алгоритм проверки цифровой подписиПравить

Чтобы проверить подпись Алисы $(r,s)$$(r, s)$  сообщения $m$$m$ , Боб получает аутентичную копию её основных параметров кривой $D$$D$  и связанный с ними открытый ключ $Q$$Q$ :.

Ввод: Основные параметры эллиптической кривой $D$${\textstyle D}$ , открытый ключ $Q$$Q$ , сообщение $m$$m$ , подпись $(r,s)$$(r,s)$ . Вывод: Решение о принятии или отклонении подписи.

Шаг 1. Проверьте, что $r,s$$r,s$  - целые числа, принадлежащие $[1,n-<!--\; -\; -->1]$$[1,n-1]$ . Если какая-либо проверка не удалась, то вернуть "Отклонить". Шаг 2. Вычислите $e=\mathcal{H}(m)$$e={\mathcal {H}}(m)$ . Шаг 3. Вычислите $w=s^{-<!--\; -\; -->1}modn$$w=s^{-1}{\bmod {n}}$ . Шаг 4. Вычислите $u_1=ewmodn$$u_{1}=ew{\bmod {n}}$  и $u_2=rwmodn$$u_{2}=rw{\bmod {n}}$ . Шаг 5. Вычислите координаты точки $X=(x_2,y_2)=u_{1}G+u_{2}Q$$X=(x_{2},y_{2})=u_{1}G+u_{2}Q$ . Шаг 6. Если $X=\mathcal{O}$$X={\mathcal {O}}$ , то вернуть "Отклонить". Иначе вычислить $v=x_{2}modn$$v=x_{2}{\bmod {n}}$ . Шаг 7. Если $v=r$$v = r$ , то вернуть "Принять", иначе "Отклонить"

Доказательство работы алгоритма проверки цифровой подписи

Пусть подпись $(r,s)$$(r,s)$  для сообщения $m$$m$  действительно была сгенерирована Алисой, в таком случае, $s=k^{-<!--\; -\; -->1}(e+dr)modn$$s=k^{-1}(e+dr){\bmod {n}}$ . Перестановка дает следующее:

$$k\equiv <!--\; \equiv \; -->s^{-<!--\; -\; -->1}(e+dr)modn\equiv <!--\; \equiv \; -->(s^{-<!--\; -\; -->1}e+s^{-<!--\; -\; -->1}dr)modn\equiv <!--\; \equiv \; -->(we+wdr)modn\equiv <!--\; \equiv \; -->(u_1+u_{2}d)modn$$

 

Таким образом, получаем $X=(x_2,y_2)=u_{1}G+u_{2}Q=(u_1+u_{2}d)G=kG$${\textstyle X=(x_{2},y_{2})=u_{1}G+u_{2}Q=(u_{1}+u_{2}d)G=kG}$ , поэтому $v=r$${\textstyle v=r}$ , что и требовалось доказать.

Пример работы ECDSAПравить

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

1. Используя алгоритм генерации основных параметров, получим следующие значения: $p=114973$$p=114973$ , эллиптическая кривая $E:y^2=x^3-<!--\; -\; -->3x+69424$$E:y^{2}=x^{3}-3x+69424$ , и базовая точка $G=(11570,42257)$$G=(11570,42257)$  с порядком $n=114467$$n=114467$ .

2. Сгенерируем пару ключей, в соответвие с алгоритмом генерации ключевой пары:

Шаг 1. Выбираем $d=86109\in <!--\; \in \; -->[1,114466]$$d=86109\in [1,114466]$ . Шаг 2. Вычисляем координаты точки $Q=dG=(6345,28549)$$Q=dG=(6345,28549)$ .

3. Алгоритмом генерации цифровой подписи, подпишем сообщение, заданное в виде текста $m=worldof$${\textstyle m=worldof}$  с значением хэш-функции $e=\mathcal{H}(m)=1789679805$$e={\mathcal {H}}(m)=1789679805$ .

Шаг 1. Выбираем $k=84430\in <!--\; \in \; -->[1,114466]$$k=84430\in [1,114466]$ . Шаг 2. Вычисляем координаты точки $kG=(x_1,y_1)=(31167,10585)$$kG=(x_{1},y_{1})=(31167,10585)$ . Шаг 3. Вычисляем $r=x_{1}modn=31167mod114973=31167$${\textstyle r=x_{1}{\bmod {n}}=31167{\bmod {1}}14973=31167}$ . Шаг 4. Вычисляем $s=k^{-<!--\; -\; -->1}(e+dr)modn={84430}^{-<!--\; -\; -->1}(1789679805+86109\cdot <!--\; \cdot \; -->31167)mod114973=82722$${\textstyle s=k^{-1}(e+dr){\bmod {n}}=84430^{-1}(1789679805+86109\cdot 31167){\bmod {1}}14973=82722}$ .

4. Проверим достоверность подписи $(r,s)$$(r, s)$  для сообщения $m$$m$  с помощью алгоритма проверки цифровой подписи.

Шаг 1. Вычисляем $w=s^{-<!--\; -\; -->1}modn={82722}^{-<!--\; -\; -->1}mod114973=83035$$w=s^{-1}{\bmod {n}}=82722^{-1}{\bmod {1}}14973=83035$ . Шаг 2. Вычисляем $u_1=ewmodn=1789679805\cdot <!--\; \cdot \; -->83035mod114973=71001$$u_{1}=ew{\bmod {n}}=1789679805\cdot 83035{\bmod {1}}14973=71001$  и $u_2=rwmodn=31167\cdot <!--\; \cdot \; -->83035mod114973=81909$$u_{2}=rw{\bmod {n}}=31167\cdot 83035{\bmod {1}}14973=81909$ . Шаг 3. Вычисляем координаты точки $X=u_{1}G+u_{2}Q=(66931,53304)+(88970,41780)=(31167,31627)$$X=u_{1}G+u_{2}Q=(66931,53304)+(88970,41780)=(31167,31627)$ . Шаг 4. Вычислим $v=x_{2}modn=31167mod114973=31167$$v=x_{2}{\bmod {n}}=31167{\bmod {1}}14973=31167$ . Шаг 5. Проверяем $v=r=31167$$v=r=31167$ . Принимаем подпись.

БезопасностьПравить

ECDSA по сравнению c DSAПравить

Д. Брауном (Daniel R. L. Brown) было доказано, что алгоритм ECDSA не является более безопасным, чем DSA. Им было сформулировано ограничение безопасности для ECDSA, которое привело к следующему заключению: «Если группа эллиптической кривой может быть смоделирована основной группой и её хеш-функция удовлетворяет определённому обоснованному предположению, то ECDSA устойчива к атаке на основе подобранного открытого текста с существующей фальсификацией».

Математические преимуществаПравить

Стойкость алгоритма шифрования основывается на проблеме дискретного логарифма в группе точек эллиптической кривой. В отличие от проблемы простого дискретного логарифма и проблемы факторизации целого числа, не существует субэкспоненциального алгоритма для проблемы дискретного логарифма в группе точек эллиптической кривой. По этой причине «сила на один бит ключа» существенно выше в алгоритме, который использует эллиптические кривые.

Это означает, что в криптографии на эллиптических кривых можно использовать значительно меньшие параметры, чем в других системах с открытыми ключами, таких как RSA и DSA, но с эквивалентным уровнем безопасности. К примеру, битовый размер ключей: 160-битный ключ будет равносилен ключам с 1024-битным модулем в RSA и DSA при сопоставимом уровне безопасности (против известных атак). Преимущества, полученные от меньших размеров параметров (в частности, ключей), включают скорость выполнения алгоритма, эффективное использование энергии, пропускной полосы, памяти. Они особенно важны для приложений на устройствах с ограниченными возможностями, таких как смарт-карты.

Опасения по поводу разработанных алгоритмовПравить

Явной проблемой является отсутствие доверия к некоторым уже разработанным ранее алгоритмам. Например, NIST Special Publication 800-90, содержащая детерминированный генератор случайных битов на эллиптических кривых Dual_EC_DRBG. В самом стандарте содержится набор констант кривой, появление которых в представленном виде не объяснено, Шумоу и Фергюсон показали, что данные постоянные связаны с некоторым случайным набором чисел, работающим как бэкдор, возможно, для целей АНБ, но этому нет никаких достоверных подтверждений.

Практическая реализацияПравить

ECDSA реализован в таких криптографических библиотеках, как OpenSSL, Cryptlib, Crypto++, реализации протоколов GnuTLS, интерфейсе программирования приложений CryptoAPI. Существует и множество других программных реализаций алгоритма электронной цифровой подписи на эллиптических кривых, большинство из которых, в основном, сосредоточено на одном приложении, например, быстрой реализации для одного конкретного конечного поля.

ЛитератураПравить

• Liao H. Z., Shen Y. Y. On the Elliptic Curve Digital Signature Algorithm  (неопр.). «Tunghai Science» (2006). Дата обращения: 28 сентября 2022. Архивировано 28 сентября 2022 года.
• Hankerson D., Menezes A. J., Vanstone S. Guide to elliptic curve cryptography  (неопр.). «Springer Science & Business Media» (2006). Дата обращения: 16 ноября 2022.
• Lopez J., Dahab R. An overview of elliptic curve cryptography  (неопр.). «Institute of Computing. State University of Campinas» (2000). Дата обращения: 16 ноября 2022.
• Коржев В. Цифровая подпись. Эллиптические кривые  (неопр.). «Открытые системы» (8 августа 2002). Дата обращения: 16 ноября 2008. Архивировано 31 декабря 2012 года.
• Mayer H. ECDSA security in bitcoin and ethereum: a research survey  (неопр.). «CoinFaabrik» (28 июня 2016). Дата обращения: 28 сентября 2022. Архивировано 22 января 2022 года.
• Brown D. Generic groups, collision resistance, and ECDSA  (неопр.). «Codes and Cryptography» (26 февраля 2002). Дата обращения: 27 ноября 2008. Архивировано 27 февраля 2012 года.

СсылкиПравить

• Schneier B. The NSA Is Breaking Most Encryption on the Internet  (неопр.) (5 сентября 2013).
• Schneier B. The Strange Story of Dual_EC_DRBG  (неопр.) (5 сентября 2013).
• Neal Koblitz and Alfred Menezes  (неопр.) (1995). — Another Look at Generic Groups. Дата обращения: 27 ноября 2008. Архивировано 27 февраля 2012 года.
• Александрийский Д.  (неопр.) Издательство «Наукa», Главная редакция физико-математической литературы (1974). — Арифметика и книга о многоугольных числах. Дата обращения: 2 декабря 2022.