Изоморфизм несуперсингулярных кривых над полями характеристики 2 и кривых Эдвардса с одним параметром

Поиск кривых Эдвардса, приемлемых для криптографии. Сложность выполнения групповых операций на кривой Эдвардса, заданной в проективных координатах. Параметр, соответствующий стандарту ДСТУ 4145–2002. Изоморфизм канонической эллиптической кривой над полем.

Рубрика Математика
Вид статья
Язык русский
Дата добавления 19.06.2018
Размер файла 74,4 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

[Введите текст]

Размещено на http://www.allbest.ru/

96

ІSSN 0485-8972 Радиотехника. 2014. Вып. 176

ИЗОМОРФИЗМ НЕСУПЕРСИНГУЛЯРНЫХ КРИВЫХ НАД ПОЛЯМИ ХАРАКТЕРИСТИКИ 2 И КРИВЫХ ЭДВАРДСА С ОДНИМ ПАРАМЕТРОМ

А.В. БЕССАЛОВ, А.А. ДИХТЕНКО

Введение

Форма Эдвардса эллиптической кривой над полем характеристики задает симметричную относительно координат кривую с порядком, кратным 4 [1, 2, 5, 6]. Для всех кривых этого класса групповая операция выполняется рекордно малым числом арифметических операций в поле [2, 5]. Наряду с простыми полями большой характеристики в криптографии широко применяются расширенные поля F2m характеристики 2. Несмотря на различия в форме записи, кривым Эдвардса над полями F2m и (при ) присущи сходные свойства [3, 4, 7]. Для двух типов кривых Эдвардса нуль абелевой группы представляется парой аффинных координат, а соответствующий групповой закон справедлив для произвольной пары точек кривой (включая совпадающие, обратные точки, и нуль группы) [2, 3]. Минимальный кофактор в порядке кривой Эдвардса над полем F2m равен 2. Задачей работы является поиск кривых Эдвардса, приемлемых для криптографии. эллиптический эдвардс криптография проективный

В настоящей работе рассматриваются кривые в форме Эдвардса над расширенными полями F2m. Анализ оценок сложности операций сложения и удвоения точек кривой Эдвардса над полем F2m приводит к выводу, что наибольшая производительность присуща кривым с одним параметром d = d1 = d2. Между несуперсингулярными кривыми и кривыми Эдвардса в общем виде над полями F2m существует изоморфизм [3]. В разд. 3 находим условия, при которых для данной эллиптической кривой найдется изоморфная кривая Эдвардса с одним параметром d. Для известных канонических кривых из национальных стандартов (ДСТУ 4145 - 2002 [8, 9] и FIPS 186-2 - 2000 [8]), удовлетворяющих полученным условиям, были найдены изоморфные кривые Эдвардса с одним параметром d . В случае ДСТУ 4145 - 2002 таких кривых две, в американском стандарте FIPS 186-2 - 2000 данные условия выполняются для четырех кривых Коблица.

Кривые Эдвардса над расширенными полями характеристики 2

Кривая Эдвардса над полем F2m описывается уравнением в аффинных координатах [3]

(1)

где - пара элементов поля, удовлетворяющих условиям и . Закон сложения точек кривой (1) универсален и имеет вид

,

.(2)

Полнота закона (2) - наиболее весомый аргумент для включения кривых Эдвардса над полями F2m в проекты будущих стандартов шифрования. Нуль группы , как видно из (2), не изменяет координат другой точки в сумме. Прочие свойства кривых Эдвардса над полями четных и нечетных характеристик подробно рассмотрены в работах [3, 4, 7] и [1, 2, 5, 6] соответственно. Очевидно, что производительность криптосистемы в значительной мере зависит от ее параметров, и в случае кривых над полями F2m, актуален вопрос нахождения таких коэффициентов кривой Эдвардса, при которых будет достигаться максимальная скорость выполнения операций.

