Edwards curves and elliptic function fields
Edwardsovy křivky a eliptická funkční tělesa
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/185105Identifikátory
SIS: 259347
Kolekce
- Kvalifikační práce [10695]
Autor
Vedoucí práce
Oponent práce
Žemlička, Jan
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Matematika pro informační technologie
Katedra / ústav / klinika
Katedra algebry
Datum obhajoby
12. 9. 2023
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Angličtina
Známka
Velmi dobře
Klíčová slova (česky)
Edwardsova křivka|přechýlená Edwardsova křivka|eliptické funkční těleso|divisor|hlavní divisor|sčítání bodů|Picardova grupaKlíčová slova (anglicky)
Edwards curve|twisted Edwards curve|elliptic function field|divisor|principal divisor|point addition|Picard groupV 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
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. 1