署名する前にスマートコントラクトの相互作用を検証する方法

契約相互作用のリスクを理解する

1. イーサリアムおよび EVM 互換チェーンにデプロイされたスマート コントラクトは、複数のコントラクト アドレスにわたって意図しない状態変化を引き起こす可能性がある外部呼び出しを実行します。

2. 再入可能性の脆弱性は、悪意のあるコントラクトが元の実行が完了する前に関数を繰り返し呼び出し、資金を枯渇させたり、ロジックを破壊したりするときに発生します。

3. クロスコントラクト呼び出しは可視性修飾子をバイパスすることが多く、アクセス制御が正しく構成されていない場合、信頼できないコードが内部ストレージを操作できるようになります。

4. ガス制限とスタック深さの制約により、ネストされたインタラクション中にサイレント エラーが発生し、復帰信号なしで部分的な状態が更新される可能性があります。

5. ABI 定義と実際のバイトコード間のインターフェイスの不一致により、無効な calldata エンコーディングが発生し、予期せずフォールバック関数がトリガーされます。

Etherscan による手動検証

1. Etherscan でトランザクション ハッシュを見つけ、「契約」タブに移動して、関連する各契約の検証済みのソース コードを表示します。

2. 「Write as Proxy」セクションまたは「Read Contract」セクションを使用してすべての外部関数呼び出しを特定し、それらをコントラクトのパブリック インターフェイスと相互参照します。

3. 外部呼び出しが発生する前に状態変数が更新されることを確認することで、呼び出された関数が Checks-Effects-Interactions パターンを実装しているかどうかを確認します。

4. インタラクション中に出力されたイベント ログをレビューして、予想される状態遷移が契約のコメントに文書化された動作と一致していることを確認します。

5. 「入力データのデコード」ツールを使用して生の呼び出しデータを再構築し、パラメータのタイプと値を Solidity 関数のシグネチャと比較します。

ツール支援による静的解析

1. コンパイルされたバイトコードに対して Slither を実行して、保護されていない自己破壊、危険なデリゲートコールの使用、欠落している require ステートメントなどの既知のアンチパターンを検出します。

2. コントラクト ペアを MythX にロードし、結合された制御フロー グラフに対するシンボリック実行を使用してコントラクト間の再入パスをスキャンするように設定します。

3. Securify ルールを適用して、戻り値が検証されない場合、または状態の変更の前にチェックされていない算術演算が行われる場合に、安全でない外部呼び出しにフラグを立てます。

4. 両方のコントラクトを Remix IDE にインポートし、JavaScript VM を使用してインタラクションをシミュレートし、ガス消費を観察し、エッジ ケースでの状態を元に戻します。

5. VeriSolid 展開図を使用して正式なモデルを生成し、相互作用シーケンスが指定された安全性の不変条件に準拠しているかどうかを検証します。

実行時の動作検査

1. Tenderly または Hardhat Network を使用してメインネットのローカル フォークをデプロイし、バランス状態やストレージ レイアウトを含む正確なトランザクション コンテキストを再生します。

2. ganache-cli --fork を使用してカスタム トレース フックを挿入し、クロスコントラクト呼び出し中に実行されたすべてのオペコードをログに記録し、予期しないジャンプを特定します。

3. 各外部呼び出しの前後に eth_getStorageAt を使用してストレージ スロットの変更を監視し、不正な書き込みを検出します。

4. 各 CALL 命令でメモリ ダンプをキャプチャし、コールデータがどのように構築されるか、機密パラメータが外部コンテキストに漏洩するかどうかを検査します。

5. 成功したシミュレーション実行と失敗したシミュレーション実行のスタック トレースを比較して、初期化されていない変数または初期化されていないマッピングによって引き起こされる非決定的な分岐を分離します。

よくある質問と回答

Q1: ソースコードがなくても契約のやり取りを検証できますか?はい。 evm-opcodes.com などのバイトコード逆アセンブリ ツールを使用すると、Solidity ソースがなくても関数セレクターやストレージ レイアウト パターンのリバース エンジニアリングが可能になります。

Q2: 単一の契約を検証することで、他の契約者との安全なやり取りが保証されますか?いいえ。検証済みのコントラクトは、特にパブリック インターフェイスが任意の呼び出し元に変更可能な状態を公開する場合、他のコントラクトと組み合わせた場合、ロジック上の欠陥が依然として含まれる可能性があります。

Q3: Etherscan で一部のトランザクションに「警告! 契約実行中にエラーが発生しました」と表示されるのはなぜですか?これは、アサーションの失敗、オーバーフロー、または明示的な復帰ステートメントが原因で EVM が実行中に復帰したことを示します。多くの場合、互換性のない相互作用の仮定によって引き起こされます。

Q4: DeFi プロトコルに対する無制限のトークン許可を承認しても安全ですか?いいえ。無制限の承認により、ターゲット コントラクトのトークン残高を完全に制御できるようになり、ロジックが侵害されたり構成が間違ったりした場合に、潜在的な流出が可能になります。