Simple Verification of Completeness of Two Addition Formulas on Twisted Edwards Curves
Autor: | Robert Dryło, Tomasz Kijko |
---|---|
Jazyk: | angličtina |
Rok vydání: | 2020 |
Předmět: | |
Zdroj: | International Journal of Electronics and Telecommunications, Vol vol. 66, Iss No 3, Pp 459-464 (2020) |
Druh dokumentu: | article |
ISSN: | 2081-8491 2300-1933 |
DOI: | 10.24425/ijet.2020.131899 |
Popis: | Daniel Bernstein and Tanja Lange [9] proved that two given addition formulas on twisted Edwards elliptic curves ax2 +y2 = 1+dxy are complete (i.e. the sum of any two points on a curve can be computed using one of these formulas). In this paper we give simple verification of completeness of these formulas using a program written in Magma, which is based on the fact that completeness means that some systems of polynomial equations have no solutions. This method may also be useful to verify completeness of additions formulas on other models of elliptic curves. |
Databáze: | Directory of Open Access Journals |
Externí odkaz: |