Взаимосвязь семейств точек больших порядков кривой эдвардса




Скачать 228.66 Kb.
Дата02.04.2016
Размер228.66 Kb.
УДК 681.3.06

ВЗАИМОСВЯЗЬ СЕМЕЙСТВ ТОЧЕК БОЛЬШИХ ПОРЯДКОВ КРИВОЙ ЭДВАРДСА

НАД ПРОСТЫМ ПОЛЕМ

Анатолий Бессалов, Оксана Цыганкова

Предложена модификация закона сложения точек на кривой Эдвардса над простым полем. Доказаны 3 теоремы о свойствах координат точек больших порядков и вырожденной паре кривых кручения. Предложен алгоритм реконструкции всех неизвестных точек kP кривой Эдвардса лишь при 1/8 части известных точек.



Ключевые слова: эллиптическая кривая, кривая Эдвардса, порядок кривой, порядок точки, символ Лежандра, квадратичный вычет, квадратичный невычет, кривые кручения

Запропоновано модифікація закону додавання точок на кривій Едвардса над простим полем.. Доведено 3 теореми о властивостях координат точок великих порядків і виродженої парі кривих кручення. Запропоновано алгоритм реконструкції усіх невідомих точок kP кривої Едвардса, якщо лише 1/8 частина точок відома.



Ключові слова: еліптична крива, крива Едвардса, порядок кривої, порядок точці, символ Лежандра, квадратичний лишок, квадратичный нелишок, криві кручення

Updating of the addition law of Edwards's curve points over a simple field is offered. 3 theorems of properties of the big order point-coordinates and degenerate pair of twisted curves are proved. The algorithm of reconstruction of all unknown points kP of Edwards curve is offered, if only at 1/8 parts of points is known.


Key words: elliptic curve, Edwards curve, curve order, points order, Legendre symbol, square, non-square, twisted curves

Введение

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

Симметрия точек кривых Эдвардса относительно обеих координатных осей влечет за собой интересные и удобные свойства этих кривых. Исключая бесполезные изоморфные кривые, в кривых Эдвардса достаточно использовать один параметр d вместо обычных двух параметров a и b классической кривой в канонической форме. Занимаясь проблемой деления точки кривой на 2, обратной удвоению точки, авторы обнаружили простое условие делимости на 2 для точек кривой большого порядка (более 4-го). Оно формулируется и доказывается в теореме 1. В теореме 2 доказано важное свойство, связывающее обе координаты таких точек. При изучении свойств кривых были также найдены нетривиальные вырожденные пары кривых кручения, порождающие суперсингулярные кривые с порядком p + 1. В работе сформулирована и доказана теорема 3 о необходимых условиях существования таких пар кривых кручения. Доказаны также 2 утверждения о порядках точек кривой. Далее мы показали на примере, как знание всего 1/8 части точек кривой Эдвардса позволяет реконструировать все остальные точки этой кривой, заданные скалярным произведением kP. Такая возможность, однако, не упрощает проблемы дискретного логарифмирования для точек простого порядка.

Среди общесистемных параметров криптосистемы на эллиптических кривых важнейшим элементом является ее генератор как точка достаточно большого простого порядка n. При использовании кривых Эдвардса над простым полем порядок кривой NE = 4n, где n – большое простое число [1 – 3]. После нахождения случайной точки Q = (xQ, yQ) кривой генератор криптосистемы порядка n нетрудно найти как точку G = (xG, yG) = 4Q, для чего потребуется два удвоения (т.е. две групповые операции). В данной работе мы показываем, что задача нахождения генератора решается проще – двумя операциями в поле и одним удвоением в группе точек.

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

Идея и метод определения порядков точек кривых Эдвардса рассматривались в предыдущей работе [4]. Для этого мы привлекали решение задачи, обратной удвоению точки: деление точки на 2. В настоящей статье мы приводим новый подход к решению этой задачи и доказываем необходимое и достаточное условие делимости точки на 2. Это условие позволило сформировать простой алгоритм вычисления точек требуемого порядка для использования в криптосистемах.



  1. Модификация закона сложения точек кривой Эдвардса

Эдвардс в своей работе [1] впервые определил унифицированный закон сложения точек эллиптической кривой

EE : (1)

над любым полем характеристики p ≠ 2 следующей формулой



(2)