Проблема инверсии в формулах сложения (2) для кривой, заданной в аффинных координатах, решается переходом к проективным координатам. Подставив в уравнение (1) и умножив обе его части на (при ), получим однородное уравнение кривой Эдвардса над полем F2m с теми же параметрами :

, (3)

где .

Помимо точек вида при и а F2m*, которые соответствуют точкам аффинного представления, уравнению (3) удовлетворяют еще две точки с проективными координатами и . Обе являются сингулярными.

Сложность выполнения групповых операций на кривой Эдвардса, заданной в проективных координатах

Согласно [3] сложение в проективных координатах для кривых Эдвардса реализуется за операций в поле. Аналогичная величина для удвоения составляет и операций. Здесь , , - сложность умножения, возведения в квадрат и умножения на параметры в поле F2m. Главным преимуществом кривых

Эдвардса над полями F2m, как отмечалось, является полнота и универсальность закона сложения (2) [3, 4]. Производительность же данных кривых в общем случае не является максимальной [3]. Однако приведенные оценки сложности можно улучшить, если принять значения параметров кривой Эдвардса над полем F2m равными между собой. Другими словами, при имеем аффинную кривую вида

(4)

с соответствующим представлением в проективных координатах:

,

, и , . (5)

Для этого случая формулы сложения и удвоения будут иметь меньшую сложность: и операций в поле F2m [3].

Логично поставить вопрос, при каких условиях для данной канонической кривой можно найти изоморфную кривую Эдвардса вида (4) над полем и как связаны параметры таких кривых.

Условия изоморфизма канонической эллиптической кривой над полем F2m и кривой Эдвардса с одним параметром

Каноническая эллиптическая кривая (или несуперсингулярная кривая) задана над полем F2m аффинным уравнением

, (6)

где .

При построении кривых Эдвардса вида (1), изоморфных кривым вида (6) в работе [7] выбирали значение параметра так, чтобы выполнялись два условия: и . Далее вычисляли значение другого параметра по формуле [3, 7]. Пусть для кривой (6) существует изоморфная кривая Эдвардса вида (4). Тогда, принимая , получим систему

.(7)

Возьмем функцию следа от обеих частей первого уравнения системы, тогда с учетом получим . Теперь из 2-го и 3-го уравнений следует, что

(8)

Первая формула в системе (7) позволяет вычислить для изоморфной кривой Эдвардса единственное значение параметра d

, . (9)

Условие в (4) и существование квадратного корня у каждого элемента поля F2m обеспечивает разрешимость данного равенства.

Равенства (8), (9) задают изоморфизм между кривыми вида (6) и (4). Из всех несуперсингулярных кривых ровно половина кривых со следом отвечает этим условиям. Так как 8 не делит порядок мультипликативной группы поля , для каждого ненулевого параметра кривой (6) существует единственное значение параметра изоморфной кривой Эдвардса и обратно: - единственное значение для каждого d.

Из (8) следует, что все несуперсингулярные кривые и изоморфные им кривые Эдвардса вида (4) имеют порядок, кратный 4. В качестве примера можем взять две кривые действующего украинского стандарта ДСТУ 4145-2002 над полями со степенью расширения , соответственно, которые удовлетворяют условиям (8), (9).

В табл. 1 приведены параметры кривых в форме Эдвардса вида , изоморфных данным кривым в канонической форме над соответствующим полем, а также координаты генераторов криптосистемы.

Взяв за основу американский стандарт FIPS 186-2-2000 и принимая во внимание условия (8), (9), можно заметить, что каждой из четырех кривой Коблица с параметром изоморфна кривая Эдвардса с параметрами , над различными полями простых степеней расширения. В табл. 2 приведены координаты генераторов криптосистемы на кривых Эдвардса вида изоморфных данным кривым Коблица над соответствующим полем.

Таблица 1 Кривые Эдвардса, изоморфные каноническим кривым над полями F2m при , для случая украинского стандарта ДСТУ 4145-2002

m = 173

