[論文レビュー] A space- and time-efficient Implementation of the Merkle Tree Traversal Algorithm

Markus Knecht, Willi Meier+1 more|arXiv (Cornell University)|Sep 14, 2014

Chaos-based Image/Signal Encryption参考文献 5被引用数 10

ひとこと要約

この論文は、空間効率の高いログスペースアルゴリズムと時間効率の高いフラクタルアルゴリズムを組み合わせた、新規のメルクルツリー走査アルゴリズムを提示する。最悪ケースのストレージは$[L \times 2^h + 2H - 2h]$ハッシュ値であり、認証パスあたりの時間計算量も低減されている。本手法は、リーフ生成に連続的で決定論的なPRNGを活用し、スマートカードのようなリソース制限のある環境でも、メモリ使用量を最小限に抑えつつ高いパフォーマンスを維持する。

ABSTRACT

We present an algorithm for the Merkle tree traversal problem which combines the efficient space-time trade-off from the fractal Merkle tree [3] and the space efficiency from the improved log space-time Merkle trees traversal [8]. We give an exhaustive analysis of the space and time efficiency of our algorithm in function of the parameters H (the height of the Merkle tree) and h (h = H L where L is the number of levels in the Merkle tree). We also analyze the space impact when a continuous deterministic pseudo-random number generator (PRNG) is used to generate the leaves. We further program a low storage-space and a low time-overhead version of the algorithm in Java and measure its performance with respect to the two different implementations cited above. Our implementation uses the least space when a continuous PRNG is used for the leaf calculation.

研究の動機と目的

• 制限されたストレージ環境、特にスマートカードのような組み込みシステムにおいて、メルクルツリーを効率的に走査する課題に対処すること。
• 既存の手法と比較して、空間計算量を低減しつつ、時間計算量を維持または向上させること。
• 連続的で決定論的な擬似乱数生成器（PRNG）をリーフ計算に統合し、ストレージのオーバーヘッドを最小限に抑えること。
• Javaで実装された実用的で低コストの実装を提供し、空間的および時間的効率の両面で先行手法を上回ること。
• さまざまなツリー高さやパrameter設定における、空間と時間のトレードオフを分析・最適化すること。

提案手法

• 本アルゴリズムは、フラクタルメルクルツリー手法を拡張し、ログスペース走査手法のすべての空間最適化を統合することで、空間と時間の両面でバランスの取れたハイブリッド設計を実現する。
• ツリーを$L$個の部分木に分割し、それぞれに「存在する」部分木と「望ましい」部分木を備える。特定のノードのみを保存することで、メモリ使用量を削減する。
• スタックベースの走査メカニズムを用い、リーフインデックスの進行に応じて部分木の状態を動的に更新しながら、認証パスを段階的に計算する。
• 3つの専用処理関数を採用する：Process₀は初期ノード挿入用、Process₁は最下層ノードの追跡用、Process₂は部分木間の遷移とハッシュ計算用。
• 主な革新点は、連続的で決定論的なPRNGを用いてリーフ値をリアルタイムに生成することで、すべてのリーフをメモリに保持する必要がなくなること。
• 最低のテイル高さを持つ部分木を動的に選択することで、部分木間で計算が効率的かつバランスよく行われるようになる。

実験結果

リサーチクエスチョン

• RQ1 厳密なストレージ制約下で、メルクルツリー走査の空間的・時間的計算量を最小限に抑える方法は何か？
• RQ2 連続的で決定論的なPRNGを用いることで、メルクルツリー走査のメモリフットプリントにどのような影響が生じるか？
• RQ3 ログスペースアルゴリズムの空間効率とフラクタルアルゴリズムの時間効率を組み合わせることで、優れたパフォーマンスを達成できるか？
• RQ4 ストレージと時間のオーバーヘッドを最小限に抑えるために、最適なパrameter設定（$H$：ツリー高さ、$h$：部分木高さ）は何か？
• RQ5 実際の動作において、本アルゴリズムは、元のフラクタルおよびログスペース走査手法と比較して、メモリ使用量と実行時間の両面で優れているか？

主な発見

• 提案されたアルゴリズムは、最悪ケースで$[L \times 2^h + 2H - 2h]$ハッシュ値のストレージ要件を達成し、元のフラクタルアルゴリズムと比較して約2倍の削減を実現している。
• 認証パスあたりの時間計算量は$\frac{2^h - 1}{2^h} \times (L - 1) + 1$に低減され、大規模なツリーにおいて顕著なパフォーマンス向上が得られている。
• 連続的で決定論的なPRNGを用いてリーフを生成することで、リーフが永続的にメモリに保持されないため、ストレージが最小限に抑えられる。
• Javaによる実装は、空間的および時間的オーバーヘッドが低く、空間効率においてもフラクタルおよびログスペースアルゴリズムを上回っている。
• 理論的分析および実測値による評価から、本アルゴリズムは空間的および時間的計算量の理論的最適境界を維持していることが確認された。
• PRNGを用いたリーフ生成の統合により、セキュリティや正しさに影響を与えることなくメモリ使用量が削減され、組み込みシステムに最適である。