Primality Proving with Elliptic Curves - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2007

Primality Proving with Elliptic Curves

(1) , (2)
1
2
Laurent Théry

Abstract

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 (171.02 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)

Identifiers

  • HAL Id : inria-00138382 , version 1

Cite

Laurent Théry, Guillaume Hanrot. Primality Proving with Elliptic Curves. [Research Report] RR-6155, 2007. ⟨inria-00138382v1⟩

Collections

INRIA-RRRT
1465 View
584 Download

Share

Gmail Facebook Twitter LinkedIn More