P(x) = x173 + x10 + x2+ x + 1, n=800000000000000000000189B4E67606E3825BB2831

=

194E92F31C2F97583B5B079A66498651CFF964D4EDC1

=

7F533BD52D2DDEAA0A26A9B1547AD25257F26E7E1BD

=

1310000C9C9510CA7EEAE41922062276B7C0EAE85512

m = 257

P(x) = x257 + x12 + 1, n=800000000000000000000000000000006759213AF182E987D3E17714907D470D

=

1A561C01C65FDA18821A29F0299C88C26C8A85C4F5F326BF152B115950E5AB7A6

=

12F1EFDA68924370FA29955383A6FCAB88CAD1E67BF61411F5D796838FA9F38B0

=

18E4BCBC54AD766E6834C60BBC8630661D42C8B075E024A3671922801063456FD

Таблица 2 Кривые Эдвардса, изоморфные кривым Коблица над полями F2m при , , , для случая американского стандарта FIPS 186-2-2000

K-233:

P(x) = x233 + x74 + 1, n=8000000000000000000000000000069D5BB915BCD46EFB1AD5F173ABDF

=

FACA9831F3C99277CF551679FE7245D52B11A048FC45C0B78BCEE6BF32

=

19BCD68FB073EBC8437C67422B12751BB1279087397553C8819C72CBE2

K-283:

P(x) = x283 + x12 + x7 + x5 + 1, n=1FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE9AE2ED07577265DFF7F94451E061E163C61

=

5AD205F99526557BC0731B3991187B66FCE4D30386D0864AE5318A21FFB4A96BD88CE9B

=

10142CE6C38325511BB593DEA87393A70D9CDB25D097DEF259E343850310470CF940318

K-409:

P(x) = x409 + x87 + 1, n=7FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFE5F83B2D4EA20400EC4557D5ED3E3E7CA5B4B5C83B8E01E5FCF

=

1CE08B54A8E78B891EB7E8D1DF23A74B0A4976E3C2FD33E984FEA99D2CD03AA3633127ADA8858E3854E7EBDF442F300FAE480

=

CCFE11FE0FD07C5F196CCA8672276D10C9489D344C33E230185BA43CDF3F505BE98285BCD2547BB274707811736A323B7E6FE7

K-571:

P(x) = x571 + x10 + x5 + x2 + 1, n=20000000000000000000000000000000000000000000000000000000000000000000000131850E1F19A63E4B391A8DB917F4138B630D84BE5D639381E91DEB45CFE778F637C1001

=

1653830605B1343AC3BB092259163566A374B13FF921A3EE4DD9C8B189443DE17B83D18B37B79870DFE06ABF1DCD13F22B4EC5918DC4DBA0BD6FA3F3EC86F59724215EC35A2D4E8

=

7CC37E95C30C6C3DC8286F24323FAFF14BF2EC60F0574DEBAA9F2AD2F08622CBCFEBA00DE29CA7D6B31E8F4AE96D3B9857908C1572263F94285E765FC3A94230BA175C142CDDB68

Закон сложения для кривых Коблица не обладает свойством полноты и универсальности (в отличие от случая кривых Эдвардса), и это можно трактовать как их недостаток. Однако сложность групповой операции в случае кривых Коблица все же будет меньшей, чем в случае изоморфных кривых Эдвардса, поэтому нельзя сделать однозначный вывод о превосходстве одной формы рассматриваемых кривых над другой.

Заключение

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

Исходя из имеющихся оценок сложности групповой операции [3], а также формул изоморфного преобразования [3, 7] между кривыми Эдвардса и каноническими эллиптическими кривыми над полями были получены условия существования кривой Эдвардса с одним параметром, изоморфной кривой в канонической форме. Далее были вычислены искомые значения параметров, соответствующие двум кривым из стандарта ДСТУ 4145-2002 (при и ).

