<?xml version="1.0" encoding="iso-8859-1"?>
<?xml-stylesheet href="paper.xsl" type="text/xsl"?>
<paper xmlns="http://www.cse.ucsd.edu/daniele/XML">

  <filename>Cyclic</filename>
  
  <title>Generalized compact knapsaks, cyclic lattices 
  and efficient one-way functions
  </title>

  <author>Daniele Micciancio</author>

  <reference>
    <link>http://springerlink.metapress.com/link.asp?id=101499</link>
    <journal>Computational Complexity</journal>
    <year>2007</year>
    <volume>16</volume>
    <number>4</number>
    <pages>365-411</pages>
    <note>Special issue on worst-case to average-case complexity
    </note>
    <doi>10.1007/s00037-007-0234-9</doi>
  </reference>
  

  <abstract>
    <p xmlns="http://www.w3.org/1999/xhtml"> 
      We investigate the average case complexity of a generalization
      of the compact knapsack problem to arbitrary rings: given
      <em>m</em> (random) ring elements
      <em>a<sub>1</sub>,...,a<sub>m</sub></em> in <em>R</em> and a
      (random) target value <em>b</em> in <em>R</em>, find coefficients
      <em>x<sub>1</sub>,...,x<sub>m</sub></em> in <em>S</em> (where
      <em>S</em> is an appropriately chosen subset of <em>R</em>) such
      that <em>a<sub>1</sub>x<sub>1</sub> + ... +
      a<sub>m</sub>x<sub>m</sub> = b</em>. We consider compact versions
      of the generalized knapsack where the set <em>S</em> is large and
      the number of weights <em>m</em> is small. Most variants of this
      problem considered in the past (e.g., when <em>R = Z</em> is the
      ring of the integers) can be easily solved in polynomial time even
      in the worst case.
      
      We propose a new choice of the ring <em>R</em> and subset
      <em>S</em> that yields generalized compact knapsacks that are
      seemingly very hard to solve on the average, even for very small
      values of <em>m</em>.  Namely, we prove that for any unbounded
      function <em>m = omega(1)</em> with arbitrarily slow growth rate,
      solving our generalized compact knapsack problems <em>on the
      average</em> is at least as hard as the <em>worst-case</em>
      instance of various approximation problems over cyclic
      lattices. Specific worst-case lattice problems considered in this
      paper are the shortest independent vector problem
      <strong>SIVP</strong> and the guaranteed distance decoding problem
      <strong>GDD</strong> (a variant of the closest vector problem,
      <strong>CVP</strong>) for approximation factors
      <em>n<sup>1+epsilon</sup></em> almost linear in the dimension of
      the lattice.
      
      Our results yield very efficient and provably secure one-way
      functions (based on worst-case complexity assumptions) with key
      size and time complexity almost linear in the security parameter
      n. Previous constructions with similar security guarantees
      required quadratic key size and computation time. Our results can
      also be formulated as a connection between the worst-case and
      average-case complexity of various lattice problems over cyclic
      and quasi-cyclic lattices.
    </p>
  </abstract>

  <note>
    Preliminary versions in 
    <link doi="10.1109/SFCS.2002.1181960">FOCS 2002</link>
    and
    <eccc year="2004" number="TR04-095"/>
  </note>
</paper>
