[論文レビュー] Truffle tests for free -- Replaying Ethereum smart contracts for transparency

Pieter Hartel, Mark van Staalduinen|arXiv (Cornell University)|Jul 22, 2019

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

ひとこと要約

本論文では、Ethereumスマートコントラクト取引から再実行可能なTruffleテストスクリプトを生成するContractVisというツールを提案する。歴史的取引を最小限のテスト環境で再実行することで、隠れた依存関係や動作上の不一致を明らかにし、25%の検証済みコントラクトが欠落した依存関係のため失敗することを特定した。これは、Etherscanのようなブロックチェーンエクスプローラーにおける重要な透明性の欠如を示している。

ABSTRACT

The Ethereum blockchain is essentially a globally replicated public database. Programs called smart contracts can access this database. Over 10 million smart contracts have been deployed on the Ethereum blockchain. Executing a method of a smart contract generates a transaction that is also stored on the blockchain. There are over 1 billion Ethereum transactions to date. Smart contracts that are transparent about their function are more successful than opaque contracts. We have therefore developed a tool (ContractVis) to explore the transparency of smart contracts. The tool generates a replay script for the historic transactions of a smart contract. The script executes the transactions with the same arguments as recorded on the blockchain, but in a minimal test environment. Running a replay script provides insights into the contract, and insights into the blockchain explorer that was used to retrieve the contract and its history. We provide five concrete recommendations for blockchain explorers like Etherscan to improve the transparency of smart contracts.

研究の動機と目的

• 検証済みEthereumスマートコントラクトの透明性を向上させるために、最小限のテスト環境で歴史的取引の再実行を可能にすること。
• 透明性を低下させる隠れた依存関係や動作上の不一致を同定・可視化すること。
• Etherscanのようなブロックチェーンエクスプローラーがコントラクトの検査およびデバッグ支援を改善するための実行可能な提言を提供すること。
• 実際の取引入力を再実行することで、静的ソースコードの監査だけでは得られない直感的なインサイトが得られることを示すこと。
• 再実行中に環境パラメータを変更することで、開発者が「もし～なら」という状況の実験を可能にすること。

提案手法

• Etherscanなどのブロックチェーンエクスプローラーから、検証済みスマートコントラクトの歴史的取引データおよび引数を抽出する。
• 元の入力パラメータを用いて、隔離された最小限のテスト環境で取引を再実行する標準化されたTruffleテストスクリプトを生成する。
• 再実行プロセスは、Solidityソースコードと標準的なTruffleツールキットを使用し、逆アセンブルや形式的検証に依存しない。
• 再実行中の失敗を特定することで、他のコントラクトやブロックチェーンインfraストラクチャへの依存関係を同定する。
• 環境変数（例：ブロックタイムスタンプ）を変更することで、異なる条件下でのコントラクト動作を体系的に探索可能なインタラクティブな実験を可能にする。
• ヒートマップなどの可視化手法を用いて、たとえばロトコントラクトにおける乱数の悪さといった脆弱性を直感的に説明する。

実験結果

リサーチクエスチョン

• RQ1 検証済みEthereumスマートコントラクトのうち、他のコントラクトやブロックチェーンインfraストラクチャへの依存関係が欠落しているために、孤立した環境で再実行に失敗するのはどの程度の割合か？
• RQ2 ブロックタイムスタンプのような環境変数がスマートコントラクトの動作に与える影響は何か？ そして、再実行を通じてこれらを体系的に探索できるか？
• RQ3 静的ソースコード分析と比較して、実際の歴史的取引を再実行することで、コントラクトの透明性に関するどのようなインサイトが得られるか？
• RQ4 Etherscanのような現在のブロックチェーンエクスプローラーは、アドレスエンコードやエラーメッセージの処理において、透明性をどう不完全にしているか？
• RQ5 再実行ベースの分析は、たとえば乱数の悪さやステート漏洩といった設計上の欠陥を特定する点で、従来のコード監査を上回るか？

主な発見

• テストした1,120件の検証済みスマートコントラクトの約25％が、他のコントラクトやブロックチェーンインfraストラクチャへの依存関係が欠落しているために再実行に失敗した。
• サンプルの約半数のコントラクトが、多様な動作を引き起こす可能性のある特別な変数を使用しており、複雑性を増し透明性を低下させた。
• 10％を超えるコントラクトが、Etherscanなどのブロックチェーンエクスプローラーがデコードできないアドホックなアドレスエンコードを使用しており、監査性と透明性が低下した。
• require() や assert() ステートメントによって失敗した大多数のコントラクトは、説明的なエラーメッセージを提供していなかったため、デバッグと透明性が制限された。
• ヒートマップなどの可視化は、ロトコントラクトにおける予測可能な乱数といった深刻な欠陥を直感的に検出でき、静的コード監査よりも明確なインサイトを提供した。
• 本研究は、Etherscanに検証済みとされているコントラクトでさえ、予想よりも透明性が低いことが確認された。特に、依存関係の発見やエラーメッセージのサポートに、エクスプローラーに大きなギャップがあることが判明した。