スマートコントラクト監査
スマートコントラクト監査とは何か、またコードセキュリティ監査の代わりにいつ使うか。
Smart Contract Audit は、ブロックチェーン監査の種類です AIコード解析. エージェントは、オンチェーンのロジック、アクセス制御、会計処理、そしてライブラリや統合を含むクロスコントラクトの脆弱性を推論します。彼らは複数の当事者にまたがるトランザクションをシミュレートし、オラクルの価格更新に依存するものを含む最大抽出価値（MEV）の欠陥を見つけます。
ある コードセキュリティ監査 アプリケーションコードをレビューし、その広いレビューの中でコントラクトコードも含めることがあります。Smart Contract Audit では、エージェントはコントラクトに集中します。
ユースケース
- デプロイ前にコントラクトをレビューする： 手動監査よりも短い時間と低いコストで悪用可能な欠陥を見つける
- リリースの対象範囲を決める： 監査を、今変更したコントラクトに限定する
- 受容したリスクを記録する： 既知の問題を〜に記録する 追加メモ そうすれば、エージェントはまだ想定外のものを優先できます
Code Security Audit と Smart Contract Audit の比較
| スマートコントラクト監査 | コードセキュリティ監査 | |
|---|---|---|
| 起点は | コントラクトのリポジトリ | アプリケーションのリポジトリ |
| 中心となる問い | どのオンチェーンの欠陥が悪用につながるのか？ | どのアプリケーションの欠陥がソースから悪用可能か？ |
| 最適な適用対象 | Solidityコントラクト（公式サポート） | コントラクトも含むものを含め、アプリケーション |
仕組み
コントラクトを含むリポジトリを選択します。ステージング URL、チェーン RPC、デプロイ済みアドレスは必要ありません。エージェントはコントラクトのソースを読み、ファイルをまたいで呼び出しを追跡します。
発見事項は 課題 タブとフィードで、コードベースの証拠と修正方法とともに表示されます。Smart Contract Audit には、 脅威モデル タブ。修正をプッシュしたら、次を使用します 再テスト その指摘に対して。
実行するには、次を参照してください Smart Contract Audit を実行する。対象範囲については、以下を参照してください Smart Contract Audit で検出されるもの.