Smart Contract Audit を実行する
コントラクトのリポジトリを選択し、チェーンのコンテキストを追加して、Smart Contract Auditを開始します。
Smart Contract Auditは、AI Code Analysis内でオンチェーンのコントラクトソースを分析します。リポジトリを接続し、クレジットコストを確認して開始します。デプロイ済みのネットワークやフォークは必要ありません。
前提条件
- 監査を作成するには、Manage Pentests and AI Code Analysisの権限が必要です。この権限がなくても、AI Code Analysisや既存の評価を開くことはできます。
- 少なくとも1つのリポジトリが接続されている必要があります。セルフスキャンリポジトリは選択肢から除外されます。選択できるリポジトリの数には上限があります。さらに必要な場合はサポートにお問い合わせください。
- ウォレットに見積もりコスト分のクレジットがあること。Wallet & Creditsを参照してください。
分析中のソースの取り扱いについては、Aikido Never Stores Your Codeを参照してください。
監査を設定する
AI Code Analysisに移動し、Create Auditをクリックします。
Smart Contract Auditを選択する
Select Audit TypeでSmart Contract Auditを選択し、Continueをクリックします。
CancelをクリックするとAI Code Analysisのホームに戻ります。
リポジトリを選択する
- Repositoriesを開き、この監査対象の接続済みリポジトリを選択します。少なくとも1つのリポジトリを選択するまで、Continueは無効のままです。
- モノレポの対象を絞り込むには、選択したリポジトリの横にあるExclude Pathsをクリックし、同じリポジトリ内のオフチェーンサービスなど、この監査に含まれないディレクトリを追加します。
- Scopeでは、Audit all selected repositoriesを選択したままにするか、Audit specific parts onlyを選択してレビューするコントラクトを記述します。例：「新しいステーキングコントラクトと、それが呼び出すコントラクトを監査してください。」
ドキュメントやREADMEはリポジトリに残しておいてください。エージェントはそのmarkdownを読んで、コントラクトがどのように動作することを意図しているかを把握できます。無関係なアプリケーションやサービスは除外してください。
Additional Notesは任意で、この監査にのみ適用されます。ソースに含まれていないコンテキストがある場合に追加してください。信頼モデルなどの恒常的なガイダンスは、リポジトリ内のmarkdownファイルに記載してください。Guide Agents with Repository Filesを参照してください。有用なメモの例：
- 対象チェーン
- 信頼された管理者またはオラクルのロール
- デプロイ済みのコントラクトアドレス
- 既知の許容済みリスク
CancelをクリックするとAudit Typeに戻ります。
料金を確認して開始する
PricingステップでAI Smart Contract Auditの横にクレジット合計が表示されるまで待ちます。スコープを限定した場合は、記述したスコープもこのステップに表示されます。残高はフッターに表示されます。ウォレットの残高が不足している場合はAdd Creditsをクリックしてください。
Configure が表示されたら、それを使用して監査の深さを設定します。
- High risk only は、重大な脆弱性が露呈する可能性が最も高い領域を優先します。一部の領域はカバー範囲が狭くなるか、まったくカバーされません。
- Recommended coverage は、選択した監査範囲のうちセキュリティ上重要な部分を調査します。
- Deeper coverage は、推奨カバレッジに加えて、優先度の低い領域や、あまり一般的でないコードパスまたはクラウドリソースを追加で調査します。
クレジットの合計は、開始前に更新されます。
Start Auditをクリックして開始します。クレジットはStart Auditをクリックした時点で請求されます。
Aikidoが評価の詳細ページを開くので、進捗を確認し、検出結果を読むことができます。Track Progress and Findingsを参照してください。
FAQ
リポジトリ数に上限があるのはなぜですか？
監査の対象を絞り込むため、選択できるリポジトリの数には上限があります。1つの監査でさらに多くのリポジトリが必要な場合は、サポートにお問い合わせください。