Advertisement

A Zero-Knowledge Identification Scheme Based on an Average-Case NP-Complete Problem

  • P. Caballero-Gil
  • C. Hernández-Goya
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2776)

Abstract

The present work investigates the possibility of designing zero-knowledge identification schemes based on hard-on-average problems. It includes a new two-party identification protocol whose security relies on a problem classified as DistNP-Complete under the average-case analysis, the so-called Distributional Matrix Representability Problem. One of the most critical questions in cryptography is referred to the misunderstanding equivalence between using a difficult problem as basis of a cryptographic application and its security. Problems belonging to NP according to the worst-case analysis are frequently used in cryptography, but when random generated instances are used, in most cases there exist efficient algorithms to solve them that make useless their worst-case difficulty. So, by using the search version of the mentioned distributional problem, the security of the proposed scheme is actually guaranteed. Also, with the proposal of a new zero-knowledge proof based on a problem not used before for this purpose, the set of tools for designing cryptographic protocols is enlarged.

Keywords

Identification Zero-knowledge Average-case completeness 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Goldwasser, S., Micali, S., Rackoff, C.: The Knowledge Complexity of Interactive Proof Systems. SIAM Journal on Computing 18, 186–208 (1989)zbMATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Goldreich, O., Micali, S., Wigderson, A.: How to Solve any Protocol Problem. In: Proceedings of the 19th STOC., pp. 218–229 (1987)Google Scholar
  3. 3.
    Fiat, A., Shamir, A.: How to prove yourself: practical solutions to identification and signature problems. In: Odlyzko, A.M. (ed.) CRYPTO 1986. LNCS, vol. 263, pp. 186–194. Springer, Heidelberg (1986)Google Scholar
  4. 4.
    Guillou, L.C., Quisquater, J.J.: A practical zero-knowledge protocol fitted to security microprocessor minimizing both transmission and memory. In: Günther, C.G. (ed.) EUROCRYPT 1988. LNCS, vol. 330, pp. 123–128. Springer, Heidelberg (1988)Google Scholar
  5. 5.
    Ohta, K., Okamoto, T.: A modification of the Fiat-Shamir scheme. In: Goldwasser, S. (ed.) CRYPTO 1988. LNCS, vol. 403, pp. 232–243. Springer, Heidelberg (1989)Google Scholar
  6. 6.
    Ong, H., Schnorr, C.P.: Fast signature generation with a Fiat Shamir - like scheme. In: Damgård, I.B. (ed.) EUROCRYPT 1990. LNCS, vol. 473, pp. 432–440. Springer, Heidelberg (1990)Google Scholar
  7. 7.
    Schnorr, C.P.: Efficient identification and signatures for smart cards. In: Brassard, G. (ed.) CRYPTO 1989. LNCS, vol. 435, pp. 239–252. Springer, Heidelberg (1989)Google Scholar
  8. 8.
    Shamir, A.: An efficient identification scheme based on permuted kernels (extended abstract). In: Brassard, G. (ed.) CRYPTO 1989. LNCS, vol. 435, pp. 606–609. Springer, Heidelberg (1990)Google Scholar
  9. 9.
    Stern, J.: A new identification scheme based on syndrome decoding. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol. 773, pp. 13–21. Springer, Heidelberg (1993)Google Scholar
  10. 10.
    Stern, J.: Designing identification schemes with keys of short size. In: Desmedt, Y.G. (ed.) CRYPTO 1994. LNCS, vol. 839, pp. 164–173. Springer, Heidelberg (1994)Google Scholar
  11. 11.
    Pointcheval, D.: A new identification scheme based on the perceptrons problem. In: Guillou, L.C., Quisquater, J.-J. (eds.) EUROCRYPT 1995. LNCS, vol. 921, pp. 319–328. Springer, Heidelberg (1995)Google Scholar
  12. 12.
    Caballero, P., Hernández, C.: Strong Solutions to the Identification Problem. In: Wang, J. (ed.) COCOON 2001. LNCS, vol. 2108, pp. 257–261. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  13. 13.
    Poupard, G.: A realistic security analysis of identification schemes based on combinatorial problems. European Transactions on Telecommunications 8(5), 471–480 (1997)CrossRefGoogle Scholar
  14. 14.
    Karp, R.: The Probabilistic Analysis of Some Combinatorial Search Algorithms. In: Referencia cruzada de artículo Levin Venkatesan. Academic Press, London (1976)Google Scholar
  15. 15.
    Wang, J.: Average-Case Intractable NP Problems. In: Du, D., Ko, K. (eds.) Advances in Languages, Algorithms and Complexity, pp. 313–378. Kluwer Academic Publishers, Dordrecht (1997)Google Scholar
  16. 16.
    Levin, L.: Average Case Complete Problems. SIAM Journal on Computing, 285–286 (1986)Google Scholar
  17. 17.
    Venkatesan, R., Levin, L.: Random Instances of a Graph Colouring Problem are Hard. In: ACM Symposium on Theory of Computing, pp. 217–222 (1988)Google Scholar
  18. 18.
    Gurevich, Y.: Matrix decomposition problem is complete for the average case. In: Proc. 31st Annual Symposium on Foundations of Computer Science, pp. 802–811. IEEE Computer Society Press, Los Alamitos (1990)CrossRefGoogle Scholar
  19. 19.
    Venkatesan, R., Rajagopalan, S.: Average case intractability of diphantine and matrix problem. In: Proc. Of the 24th Annual Symposium on Theory of Computing, pp. 632–642. ACM Press, New York (1992)Google Scholar
  20. 20.
    Ben-David, S., Chor, B., Goldreich, O., Luby, M.: On the Theory of Average Case Complexity. Journal of Computer and System Sciences 44, 193–219 (1992)zbMATHCrossRefMathSciNetGoogle Scholar
  21. 21.
    Freivalds, R.: Fast probabilistic algorithms. In: Becvár, J. (ed.) MFCS 1979. LNCS, vol. 74, Springer, Heidelberg (1979)Google Scholar
  22. 22.
    Coppersmith, D., Winograd, S.: Matrix multiplication via arithmetic progresions. In: Proc. Nineteenth Annual ACM Symposium on Theory of Computing, New York, pp. 1–6 (1987)Google Scholar
  23. 23.
    Markov, A.: On the problem of representability of matrices. Z. Math. Logik Grundlagen Math (in Russian) 4, 157–168 (1958)zbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • P. Caballero-Gil
    • 1
  • C. Hernández-Goya
    • 1
  1. 1.Dept. Statistics, Operations Research and ComputingUniversity of La LagunaLa Laguna, TenerifeSpain

Personalised recommendations