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