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