Cargando…

Formal Proof of the Group Law for Edwards Elliptic Curves

This article gives an elementary computational proof of the group law for Edwards elliptic curves. The associative law is expressed as a polynomial identity over the integers that is directly checked by polynomial division. Unlike other proofs, no preliminaries such as intersection numbers, Bézout’s...

Descripción completa

Detalles Bibliográficos
Autores principales: Hales, Thomas, Raya, Rodrigo
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7324045/
http://dx.doi.org/10.1007/978-3-030-51054-1_15