Можно констатировать, что сравнительно немного кривых над полями из рассматриваемых стандартов удовлетворяют условию (8). Поэтому, для нахождения большего числа быстрых кривых Эдвардса необходимо искать новые кривые форме Эдвардса с почти простым значением порядка.

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

1. Edwards, H.M. A normal form for elliptic curves. Bulletin of the American Mathematical Society, Volume 44, Number 3, July 2007, Pages 393-422.

2. Bernstein Daniel J., Lange Tanja. Faster addition and doubling on elliptic curves. IST Programme under Contract IST-2002-507932 ECRYPT, 2007, PP. 1-20.

3. Bernstein Daniel J., Lange Tanja. Farashahi Reza Rezaeian. Binary Edwards curves. Cryptographic hardware and embedded systems-CHES 2008, 10th international workshop, Washington, D.C., USA, August 10--13, 2008, PP. 224-256.

4. Bernstein Daniel J. Batch binary Edwards. Advances in cryptology-Crypto 2009, 29th annual international cryptology conference, Santa Barbara, CA, USA, August 16--20, 2009, PP. 317-336.

5. Бессалов, А.В., Дихтенко, А.A., Третьяков, Д.Б. Сравнительная оценка быстродействия канонических эллиптических кривых и кривых в форме Эдвардса над конечным полем. Сучасний захист інформації, №4, 2011. С.33-36.

6. Бессалов, А.В., Дихтенко, А.А. Криптостойкие кривые Эдвардса над простыми полями // Прикладная радиоэлектроника. - 2013. - Т. 12, №2, - С.107-113.

7. Бессалов, А.В., Дихтенко, А.А. Изоморфные канонической форме эллмптические кривые Эдвардса над расширенными полями характеристики 2 // Радиотехника. - 2013. - Вып. 175. - С. 200 -205.

8. Бессалов, А.В., Телиженко, А.Б. Криптосистемы на эллиптических кривых : учеб. пособие. - К. : ІВЦ «Політехніка», 2004. - 224с.

9. Державний стандарт України. Інформаційні технології. Криптографічний захист інформації. Цифровий підпис, що ґрунтується на еліптичних кривих. Формування та перевірка ДСТУ 4145 - 2002. Видання офіційне. - К. : Держстандарт України, 2003 - 39с. Размещено на Allbest.ru

...

