The Group Law for Elliptic Curves

 

Title: The Group Law for Elliptic Curves
Author: Stefan Berghofer
Submission date: 2017-02-28
Abstract: We prove the group law for elliptic curves in Weierstrass form over fields of characteristic greater than 2. In addition to affine coordinates, we also formalize projective coordinates, which allow for more efficient computations. By specializing the abstract formalization to prime fields, we can apply the curve operations to parameters used in standard security protocols.
BibTeX:
@article{Elliptic_Curves_Group_Law-AFP,
  author  = {Stefan Berghofer},
  title   = {The Group Law for Elliptic Curves},
  journal = {Archive of Formal Proofs},
  month   = feb,
  year    = 2017,
  note    = {\url{http://isa-afp.org/entries/Elliptic_Curves_Group_Law.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}
License: BSD License