定義
スマートコントラクト監査は特定版の脆弱性や設計を検査し、権限、会計、外部呼び出し、更新、経済的前提などを扱います。価値、支払能力、完全な無欠陥の証明ではありません。
仕組み
手動確認、自動解析、テスト、開発者との協議を組み合わせ、重要度と修正を報告します。修正後の再評価範囲も明記すべきです。エクスプローラーでのソース検証は配置コードとの対応確認で、監査ではありません。
注意点
日付、版、住所、除外、未解決事項を確認します。更新、オラクル、連携、管理変更で前提が変わります。見落としや評価差もあり、独立評価、テスト、監視、報告制度が補完します。バッジより報告書を読み、コード以外の運営・財務リスクも区別します。