A survey of elliptic curves for proof systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Designs, Codes and Cryptography Année : 2022

A survey of elliptic curves for proof systems

Résumé

Elliptic curves have become key ingredients for instantiating zero-knowledge proofs and more generally proof systems. Recently, there have been many tailored constructions of these curves that aim at efficiently implementing different kinds of proof systems. In this survey we provide the reader with a comprehensive overview on existing work and revisit the contributions in terms of efficiency and security. We present an overview at three stages of the process: curves to instantiate a SNARK, curves to instantiate a recursive SNARK, and also curves to express an elliptic-curve related statement. We provide new constructions of curves for SNARKs and generalize the state-of-the-art constructions for recursive SNARKs. We also exhaustively document the existing work and open-source implementations.
Fichier principal
Vignette du fichier
AranhaElHousniGuillevic22.pdf (860.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03667798 , version 1 (13-05-2022)
hal-03667798 , version 2 (14-10-2022)

Licence

Paternité

Identifiants

Citer

Diego F. Aranha, Youssef El Housni, Aurore Guillevic. A survey of elliptic curves for proof systems. Designs, Codes and Cryptography, 2022, Special Issue: Mathematics of Zero-Knowledge, 91 (11), pp.3333-3378. ⟨10.1007/s10623-022-01135-y⟩. ⟨hal-03667798v2⟩
350 Consultations
804 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More