Název:
Edwardsovy křivky a eliptická funkční tělesa
Překlad názvu:
Edwards curves and elliptic function fields
Autoři:
Beran, Adam ; Drápal, Aleš (vedoucí práce) ; Žemlička, Jan (oponent) Typ dokumentu: Diplomové práce
Rok:
2023
Jazyk:
eng
Abstrakt: [eng][cze] In this thesis, we study twisted Edwards curves using the theory of algebraic function fields. After summarizing the basic theory, we focus on the structure of the function field for curves that are given by an equation of the form x2 2 = f(x1), where f is a monic polynomial of degree four. We show that twisted Edwards curves correspond to a special case when f(x1) = g(x2 1), where g is a quadratic polynomial with two distinct nonzero roots. We describe the basic properties of twisted Edwards curves, with special attention given to possible places at infinity. Next, we derive formulas for the point addition, which is achieved by using the relation between points on the curve, places of degree one and elements of the Picard group. Furthermore, we summarize how the point addition can be interpreted geometrically, and outline several alternative coordinate systems based on projective coordinates. Finally, we present two examples of twisted Edwards curves that are nowadays being used in cryptographic applications. 1V této práci se věnujeme studiu přechýlených Edwardsových křivek prostřed- nictvím teorie algebraických funkčních těles. Po shrnutí potřebných teoretických základů se zaměříme na popis struktury funkčního tělesa pro křivky, které jsou zadané rovnicí tvaru x2 2 = f(x1), kde f je monický polynom stupně čtyři. Uká- žeme, že přechýlené Edwardsovy křivky odpovídají speciálnímu případu, kdy platí f(x1) = g(x2 1), kde g je kvadratický polynom mající dva různé nenulové kořeny. Popíšeme základní vlastnosti přechýlených Edwardsových křivek, zvláštní pozor- nost věnujeme možným místům v nekonečnu. Následně odvodíme vzorečky pro sčítání bodů na křivce, čehož dosáhneme použitím vztahu mezi body na křivce, místy stupně jedna a prvky Picardovy grupy. Dále shrneme, jak lze sčítání bodů interpretovat geometricky, a stručně popíšeme několik alternativních souřadni- cových systémů založených na projektivních souřadnicích. Nakonec představíme dva příklady přechýlených Edwardsových křivek, jež jsou v současnosti využívané v kryptografických aplikacích. 1
Klíčová slova:
Edwardsova křivka|přechýlená Edwardsova křivka|eliptické funkční těleso|divisor|hlavní divisor|sčítání bodů|Picardova grupa; Edwards curve|twisted Edwards curve|elliptic function field|divisor|principal divisor|point addition|Picard group