Aave Labsは、Aave V4プロトコルに対する345日間のセキュリティ監査を無事に完了し、重大な脆弱性が検出されなかったことを発表しました。この監査は150万ドルの費用がかかり、手動監査、形式的検証、不変条件テスト、ファズテスト、そして公開セキュリティコンペティションを含む包括的なセキュリティ優先のアプローチが取られました。6週間にわたるコンペティションには900人以上の参加者が950件以上の報告を提出しました。 ChainSecurity、Trail of Bits、Blackthornなどの主要な監査会社は、高度な重大度の脆弱性が存在しないことを確認しました。Aave V4の新しいハブアンドスポークのモジュラー設計により、コードベースが小さくなり、監査の効率が向上しました。Aave Labsは、形式的検証フレームワークと不変条件テストスイートを維持し、継続的なバグバウンティプログラムを確立して継続的なセキュリティを確保する計画です。