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

Odaily星球日报によると、Aave LabsはAave V4の安全フレームワークを公開し、「安全優先」の開発モデルを提案しました。これは、アーキテクチャ設計段階で安全性の検証を組み込み、リリース前の最終監査だけにとどまらないものです。この安全計画は約1年にわたり、合計約345日の安全審査を完了し、資金はAave DAOにより承認された150万ドルの安全予算から供給されました。V4の安全プロセスは、形式的検証、人工監査、不変条件テスト、ファジング（fuzzing）、公開安全コンテストなどの多層的な監査手法を組み合わせており、今後のプロトコル開発では、早期の形式的検証、多層的な安全監査の実施、継続的な検証メカニズム、長期的な脆弱性バウンティプログラム、AIを活用したスマートコントラクトの安全スキャンなど、五つの長期的な安全対策を引き続き採用していく予定です。（The Block）