Core Concepts
無作為な可逆3ビットゲートから構成された小さな回路は、ほぼk-wise独立な置換を計算する。
Abstract
本論文では、可逆回路の擬似乱数性質について研究している。主な結果は以下の通り:
深さnexp(k^2)の無作為な可逆3ビットゲートから成る回路は、ほぼk-wise独立な置換を生成する。この結果の核心は、単一の無作為な3ビット隣接ゲートによって誘導されるk-タプルの文字列上のマルコフ連鎖が、1/nexp(k)の分光ギャップを持つことを示すことである。これは、Gowersの元の結果(1/poly(n,k)のギャップ)や、Hoory et al.、Brodsky and Hooryの後続研究(1/n^2kのギャップ)よりも改善されている。
Luby-Rackoff擬似乱数置換の構成を可逆回路で実装できることを示す。これにより、最小可逆回路サイズ問題(MRCSP)の複雑性について進展が得られ、一方向関数の存在を仮定すれば、任意の多項式時間adversaryに対して、固定多項式サイズのブロック暗号が計算的に安全であることが示される。
Stats
可逆回路の深さはnexp(k^2)である。
可逆回路のサイズはn^2exp(k^2)である。
単一の無作為な3ビット隣接ゲートによって誘導されるマルコフ連鎖の分光ギャップは1/nexp(k)である。
Quotes
"我々は、実用的な暗号システム(ブロック暗号)、逆ランダム化、スペクトル グラフ理論の分析の観点から動機付けられて、無作為可逆回路の擬似乱数性質を研究する。"
"ブロック暗号の設計において、超効率的な擬似乱数置換(ブロック暗号)を持つことが重要な焦点となっている。"