【تقرير التدقيق الشامل والشفاف لخطة أمان Aave V4 أصدرته Aave Labs】

وفقًا لبيان BlockBeats، في 5 مارس، أصدرت Aave Labs تقرير الشفافية الكامل لخطة أمان Aave V4، والذي يتضمن الأساليب، والعمليات، والنتائج، مع دعم من عدة مؤسسات أمنية مثل Trail of Bits وBlackthorn وCertora. تم إجراء مراجعة أمنية استمرت حوالي 345 يومًا من خلال التدقيق اليدوي، والتحقق الرسمي، واختبار الثوابت، والاختبار العشوائي، والمسابقات الأمنية العامة. تدعم الخطة ميزانية أمنية مخصصة قدرها 1.5 مليون دولار وافق عليها DAO. أعلنت Aave Labs أنها ستواصل الالتزام بخمس تعهدات أساسية من خطة أمان Aave V4: دمج التحقق الرسمي في مرحلة التطوير المبكرة لضمان أن يكون تصميم الهيكل مدفوعًا بأساليب أمنية وليس فقط للتحقق؛ اعتماد منهج أمني متعدد الطبقات يشمل المراجعة اليدوية، والتحقق الرسمي، واختبار الثوابت، والمراجعة بمساعدة الذكاء الاصطناعي، والاختبار العشوائي، والمسابقات الأمنية العامة لتغطية المزيد من الثغرات المحتملة؛ الحفاظ على تغطية أمنية مستمرة، حيث ستستمر أطر التحقق الرسمي ومجموعات اختبار الثوابت في العمل مع تحديثات البروتوكول؛ إنشاء خطة مكافآت طويلة الأمد عن الثغرات الأمنية، للاستفادة من المجتمع الأمني الأوسع لمراقبة مستمرة؛ وتحسين قدرات المسح بالذكاء الاصطناعي، مع تحسين مستوى الكشف الذكي عن الثغرات في الإصدارات المستقبلية استنادًا إلى الخبرة الحالية في الاختبار.