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

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