[論文レビュー] How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs

Mengting He, Shihao Xia+5 more|arXiv (Cornell University)|Mar 5, 2024

Global Energy and Sustainability ResearchEnergy被引用数 3

ひとこと要約

本論文は、実世界のSolidityスマートコントラクトにおけるガスの無駄遣いに関する最初の実証的研究を提示し、その原因と是正戦略を特定するとともに、383件の以前未知のガス非効率を94.4%の正確性で検出できる静的解析ツールPeCatchを導入している。PeCatchは、54件の実世界のガスの無駄遣いのうち41件をカバーし、検出カバレッジと正確性の両面で、先行ツールを著しく上回っている。

ABSTRACT

The execution of smart contracts on Ethereum, a public blockchain system, incurs a fee called gas fee for its computation and data storage. When programmers develop smart contracts (e.g., in the Solidity programming language), they could unknowingly write code snippets that unnecessarily cause more gas fees. These issues, or what we call gas wastes, can lead to significant monetary losses for users. This paper takes the initiative in helping Ethereum users reduce their gas fees in two key steps. First, we conduct an empirical study on gas wastes in open-source Solidity programs and Ethereum transaction traces. Second, to validate our study findings, we develop a static tool called PeCatch to effectively detect gas wastes in Solidity programs, and manually examine the Solidity compiler's code to pinpoint implementation errors causing gas wastes. Overall, we make 11 insights and four suggestions, which can foster future tool development and programmer awareness, and fixing our detected bugs can save $0.76 million in gas fees daily.

研究の動機と目的

• 実世界のSolidityスマートコントラクトにおけるガスの無駄遣いを、その原因と是正戦略に焦点を当てて実証的に調査すること。
• Solidityの独自なデータストレージメカニズム（スタック、メモリ、ストレージ、calldata）に特化したガスの無駄遣いパターンを特定・分類すること。
• ガスの無駄遣いを高精度かつ高カバレッジで検出可能な静的解析ツールPeCatchを開発すること。
• ガス最適化のための実行可能なイン사이트とチェックリストを提供することで、ツールリング、言語設計、開発者意識の向上を図ること。
• 開発者が以前に未知のガス非効率なコードパターンを検出し、是正することでガス料金を削減できるようにすること。

提案手法

• 5つの人気のあるSolidityプロジェクトから抽出した100件のガスの無駄遣い事例について、コミットログを手動で分析して原因と是正戦略を特定した実証的調査を実施した。
• Solidityのデータストレージ領域（スタック、メモリ、ストレージ、calldata）に基づき、ガスコスト特性が異なる4つのタイプにガスの無駄遣いを分類した。
• Non-Overflow、And-in-If、Ret-Local、Alloc-Loop、Re-Sload、Bool-Field、Calldata-Para、その他の8つの特定のガスの無駄遣いパターンを検出できるように、ルールベースのチェックヤードに特化したPeCatchを設計した。
• 経路条件解析とプロシージャ間チェックを含む正確な静的解析技術を実装し、誤検出を最小限に抑えた。
• PeCatchをベンチマークプログラムで評価し、実行時間（4秒から7分）を測定し、Slither、Python-Opt、GasSaverと比較して検出の正確性とカバレッジを評価した。
• 将来の計画として、プロシージャ間解析、経路条件の最適化、低レベルオペコードおよび型固有の値のサポートをPeCatchに拡張する予定である。

実験結果

リサーチクエスチョン

• RQ1 実世界のSolidityスマートコントラクトにおけるガスの無駄遣いの原因は何か。特に、Solidityの独自なデータストレージメカニズムに起因するものについて。
• RQ2 開発者は現在、ガスの無駄遣いの問題をどのように是正しているのか。その解決策に共通するパターンは何か。
• RQ3 既存の静的解析ツールは、Solidityプログラムにおける実世界のガスの無駄遣いパターンをどの程度検出できるのか。
• RQ4 PeCatchという新しい静的解析ツールは、先行ツールよりも高い正確性と低い誤検出率で、より多くのガスの無駄遣いを検出できるのか。
• RQ5 PeCatchの主な制限要因は何か。今後のバージョンでは、複雑なまたはエッジケースのガスの無駄遣いパターンの検出カバレッジをどのように向上できるか。

主な発見

• PeCatchは、実証的調査で特定された54件のガスの無駄遣いのうち41件を検出しており、実世界のガスの無駄遣いパターンに対する75.9%のカバレッジを示した。
• PeCatchの誤検出率は1.5%未満であり、Slither（62.5%）、Python-Opt（300%）、GasSaver（9.5%）よりも顕著に低い。
• PeCatchは、人気のあるSolidityライブラリにおいて、383件の以前に未知のガスの無駄遣いを同定した。これは、検出されていないガス非効率の広がりを示している。
• ツールの実行時間は1つのベンチマークプログラムあたり4秒から7分の間であり、日常的な開発ワークフローへの統合が可能であることを示している。
• PeCatchは、Slither や GasSaver が見逃した、Non-Overflow、And-in-If、Re-Sload などのSolidity固有のガスの無駄遣いパターンを、より効果的に検出できた。
• PeCatchの主な制限要因は、プロシージャ間解析の欠如、経路条件の複雑さ、および特定のオペコード（例：mstore8）や値（例：type(uint256).max）への不完全な対応による13件のガスの無駄遣いの漏れである。