Для формы (1) кривой уже не надо рассматривать два закона сложения для различных и совпадающих точек, что приходится делать для кривой в форме Вейерштрасса [5]. Здесь при совпадении складываемых точек закон удвоения точки становится частным случаем (2)



(3)

Другим важным преимуществом формы кривой (1) является замена точки на бесконечности аффинной точкой как нейтрального элемента абелевой группы точек. Легко проверить согласно (2), что . На осях и находятся еще три базовых точки: точка 2-го порядка и две точки 4-го порядка , таких что . Если , то обратная точка , и в соответствии с (2) . Здесь имеет место вертикальная симметрия обратных точек относительно оси.

Для сохранения преемственности с кривыми в форме Вейерштрасса, где обратные точки симметричны относительно горизонтальной оси , мы предлагаем модификацию закона Эдвардса (2) сложения точек. Она сводится к повороту вправо на /2 всех точек кривой (1) на плоскости - . Модифицированный закон сложения точек имеет вид

(4)

Определяя теперь обратные точки как , получим согласно (4) . Сложение точки с нулем группы дает . Итак, координаты базовых точек для закона (4), равны: , точка 2-го порядка , точки 4-го порядка . Удвоение точки в соответствии с (4) принимает вид



(5)

Легко проверить, что и . Использование модифицированных законов (4), (5) позволяет вернуться к горизонтальной симметрии (относительно оси ) обратных точек, общепринятой в теории эллиптических кривых.

Так как любая ненулевая константа в форме (1) кривой дает изоморфную кривую над простым полем, мы в дальнейшем принимаем = 1. Второй параметр d этой кривой является квадратичным невычетом простого поля, т.е. для него символ Лежандра = – 1 [2, 3].

Заметим, что каждая не базовая точка порождает семейство из 8 точек , лежащих симметрично на одной окружности радиуса (по 2 в каждом квадранте). Все они связаны между собой через 3 базовых точки: D и F . По формуле (4) имеем:



,

Остальные 4 точки семейства формируются аналогично обратной точкой –Р.

Рассмотрим далее ряд новых свойств кривых (1) в форме Эдвардса.


  1. Необходимое и достаточное условие делимости точки кривой Эдвардса на два

Пусть и . В этом случае можно записать обратную удвоению (5) точки операцию деления точки на 2 как . Вторым решением операции деления на 2 будет точка , где D – точка 2-го порядка. Согласно (4) . Ясно, что удвоение этих двух точек дает один результат 2Р = 2Р*. Деление на 2 точки аддитивной группы имеет аналогию с извлечением корня квадратного из элемента мультипликативной группы поля характеристики . С этими операциями связаны родственные проблемы дискретного логарифмирования [5].

Воспользуемся формулой удвоения (5) при . Исключим из рассмотрения 4 базовые точки кривой (1), лежащие на окружности радиуса 1: нуль группы , точку 2-го порядка и 2 точки 4-го порядка . Согласно (1) вторую координату в (5) можно выразить двумя формулами



Обозначим , . Тогда с учетом введенных обозначений для одной точки P кривой, не лежащей на окружности радиуса 1, одновременно справедливы два квадратных уравнения



, (6)

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



(7)

и решениями



(8)

Вышеизложенное позволяет сформулировать и доказать следующую теорему.



Теорема 1. Для любой точки кривой Эдвардса (1), не лежащей на окружности радиуса 1, существуют 2 точки деления тогда и только тогда, когда . При точeк не существует.

Доказательство.

Необходимость. Удвоение любой точки Р с ненулевыми координатами согласно закону (5) порождает единственную точку , причем координаты точек Р и 2Р являются решениями двух квадратных уравнений (6) в поле Fp. Необходимым условием существования решения первого из уравнений (6), как следует из (5), является то, что элемент поля есть ненулевой квадрат в этом поле, т.е. . При выполнении этого условия кроме точки Р, для которой , существует еще одна точка , для которой , так как 2D = О. При первое уравнение (6) решений в поле Fp не имеет и точек деления на 2 не существует. Необходимость условия теоремы доказана.
Достаточность. Для любой не лежащей на единичной окружности точки Р кривой (1), для которой имеет место равенство (5), справедливы оба тождества (6). Достаточно потребовать, чтобы один из дискриминантов (7) был квадратичным вычетом, из этого сразу следует, что и второй дискриминант является квадратом. Действительно, пусть – точка кривой (1). Тогда равенство в этой точке можно записать как . Отсюда очевидно, что для любой точки кривой обе величины и либо одновременно являются квадратичными вычетами, либо – невычетами. В первом случае существуют две точки деления , во втором точек деления не существует.

