أودايلي ستيلر ديلي نيوز: أعلنت Aave Labs عن إطار الأمان لـ Aave V4، مقترحة نمط تطوير “الأمان أولوية”، حيث يتم دمج التحقق من الأمان في مرحلة تصميم الهيكل، وليس فقط إجراء تدقيق نهائي قبل الإطلاق. استمر هذا البرنامج الأمني حوالي عام، وبلغ إجمالي فحوصات الأمان حوالي 345 يومًا، وتم تمويله من خلال ميزانية أمان بقيمة 1.5 مليون دولار وافقت عليها DAO الخاص بـ Aave. يُذكر أن عملية أمان V4 تجمع بين التحقق الرسمي، التدقيق البشري، اختبار الثوابت، الاختبار العشوائي (fuzzing)، والمسابقات الأمنية العامة، وسيستمر تطوير البروتوكول في اعتماد خمس تدابير أمنية طويلة الأمد، بما في ذلك إدخال التحقق الرسمي في المراحل المبكرة من التطوير، وتطبيق طرق تدقيق أمنية متعددة الطبقات، وآليات التحقق المستمرة، وبرامج مكافأة الثغرات طويلة الأمد، واستخدام الذكاء الاصطناعي في فحص الأمان الذكي للعقود. (The Block)