深潮 TechFlow のニュースによると、3月5日、Aave Labsは最近、Aave V4プロトコルの包括的な安全性審査を約345日間にわたり完了し、総投資額は150万ドルに達したと発表しました。このプロジェクトは「安全優先」戦略を採用し、アーキテクチャ設計段階から多層的な安全管理を実施しています。安全性審査には手動監査、形式検証、不変性テスト、模擬テスト、そして6週間にわたる公開安全コンテストが含まれ、900人以上の参加者から950以上のレポートが提出されました。監査結果では、ChainSecurity、Trail of Bits、Blackthornを含む主要な監査機関は高重大性の脆弱性を発見しませんでした。Aave V4は新たな中央ハブと分岐モジュールの設計を採用し、コードベースをV3よりも小さくし、監査効率を向上させています。Aave Labsは、形式検証フレームワークや不変性テストスイートの維持を継続し、長期的なプロトコルの安全性を確保するために継続的な脆弱性バウンティプログラムの設立も計画しています。
Aave V4は全面的なセキュリティ監査を完了し、345日間の安全審査を経て重大な脆弱性はありません
深潮 TechFlow のニュースによると、3月5日、Aave Labsは最近、Aave V4プロトコルの包括的な安全性審査を約345日間にわたり完了し、総投資額は150万ドルに達したと発表しました。このプロジェクトは「安全優先」戦略を採用し、アーキテクチャ設計段階から多層的な安全管理を実施しています。安全性審査には手動監査、形式検証、不変性テスト、模擬テスト、そして6週間にわたる公開安全コンテストが含まれ、900人以上の参加者から950以上のレポートが提出されました。
監査結果では、ChainSecurity、Trail of Bits、Blackthornを含む主要な監査機関は高重大性の脆弱性を発見しませんでした。Aave V4は新たな中央ハブと分岐モジュールの設計を採用し、コードベースをV3よりも小さくし、監査効率を向上させています。Aave Labsは、形式検証フレームワークや不変性テストスイートの維持を継続し、長期的なプロトコルの安全性を確保するために継続的な脆弱性バウンティプログラムの設立も計画しています。