<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Maksim Iavich</string-name>
          <email>m.iavich@scsa.ge</email>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Avtandil Gagnidze</string-name>
          <email>gagnidzeavto@yahoo.com</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Giorgi Iashvili</string-name>
          <email>g.iashvili@scsa.ge</email>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Sergiy Gnatyuk</string-name>
          <email>sergio.gnatyuk@gmail.com</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Vira Vialkova</string-name>
          <email>veravialkova@gmail.com</email>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Faculty of Business, Management, Int. Black Sea University</institution>
          ,
          <addr-line>Tbilisi</addr-line>
          ,
          <country country="GE">Georgia</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>IT Security dept. National, Aviation University</institution>
          ,
          <addr-line>Kyiv</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>IT dept. School of, Technology, Caucasus University</institution>
          ,
          <addr-line>Tbilisi</addr-line>
          ,
          <country country="GE">Georgia</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>dept.of Cyber Security, Taras Shevchenko National, University</institution>
          ,
          <addr-line>Kyiv</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
      </contrib-group>
      <fpage>13</fpage>
      <lpage>16</lpage>
      <abstract>
        <p>- Scientists are actively working on the creation of quantum computers. Quantum computers can easily solve the problem of factoring the large numbers. As the result of it quantum computers are able to break the crypto system RSA, which is used in many products. Hash based digital signatures are the alternative to RSA. These systems use cryptographic hash function. The security of these systems depends on the resistance to collisions of the hash functions that they use. The paper analyzes hash based digital signature schemes. It is shown, that hash and one way functions must be used many times during the implementation of the hash based digital signature schemes. Great attention must be paid on the security and the efficiency of these functions. Hash functions are considered to be resistant to quantum computer attacks, but the Grover algorithm allows us to achieve quadratic acceleration in the search algorithms. It means that hash functions must be complicated to be secure against quantum computers attacks. Scientists are working on determination of the cost of attacks on SHA2 and SHA3 families of hash functions. It is recommended to use lattice based constructions for one way and hash functions. Lattice based crypto systems are one of the alternatives to RSA. These crypto systems have very reliable security evidence, based on "worst-case hardness", and are resistant to attacks of quantum computers. The security of lattice based crypto system is based on the complexity of lattice problems, the main one of them is the shortest vector (SVP) problem.</p>
      </abstract>
      <kwd-group>
        <kwd>lattice</kwd>
        <kwd>lattice-based crypto system</kwd>
        <kwd>hash-based crypto system</kwd>
        <kwd>Merkle crypto system</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>It is proposed to use the lattice-based hash function instead of the
standard one, and to use lattice based one-way function as a one-way
function in hash-based digital signature scheme. It is analyzed the
possibility of using the family of one-way functions, suggested by
Ajtai. In this paper, it is proposed to use the one-way functions offered
by Ajtai and it can be considered as the initial idea. It is worth to
consider the idea of using optimized one-way lattice based functions.
As the result we get the secure hybrid of lattice based and hash based
crypto systems, that can be used in post-quantum epoch.</p>
    </sec>
    <sec id="sec-2">
      <title>I. INTRODUCTION</title>
      <p>Digital signature is a requisite of the electronic document,
which is obtained by the cryptographic transformation and gives
© 2019 for this paper by its authors. Use permitted under Creative
Commons License Attribution 4.0 International (CC BY 4.0)</p>
      <p>D-Wave 2X is the latest quantum processor, which contains
2048 physical qubits. In this model of quantum computer 1152
qubits are used to perform calculations. Each additional qubit
also enlarges twice the search space so increases the speed of the
calculations.</p>
      <p>Quantum computer will be able to destroy most of all or
completely all the traditional widely used cryptosystems,
concretely, systems based on the integer factorization task (e.g.
RSA). Some cryptosystems, such as RSA, with four
thousandbit key are considered to be safe against the classical computers
attacks, but they are powerless against the quantum computer
attacks. The security of digital signatures is based on the
complexity of discrete algorithm solution and the large integers
factorization problem. Quantum computers will easily
overcome this problem and it will cause the breaking of digital
signatures, implying the absolute failure.</p>
    </sec>
    <sec id="sec-3">
      <title>II. LATTICE BASED CRYPTO SYSTEMS</title>
      <p>
        Lattice based crypto systems are one of the alternatives to