Достаточность условия теоремы доказана.


При невыполнении условия теоремы для точки точек ее деления на 2 не существует. Это свойство позволяет без групповых операций находить точки максимального порядка 4n кривой Эдвардса.

Для 4-х базовых точек кривой Эдвардса , точки 2-го порядка и точек 4-го порядка на 2 делится обычно лишь точка D, так что (или ). Если кривая не имеет точек 8-го порядка, то точки F не делятся на 2, в противном случае нетрудно получить 4 точки 8-го порядка с координатами , где есть решение биквадратного уравнения [3].

В следующей теореме определяются новые свойства обеих координат точки кривой Эдвардса.

Теорема 2. Для любой не базовой точки кривой (1) при справедливо равенство .

Доказательство.

Для точки с учетом определения (1) () запишем произведение



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

Теорема 2 легко обобщается и на изоморфные кривые (1) с параметром . Действительно, с помощью замены получаем уравнение изоморфной (1) кривой . Для него условие теоремы справедливо после замены (x,y)→ (u,v) и d d′.

Для кривых Эдвардса, не имеющих точек 8-го порядка, элемент является квадратичным невычетом [3]. Тогда из теоремы 2 следует, что любая небазовая точка такой кривой имеет пару значений и , одно из которых есть квадратичный вычет, а другое – квадратичный невычет. В частности, для точки максимального порядка 4n элемент – квадратичный невычет, а – квадратичный вычет.


Определение координат точек деления на два рассмотрено в предыдущей работе [4]. Заметим, что при выполнении условия теоремы по формулам (8) можно найти все решения (8) квадратных уравнений (6), после чего определяются квадраты для координат точек деления на 2
. (9)

В отличие от работы [4] , мы здесь используем лишь одну координату точки , которая делится на два, с отбором квадратичных вычетов в (9). Результатом должны быть две точки и , для которых 2P = 2Р* = . В силу симметрии первого из уравнений (6) для и их значения могут поменяться местами, что требует проверки результата обратным удвоением.



  1. Вырожденные пары кривых кручения

Переход к кривой кручения для формы (1) Эдвардса осуществляется простой заменой [2,3], тогда порядки пары этих кривых . Для вырожденной пары кривых кручения параметр t = 0, порядок обеих кривых совпадает и равен . Такая кривая относится к классу криптографически слабых суперсингулярных кривых. Этот случай возможен лишь при , так как только тогда. Очевидным случаем вырожденной пары кручения является значение параметра кривой . Элемент (–1) при является квадратичным невычетом [5], т.е. допустимым параметром кривой (1). Так как при этом , уравнение кривой (1) не изменяется, и пара кривых кручения вырождается в одну кривую.

Авторы обнаружили еще один нетривиальный пример вырожденной пары кручения для кривой Эдвардса. Докажем следующую теорему.



Теорема 3. При и пара кривых кручения в форме Эдвардса над простым полем с параметрами и является вырожденной с порядком .

Доказательство.

Первое условие теоремы обсуждалось выше и связано с делимостью порядка кривой на 4. При выполнении второго условия элемент 2 поля Fp является квадратичным невычетом, т.е. [5], и он принадлежит к допустимым значениям параметра кривой с одной точкой 2-го порядка. Требуется доказать, что при оба уравнения пары кривых кручения имеют одинаковое число решений с порядком кривой.

Для всех точек кривой (1), кроме двух базовых точек О и D с координатами , можно записать равенство

(10)

Для кривой кручения после замены имеем



Умножив последнее равенство на , получим



(11)

причем в левой части имеем квадрат, так как – квадратичный вычет (а (–1)–квадратичный невычет при [5]). В тривиальном случае вырожденной пары кручения при уравнения (10) и (11) совпадают. При эти уравнения имеют вид:



(12)

. (13)

