ECCC-Report TR06-020https://eccc.weizmann.ac.il/report/2006/020Comments and Revisions published for TR06-020en-usWed, 26 Mar 2008 00:00:00 +0200
Revision 1
| Quantum Hardcore Functions by Complexity-Theoretical Quantum List Decoding |
Akinori Kawachi,
Tomoyuki Yamakami
https://eccc.weizmann.ac.il/report/2006/020#revision1Hardcore functions have been used as a technical tool to construct secure cryptographic systems; however, little is known on their quantum counterpart, called quantum hardcore functions. With a new insight into fundamental properties of quantum hardcores, we present three new quantum hardcore functions for any (strong) quantum one-way function. We also give a "quantum" solution to Damgard's question (CRYPTO'88) on a classical hardcore property of his pseudorandom generator, by proving its quantum hardcore property. Our major technical tool is the new notion of quantum list-decoding of "classical" error-correcting codes (rather than
"quantum" error-correcting codes), which is defined on the platform of computational complexity theory and computational cryptography (rather than information theory). In particular, we give a simple but powerful criterion that makes a polynomial-time computable classical block code (seen as a function) a quantum hardcore for all quantum one-way functions. On their own interest, we construct elegant quantum list-decoding algorithms for classical block codes whose associated quantum states (called codeword states) form a nearly phase orthogonal basis. In particular, we prove that circulant codes that enjoy a multiplicative property are quantum list-decodable.
Wed, 26 Mar 2008 00:00:00 +0200https://eccc.weizmann.ac.il/report/2006/020#revision1
Paper TR06-020
| Quantum Hardcore Functions by Complexity-Theoretical Quantum List Decoding |
Akinori Kawachi,
Tomoyuki Yamakami
https://eccc.weizmann.ac.il/report/2006/020We present three new quantum hardcore functions for any quantum one-way function. We also give a "quantum" solution to Damgard's question (CRYPTO'88) on his pseudorandom generator by proving the quantum hardcore property of his generator, which has been unknown to have the classical hardcore property.
Our technical tool is quantum list-decoding of
"classical" error-correcting codes (rather than
"quantum" error-correcting codes), which is defined on the platform of computational complexity theory and cryptography (rather than information theory). In particular, we give a simple but powerful criterion that makes a polynomial-time computable code (seen as a function) a quantum hardcore for any quantum one-way function. On their own interest, we also give quantum list-decoding algorithms for
codes whose associated quantum states (called codeword states) are ``almost'' orthogonal using the technique of pretty good measurement.
Mon, 13 Feb 2006 21:45:47 +0200https://eccc.weizmann.ac.il/report/2006/020