RSA. These crypto systems have very reliable security
evidence, based on "worst-case hardness", and are resistant to
attacks of quantum computers. The security of lattice based
crypto system is based on the complexity of lattice problems,
the main one of which is the shortest vector (SVP) problem
[
        <xref ref-type="bibr" rid="ref1 ref2">1-3</xref>
        ].
      </p>
      <p>
        A. Lattice based one-way functions. Ajtai offered a family of
one-way functions with the security based on the worst cases of
approximate SVP with accuracy nt, where t is an integer[4].
Later Goldreich showed that this function is resistant to
collisions, and it gives us the opportunity to use it as a hash
function [
        <xref ref-type="bibr" rid="ref3">5</xref>
        ]. A lot of work is done to reduce the size of the
constant and in recent works the constant is already equal to 1.
      </p>
    </sec>
    <sec id="sec-4">
      <title>It is calculated as follows:</title>
      <p>f – is one way function:
yi[j] = f(xi[j]), 0&lt;=i&lt;=n-1, j=0,1
f: {0,1} n {0,1} n;
As we see, for generating Y the one-way function f is used 2n
times.</p>
      <p>D. Signature of the message. To sign the message m, we hash:
h- is a cryptographic hash function:</p>
    </sec>
    <sec id="sec-5">
      <title>The signature is calculated as follows:</title>
      <p>h: {0,1} * {0,1} n
sig= (xn-1[hash n-1], …, x0[hash0]) ∈ {0,1} n,n
The size of the signature is n2, one-way function f is not used.
E. Message verification. To verify the signature sig, the
message is hashed</p>
      <p>hash = (hashn-1, … , hash0)
After that the following equality is verified:
The function has parameters n, m, a and b, which are integers.
The security of the function depends on the choice of n. In the
case of hashing m must be greater than nlog a/ log b.
Matrix K from Zn×ma is chosen as a key. One-way function f
works as follows:
f(x) = Kx mod a. The function transforms mlog b into nlog a
bit. As we can see, all the arithmetic can be performed very
effectively without using the precision of integers commonly
used in cryptographic functions.</p>
      <p>
        B. Hash-based crypto systems. Hash based digital signatures are
also the alternative to RSA. These systems use cryptographic
hash function. The security of these systems depends on the
resistance to collisions of the hash functions, that they use [
        <xref ref-type="bibr" rid="ref4 ref5">6,7</xref>
        ].
(f(sign-1), …, f(sig0)) = (yn-1[hashn-1], …, y0[hash0])
(8)
If the equation is true, then the signature is correct.
For verification the one-way function f is used n times.
F. Winternitz one-time signature scheme. In the Lamport
scheme key generation and signature generation are efficient,
but the signature size is equal to n2.
      </p>
      <p>
        Winternitz one-time signature scheme is used to reduce the size
[
        <xref ref-type="bibr" rid="ref8">9</xref>
        ]. In this scheme several bits of the hashed message are
simultaneously signed by one line of the key.
      </p>
      <p>The Winternitz parameter is the number of bits of the hashed
message that will be signed simultaneously. It is chosen as
w&gt;=2.</p>
      <p>C. One-time signatures. Lamport–Diffie one-time signature</p>
    </sec>
    <sec id="sec-6">
      <title>After that we calculate:</title>
      <p>scheme.</p>
      <p>
        Lamport–Diffie one-time signature scheme was offered [
        <xref ref-type="bibr" rid="ref7">8</xref>
        ].
