%0 Unpublished work
%T Algebraic Algorithms for LWE Problems
%+ Danmarks Tekniske Universitet = Technical University of Denmark (DTU)
%+ Royal Holloway [University of London] (RHUL)
%+ Polynomial Systems (PolSys)
%A Albrecht, Martin
%A Cid, Carlos
%A Faugère, Jean-Charles
%A Fitzpatrick, Robert
%A Perret, Ludovic
%8 2014-10-08
%D 2014
%K Arora-GE
%K LWE
%K Gröbner bases
%K Algebraic Attacks
%Z Computer Science [cs]/Cryptography and Security [cs.CR]Preprints, Working Papers, ...
%X We analyse the complexity of algebraic algorithms for solving systems of linear equations with \emph{noise}. Such systems arise naturally in the theory of error-correcting codes as well as in computational learning theory. More recently, linear systems with noise have found application in cryptography. The \emph{Learning with Errors} (LWE) problem has proven to be a rich and versatile source of innovative cryptosystems, such as fully homomorphic encryption schemes. Despite the popularity of the LWE problem, the complexity of algorithms for solving it is not very well understood, particularly when variants of the original problem are considered. Here, we focus on and generalise a particular method for solving these systems, due to Arora \& Ge, which reduces the problem to non-linear but noise-free system solving. Firstly, we provide a refined complexity analysis for the original Arora-Ge algorithm for LWE. Secondly, we study the complexity of applying algorithms for computing Gröbner basis, a fundamental tool in computational commutative algebra, to solving Arora-Ge-style systems of non-linear equations. We show positive and negative results. On the one hand, we show that the use of Gröbner bases yields an exponential speed-up over the basic Arora-Ge approach. On the other hand, we give a negative answer to the natural question whether the use of such techniques can yield a subexponential algorithm for the LWE problem. Under a mild algebraic assumption, we show that it is highly unlikely that such an improvement exists. We also consider a variant of LWE known as BinaryError-LWE introduced by Micciancio and Peikert recently. By combining Gröbner basis algorithms with the Arora-Ge modelling, we show under a natural algebraic assumption that BinaryError-LWE can be solved in subexponential time as soon as the number of samples is quasi-linear, e.g.\ m=O(nloglogn)m=O(n \log \log n). We also derive precise complexity bounds for BinaryError-\LWE with m=O(n)m=O(n), showing that this new approach yields better results than best currently-known generic (exact) CVP solver as soon as m/n≥6.6m/n \geq 6.6. More generally, our results provide a good picture of the hardness degradation of BinaryError-LWE for a number of samples ranging from m=n(1+Ω(1/log(n))m=n\left(1+\Omega\big(1/{\rm log}(n)\right) (a case for which BinaryError-\LWE{} is as hard as solving some lattice problem in the worst case) to m=O(n2)m=O(n^2) (a case for which it can be solved in polynomial-time). This addresses an open question from Micciancio and Peikert. Whilst our results do not contradict the hardness results obtained by Micciancio and Peikert, they should rule out BinaryError-\LWE for many cryptographic applications. The results in this work depend crucially on the assumption the algebraic systems considered systems are not easier and not harder to solve than a random system of equations. We have verified experimentally such hypothesis. We also have been able to prove formally the assumptions is several restricted situations. We emphasize that these issues are highly non-trivial since proving our assumptions in full generality would allow to prove a famous conjecture in commutative algebra known as Fröberg's Conjecture.
%G English
%2 https://inria.hal.science/hal-01072721/document
%2 https://inria.hal.science/hal-01072721/file/structured_noise.pdf
%L hal-01072721
%U https://inria.hal.science/hal-01072721
%~ UPMC
%~ CNRS
%~ INRIA
%~ INRIA-ROCQ
%~ INRIA_TEST
%~ TESTALAIN1
%~ LIP6
%~ INRIA2
%~ UPMC_POLE_1
%~ SORBONNE-UNIVERSITE
%~ SU-SCIENCES
%~ SU-TI
%~ ANR
%~ ALLIANCE-SU
%~ INRIA-ROYAUMEUNI