Towards faster polynomial-time lattice reduction - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Towards faster polynomial-time lattice reduction

Résumé

The LLL algorithm is a polynomial-time algorithm for reducing d-dimensional lattice with exponential approximation factor. Currently, the most efficient variant of lll, by Neumaier and Stehlé, has a theoretical running time in d^4•B^{1+o(1)} where B is the bitlength of the entries, but has never been implemented. This work introduces new asymptotically fast, parallel, yet heuristic, reduction algorithms with their optimized implementations. Our algorithms are recursive and fully exploit fast matrix multiplication. We experimentally demonstrate that by carefully controlling the floating-point precision during the recursion steps, we can reduce euclidean lattices of rank d in time Õ(d^ω•C), i.e., almost a constant number of matrix multiplications, where ω is the exponent of matrix multiplication and C is the log of the condition number of the matrix. For cryptographic applications, C is close to B, while it can be up to d times larger in the worst case. It improves the running-time of the state-of-the-art implementation fplll by a multiplicative factor of order $d^2•B$. Further, we show that we can reduce structured lattices, the socalled knapsack lattices, in time Õ(d^{ω−1}•C) with a progressive reduction strategy. Besides allowing reducing huge lattices, our implementation can break several instances of Fully Homomorphic Encryption schemes based on large integers in dimension 2,230 with 4 millions of bits.
Fichier principal
Vignette du fichier
main_final.pdf (953.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03558739 , version 1 (04-02-2022)
hal-03558739 , version 2 (31-03-2022)

Identifiants

Citer

Paul Kirchner, Thomas Espitau, Pierre-Alain Fouque. Towards faster polynomial-time lattice reduction. CRYPTO 2021, Aug 2021, Santa Barbara / Virtual, United States. ⟨10.1007/978-3-030-84245-1_26⟩. ⟨hal-03558739v2⟩
137 Consultations
292 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More