Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article

Statistical Zero Knowledge and quantum one-way functions

Published: 01 June 2007 Publication History

Abstract

One-way functions are a fundamental notion in cryptography, since they are the necessary condition for the existence of secure encryption schemes. Most examples of such functions, including Factoring, Discrete Logarithm or the RSA function, however, can be inverted with the help of a quantum computer. Hence, it is very important to study the possibility of quantum one-way functions, i.e. functions which are easily computable by a classical algorithm but are hard to invert even by a quantum adversary. In this paper, we provide a set of problems that are good candidates for quantum one-way functions. These problems include Graph Non-Isomorphism, Approximate Closest Lattice Vector and Group Non-Membership. More generally, we show that any hard instance of Circuit Quantum Sampling gives rise to a quantum one-way function. By the work of Aharonov and Ta-Shma [D. Aharonov, A. Ta-Shma, Adiabatic quantum state generation and statistical zero knowledge, in: Proceedings of STOC02 - Symposium on the Theory of Computing, 2001], this implies that any language in Statistical Zero Knowledge which is hard-on-average for quantum computers leads to a quantum one-way function. Moreover, extending the result of Impagliazzo and Luby [R. Impagliazzo, M. Luby, One-way functions are essential for complexity based cryptography, in: Proceedings of FOCS89 - Symposium on Foundations of Computer Science, 1989] to the quantum setting, we prove that quantum distributionally one-way functions are equivalent to quantum one-way functions.

References

[1]
M. Adcock, R. Cleve, A quantum Goldreich¿Levin theorem with cryptographic applications, in: Proceedings of STACS03 ¿ Symposium on Theoretical Aspect of Computer Sciences, 2002
[2]
D. Aharonov, A. Ta-Shma, Adiabatic quantum state generation and statistical zero knowledge, in: Proceedings of STOC02 ¿ Symposium on the Theory of Computing, 2001
[3]
C. Crépeau, F. Légaré, L. Salvail, How to convert the flavor of a quantum bit commitment, in: Proceedings of EUROCRYPT01 ¿ Advances in Cryptology, 2001
[4]
I. Damgard, S. Fehr, L. Salvail, Zero-knowledge proofs and string commitments withstanding quantum attacks, in: Proceedings of EUROCRYPT04 ¿ Advances in Cryptology, 2004
[5]
P. Dumais, D. Mayers, L. Salvail, Perfectly concealing quantum bit commitment from any one-way permutation, in: Proceedings of EUROCRYPT00 ¿ Advances in Cryptology, 2000
[6]
Goldreich, O., . 2001. Foundations of Cryptography, 2001.Cambridge University Press.
[7]
D. Gottesman, I. Chuang, Quantum digital signatures. arXiv.org e-Print quant-ph/0105032, 2001
[8]
Grollmann, J. and Selman, A., Complexity measures for public-key cryptosystems. SIAM Journal of Computing. v17. 309
[9]
R. Impagliazzo, L.A. Levin, No better ways to generate hard np instances than picking uniformly at random, in: Proceedings of FOCS90 ¿ Symposium on Foundations of Computer Science, 1990
[10]
R. Impagliazzo, M. Luby, One-way functions are essential for complexity based cryptography, in: Proceedings of FOCS89 ¿ Symposium on Foundations of Computer Science, 1989
[11]
Kashefi, E., Nishimura, H. and Vedral, V., On quantum one-way permutations. Quantum Information and Computation. v2. 379
[12]
Kawachi, A., Kobayashi, H., Koshiba, T. and Putra, R.H., Universal test for quantum one-way permutations. Theoretical Computer Science. v2-3. 345
[13]
Nielsen, M. and Chuang, I., Quantum Computation and Quantum Information. 2000. Cambridge University Press, Cambridge.
[14]
R. Ostrovsky, One-way functions, hard on average problems and Statistical Zero Knowledge proofs, in: IEEE Conference on Structure in Complexity Theory, 1991
[15]
A. Sahai, S.P. Vadhan, A complete promise problem for Statistical Zero Knowledge, in: Proceedings of FOCS97 ¿ Symposium on Foundations of Computer Science, 1997
[16]
J. Watrous, Zero knowledge against quantum attacks, in: Proceedings of STOC06 ¿ Symposium on Theory of Computing, 2006

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image Theoretical Computer Science
Theoretical Computer Science  Volume 378, Issue 1
June, 2007
136 pages

Publisher

Elsevier Science Publishers Ltd.

United Kingdom

Publication History

Published: 01 June 2007

Author Tags

  1. Cryptography
  2. One-way functions
  3. Quantum computing
  4. Quantum sampling

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 10 Nov 2024

Other Metrics

Citations

Cited By

View all

View Options

View options

Get Access

Login options

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media