Россия, г. Елабуга эллиптические кривые в криптографии

Автор: Анисимова Э.С.

Журнал: Экономика и социум @ekonomika-socium

Статья в выпуске: 1-2 (14), 2015 года.

Бесплатный доступ

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

Эллиптическая кривая, дискретный логарифм, криптография

Короткий адрес: https://sciup.org/140110795

IDR: 140110795

Текст научной статьи Россия, г. Елабуга эллиптические кривые в криптографии

Эллиптическая кривая определяется уравнением

E ( GF ( q )): y 2 + a^xy + a3y = x 3 + aox 2 + a2x + a 4 (mod p )

q = p - конечное поле с характеристикой p.

Математическое свойство, которое делает эллиптические кривые полезными для криптографии, состоит в том, что если взять две различных точки на кривой, то соединяющая их хорда пересечет кривую в третьей точке (так как мы имеем кубическую кривую). Зеркально отразив эту точку по оси Х, мы получим еще одну точку на кривой (так как кривая симметрична относительно оси X). Если мы обозначим две первоначальных точки как P и Q, то получим последнюю – отраженную – точку P+Q. Это «сложение» удовлетворяет всем известным алгебраическим правилам для целых чисел.

Рис.1. Геометрическая иллюстрация операции сложение точек на ЭК

Эту операцию можно выразить следующими формулами: суммой двух точек

P ( ^ 1 , ^ 1 ) и

Q ( x 2 , У 2 )

является

точка

R ( x 3 , У 3 )

с координатами,

определяемыми следующими соотношениями: x 3 = 2 2 - x - x 2 (mod p )

. У з = 2 ( X i x з ) У 1 (mod p )

2 = y 2—Л (mod p ) где      x 2 - x 1

К точкам, лежащим на ЭК, добавляется еще одна специальная точка 0, которая называется бесконечно удаленной точкой.

Определим на точках ЭК операцию удвоения точки   P ( x i , y i ) . Точкой

2P является по определению точка Q ( x 2 , y 2 ) , удовлетворяющая уравнениям:

К

х2 = 2 2 X j (mod p )

_ У 2 = 2 ( X i х 2 ) У i (mod p )

(**)

2 = 3 X L i a (mod p ) где       2 У 1

Из этих уравнений видно, что бесконечно удаленная точка 0 может быть получена, как результат удвоения точки Р с нулевой координатой y, либо при сложении двух различных точек с одинаковой координатой x.

Таким образом, мы можем определить конечную абелеву группу на точках кривой, где нулем будет являться бесконечно удаленная точка. В частности если точки P и Q совпадут, то можно вычислить P+P, т.е. 2P. Развивая эту идею, можно определить kP для любого целого числа k, и следовательно, определить значение P и значение наименьшего целого числа k, такого, что kP = F, где F – бесконечно удаленная точка. Теперь можно сформулировать «Проблему дискретного логарифма эллиптической кривой» (Elliptic Curve Discrete Logarithm Problem – ECDLP), на которой основана рассматриваемая система:

Даны базовая точка P и расположенная на эллиптической кривой точка Q=kP. Найти значение k.

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

Для каждой эллиптической кривой число точек в группе конечно, но достаточно велико. Оценка порядка (числа элементов) группы точек эллиптической кривой m такова:

p + 1 - 2 Jp m p + 1 + 2 -jp

, где р — характеристика поля, над которым определена кривая. Если в схеме Эль-Гамаля рекомендуется использовать число р порядка 2512, то в случае эллиптической кривой достаточно взять p > 2255.

Упражнение. Построить абелеву группу точек кривой y x + 1 (mod 5)

.

В данном примере, а=0 и b=1. Если взять исходную точку P(0; 1), то по формулам (**)

Л = 3 x -(mod5) = 0

2 y 1           , откуда абсцисса т.2P будет

Возьмем поэтому, в качестве исходной точки, координатой x, например, P(2; 2). Имеем:

x i = 2,    X i2 = 4,   y i = 2,  2 y i = 4,    (2 У 1 ) " 1 = 4 (mod5)

также точку

равна нулю. с ненулевой

.

По

формулам

(**)

Л = 3 x 2 - ( 2 y )- 1 (mod5) = 4 4(mod5) = 1    x 2 = Л 2 - 2 x 1 (mod 5) = 1 - 4 (mod 5) = 2

,                                                                                               , y2 = /(x1 — x2)—У1 (mod5) = (2 — 2)—2 (mod5) = 3. Значит,   T.2P=(2,   3).

Найдем теперь т. 3P:

x 1 = 2, x 2 = 2, y 1 = 2, y 2 = 3 . По формулам (*)

Л =(y2 -yi)-(x2 -xi) (mod5) = x', откуда 3P = 0 - бесконечно удаленная точка.

Список литературы Россия, г. Елабуга эллиптические кривые в криптографии

  • Anisimova E.S., Ibatullin R.R. About One Method of On-Line Signature Verification Using Radial Basis Function//Modern Applied Science. -2015. -Vol. 9, No. 1. -pp. 137-148 DOI: 10.5539/mas.v9n1p137
  • Ansimova E.S. Fractals and digital steganography//Сборник научных трудов SWorld. -Выпуск 1. Том 6. -Одесса, 2014. -ЦИТ:114-575. -С. 69-71.
  • Анисимова Э.С. Сжатие изображений с помощью квадратичных кривых Безье//Естественные и математические науки в современном мире. №1 (13). Новосибирск: Изд. "СибАК", 2014. -С. 42-46.
  • Анисимова Э.С. Формирование математической компетентности студентов психолого-педагогического направления//Сборник научных трудов SWorld. -Выпуск 4. Том 19. -Одесса, 2013. -ЦИТ:413-0295. -С. 56-58.
  • Анисимова Э.С. Фрактальное кодирование изображений//Сборник научных трудов SWorld. -Выпуск 3. Том 4. -Одесса, 2013. -ЦИТ:313-0589. -С. 79-81.
  • Анисимова Э.С. Определение кредитоспособности физического лица в аналитическом пакете Deductor (BaseGroup)//Сборник научных трудов Sworld, 2014. -Т. 23. № 2. С. -78-81.
  • Филипов А.Ф., Анисимова Э.С. Калькулятор для работы с комплексными числами//Сборник научных трудов Sworld, 2014. -Т. 29. №2. -С. 47-50.
  • Тимофеев Д.С., Анисимова Э.С. Разработка электронного образовательного ресурса на площадке «Тулпар» системы дистанционного обучения КФУ//Сборник научных трудов Sworld, 2014. -Т.7. №2. -С.80-83.
  • Анисимова Э.С. Идентификация онлайн-подписи с помощью оконного преобразования Фурье и радиального базиса//Компьютерные исследования и моделирование, 2014. -Т. 6. № 3. -С. 357-364.
  • Анисимова Э.С. Идентификация подписи с использованием радиального базиса//Фундаментальные исследования, 2014. № 9-6. -С. 1185-1189.
  • Анисимова Э.С. Самоорганизующиеся карты Кохонена в задачах кластеризации//Актуальные проблемы гуманитарных и естественных наук, 2014. № 9. -С. 13-16.
  • Анисимова Э.С. Анализ кредитоспособности в пакете DEDUCTOR//Экономика и социум. 2014. № 2-1 (11). -С. 261-263.
  • Анисимова Э.С., Тимофеев Д.С. Разработка электронного курса по информатике в системе LMS MOODLE//Экономика и социум. 2014. № 2-1 (11). -С. 264-266.
Еще
Статья научная