2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Сложение точек эллиптической кривой
Сообщение27.10.2019, 15:09 


02/04/18
44
Мы рассматриваем эллиптическую кривую над некоторым полем $\mathbb{F}$. Кривая задается уравнением $Y^2 + a_1 XY +a_3 Y = X^3 + a_2 X^2 + a_4 X + a_6 $. В соответствии с определением эллиптической кривой, она гладкая, т.е. частные производные не равны нулю одновременно, но случай, когда одна из частных производных равна нулю, а другая нет, возможен. Для сложения точки на эллиптической кривой с самой собой предлагается использовать прямую $ y-y' = \lambda' (P) (x-x') $, где $ \lambda' (P) = \frac{\partial F(X,Y) / \partial X}{\partial F(X,Y) / \partial Y} |_{X=x',Y=y'} $. Знаменатель равный $ 2Y +a_1 X +a_3 $ утверждается, что не может быть нулевым. Это оказалось мне не очевидным.

Мои идеи: 1) Если $x' , y'$ удовлетворяют уравнению кривой, то они не могут удовлетворять уравнению $ 2Y +a_1 X +a_3 = 0 $. Пытался доказать подстановкой переменных, но что-то ничего путного не вышло.
2) Если $2Y +a_1 X +a_3 = 0$, то и $\partial F(X,Y) / \partial X = a_1 Y - 3X^2 - 2a_2 X - a_4$ обратится в ноль. Опять доказать не вышло.

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

 Профиль  
                  
 
 Re: Сложение точек эллиптической кривой
Сообщение27.10.2019, 23:48 
Заслуженный участник


18/01/15
3363
error420 в сообщении #1422639 писал(а):
Пытался доказать подстановкой переменных, но что-то ничего путного не вышло.
Детально не смотрел, но, кажется, действительно там ерунда написана.

error420 в сообщении #1422639 писал(а):
Если посоветуете еще литературы был бы благодарен.

Кое-чего для общеалгебраического образования я вам уже полтора года назад советовал.
Присовокупим сюда
Уокер, Алгебраические кривые;
Рид, Алгебраическая геометрия для всех;
Garrity, Belshof и др, , Algebraic geometry: a problem solving approach (т.е. "Алгебраическая геометрия в задачах. Кажется, хорошая, годная книжка).

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 2 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: YandexBot [bot]


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group