4 research outputs found
Efficient (ideal) lattice sieving using cross-polytope LSH
Combining the efficient cross-polytope locality-sensitive hash family of Terasawa and Tanaka with the heuristic lattice sieve algorithm of Micciancio and Voulgaris, we show how to obtain heuristic and practical speedups for solving the shortest vector problem (SVP) on both arbitrary and ideal lattices. In both cases, the asymptotic time complexity for solving SVP in dimension n is 2^(0.298n).
For any lattice, hashes can be computed in polynomial time, which makes our CPSieve algorithm much more practical than the SphereSieve of Laarhoven and De Weger, while the better asymptotic complexities imply that this algorithm will outperform the GaussSieve of Micciancio and Voulgaris and the HashSieve of Laarhoven in moderate dimensions as well. We performed tests to show this improvement in practice.
For ideal lattices, by observing that the hash of a shifted vector is a shift of the hash value of the original vector and constructing rerandomization matrices which preserve this property, we obtain not only a linear decrease in the space complexity, but also a linear speedup of the overall algorithm. We demonstrate the practicability of our cross-polytope ideal lattice sieve IdealCPSieve by applying the algorithm to cyclotomic ideal lattices from the ideal SVP challenge and to lattices which appear in the cryptanalysis of NTRU
Faster Sieving for Shortest Lattice Vectors Using Spherical Locality-Sensitive Hashing
Recently, it was shown that angular locality-sensitive hashing (LSH) can be used to significantly speed up lattice sieving, leading to heuristic time and space complexities for solving the shortest vector problem (SVP) of . We study the possibility of applying other LSH methods to sieving, and show that with the recent spherical LSH method of Andoni et al.\ we can heuristically solve SVP in time and space . We further show that a practical variant of the resulting SphereSieve is very similar to Wang et al.'s two-level sieve, with the key difference that we impose an order on the outer list of centers. Keywords: lattices, shortest vector problem, sieving algorithms, (approximate) nearest neighbor problem, locality-sensitive hashin
A comprehensive empirical comparison of parallel ListSieve and GaussSieve
The security of lattice-based cryptosystems is determined by
the performance of practical implementations of, among others, algo-
rithms for the Shortest Vector Problem (SVP).
In this paper, we conduct a comprehensive, empirical comparison of two
SVP-solvers: ListSieve and GaussSieve. We also propose a practical par-
allel implementation of ListSieve, which achieves super-linear speedups
on multi-core CPUs, with efficiency levels as high as 183%. By compar-
ing our implementation with a parallel implementation of GaussSieve, we
show that ListSieve can, in fact, outperform GaussSieve for a large num-
ber of threads, thus answering a question that was still open to this day