Lower Bounds on Lattice Sieving and Information Set Decoding
Elena Kirshanova, Thijs Laarhoven
Abstract
. In two of the main areas of post-quantum cryptography, based on lattices and codes, nearest neighbor techniques have been used to speed up state-of-the-art cryptanalytic algorithms, and to obtain the lowest asymptotic cost estimates to date [May–Ozerov, Eurocrypt’15; Becker–Ducas–Gama– Laarhoven, SODA’16]. These upper bounds are useful for assessing the security of cryptosystems against known attacks, but to guarantee long-term security one would like to have closely matching lower bounds, showing that improvements on the algorithmic side will not drastically reduce the security in the future. As existing lower bounds from the nearest neighbor literature do not apply to the nearest neighbor problems appearing in this context, one might wonder whether further speedups to these cryptanalytic algorithms can still be found by only improving the nearest neighbor subroutines. We derive new lower bounds on the costs of solving the nearest neighbor search problems appearing in these cryptanalytic settings. For the Euclidean metric we show that for random data sets on the sphere, the locality-sensitive filtering approach of [Becker–Ducas–Gama–Laarhoven, SODA 2016] using spherical caps is optimal, and hence within a broad class of lattice sieving algorithms covering almost all approaches to date, their asymptotic time complexity of 2 0 . 292 d + o ( d ) is optimal. Similar conditional optimality results apply to lattice sieving variants, such as the 2 0 . 265 d + o ( d ) complexity for quantum sieving [Laarhoven, PhD thesis 2016] and previously derived complexity estimates for tuple sieving [Herold–Kirshanova–Laarhoven, PKC 2018]. For the Hamming metric we derive new lower bounds for nearest neighbor searching which almost match the best upper bounds from the literature [May– Ozerov, Eurocrypt 2015]. As a consequence we derive conditional lower bounds on decoding attacks, showing that also here one should search for improvements elsewhere to significantly undermine security estimates from the literature.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext debc2711-e640-4957-960d-ac95c99a4c2eBuilds on1
Related papers
- Asymptotics and Improvements of Sieving for CodesLéo Ducas, Andre Esser, Simona Etinski, Elena KirshanovaEUROCRYPT 2024 · 14 citations
- An Improved Quantum Algorithm for 3-Tuple Lattice SievingLynn Engelberts, Yanlin Chen, Amin Shiraz Gilani, Maya-Iggy van Hoof et al.CRYPTO 2026
- Implementing Grover Oracles for Quantum Key Search on AES and LowMCSamuel Jaques, Michael Naehrig, Martin Roetteler, Fernando VirdiaEUROCRYPT 2020 · 226 citations
- Falconn++: A Locality-sensitive Filtering Approach for Approximate Nearest Neighbor SearchNinh Pham, Tao LiuNeurIPS 2022 · 20 citations
- Learning to Hash Robustly, GuaranteedAlexandr Andoni, Daniel BeagleholeICML 2022 · 12 citations
