Aave LabsがV4セキュリティ計画を発表：合計345日間の監査と150万ドルのセキュリティ予算を投入

Aave LabsはAave V4のセキュリティフレームワークを発表し、「セキュリティ優先」の開発モデルを提唱。アーキテクチャ設計段階からセキュリティ検証を組み込み、リリース直前の最終監査に依存しない方針を示した。このセキュリティ計画は約1年間継続され、累計345日間のセキュリティレビューを実施。資金はAave DAOが承認した150万ドルのセキュリティ予算から拠出された。V4のセキュリティプロセスは、形式検証、手動監査、不変条件テスト、ファジング（fuzzing）、公開セキュリティコンテストなど多層的な監査手法を組み合わせている。今後のプロトコル開発では、開発初期段階での形式検証の導入、多層セキュリティ監査手法の実施、継続的検証メカニズム、長期的なバグ報奨金プログラム、AIを活用したスマートコントラクトセキュリティスキャンなど、5つの長期セキュリティ対策を継続的に採用していく。（The Block）