كان، فرنسا، 30 مارس 2026، Chainwire
بعد تعاون استمر ست سنوات، قام كل من Certora وآيف بدمج الأمان مباشرة في بنية Aave V4، ما أسفر عن إنشاء واحد من أقوى أطر الأمان في التمويل اللامركزي.
Certora، المزود الرائد لأدوات التحقق الشكلي وتدقيق العقود الذكية لبروتوكولات Web3، تكشف عن تفاصيل إطار الأمان الذي تم تطويره بالتعاون مع Aave Labs لتأمين Aave V4، الجيل الجديد من أحد أكبر بروتوكولات الإقراض في التمويل اللامركزي.
"تعمل بروتوكولات التمويل اللامركزي بشكل متزايد على مستوى وتعقيد البنية التحتية المالية"، قال مولي ساغيف، المؤسس والعالِم الرئيسي في Certora. "لم يعد بالإمكان الاعتماد على عمليات التدقيق في نقطة زمنية واحدة فقط. مع Aave V4، عملنا جنباً إلى جنب مع المهندسين طوال دورة التطوير، وحققنا باستمرار في الخصائص الحرجة للنظام لضمان تصرّف البروتوكول تماماً كما هو مقصود."
بدلاً من الانضمام إلى العملية في المراحل النهائية من التطوير، شاركت Certora في مشروع Aave V4 قبل أكثر من عام من الإطلاق. وبالعمل عن كثب مع مهندسي آيف، قامت الفرق بمراجعة بنية النظام، ومسارات الحوكمة، والافتراضات الاقتصادية في وقت مبكر من عملية التصميم، مما أتاح لعوامل الأمان أن تؤثّر في بنية البروتوكول منذ البداية.
يستند هذا العمل إلى علاقة بين Certora وآيف امتدت لأكثر من ست سنوات وعدة إصدارات من البروتوكول. طوال تطوير Aave V4، عمل باحثو Certora جنباً إلى جنب مع مهندسي آيف لتطبيق التحقق الشكلي المستمر، والاختبارات الهجومية، والتدقيق اليدوي لتحديد المشكلات في وقت مبكر وتعزيز النظام قبل النشر.
وخلال التطوير، طبّقت Certora التحقق الشكلي، وهو منهج رياضي يُستخدم لإثبات أن البرمجيات تستوفي خصائص أمان محددة. شمل نطاق العمل ما يلي:
- التحقق من الضمانات الأساسية للبروتوكول، بما في ذلك حفظ الأصول، وقواعد الضمانات، وصحة عمليات التصفية، وسلامة الأذونات، وأمان التحديثات، والاتساق عبر الأسواق
- مراجعة يدوية مستمرة من قِبل مدققين كبار يمتلكون خبرة في بروتوكولات الإقراض، وأنظمة الأوراكل، وآليات الحوكمة، وأنماط استغلال DeFi
- مسابقة أمان خارجية واسعة النطاق بمشاركة باحثين مستقلين، لم يتم فيها اكتشاف ثغرات حرجة أو عالية التأثير، مما وفّر إثباتاً إضافياً على متانة بنية أمان البروتوكول.
عبر هذه الشراكة طويلة الأمد، قامت Certora وآيف بتأمين عدة أجيال من البروتوكول ومليارات الدولارات من السيولة على السلسلة، بما في ذلك:
- مراجعة 169 عقداً ذكياً
- تحليل أكثر من 51,000 سطر من الشيفرة
- إنشاء واختبار مستمر لأكثر من 800 قاعدة تحقق شكلي
- منع 28 ثغرة مهمة قبل النشر.
ومع استمرار نضوج التمويل اللامركزي وجذب رأس المال المؤسسي، أصبحت ضمانات الأمان الأقوى شرطاً أساسياً للاعتماد على نطاق واسع. يعكس عمل Certora مع آيف تحوّلاً أوسع في القطاع نحو هندسة أمان مستمرة. ففي عام 2025 وحده، ساعدت Certora في secure ما قيمته 196.5 مليار دولار من إجمالي القيمة المقفلة في بروتوكولات DeFi ومنعت أكثر من 720 ثغرة من الوصول إلى بيئات الإنتاج.
لمزيد من المعلومات، يُرجى زيارة certora.com/blog/certora-x-aavev4 أو متابعة @Certora.
نبذة عن Certora
Certora هي شريك ضمان الأمان الذي تثق به أكثر الفرق تقدماً في Web3. تأسست في عام 2018 على يد روّاد في لغات البرمجة والأساليب الشكلية، وتساعد Certora البروتوكولات الرائدة مثل Lido وAave وUniswap وCompound على تأمين مليارات من القيمة بثقة.
التواصل
مدير العلاقات العامة
آريا شاه
[email protected]