×

An elementary linear-algebraic proof without computer-aided arguments for the group law on elliptic curves. (English) Zbl 1497.14057

Summary: The group structure on the rational points of elliptic curves plays several important roles, in mathematics and recently also in other areas such as cryptography. However, the famous proofs for the group property (in particular, for its associative law) require somewhat advanced mathematics and therefore are not easily accessible by non-mathematician. On the other hand, there have been attempts in the literature to give an elementary proof, but those rely on computer-aided calculation for some part in their proofs. In this paper, we give a self-contained proof of the associative law for this operation, assuming mathematical knowledge only at the level of basic linear algebra and not requiring computer-aided arguments.

MSC:

14H52 Elliptic curves
14G50 Applications to coding theory and cryptography of arithmetic geometry

Software:

ACL2
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] Koblitz, N., Elliptic curve cryptosystems, Math. Comp.48 (1987) 203-209. · Zbl 0622.94015
[2] Miller, V. S., Use of elliptic curves in cryptography, in Proc. CRYPTO, , Vol. 218 (Springer, 1986), pp. 417-426. · Zbl 0589.94005
[3] Lenstra, H. W. Jr., Elliptic curve factorisation and primality testing, in Computational Number Theory Conf. at Areata, California, (1985).
[4] Silverman, J. H., The Arithmetic of Elliptic Curves, 2nd edn., , Vol. 106 (Springer, 2016).
[5] Silverman, J. H. and Tate, J. T., Rational Points on Elliptic Curves, 2nd edn., (Springer, 2015). · Zbl 1346.11001
[6] Eklof, P. C., Lefschetz’s principle and local functors, Proc. Amer. Math. Soc.37 (1973) 333-339. · Zbl 0254.14004
[7] Friedl, S., An elementary proof of the group law for elliptic curves, Groups Complex. Cryptol.9 (2017) 117-123. · Zbl 1400.14086
[8] Russinoff, D. M., A computationally surveyable proof of the group properties of an elliptic curve, in Proc. ACL2 Theorem Prover and its Applications, EPTCS, Vol. 249 (Open Publishing Association, 2017), pp. 30-46.
[9] L. Théry, Proving the group law for elliptic curves formally, Technical Report RT-0330, INRIA (2007).
[10] Washington, L. C., Elliptic Curves: Number Theory and Cryptography, 2nd edn. (CRC Press, 2008). · Zbl 1200.11043
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.