Primality Proving with Elliptic Curves - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Primality Proving with Elliptic Curves

Laurent Théry


Elliptic curves are fascinating mathematical objects. In this paper, we present the way they have been represented inside the {\sc Coq} system, and how we have proved that the classical composition law on the points is internal and gives them a group structure. We then describe how having elliptic curves inside a prover makes it possible to derive a checker for proving the primality of natural numbers.
Fichier principal
Vignette du fichier
paper.pdf (156.3 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00138382 , version 1 (26-03-2007)
inria-00138382 , version 2 (09-04-2007)


  • HAL Id : inria-00138382 , version 2


Laurent Théry, Guillaume Hanrot. Primality Proving with Elliptic Curves. TPHOL 2007, Sep 2007, Kaiserslautern, Germany. pp.319-333. ⟨inria-00138382v2⟩
1582 View
631 Download


Gmail Facebook X LinkedIn More