Abstract:The worst-case hardness of finding short vectors in ideals of cyclotomic number fields (Ideal-SVP) is a central matter in lattice based cryptography. Assuming the worst-case hardness of Ideal-SVP allows to prove the Ring-LWE and Ring-SIS assumptions, and therefore to prove the security of numerous cryptographic schemes and protocols — including key-exchange, digital signatures, public-key encryption and fully-homomorphic encryption.A series of recent works has shown that Principal Ideal-SVP is not always as hard as finding short vectors in general lattices, and some schemes were broken using quantum algorithms — the Soliloquy encryption scheme, Smart-Vercauteren fully homomorphic encryption scheme from PKC 2010, and Gentry-Garg-Halevi cryptographic multilinear-maps from Eurocrypt 2013.Those broken schemes were using a special class of principal ideals, but these works also showed how to solve SVP for principal ideals in the worst-case in quantum polynomial time for an approximation factor of \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\exp (\tilde{O}(\sqrt{n}))$$\end{document}. This exposed an unexpected hardness gap between general lattices and some structured ones, and called into question the hardness of various problems over structured lattices, such as Ideal-SVP and Ring-LWE.In this work, we generalize the previous result to general ideals. Precisely, we show how to solve the close principal multiple problem (CPM) by exploiting the classical theorem that the class-group is annihilated by the (Galois-module action of) the so-called Stickelberger ideal. Under some plausible number-theoretical hypothesis, our approach provides a close principal multiple in quantum polynomial time. Combined with the previous results, this solves Ideal-SVP in the worst case in quantum polynomial time for an approximation factor of \documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$\exp (\tilde{O}(\sqrt{n}))$$\end{document}.Although it does not seem that the security of Ring-LWE based cryptosystems is directly affected, we contribute novel ideas to the cryptanalysis of schemes based on structured lattices. Moreover, our result shows a deepening of the gap between general lattices and structured ones.

Virtues of Priority

Mathematics, ethics and purism: an application of MacIntyre’s virtue theory

Priority and Correctness on "from Schoenberg to Pick-Nevanlinna: Toward a Complete Picture of the Variogram Class" by Porcu and Schilling (2011, Arxiv:0812.2936)

Short Stickelberger Class Relations and Application to Ideal-SVP

Moments of the critical values of families of elliptic curves, with applications

Priority and correctness on "From Schoenberg to Pick-Nevanlinna: Toward a complete picture of the variogram class" by Porcu and Schilling (2011, <a class="link-https" data-arxiv-id="0812.2936" href="https://arxiv.org/abs/0812.2936">arXiv:0812.2936</a>)

Notes on the Parity Conjecture

Brauer relations, isogenies and parities of ranks

Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context

Rational points and prime values of polynomials in moderately many variables

Curves, Jacobians, and Cryptography

Integers expressible as the sum of two rational cubes

On the Vinogradov mean value

Variations on a theme of Schinzel and Wójcik

Mathematical Existence

On the Classification of Weierstrass Elliptic Curves over $\mathbb{Z}_n$

Elliptic curves and class field theory

Generalizations of noncommutative Noether's problem

The Chevalley-Herbrand formula and the real abelian Main Conjecture

The lost proof of Fermat's last theorem

Hard Proofs and Good Reasons