For the signature key X, 2n random lines of size n are generated.
The signature keys are generated randomly:
p1=n/w and p2= (log2p1 +1+w)/w, p= p1+ p2
X= (xn-1[0], xn-1[
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], …, x0[0], x0[
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]) ∈ {0,1} n,2n
X= (xp-1[0], …, x0) ∈ {0,1} n,p
Verification key Y= (yn-1[0], yn-1[
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], …, y0[0], y0[
        <xref ref-type="bibr" rid="ref1">1</xref>
        ]) ∈ {0,1} n,2n
      </p>
    </sec>
    <sec id="sec-7">
      <title>The verification key is computed as:</title>
      <p>Y= (yp-1[0], …, y0) ∈ {0,1} n,p,
where   =  2 −1(  ), 0&lt;=i&lt;=p-1
G. Signature of the message. The lengths of the signature and
the verification key are equal to np bits, one-way function f is
used p(2w-1) times.</p>
      <p>To be signed the message is hashed: hash=h(m). The minimum
number of zeros is added to the hash, so that the hash would be
a multiple of w. Afterwards it is divided into p1 parts of size w.
h(m)=hash = (hashn-1, … , hash0)</p>
      <p>The checksum:
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(9)
(10)
(11)
(12)
(13)
(14)
(15)
hash=kp-1,…, kp-p1
с=∑i=p-p1p-1(2w-ki)
As c&lt;= p12w, the length of its binary representation is less than
in the worst case f is used p(2w-1) times. The size of the
signature is equal to pn.</p>
      <p>H. Signature Verification. To verify the signature sig = (sign-1,
…, sig0) bit string kp-1,…, k0 are calculated.</p>
    </sec>
    <sec id="sec-8">
      <title>Then the following equality is verified:</title>
      <p>( 2 −1−  −1(  −1), … , ( (2 −1− 0))(
0) =   −1, …  0
(16)
In the worst case function f must be used to verify the signature
p(2w-1) times.</p>
      <p>Comparison of Lamport and Winternitz one-time signature
schemes
Lamport
2n</p>
    </sec>
    <sec id="sec-9">
      <title>Use f to generate</title>
      <p>keys
Use f to calculate Is not used
the signature
Use f to generate n
verify the
signature
Fig. 1. Comparison of signature schemes.</p>
      <p>Winternitz
p(2w-1)
p(2w-1)
p(2w-1)
I. Merkle crypto-system. One time signatures are not convenient
in use, because to sign each message a unique key is needed.
The Merkle signature scheme allows to sign multiple messages
with the same key. This system uses one-time signature and a
binary tree a public key as a root.</p>
      <p>J. Key generation. The size of the tree must be H&gt;=2 and using
one public key 2H documents can be signed. Signature and
verification keys are generated; Xi, Yi, 0&lt;=i&lt;=2H. Xi- is the
signature key, Yi- is the verification key. Signature keys are
hashed using the hash function h:{0,1}* {0,1}n in order to get
the leaves of the tree.</p>
      <p>The concatenation of two previous nodes is hashed in order to
get the parent node.</p>
      <p>
        Fig. 2. Merkle tree with H=3.
a[i,j] are the nodes of the tree;
a[
        <xref ref-type="bibr" rid="ref1">1,0</xref>
        ]=h(a[0,0] || a[
        <xref ref-type="bibr" rid="ref1">0,1</xref>
        ])
(17)
The root of the tree is the public key of the signature - pub, 2H pairs
of signature keys must be generated in order to calculate the public
k, and the hash function h is used 2H+1-1 times.
      </p>
      <p>K. Message signature. A message of any size can be signed being
transformed to size of n by means of hashing h (m) = hash,
An arbitrary one-time key Xany is used, and the signature is a
concatenation of one-time signature, one-time verification key,
index of a key and all fraternal nodes according to the selected
arbitrary key with the index “any”.</p>
      <p>Signature= (sig||any|| Yany||auth0,…,authH-1)
(18)
L. Signature verification. The one-time signature is checked using
the selected verification key, if the verification is true, all the a[i, j]
are calculated using "auth", index "any" and Yany. The signature is
verified, if the root of the tree matches the public key.
The hash function in Merkle is used 2H+1-1 times, one-way
function f is used 3p(2w-1) times in the case of Winternitz, and
3n times in the case of Lamport. Hash functions are considered
resistant to quantum computer attacks, but the Grover algorithm
allows us to achieve quadratic acceleration in the search
algorithms. It means that hash functions must be complicated
to be secure against quantum computers attacks. Studies are
conducted to determine the cost of attacks on SHA2 and SHA3
families of hash functions [10].</p>
      <p>CONCLUSIONS
We propose to use the lattice-based hash function and a lattice
based one-way function in hash-based digital signature
schemes.</p>
      <p>The family of one-way functions, suggested by Ajtai, can be
used. As the key of hash functions, the matrix K from Zn×ma is
selected, it transforms mlog b into nlog a bits and h(x) is
calculated as Kx mod a.</p>
      <p>The matrix K from Zm×mb, is selected as the key of an one-way
function,. It transforms mlog b bits into mlog b bits and f(x) is
computed as Kx mod a.</p>
      <p>One-way functions offered by Ajtai are proposed in the paper
and it can be considered as the initial idea. It is worth
considering the idea of using optimized one-way lattice based
functions.</p>
      <p>ACKNOWLEDGEMENT
The work was conducted as a part of joint project of Shota
Rustaveli National Science Foundation of Georgia and Science
&amp; Technology Center in Ukraine [№ STCU-2016-08]
effectively without using the precision of integers commonly
used in cryptographic functions.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]. Güneysu
          <string-name>
            <given-names>T.</given-names>
            ,
            <surname>Lyubashevsky</surname>
          </string-name>
          <string-name>
            <given-names>V.</given-names>
            ,
            <surname>Pöppelmann</surname>
          </string-name>
          <string-name>
            <surname>T.</surname>
          </string-name>
          (
          <year>2012</year>
          )
          <article-title>Practical Lattice-Based Cryptography: A signature scheme for embedded systems</article-title>
          . Lecture notes in computer Sci.,
          <volume>7428</volume>
          :
          <fpage>530</fpage>
          -
          <lpage>547</lpage>
          , Springer.
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]. Akinyele,
          <string-name>
            <given-names>J.A.</given-names>
            ,
            <surname>Garman</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            ,
            <surname>Miers</surname>
          </string-name>
          ,
          <string-name>
            <surname>I.</surname>
          </string-name>
          et al. (
          <year>2013</year>
          )
          <article-title>Charm: a framework for rapidly prototyping cryptosystems</article-title>
          .
          <source>Journal of cryptographic engineering, 3</source>
          . Springer:
          <fpage>111</fpage>
          -
          <lpage>128</lpage>
          [3]. Gagnidze
          <string-name>
            <given-names>A.</given-names>
            ,
            <surname>Iavich</surname>
          </string-name>
          <string-name>
            <given-names>M.</given-names>
            ,
            <surname>Iashvili</surname>
          </string-name>
          <string-name>
            <surname>G.</surname>
          </string-name>
          , (
          <year>2017</year>
          )
          <article-title>Analysis of post quantum cryptography use in practice</article-title>
          .
          <source>Bulletin of the Georgian National Academy of Sciences, 2</source>
          , 12:
          <fpage>29</fpage>
          -
          <lpage>36</lpage>
          [4]. Ajtai,
          <string-name>
            <surname>M.</surname>
          </string-name>
          :
          <article-title>Generating hard instances of lattice problems</article-title>
          .
          <source>In Complexity of computations and proofs</source>
          , volume
          <volume>13</volume>
          of Quad. Mat., pages
          <fpage>1</fpage>
          -
          <lpage>32</lpage>
          . Dept. Math., Seconda Univ. Napoli,
          <string-name>
            <surname>Caserta</surname>
          </string-name>
          (
          <year>2004</year>
          ).
          <source>Preliminary version in STOC</source>
          <year>1996</year>
          .
          <article-title>8</article-title>
          .
          <string-name>
            <surname>Babai</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          :
          <article-title>On Lovász lattice reduction and the nearest lattice point problem</article-title>
          .
          <source>Combinatorica</source>
          ,
          <volume>6</volume>
          :
          <fpage>1</fpage>
          -
          <lpage>13</lpage>
          (
          <year>1986</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>.</given-names>
            <surname>Goldreich</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.</given-names>
            ,
            <surname>Goldwasser</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            , and
            <surname>Halevi</surname>
          </string-name>
          ,
          <string-name>
            <surname>S.</surname>
          </string-name>
          :
          <article-title>Collision-free hashing from lattice problems</article-title>
          .
          <source>Technical Report TR96-056, Electronic Colloquium on Computational Complexity (ECCC)</source>
          (
          <year>1996</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [6]. Bernstein
          <string-name>
            <given-names>D.J.</given-names>
            ,
            <surname>Buchmann</surname>
          </string-name>
          <string-name>
            <given-names>J.</given-names>
            ,
            <surname>Dahmen</surname>
          </string-name>
          <string-name>
            <surname>E.</surname>
          </string-name>
          , (
          <year>2009</year>
          )
          <article-title>Book: Introduction to post-quantum cryptography</article-title>
          , Springer.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>.</given-names>
            <surname>Gagnidze</surname>
          </string-name>
          <string-name>
            <given-names>A</given-names>
            ,
            <surname>Iavich</surname>
          </string-name>
          <string-name>
            <given-names>M.</given-names>
            ,
            <surname>Iashvili</surname>
          </string-name>
          <string-name>
            <surname>G.</surname>
          </string-name>
          , (
          <year>2016</year>
          )
          <article-title>Some aspects of postEurasian journal of business and quantum cryptosystems</article-title>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          <source>management, 5</source>
          ,
          <issue>1</issue>
          :
          <fpage>16</fpage>
          -
          <lpage>20</lpage>
          238, Springer,
          <year>1989</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>.</given-names>
            <surname>Lamport</surname>
          </string-name>
          ,
          <string-name>
            <surname>L.</surname>
          </string-name>
          :
          <article-title>Constructing digital signatures from a one way function</article-title>
          .
          <source>Technical Report SRI-CSL-98</source>
          , SRI International Computer Science Laboratory,
          <year>1979</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [9]. Merkle, R.C.
          <article-title>: A certified digital signature</article-title>
          .
          <source>Advances in Cryptology - CRYPTO '89 Proceedings, LNCS 435</source>
          , pages
          <fpage>218</fpage>
          -
          <lpage>[</lpage>
          10]. Wozniak,
          <string-name>
            <given-names>M.</given-names>
            ,
            <surname>Polap</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            ,
            <surname>Borowik</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            and
            <surname>Napoli</surname>
          </string-name>
          ,
          <string-name>
            <surname>C.</surname>
          </string-name>
          ,
          <year>2015</year>
          , July.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          <article-title>A first attempt to cloud-based user verification in distributed system</article-title>
          .
          <source>In 2015 Asia-Pacific Conference on Computer Aided System Engineering</source>
          , pp.
          <fpage>226</fpage>
          -
          <lpage>231</lpage>
          . IEEE.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [11]. Amy
          <string-name>
            <surname>M.</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Di Matteo O.</given-names>
            ,
            <surname>Gheorghiu</surname>
          </string-name>
          <string-name>
            <given-names>V.</given-names>
            ,
            <surname>Mosca</surname>
          </string-name>
          <string-name>
            <given-names>M.</given-names>
            ,
            <surname>Parent</surname>
          </string-name>
          <string-name>
            <given-names>A.</given-names>
            ,
            <surname>Schanck</surname>
          </string-name>
          <string-name>
            <surname>J</surname>
          </string-name>
          . (
          <year>2017</year>
          )
          <article-title>Estimating the cost of generic quantum preimage attacks on SHA-2 and SHA-3</article-title>
          . Lecture notes in computer science,
          <volume>10532</volume>
          :
          <fpage>10</fpage>
          -
          <lpage>31</lpage>
          , Springer.
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>