スマートコントラクトを監査するにはどうすればよいですか? (セキュリティの基本)

スマートコントラクトの脆弱性を理解する

1. リエントランシー攻撃は、状態変更が完了する前に悪意のあるコントラクトが脆弱なコントラクトに繰り返しコールバックし、予期せず資金を枯渇させるときに発生します。

2. 整数のオーバーフローとアンダーフローは、算術演算が uint256 の最大値または最小値を超えると発生し、不正確なバランスやロジックのバイパスにつながります。

3. チェックされていない外部呼び出しでは、戻り値が検証されていない場合にサイレントエラーが発生する可能性があり、転送または関数呼び出しが失敗しても実行が続行されます。

4. 不適切なアクセス制御により、権限のないユーザーが所有者限定アップグレードやトークン作成などの特権機能を呼び出すことができます。

5. 重要な状態遷移が予測可能なトランザクション順序に依存する場合、フロントランニングが可能になり、オークションやフラッシュローン裁定取引などの機密性の高い操作が公開されます。

静的解析ツールとその役割

1. Slither は、コントラクトを実行することなく、Solidity のソース コードを分析して一般的なアンチパターンと脆弱性を検出し、高速かつスケーラブルな検出を実現します。

2. MythX は、IDE および CI/CD パイプラインと統合して、シンボリック実行とファジングベースの分析を実行し、より深い論理欠陥を特定します。

3. Solhint は、一貫性のない可視性指定子、require ステートメントの欠落、および安全でない低レベル呼び出しにフラグを立てることで、コーディング標準とベスト プラクティスを強制します。

4. Crytic の Echidna は、Solidity で記述されたカスタム アサーションを使用してプロパティ ベースのテストを実施し、生成された数千の入力にわたる不変条件を検証します。

5.複数の静的アナライザーを並行して使用すると、対象範囲が大幅に増加します。単一のツールですべてのクラスのバグを検出できるわけではありません。

手動コードレビューの要点

1. すべての外部呼び出しをトレースし、状態の更新後に、特に引き出しまたは転送関数で呼び出しが発生したかどうかを確認します。

2. ユーザーが指定したすべての入力が、ストレージに影響を与えたりイベントを発行したりする前に、require ステートメントまたは revert ステートメントを通過することを確認します。

3. 特に複雑なロジックと一緒に ETH 転送を処理する場合に、フォールバック関数と受信関数の意図しない動作を検査します。

4. 再現性を損なったり、隠れた依存関係を導入したりする可能性のある、ハードコーディングされたアドレス、マジック ナンバー、またはバージョン管理されていないライブラリ リンクがないか確認します。

5.すべての修飾子は、再入可能性の安全性、副作用、および他の修飾子との組み合わせ可能性について監査される必要があります。

ユニットチェックを超えたテスト方法

1. 統合テストは、展開された複数のコントラクト間の相互作用をシミュレートし、インターフェイスの不一致や予期しないガス消費パターンを明らかにします。

2. ファズ テストでは、パブリック関数にランダムな入力を注入して、単体テストでは見逃されがちなエッジケースの動作をトリガーします。

3. プロパティベースのテストでは、「総供給量が決して減少しない」または「残高がマイナスになることはない」などの高レベルの不変条件を定義し、それらをさまざまなシナリオにわたって検証します。

4. Sepolia や Arbitrum Goerli などのテストネットは、現実世界のガスのダイナミクスやネットワークの混雑を観察できる現実的な環境を提供します。

5. 時間依存ロジックは、遅延中または将来のスケジューリング中の正確性を保証するために、シミュレートされたブロック タイムスタンプ操作の下でテストする必要があります。

よくある質問

Q: スマート コントラクト監査の自動ツールのみに依存できますか? A: いいえ。自動化ツールは既知のパターンを検出しますが、ビジネス ロジックの正確性、経済的インセンティブ、または人間の直感やドメイン知識を必要とする新しい攻撃ベクトルを評価することはできません。

Q: ゼロ知識証明契約の文脈における「信頼できるセットアップ」とは何を意味しますか? A: zk-SNARK 検証に必要な暗号パラメータの最初の生成を指します。侵害された場合、健全性の保証が破られ、偽の証明が検証に合格する可能性があります。

Q: 認可チェックに tx.origin の使用を避けるべきなのはなぜですか? A: tx.origin はトランザクション チェーンを開始した元の EOA を返すため、発信元を保持しながら呼び出しを転送する中間契約を介したフィッシングの影響を受けやすくなります。

Q: デリゲートコールの脆弱性は通常のコールの脆弱性とどう違うのですか? A: Delegatecall は呼び出し元のコントラクトのコンテキストでコードを実行します。つまり、ターゲット内のストレージ レイアウトの不一致や初期化されていない変数により、呼び出し元の状態が直接破損する可能性があります。