Advertisement

On the Complexity of Hyperelliptic Discrete Logarithm Problem

  • Haroka Shizuya
  • Toshiya Itoh
  • Kouichi Sakurai
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 547)

Abstract

We give a characterization for the intractability of hyperelliptic discrete logarithm problem from a viewpoint of computational complexity theory. It is shown that the language of which complexity is equivalent to that of the hyperelliptic discrete logarithm problem is in \( \mathcal{N}\mathcal{P} \cap co - \mathcal{A}\mathcal{M} \), and that especially for elliptic curves, the corresponding language is in \( \mathcal{N}\mathcal{P} \cap co - \mathcal{N}\mathcal{P} \). It should be noted here that the language of which complexity is equivalent to that of the discrete logarithm problem defined over the multiplicative group of a finite field is also characterized as in \( \mathcal{N}\mathcal{P} \cap co - \mathcal{N}\mathcal{P} \).

References

  1. [AH]
    W. Aiello and J. Håstad, “Statistical zero-knowledge languages can be recognized in two rounds,” Proc. 28th FOCS, pp.439–448 (1987).Google Scholar
  2. [Ba]
    László Babai, “Trading group theory to randomness,” Proc. 17th STOC, pp.421–429 (1985).Google Scholar
  3. [Br]
    Gilles Brassard, “A note on the complexity of cryptography,” IEEE Trans. Inf. Theory, vol.IT-25, no.2, pp.232–233 (1979).CrossRefMathSciNetGoogle Scholar
  4. [Ca]
    David G. Cantor, “Computing in the Jacobian of a hyperelliptic curve,” Math. Comp., vo1.48, no.177, pp.95–101 (1987).zbMATHCrossRefMathSciNetGoogle Scholar
  5. [DH]
    W. Diffie and M. Hellman, “New directions in cryptography,” IEEE Trans. Inf. Theory, vol.IT-22, no.6, pp.644–654 (1976).CrossRefMathSciNetGoogle Scholar
  6. [Fo]
    Lance J. Fortnow, “The complexity of perfect zero-knowledge,” Proc. 19th STOC, pp.204–209 (1987).Google Scholar
  7. [GK]
    O. Goldreich and E. Kushilevitz, “A perfect zero-knowledge interactive proof for a problem equivalent to discrete logarithm,” Proc. CRYPT0’88 (1988).Google Scholar
  8. [GMR]
    S. Goldwasser, S. Micali, and C. Rackoff, “The zero-knowledge complexity of interactive proof-systems,” Proc. 17th STOC, pp.291–304 (1985).Google Scholar
  9. [GMW1]
    O. Goldreich, S. Micali, and A. Wigderson, “Proofs that yield nothing but their validity and a methodology of cryptographic protocol design,” Proc. 27th FOCS, pp.174–187 (1986).Google Scholar
  10. [GMWS]
    O. Goldreich, S. Micali, and A. Wigderson, “Proofs that yield nothing but their validity or All languages in \( \mathcal{N}\mathcal{P} \) have zero-knowledge proofs,” Technical Report 554, Technion (1989).Google Scholar
  11. [GS]
    S. Goldwasser and M. Sipser, “Private coins versus public coins in interactive proof systems,” Proc. 18th STOC, pp.59–68 (1986).Google Scholar
  12. [Ka1]
    Burton S. Kaliski, Jr., “A pseudo-random bit generator based on elliptic logarithms,” Proc. CRYPT0’86, pp.84–103 (1986).Google Scholar
  13. [Ka2]
    Burton S. Kaliski, Jr., “Elliptic curves and cryptography: a pseudorandom bit generator and other tools,” MIT/LCS/ TR-411, MIT (1988).Google Scholar
  14. [Ko1]
    Neal Koblitz, “Elliptic curve cryptosystems,” Math. Comp., vo1.48, no.177, pp.203–209 (1987).zbMATHCrossRefMathSciNetGoogle Scholar
  15. [Ko2]
    Neal Koblitz, “A Course in Number Theory and Cryptography,” GTM114, Springer-Verlag, New York (1987).zbMATHGoogle Scholar
  16. [Ko3]
    Neal Koblitz, “Hyperelliptic cryptosystems,” J. Cryptology, vol.1, no.3, pp. 139–150 (1989).zbMATHCrossRefMathSciNetGoogle Scholar
  17. [Mi1]
    Victor S. Miller, “Use of elliptic curves in cryptography,” Proc. CRYPT0’85, pp.417–426 (1985).Google Scholar
  18. [Mi2]
    Victor S. Miller, “Short programs for functions on curves,” manuscript (1986).Google Scholar
  19. [MOV]
    A. Menezes, T. Okamoto, and S. Vanstone, “Reducing elliptic curve logarithms to logarithms in a finite field,” announced at CRYPTO’90 rump session (1990) (to appear in Proc. STOC’91).Google Scholar
  20. [OS]
    T. Okamoto and K. Sakurai, “On the complexity of problems associated with hyperelliptic curves,” Proc. SCIS91, 9C (1991).Google Scholar
  21. [Pi]
    Jonathan S. Pila, “Frobenius maps of abelian varieties and finding roots of unity in finite fields,” Ph.D Thesis, Stanford University (to appear in Math. Comp.) (1988).Google Scholar
  22. [Pr]
    Pratt, V., “Every Prime has a succinct certificate,” SIAM J. COMPUT. vo1.4, pp.214–220 (1975).zbMATHCrossRefMathSciNetGoogle Scholar
  23. [Sc1]
    Uwe Schöning, “A low and high hierarchy within \( \mathcal{N}\mathcal{P} \),” J. Comp. Syst. Sci., vo1.27, pp.14–28 (1983).zbMATHCrossRefGoogle Scholar
  24. [Sc2]
    Uwe Schöning, “Graph isomorphism is in the low hierarchy,” J. Comp. Syet., vo1.37, pp.312–323 (1988).zbMATHCrossRefGoogle Scholar
  25. [Sch]
    René Schoof, “Elliptic curves over finite field and the computation of square roots mod p,” Math. Comp., vo1.44, pp.483–494 (1985).zbMATHCrossRefMathSciNetGoogle Scholar
  26. [Shi]
    Hiroki Shizuya, “Zero-knowledge interactive proofs for hyper-and ellipticdiscrete logarithm problems,” Proc. WCIS’89, pp. 143–152 (1989).Google Scholar
  27. [SI]
    H. Shieuya, and T. Itoh, “A group-theoretic interface to random self-reducibility,” Trans. IEICE, vol.E-73, no.7, pp.1087–1091 (1990).Google Scholar
  28. [Sil]
    Joseph H. Silverman, “The Arithmetic of Elliptic Curves,” GTM 106, Springer-Verlag, New York (1986).zbMATHGoogle Scholar
  29. [TW]
    M. Tompa and H. Woll, “Random self-reducibility and zero knowledge interactive proofs for possession of information,” Proc. 28th FOCS, pp.472–482 (1987).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Haroka Shizuya
    • 1
    • 2
  • Toshiya Itoh
    • 3
  • Kouichi Sakurai
    • 4
  1. 1.Department of Electrical Communications, Faculity of EngineeringTohoku UniversitySendaiJapan
  2. 2.Département d’I.R.O.Université de MontréalMontréalCanada
  3. 3.Department of Information Processing, The Graduate School at NagatsutaTokyo Institute of TechnologyYokohamaJapan
  4. 4.Computer & Information Systems LaboratoryMitsubishi Electric CorporationKamakuraJapan

Personalised recommendations