[論文レビュー] Controlled Alternate Quantum Walks based Quantum Hash Function

Dan Li, Yu‐Guang Yang+3 more|arXiv (Cornell University)|Jul 24, 2017

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

ひとこと要約

本稿では、動的に制御される2×2コイン演算子を用いた1粒子量子ウォークを活用し、高いセキュリティ性、優れた統計的性質、低リソース要件を実現する制御付き別量子ウォーク（CAQW）ベースの量子ハッシュ関数を提案する。メッセージに依存するコインパラメータと確率分布のモジュロ変換を用いることで、衝突攻撃およびバースデイ・アタックに対して耐性を示し、従来の2粒子またはより大きな演算子を用いた量子ウォーク設計と比較して、実験的オーバーヘッドを最小限に抑えたスケーラブルで高ビット長のハッシュ出力を可能にする。

ABSTRACT

Through introducing controlled alternative quantum walks, we present controlled alternate quantum walks (CAQW) based quantum hash function. CAQW based quantum hash function have excellent security, outstanding statistical performance and splendid expansibility. Furthermore, due to the structure of alternative quantum walks, implementing CAQW based quantum hash function significantly reduces the resources necessary for its feasible experimental realization than implementing other quantum hash functions. Besides, CAQW based quantum hash function has expansibility.

研究の動機と目的

• 2粒子相互作用型量子ウォーク（CIQW）に基づく既存の量子ハッシュ関数における予測可能な衝突と高コストなリソース要件を解消すること。
• 必要な量子演算子のサイズを低減することで、実験的実装の実現可能性を向上させること。
• 混乱、拡散、一様分布を含む、強力な統計的性質を有する量子ハッシュ関数の開発。
• 次元拡張性を活用して、高ビット長のハッシュ関数をスケーラブルに構築すること。
• プライバシー拡張や画像暗号化などの量子暗号応用分野における実用的代替手段を提供すること。

提案手法

• CAQWモデルは、位置状態とコイン状態を持つ2次元格子上の1粒子系を用い、全単位的演算子 U = S_y(I⊗C)S_x(I⊗C) に従って時間発展する。
• コイン演算子 C はθでパrameter化された2×2ユニタリ行列であり、メッセージビットに応じて2つの異なる値（θ₁, θ₂）が選択される。
• メッセージがコイン演算子のシーケンスを制御する：0はC₀、1はC₁を使用し、メッセージ依存の時間発展を実現する。
• tステップ経過後、最終状態の確率分布 P(x,y,t) が位置状態とコイン状態の両方について計算される。
• 確率値は10⁸倍され、2ᵏでモジュロ演算が施され、長さn²kのバイナリハッシュ文字列が生成される。
• 初期状態は |0,0⟩(α|0⟩ + β|1⟩) であり、α, βは|α|² + |β|² = 1を満たす複素振幅である。

実験結果

リサーチクエスチョン

• RQ1 2粒子CIQWベースの量子ハッシュ関数に見られる予測可能な衝突を排除できる1粒子量子ウォークモデルを設計できるか？
• RQ2 4×4演算子ではなく2×2コイン演算子を用いることで、実験的実現に必要な量子リソースコストを顕著に削減できるか？
• RQ3 CAQWベースの構成は、混乱、拡散、一様分布といった強力な統計的性質を維持できるか？
• RQ4 スケーリング可能な高次元への容易な拡張が可能で、より長いハッシュ出力をサポートできるか？
• RQ5 出力サイズと分布特性を踏まえると、本スキームはバースデイ・アタックに対して耐性を示すか？

主な発見

• CAQWベースの量子ハッシュ関数は、200ビットの出力長（5²×8）を達成し、バースデイ・アタックに対する耐性が約2¹⁰⁰回の試行で実現され、50％の確率で衝突を発見することは計算的に非現実的である。
• 本スキームは優れた統計的性能を示しており、入力の変化に対して高い感受性を示し、強力な拡散性とハッシュ空間全体における一様分布を達成している。
• 初期状態が特定の値をとる場合に生じる予測可能な衝突—従来のCIQWベース設計で観測されたもの—は、CAQWモデルでは別ウォーク制御の構造のおかげで発生しない。
• 実装には2×2ユニタリ演算子のみを必要とし、4×4演算子や2粒子もつれ状態ウォークと比較して実験的複雑性が著しく低減される。
• 本スキームは3次元へも容易に拡張可能であり、同じフレームワークを用いて1000ビットのハッシュ出力（5³×8）を実現できる。
• 量子非可逆性とモジュロ変換を組み合わせることで、古典的計算の困難性仮定に依存せずにセキュリティを確保している。