Primality Proving with Elliptic Curves

Laurent Théry 1 Guillaume Hanrot 2
1 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
2 CACAO - Curves, Algebra, Computer Arithmetic, and so On
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Liste complète des métadonnées

https://hal.inria.fr/inria-00138382
Contributor : Guillaume Hanrot <>
Submitted on : Monday, March 26, 2007 - 10:42:07 AM
Last modification on : Thursday, February 14, 2019 - 4:02:03 PM
Document(s) archivé(s) le : Tuesday, April 6, 2010 - 10:10:24 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00138382, version 1

Collections

Citation

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

Share

Metrics

Record views

58

Files downloads

77