Aave Labs、Aave V4 セキュリティプログラムの完全な透明性監査レポートを公開

ChainCatcherの情報によると、公式発表によれば、Aave LabsはAave V4セキュリティプランの完全な透明性レポートを公開しました。このレポートには、方法論、プロセス、結果などが含まれており、Trail of Bits、Blackthorn、Certoraなど複数のセキュリティ機関が共同で保証しています。 手動監査、形式的検証、不変量テスト、ファジングテスト、および公開セキュリティコンテストを通じて、合計約345日間のセキュリティレビューが実施されました。このプランは、DAOが承認した150万ドルの専用セキュリティ予算によって支援されています。 Aave Labsは、Aave V4セキュリティプランから以下の5つの核心的な約束を継続すると発表しました。第一に、アーキテクチャ設計が検証だけでなくセキュリティ手法によって導かれるよう、開発初期段階から形式的検証を組み込むこと。第二に、手動レビュー、形式的検証、不変量テスト、AI支援チェック、ファジングテスト、および公開セキュリティコンテストを含む階層的セキュリティアプローチを採用し、より多くの潜在的脆弱性をカバーすること。第三に、形式的検証フレームワークと不変量テストスイートをプロトコルのイテレーションに伴い継続的に実行し、持続的なセキュリティカバレッジを維持すること。第四に、より広範なセキュリティコミュニティを活用して継続的な監視を実現するための長期的なバグバウンティプログラムを設立すること。第五に、既存のテスト経験に基づきAIスキャン機能を最適化し、将来のバージョンにおけるスマートセキュリティ検出レベルを継続的に向上させること。