Operations of Points on Elliptic Curve in Affine Coordinates

Autor:	Yasunari Shidama, Yuichi Futa, Hiroyuki Okazaki
Jazyk:	angličtina
Rok vydání:	2020
Předmět:	14h52 Applied Mathematics 68t99 Algebra Computational Mathematics Elliptic curve 03b35 QA1-939 Affine transformation commutative operation 14k05 Mathematics Computer Science::Cryptography and Security elliptic curve
Zdroj:	Formalized Mathematics, Vol 27, Iss 3, Pp 315-320 (2019)
ISSN:	1898-9934
Popis:	In this article, we formalize in Mizar a binary operationof points on an elliptic curve overGF(p) in affine coordinates. We show that theoperation is unital, complementable and commutative. Elliptic curve cryptogra-phy, whose security is based on a difficulty of discrete logarithm problem ofelliptic curves, is important for information security. Article FORMALIZED MATHEMATICS 27(3) : 315-320(2020)
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ce56ac308e20b26d605a891f302aa4b https://soar-ir.repo.nii.ac.jp/records/2001208 Zobrazit plný text záznamu