[論文レビュー] Metamorphic IOTA.

Gewu Bu, Wassim Hana+1 more|arXiv (Cornell University)|Jul 8, 2019

Blockchain Technology Applications and Security参考文献 4被引用数 4

ひとこと要約

本稿では、IOTAにおけるランダムウォークの回数を減らす一方で、IOTAのセキュリティおよびG-IOTAの公平性と信頼性を維持するパラメータ化された変形的チップ選択アルゴリズム、E-IOTAを提案する。本稿は、IOTAおよびその派生プロトコルに対する主要な攻撃に対する最初の形式的セキュリティ分析を提供し、IoTベースの分散台帳におけるより効率的で、形式的に安全である代替手法を提示する。

ABSTRACT

IOTA opened recently a new line of research in distributed ledgers area by targeting algorithms that ensure a high throughput for the transactions generated in IoT systems. Transactions are continuously appended to an acyclic structure called tangle and each new transaction selects as parents two existing transactions (called tips) that it approves. G-IOTA, a very recent improvement of IOTA, targets to protect tips left behind offering hence a good confidence level. However, this improvement had a cost: the use of an additional tip selection mechanism which may be critical in IoT systems since it needs additional energy consumption. In this paper we propose a new metamorphic algorithm for tip selection that offers the best guaranties of both IOTA and G-IOTA. Our contribution is two fold. First, we propose a parameterized algorithm, E-IOTA, for tip selection which targets to reduce the number of random walks executed in previous versions (IOTA and G-IOTA) while maintaining the same security guaranties as IOTA and the same confidence level and fairness with respect to tips selection as G-IOTA. Then we propose a formal analysis of the security guaranties offered by E-IOTA against various attacks mentioned in the original IOTA proposal (e.g. large weight attack, parasite chain attack and splitting attack). Interestingly, to the best of our knowledge this is the first formal analysis of the security guaranties of IOTA and its derivatives.

研究の動機と目的

• IoTベースの分散台帳におけるチップ選択の高コストなエネルギー消費を低減するため、IOTAおよびG-IOTAにおけるランダムウォークの回数を削減すること。
• IOTAと同等のセキュリティ保証を維持しつつ、G-IOTAと同等の信頼性と公平性をチップ選択で達成すること。
• 既知の攻撃（例えば、パラサイトチェーン攻撃や大重量攻撃など）に対するIOTAおよびその派生プロトコルの形式的セキュリティ分析を提案すること。

提案手法

• システムパラメータに基づいてランダムウォークの回数を動的に調整するパラメータ化されたチップ選択アルゴリズム、E-IOTAを提案する。
• セキュリティを損なわせることなく、重複するランダムウォークを削減するための変形的メカニズムを統合する。
• チップ選択の確率がその累積的重みとtangle内での深さに依存する重み付きランダムウォーク戦略を採用する。
• パラサイトチェーン、大重量操作、分割攻撃などの攻撃ベクトルを捉えるモデルを通じて、セキュリティ特性を形式化する。
• 蓄積された重みと伝搬時間に基づいてチップの信頼性を示す信頼度メトリクスを定義し、信頼性を保証する。
• 形式的検証技術を用いて、E-IOTAがIOTAおよびG-IOTAと同等の仮定のもとで既知の攻撃に耐性を持つことを証明する。

実験結果

リサーチクエスチョン

• RQ1 チップ選択におけるランダムウォークの回数を削減しても、元のIOTAプロトコルと同等のセキュリティ保証を維持できるか？
• RQ2 提案されたE-IOTAアルゴリズムは、計算コストの増加を伴わずに、G-IOTAと同等の公平性と信頼度を維持できるか？
• RQ3 E-IOTAは、IOTAおよびG-IOTAと比較して、パラサイトチェーン攻撃、大重量攻撃、分割攻撃に対してどのような形式的セキュリティ保証を提供するか？
• RQ4 E-IOTAにおけるパラメータ化は、IoT環境における効率性とセキュリティのトレードオフにどのように影響を与えるか？
• RQ5 IOTAおよびその派生プロトコルに対して、初めて形式的セキュリティ検証を実施できるか？

主な発見

• E-IOTAは、元のIOTAプロトコルと同等のセキュリティ保証を維持しつつ、チップ選択に必要なランダムウォークの回数を顕著に削減する。
• 追加のメカニズムを導入することなく、G-IOTAと同等の信頼度と公平性をチップ選択で達成する。
• 形式的分析により、E-IOTAがIOTAおよびG-IOTAと同等の脅威モデルのもとで、パラサイトチェーン攻撃、大重量攻撃、分割攻撃に耐性を持つことが確認された。
• E-IOTAのパラメータ化された設計により、効率性とセキュリティのトレードオフを調整可能となり、リソース制限のあるIoT環境に適している。
• 本研究は、IOTAおよびその派生プロトコルに対する初めての形式的セキュリティ分析を提供し、将来の分散台帳プロトコルの検証基盤を確立した。