[論文レビュー] Quantum Hashing

Farid Ablayev, Alexander Vasiliev|arXiv (Cornell University)|Oct 18, 2013

Quantum Computing Algorithms and Architecture参考文献 8被引用数 8

ひとこと要約

本論文では、非2進数離散関数を用いて、古典的ビットストリングを量子状態にマッピングする量子ハッシュ関数を提案する。この関数は、一方向性、第二プリイメージ抵抗性、衝突抵抗性を達成しており、量子デジタル署名プロトコルへの安全な統合を可能にする。

ABSTRACT

We present a version of quantum hash function based on non-binary discrete functions. The proposed quantum procedure is classical-quantum, that is, it takes a classical bit string as an input and produces a quantum state. The resulting function has the property of a one-way function (pre-image resistance), in addition it has the properties analogous to classical cryptographic hash second pre-image resistance and collision resistance. This function can be naturally used in a quantum digital signature protocol.

研究の動機と目的

• 古典的暗号的性質を量子環境で保持する量子ハッシュ関数を設計すること。
• 量子フレームワーク内でプリイメージ抵抗性、第二プリイメージ抵抗性、衝突抵抗性を保証すること。
• 古典的に制御された量子構成を用いて、量子デジタル署名プロトコルにおける実用的応用を可能にすること。
• 非2進数離散関数をコアメカニズムとして用いた量子ハッシュ関数の形式化すること。

提案手法

• 関数は、古典的入力文字列が非2進数離散関数を介して量子状態に符号化される古典的-量子マッピングとして構築される。
• ハッシュマッピングを実装するために、クーディット系におけるユニタリ変換が活用される。
• 安全性の性質は、マッピングの逆転の難易度または量子状態出力における衝突の発見の難易度を分析することで確立される。
• 出力状態から入力を回復することは計算的に不可能であるように関数が設計されており、これにより一方向性が保証される。
• 異なる入力が同じ量子出力を持つことを発見することは困難であることを保証するため、衝突抵抗性が満たされる。
• 決定的かつ可逆的なユニタリ設計のおかげで、構造的に量子デジタル署名方式への統合が自然に可能となる。

実験結果

リサーチクエスチョン

• RQ1 量子環境下で、プリイメージ抵抗性や衝突抵抗性といった古典的暗号的性質を保持する量子ハッシュ関数を構築可能か？
• RQ2 一方向関数の性質を保ったまま、古典的入力をどのように量子状態にマッピングできるか？
• RQ3 非2進数離散関数のどのような構造的性質が、量子ハッシュ関数における所望の暗号的セキュリティを可能にするか？
• RQ4 このような関数は、量子デジタル署名プロトコルで実際に効果的に使用可能か？

主な発見

• 提案された量子ハッシュ関数はプリイメージ抵抗性を示しており、出力量子状態から入力を決定することは計算的に不可能である。
• 関数は第二プリイメージ抵抗性を示しており、同じ出力状態を生成する別の入力を発見することは困難である。
• 衝突抵抗性が達成されており、同一の量子出力を生成する2つの異なる入力を発見することは計算的に不可能である。
• 決定的かつユニタリな構成のおかげで、関数は量子デジタル署名プロトコルと自然に互換性を持つ。
• 非2進数離散関数の使用により、古典的状態から量子状態への構造的かつ安全なマッピングが可能になる。
• 標準的な量子計算モデルに加えて追加の仮定を必要とせず、暗号的セキュリティが維持される。