[論文レビュー] Empirically Analyzing Ethereum's Gas Mechanism

Renlord Yang, Toby Murray+2 more|arXiv (Cornell University)|May 2, 2019

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

ひとこと要約

この論文は、イーサリアムのガスメカニズムに関する、200万ブロック以上にわたるナノ秒精度のトランザクション実行時間の測定を通じて、初めての大規模な実証的分析を提示している。現在のガスコストが、特にI/O集約的オペコードに関しては、実際の計算コストを適切に反映していないことが明らかになった。また、より高いリソースを備えたノードが不正に優遇されていることも判明し、ネットワークの分散化に脅かされている。

ABSTRACT

Ethereum's Gas mechanism attempts to set transaction fees in accordance with the computational cost of transaction execution: a cost borne by default by every node on the network to ensure correct smart contract execution. Gas encourages users to author transactions that are efficient to execute and in so doing encourages node diversity, allowing modestly resourced nodes to join and contribute to the security of the network. However, the effectiveness of this scheme relies on Gas costs being correctly aligned with observed computational costs in reality. In this work, we performed the first large scale empirical study to understand to what degree this alignment exists in practice, by collecting and analyzing Tera-bytes worth of nanosecond-precision transaction execution traces. Besides confirming potential denial-of-service vectors, our results also shed light on the role of I/O in transaction costs which remains poorly captured by the current Gas cost model. Finally, our results suggest that under the current Gas cost model, nodes with modest computational resources are disadvantaged compared to their better resourced peers, which we identify as an ongoing threat to node diversity and network decentralization.

研究の動機と目的

• 実世界におけるイーサリアムのガスコストモデルが、実際に発生するトランザクション実行コストとどの程度整合しているかを、実証的に評価すること。
• 理論的なガス価格と観察された実行時間との乖離、特にI/O集約的処理に関して特定すること。
• 現在のガスモデル下でのハードウェア性能の差が、ノードの多様性とネットワークの分散化に与える影響を評価すること。
• メモリ内キャッシュとI/Oの役割が、トランザクション実行コストに与える影響を分析すること。これは、現在のモデルが十分に捉えていない要因である。
• ガスメカニズムが、効率的なトランザクション設計を効果的に促進し、サービス拒否攻撃を防止できているかを検証すること。

提案手法

• イーサリアムの創世ブロック以降のすべてのステート遷移を再実行することで、テラバイト規模のナノ秒精度のEVM実行トレースを収集した。
• 高性能システムと一般的なデスクトップマシンの2つの異なるマシン上で、EVMオペコードの実行時間を測定した。
• 各オペコードの「時間対ガス比（Time-to-Gas ratio）」を計算し、実際の実行時間と割り当てられたガスコストとの間のキャリブレーションの正確さを評価した。
• ディスクI/Oとメモリ内キャッシュの影響が実行パフォーマンスに与える影響を、異なるハードウェア構成で比較分析した。
• マシン間の実行動作の対比を通じて、低リソースノードに対するガスモデルの公平性を評価した。
• オペコードレベルの実行時間分布の統計的分析を用い、系統的な価格設定ミスを検出した。

実験結果

リサーチクエスチョン

• RQ1 現在のイーサリアムのガスコストは、実世界のトランザクション実行時間とどの程度正確に反映されているか？
• RQ2 I/O操作はトランザクション実行コストにどのように影響を与えるのか？ なぜ現在のガスモデルはそれを適切に捉えていないのか？
• RQ3 現在のガス価格体系下で、ハイエンドマシンと低リソースマシンとの間のパフォーマンス格差はどの程度か？
• RQ4 系統的に価格設定が誤っているオペコードは存在するのか？ その場合、サービス拒否攻撃のリスクが生じる可能性があるか？
• RQ5 メモリ内キャッシュは、I/O集約的処理の実行時間にどのように影響を与えるか？ また、これはガスコストの公平性に影響を及ぼすか？

主な発見

• ディスクI/Oを伴う複数のEVMオペコードが顕著に価格設定ミスを示しており、実行コストの低評価により、潜在的なサービス拒否攻撃の攻撃ベクトルが生じている。
• I/O操作はトランザクション実行時間に顕著な寄与をしているが、現在のガスモデルではそのコストが適切に反映されておらず、I/O操作は定数または無視できるコストとして扱われている。
• 現在のガスコストモデルは高性能マシンに有利に作用しており、低リソースノードに比べてトランザクション処理効率に明確な優位性を与えている。
• I/Oオペコードの実行時間分布には高いばらつきが見られ、パフォーマンスがハードウェアおよびキャッシュ動作に極めて敏感であることが示され、これはガスモデルが考慮していない要因である。
• ハイエンドマシンと標準マシンとの間の実行効率の格差は、ノードの多様性を損なっており、イーサリアムの分散化に長期的脅威をもたらしている。
• 本研究は、現在のガスモデルが、恒久的ストレージアクセスを伴う処理に関しては、実世界の計算コストと一致していないことを確認した。