Покажем, что оба уравнения дают одинаковое число решений. При всех переменная пробегает всевозможные ненулевые значения из множества , среди элементов которого квадратичных вычетов. Область возможных значений величины в уравнении (12) смещается к величинам , среди которых элемент 0 вытеснил квадратичный невычет 2. Соответственно, в уравнении (13) область возможных значений величины включает элементы с вытеснением элементом 0 квадратичного невычета (–1). Отсюда следует, что число ненулевых квадратичных вычетов в обоих смещенных множествах одинаково и равно . Они дают ровно решений уравнений (12) и (13) с ненулевыми -координатами (т.е. точек кривой). Добавляя две отброшенные при анализе точки и, получаем порядок обеих кривых . Теорема доказана.

Значениями не исчерпывается перечень суперсингулярных кривых Эдвардса. В работе [6] доказано, что если элемент 3 поля является квадратичным вычетом при , то параметр также порождает суперсингулярную кривую.


  1. Определение точек kP кривой Эдвардса и их порядков

В криптосистемах приемлемыми являются кривые Эдвардса с минимальным кофактором 4 порядка кривой , где – достаточно большое простое число ( > 2163). Если порядок генератора кривой , то генератор криптосистемы имеет порядок . Точки 8-го порядка отсутствуют, если – квадратичный невычет [3].

Утверждение 1. На кривой Эдвардса порядка не существует точек деления на 2 для точек < > максимального порядка и точек F четвертого порядка, и существуют по две точки деления на 2 – для всех других точек кривой.

Доказательство. Каждой точке кривой отвечает скалярный множитель как элемент кольца целых чисел c операциями по модулю . Все нечетные элементы кольца , которым соответствуют точки кривой максимального порядка 4n и порядка 4 не делятся на 2 в кольце . С другой стороны, все четные элементы кольца при делении на два по модулю (или умножении на 2– 1) дают два значения и , удвоение которых по модулю N дает вновь . Возвращаясь к точкам кривой, заключаем, что утверждение 1 доказано.

Если случайная точка кривой имеет порядок , то обе точки деления на 2 имеют максимальный порядок . Действительно, удвоение этих точек порядка 4n дает одну точку порядка .

Если случайная точка кривой имеет порядок , то порядки точек деления на 2 отличаются вдвое и имеют значения и . Например, если , т.е. , то .

Прикладное значение доказанной в первом разделе статьи теоремы 1 очевидно. Для определения порядка точек кривой Эдвардса вовсе не требуется выполнять сложную операцию скалярного произведения . Если у случайной точки кривой величина – квадратичный невычет, то . В противном случае (с вероятностью 1/2) порядок точки равен или . Согласно теореме 2, если – квадратичный невычет, то элемент – квадратичный вычет. Меняя местами координаты и , мы сразу получаем точку порядка или со свойством делимости на 2. Удвоение любой такой точки дает генератор криптосистемы – точку порядка . Таким образом, для нахождения точки G требуется всего две операции в поле и одно удвоение в группе точек.



Пример. Рассмотрим кривые Эдвардса с модулем , для которого выполняются оба условия теоремы 2. Три суперсингулярные кривые с порядком сразу определяются при значениях . Если исключить также кривые с порядком, кратным 8 (для них – квадратичный вычет), останутся лишь две кривые с параметрами и , которые дают пару кривых кручения с порядками соответственно 28 и 12 (след уравнения Фробениуса для них t =  8). Точки первой из этих кривых представлены на рис.1. Они располагаются на четырех окружностях: 4 базовых точки на единичной окружности (на осях и ) и по 8 точек (семейства точек) на окружностях с радиусами

Рис.1. Точечный график кривой )

Обозначим – точки первого квадранта. Здесь точками максимального порядка 28 являются точки , для которых согласно теореме 1 значения являются квадратичными невычетами. Всех таких точек (28) = 12, по 3 точки в каждом квадранте ((m) – функция Эйлера [5]). Все они симметричны точкам относительно осей и . Кроме них, имеется (14) = 6 точек 14-го и (7) = 6 точек 7-го порядков. Удвоение точек согласно (5) дает точки 14-го порядка . Обратные точки имеют равные порядки, а делимые на 2 точки, симметричные относительно оси , имеют порядки 7 и 14, отличающиеся вдвое. Итак, в первом квадранте имеем одну точку 14-го порядка, и 2 точки и 7-го порядка. Зеркальные им относительно оси точки имеют, соответственно, порядки 7 и 14.

