Aave LabsはV4のセキュリティプランを発表し、合計345日間の監査と150万ドルのセキュリティ予算を投入しました。

Aave Labs は Aave V4 のセキュリティフレームワークを発表し、「セキュリティ優先」の開発モデルを提案しました。これは、アーキテクチャ設計段階でセキュリティ検証を組み込むものであり、単にローンチ前に最終監査を行うのではありません。

このセキュリティプランは約1年間続き、累計で約345日間のセキュリティレビューを完了しました。資金は Aave DAO によって承認された150万ドルのセキュリティ予算から提供されています。V4 のセキュリティプロセスは、形式的検証、人工監査、不変性テスト、ファジング（fuzzing）、および公開セキュリティコンペティションなどの多層監査方法を組み合わせています。今後のプロトコル開発では、開発初期に形式的検証を導入し、多層セキュリティ監査方法を実施し、継続的な検証メカニズム、長期的なバグバウンティプログラム、AIを活用したスマートコントラクトのセキュリティスキャンなど、5つの長期的なセキュリティ対策を引き続き採用していく予定です。