Подобные документы

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

    контрольная работа [133,5 K], добавлен 12.01.2011

  • Общее уравнение кривой второго порядка, преобразование систем координат. Классификация кривых по инвариантам, исследование уравнения кривой второго порядка. Изучение и примеры исследования инвариант поворота и параллельного переноса систем координат.

    курсовая работа [654,1 K], добавлен 28.09.2019

  • Понятие и способы образования плоских и кривых линий. Примеры пересечения алгебраической кривой линии. Поверхность в геометрии. Аргументы вектор-функции. Уравнения семейства линий. Способ построения касательной и нормали в произвольной точке лемнискаты.

    контрольная работа [329,5 K], добавлен 19.12.2014

  • Понятие и свойства плоских кривых, история их исследований, способы их образования, разновидности и свойства нормали. Методы построения некоторых видов кривых, называемых "Декартов лист", лемнискаты Бернулли, улитки Паскаля, строфоиды, циссоиды Диокла.

    курсовая работа [3,1 M], добавлен 29.03.2011

  • Многочлены над числовыми полями. Теорема о делении с остатком. Основные алгебраические структуры. Понятие линейного пространства, его базис и изоморфизм. Матрица линейного оператора в конечномерном линейном пространстве. Ранг и дефект линейного оператора.

    учебное пособие [342,8 K], добавлен 02.03.2009

  • Система кривых Пирсона. Применение ортогональных полиномов Чебышева при нахождении кривых распределения вероятностей. Примеры нахождения кривых распределения вероятностей и программное обеспечение.

    дипломная работа [230,5 K], добавлен 13.03.2003

  • Понятие и классификация кривых Безье, их разновидности и методика, основные этапы построения. Порядок и условия применения данных кривых в компьютерной графике. Преобразование квадратичных кривых в кубические. Финитные функции. В-сплайны Шёнберга.

    реферат [456,6 K], добавлен 14.01.2011

  • Основные свойства кривых второго порядка. Построение кривой в канонической и общей системах координат. Переход уравнения поверхности второго порядка к каноническому виду. Исследование формы поверхности методом сечений и построение полученных сечений.

    курсовая работа [166,1 K], добавлен 17.05.2011

  • Доказательство теоремы единственности для кривых второго порядка. Преимущества и недостатки разных способов доказательства теоремы единственности. Пучок кривых второго порядка. Методы решения теоремы единственности для поверхностей второго порядка.

    курсовая работа [302,7 K], добавлен 22.01.2011

  • Кривая и формы поверхности второго порядка. Анализ свойств кривых и поверхностей второго порядка. Исследование форм поверхности методом сечений плоскостями, построение линии, полученной в сечениях. Построение поверхности в канонической системе координат.

    курсовая работа [132,8 K], добавлен 28.06.2009

  • Сведения о плоских кривых. Замечательные кривые третьего порядка. Классификация Ньютона кривых третьего порядка. Циссоида и ее свойства. Преобразования плоскости, переводящие кривые второго порядка в кривые третьего порядка. Преобразования Маклорена.

    дипломная работа [960,1 K], добавлен 22.04.2011

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

    реферат [47,6 K], добавлен 17.05.2011

  • Понятие и свойства плоских кривых, история их исследований. Способы образования и разновидности плоских кривых. Кривые, изучаемые в школьном курсе математики. Разработка плана факультативных занятий по математике по теме "Кривые" в профильной школе.

    дипломная работа [906,7 K], добавлен 24.02.2010

  • Линия - общая часть двух смежных областей поверхности. Характеристика спиралей – плоских кривых линий. Кардиоида как плоская линия, описываемая фиксированной точкой окружности. Описание циклоида и астроида. Синусоидальная спираль как семейство кривых.

    контрольная работа [268,4 K], добавлен 17.11.2010

  • Задачи, приводящие к дифференциальным уравнениям. Теорема существования, единственности решения задачи Коши. Общее решение дифференциального уравнения, изображаемое семейством интегральных кривых на плоскости. Способ нахождения огибающей семейства кривых.

    реферат [165,4 K], добавлен 24.08.2015

  • Представление о взаимном расположении поверхностей в пространстве. Линейчатые и нелинейчатые поверхности вращения. Пересечение кривых поверхностей. Общие сведения о поверхностях. Общий способ построения линии пересечения одной поверхности другою.

    реферат [5,4 M], добавлен 10.01.2009

  • Моменты и центры масс плоских кривых. Теорема Гульдена. Площадь поверхности, образованной вращением дуги плоской кривой вокруг оси, лежащей в плоскости дуги и ее не пересекающей, равна произведению длины дуги на длину окружности.

    лекция [20,9 K], добавлен 04.09.2003

  • Роль идей и методов проективной геометрии в математической науке. Закономерности кривых второго порядка и кривых второго класса, основные теоремы Паскаля и Брианшона, описывающие замечательное свойство шестиугольника вписанного в кривую второго порядка.

    курсовая работа [1,9 M], добавлен 04.11.2013

  • Изучение явлений, происходящих в линейных цепях при периодических несинусоидальных напряжениях и токах. Разложение периодических несинусоидальных кривых в тригонометрический ряд Фурье. Основы разложения кривых, обладающих симметрией, и виды симметрии.

    презентация [290,3 K], добавлен 06.06.2014

  • Использование кривых второго порядка в компьютерных системах. Кривые второго порядка в 3d grapher. Жезл, гиперболическая спираль. Спираль Архимеда, логарифмическая спираль. Улитка Паскаля, четырех и трехлепестковая роза. Эпициклоида и гипоциклоида.

    реферат [221,1 K], добавлен 26.12.2014

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.