Формально циклическую группу точек кривой можно расположить на окружности в порядке нарастания по часовой стрелке скалярного числа . Для нашего примера такая точечная окружность представлена на рис.2. Назовем этот график колесом точек.



Рис.2. Расположение семейства точек кривой на колесе точек

Точки колеса, соединенные линиями, связаны как и . Для любой не базовой точки семейство из 8 связанных диаметральными линиями на рис.2 точек лежат на одной окружности на точечном графике кривой рис.1.

Знание приблизительно 1/8 части всех точек позволяет реконструировать все другие точки кривой. Пусть точка Р порождает все точки кривой и известны 4 точки: . Так как справедливо свойство мы далее легко находим точки , меняя местами координаты и их знаки соответственно точек . Координаты точек при представлены в таблице 1.



Таблица 1. Координаты точек кривой

kP

O

P

2P

3P

4P

5P

6P

7P

8P

9P

10P

11P

12P

13P

14P

xk

1

2

–8

–3

–5

–4

–9

0

9

4

5

3

8

–2

–1

yk

0

9

4

5

3

8

–2

–1

–2

8

3

5

4

9

0

Для определения координат точек правее точки 4-го порядка 7Р мы используем свойство или . Например, точка 13Р, симметричная точке и равная , имеет координаты . В таблице 1 хорошо видна симметрия (антисимметрия) координат точек верхней половины рис.2: все -координаты симметричны относительно точки 7Р, тогда как -координаты обратны по знаку. Точки нижней половины колеса рис.2 обратны точкам верхней половины с инверсией знака -координаты. Например, точка .

