شركة Aave Labs توضح خطة أمان متعددة الطبقات للإصدار الرابع بعد برنامج تدقيق بقيمة 1.5 مليون دولار

نشرت Aave Labs خطة مفصلة لتأمين الإصدار القادم من أكبر بروتوكول إقراض في DeFi، موضحة عملية تدقيق وتحقق تستمر لعام كامل لـ Aave V4، وتتعهد بتمديد هذه الممارسات لتشمل التطوير المستقبلي.

في منشور على منتدى الحوكمة تم إصداره هذا الأسبوع، وصفت الشركة جهد V4 بأنه "إطار أمني أولاً"، حيث يتم تضمين حماية العقود الذكية من المراحل المعمارية الأولية بدلاً من اعتبارها مجرد تدقيق نهائي قبل الإطلاق.

جمع البرنامج بين التحقق الشكلي، والتدقيق اليدوي، واختبار الثوابت، والاختبار الذكي (fuzzing)، ومسابقة أمنية عامة، ليصل مجموع أيام المراجعة إلى حوالي 345 يوماً عبر الفرق الداخلية والمدققين الخارجيين والباحثين المستقلين.

تم تمويل العمل من خلال ميزانية أمنية بقيمة 1.5 مليون دولار تمت الموافقة عليها من قبل Aave DAO، وفقاً للتفاصيل التي تم مشاركتها.

الالتزامات الرئيسية

قالت Aave Labs إن هذه التجربة قادتها إلى اعتماد خمسة التزامات أمنية طويلة الأمد لتطوير البروتوكول في المستقبل.

شملت الالتزامات الرئيسية تضمين التحقق الشكلي منذ بداية دورات التطوير، والحفاظ على منهجيات أمان متعددة الطبقات تدمج تقنيات تدقيق متنوعة، وتنفيذ التحقق المستمر بالتوازي مع التطوير، وإطلاق برنامج مستمر لمكافآت اكتشاف الثغرات، وتطوير أدوات فحص العقود الذكية المعززة بالذكاء الاصطناعي.

لعب التحقق الشكلي دوراً محورياً في عملية V4 على وجه الخصوص، وفقاً لما ذكرته الشركة. عملت شركة التحقق Certora جنباً إلى جنب مع مطوري Aave منذ المراحل التصميمية المبكرة، مما ساهم في تشكيل البنية المعمارية وتحديد الثغرات قبل دخول الشيفرة لمراحل التدقيق الرسمي.

وبالإضافة إلى التحقق الشكلي، خضع البروتوكول أيضاً لعدة جولات تدقيق يدوي مع شركات مثل ChainSecurity وTrail of Bits وBlackthorn، إضافة إلى باحثين مستقلين في مجال الأمن. وتم تطوير مجموعة اختبار ثوابت منفصلة باستخدام أدوات fuzzing لاختبار سلوك المكونات الرئيسية مثل محاسبة السيولة، ومنطق التصفية، ونماذج معدلات الفائدة.

تعرضت قاعدة شيفرة البروتوكول أيضاً لمسابقة أمنية عامة استمرت ستة أسابيع واستضافتها Sherlock بين ديسمبر 2025 ويناير 2026. وقد شارك أكثر من 900 مشارك موثوق بهم، وقدموا أكثر من 950 نتيجة أثناء المسابقة، رغم أن البرنامج لم يسجل أي ثغرات حرجة أو عالية الخطورة.

ذكرت Aave Labs أن قاعدة شيفرة V4 تم تصميمها عمداً لتكون أصغر وأكثر تقسيمية من سابقتها، وفقاً لإعادة تصميم بنية محور وتوابع البروتوكول، مما يسمح بمراجعات أمنية أكثر استهدافاً وتبسيطاً.

تضمن نموذج الأمان في V4 أيضاً ملاحظات مقدمة من مزودي خدمات المخاطر والمطورين الذين يبنون تطبيقات فوق بروتوكول الإقراض. وسّع مدخلهم نموذج التهديدات ليشمل ليس فقط تفاعلات المستخدمين المباشرة ولكن أيضاً الافتراضات الأمنية للأنظمة المتكاملة التي تعتمد على سيولة Aave.

خلاف داخل Aave DAO

يأتي إعلان Aave Labs بشأن الأمن في فترة من الاضطرابات الداخلية لمنظومة Aave. فقد ازدادت حدة الخلافات حول تخصيص التمويل واتجاه البروتوكول ودور المساهمين الرئيسيين في الأشهر الأخيرة.

في وقت سابق هذا العام، أعلنت BGD Labs — وهي مساهم تقني طويل الأمد كان مسؤولاً عن أجزاء أساسية من بنية البروتوكول — خططها لوقف العمل المرتبط بـ Aave بعد حوالي أربع سنوات من المشاركة.

ومؤخراً، صرح مارك زيلر مؤسس ACI أن مبادرة Aave Chan، وهي طرف رئيسي آخر في الحوكمة، تعتزم الانسحاب من البروتوكول في يوليو وسط تصاعد التوترات بين المساهمين.

جاءت هذه التطورات بعد نقاش حوكمة مثير للجدل حول اقتراح معروف باسم "Aave will win"، والذي تضمن تغييرات في الإيرادات وخططاً أوسع لتحديث V4 المرتقب. اجتاز الاقتراح تصويتاً استشارياً بنسبة تأييد بلغت 52.6٪، ما أبرز الانقسامات ضمن DAO حول توجه البروتوكول المستقبلي.

تُعد Aave أكبر بروتوكول إقراض على السلسلة، ومن بين أفضل المصادر لتحقيق الرسوم الشهرية في DeFi، وذلك بحسب لوحة بيانات The Block.