Итак, при известных 4-х точках (причем одна из них базовая мы без вычислений получили координаты всех 28 точек кривой Эдвардса. Разумеется, этот метод годится для кривой любого порядка, при этом предвычисления состоят в расчете координат сегмента точек для . Это составляет практически 1/8-ю часть порядка кривой.

Возвращаясь к точечному графику кривой на рис. 1, мы находим в таблице 2 все ее точки как скалярное произведение . Точки первого квадранта имеют порядок 28, точка имеет порядок 14, а две точки – порядок 7. Это подтверждает выводы предыдущего анализа. Почти все точки первого квадранта (кроме ) попали в верхнюю правую часть колеса рис.2, но это совпадение случайно. Статистика распределения знаков координат не известна, но скорее всего для больших полей их знаки () равновероятны.

Утверждение 2. Для кривой Эдвардса порядка любое семейство из 8 точек , лежащих на одной окружности, содержит 4 точки порядка , 2 точки порядка и 2 точки порядка .

Доказательство. Пусть , тогда пары точек в левой и в правой части колеса точек рис.2 имеют одинаковый порядок . В верхней части колеса точек имеем точки , причем – четные числа, одно из которых сравнимо с , а второе – с . Отсюда следует, что порядки этих точек равны и .

Пусть теперь , тогда точки имеют порядок , так как . Точки в верхней части рис.2 имеют сомножителями – нечетные числа, поэтому их порядки (и, соответственно, обратных им точек) максимальны и равны .

Наконец, пусть , тогда точки имеют порядок , так как . По аналогии с предыдущим абзацем остальные 4 точки имеют порядок . Утверждение 2 доказано.

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

Не следует считать, что приведенные выше замечательные свойства кривой Эдвардса снижают сложность вычисления дискретного логарифма в группе точек <> простого порядка . Согласно утверждению 2 из 8-ми точек каждого семейства на колесе точек рис.2 лишь 2 обратных точки имеют порядок подгруппы <>. Поэтому, как и для эллиптических кривых в канонической форме, сложность DLP [5] здесь снижается лишь вдвое за счет обратных точек. Тем не менее, эти свойства могут вдохновить исследователей на поиски новых методов решения проблемы дискретного логарифмирования.

Литература



  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. Bessalov A.V. Бессалов А.В. Число изоморфизмов и пар кручения кривых Эдвардса над простым полем. Радиотехника, вып. 167, 2011. С. 203-208.

  4. Бессалов А.В. Деление точки на два для кривой Эдвардса над простым полем. Прикладная радиоэлектроника, 2013, Том 12, №2 С. 278-279.

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

  6. Бессалов А.В. Построение кривой Эдвардса на базе изоморфной эллиптической кривой в канонической форме. Прикладная радиоэлектроника, 2014, Том 13, №3. – С.286-289.

Referenses



  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. Bessalov A.V. Number of isomorphisms and pairs of twisted Edwards curves over a prime field. Radio engineering, Vol. 167, 2011. PP. 203-208.

  4. Bessalov A.V. Point halving of Edwards curves over a prime field. Applied radioelectronics, 2013, Vol. 12, №2. PP. 278-279.

  5. Bessalov A.V., Telizhenko A.B. Elliptic Curve Cryptosistems. - К: "Polytechnic", 2004. – 224.

  6. Bessalov A.V. Construction of a Edwards curve on the basis of an isomorphic elliptic curve in a canonical form. Applied radioelectronics, 2014, Vol. 13, №3. - С.286-289.


Аннотация

Бессалов А.В., Цыганкова О.В. Взаимосвязь семейств точек больших порядков кривой Эдвардса над

простым полем. Предложена модификация закона сложения точек на кривой Эдвардса над простым полем. Она обеспечивает традиционную горизонтальную симметрию обратных точек эллиптической кривой. Доказаны 2 теоремы о свойствах координат точек больших порядков, порожденных операцией деления точки на 2, обратной удвоению точки. На их основе можно находить порядки точек без групповых операций лишь двумя операциями в поле. Доказана теорема 3 о вырожденной паре кривых кручения при и с параметрами и и порядком . Доказано утверждение 1 о несуществовании точек деления на 2 для точек максимального порядка и точек 4-го порядка. Доказано утверждение 2, что при среди 8 точек семейства точек, лежащих на одной окружности, 2 точки имеют порядок , 2 точки – порядок и 4 точки – максимальный порядок . Предложен алгоритм реконструкции без вычислений всех неизвестных точек кривой Эдвардса лишь при 1/8 части известных точек.
Ключевые слова: эллиптическая кривая, кривая Эдвардса, порядок кривой, порядок точки, символ Лежандра, квадратичный вычет, квадратичный невычет, кривые кручения

Бессалов А.В., Циганкова О.В. Взаемозв’язок сімейств точок великих порядків кривої Едвардса над

простим полем. Запропоновано модифікація закону додавання точок на кривій Едвардса над простим полем. Вона забезпечує традиційну горизонтальну симетрію обернених точок еліптичної кривої. Доведено 2 теореми о властивостях координат точок великих порядків, які породжені операцією ділення точці на 2, протилежної здвоєнню точці. На цієї основі можна знаходить порядки точок без групових операцій лише двома операціями у полі. Доведено теорема 3 о виродженої парі кривих кручення при и з параметрами и і порядком . Доведено твердження 1 про не існування точок ділення на 2 для точок максимального порядку и точок 4-го порядку. Доведено твердження 2, що при серед 8 точок сімейства точок, які лежать на одному колі. 2 точці мають порядок , 2 точці – порядок и 4 точці – максимальний порядок . Запропоновано алгоритм реконструкції без обчислень усіх невідомих точок кривої Едвардса, якщо лише 1/8 частина точок відома.
Ключові слова: еліптична крива, крива Едвардса, порядок кривої, порядок точці, символ Лежандра, квадратичний лишок, квадратичний не лишок, криві кручення

Bessalov A.V., Tsygankova O.V. Correlation of big order points sets of the Edwards curves over prime field. Modification of the addition law of an Edwards curve points over a prime field is offered. It ensures traditional horizontal symmetry of inverse points of an elliptic curve. 2 theorems of properties of points co-ordinates of the big order points are proved. These properties generated by point halving, inverse of point doubling. On their basis it is possible to calculate of points order with only two operations in the field without group operations. The theorem 3 about degenerate pair of twisted curves with order is proved, if and , or . The statement 1 about a non-existence of point halving for points of a maximum order and points of 4th order is proved. The statement 2 is proved that at among 8 points of a set of the points lying on one circle, 2 points have an order , 2 points - an order and 4 points - a maximum order . The algorithm of reconstruction without evaluations of all unknown points of a of Edwards curve is offered, if only at 1/8 parts of points is known.

Key words: elliptic curve, Edwards curve, curve order, points order, Legendre symbol, square, non-square, twisted curves


База данных защищена авторским правом ©uverenniy.ru 2016
обратиться к администрации

    Главная страница