Certora تؤمن ما يقرب من $200 مليار في قيمة التمويل اللامركزي في 2025، وتمنع أكثر من 700 ثغرة عبر البروتوكولات الرائدة

المصدر: CryptoDaily العنوان الأصلي: Certora تؤمن ما يقرب من $200 مليار دولار من قيمة DeFi في 2025، وتمنع أكثر من 700 ثغرة عبر البروتوكولات الرائدة الرابط الأصلي: تسلط بيانات جديدة الضوء على النمو السريع لشركة Certora، وتوسيع دورها في الأمان المستمر، وقيادتها في التحقق الرسمي.

Certora، المزود الرائد لأدوات التحقق الرسمي وتدقيق العقود الذكية لبروتوكولات Web3، أصدر تقرير مراجعة عام 2025، كاشفًا أن الشركة ساعدت في تأمين إجمالي قيمة مقفلة قدرها 196.5 مليار دولار (TVL) عبر نظام DeFi البيئي ومنعت أكثر من 720 ثغرة من الوصول إلى الإنتاج. وفقًا للتقرير، عمل 14 من أعلى 20 بروتوكول DeFi من حيث TVL مع Certora في 2025، مما يمثل حوالي 70% من الفئة، في حين أن 7 من أعلى 10 بروتوكولات تحافظ على علاقات أمنية مستمرة وطويلة الأمد مع الشركة.

خسر 2.1–2.4 مليار دولار بسبب استغلالات العملات الرقمية في 2025، مما يمثل زيادة سنوية مع انتعاش نشاطات DeFi وتزايد تعقيد هياكل البروتوكولات. يسلط تقرير Certora الضوء على عدة تحولات هيكلية في كيفية تعامل الفرق الرائدة مع الأمان، بما في ذلك:

• الانتقال من التدقيقات الفردية إلى علاقات أمنية مستمرة
• التركيز المتزايد على الثوابت على مستوى البروتوكول بدلاً من فحوصات الوظائف
• توسيع نطاق التدقيق ليشمل تكوين النشر، الحوكمة، والأمان التشغيلي
• تزايد الاعتراف بأن ترقية البلوكتشين وسلوك المدققين يقدمان مخاطر أمنية جديدة

في 2025، أكملت Certora حوالي 150 تدقيقًا أمنيًا، حددت 80 مشكلة حرجة و180 مشكلة عالية الخطورة، وتم إصلاح 99% من جميع النتائج قبل النشر. في 11 حالة، نصحت Certora فرق البروتوكول بتأجيل أو إيقاف الإطلاق تمامًا بعد اكتشاف مخاطر خطيرة كان من الممكن أن تؤدي إلى فشل نظامي أو فقدان أموال.

“هذه الأرقام تعكس مدى تغير الصناعة،” قال Seth Hallem، الرئيس التنفيذي لشركة Certora. “الأمان اليوم لا يتعلق بكشف الأخطاء الواضحة في اللحظة الأخيرة. الأمر يتعلق بإثبات الصحة في أنظمة تدير مليارات الدولارات، وتتطور باستمرار، وتتفاعل عبر السلاسل. نمونا في 2025 يعكس تحول النظام البيئي نحو أمان طويل الأمد على مستوى البنية التحتية.”

“أكثر البروتوكولات نضجًا لم تعد تعتبر الأمان مجرد تدقيق لمرة واحدة،” قال Mooly Sagiv، مؤسس Certora ورئيس العلماء. “يختارون شريك أمان يفهم اقتصادياتهم، وهندستهم، وكيف يتصرف نظامهم مع مرور الوقت. ما نراه هو تحول واضح في الصناعة من ‘تغطية التدقيق’ إلى ‘ضمانات الصحة’.”

لتلبية هذا الطلب، ضاعفت Certora فريق البحث الأمني في 2025 ليصل إلى حوالي 40 باحثًا، بما في ذلك 25 دكتوراه، موسعين خبراتهم العميقة عبر بيئات التنفيذ مثل إيثريوم، سولانا، سوي، أبتوس، والبنية التحتية للبلوكتشين الناشئة.

يسلط التقرير الضوء على كيف أن حدود المخاطر قد تحولت بعيدًا عن الثغرات السطحية نحو الحالات الاقتصادية الحافة، وافتراضات عبر السلاسل، ومخاطر اللغة الخاصة، وسلوك البروتوكول تحت ظروف السلسلة المتغيرة، بما في ذلك ترقية الشبكة.

في 2025، أمنت Certora أكثر من $90 مليار دولار من TVL بشكل تصميمي، باستخدام التحقق الرسمي لإثبات نظريًا الثوابت الحرجة للبروتوكول مثل الملاءة، معدلات الفائدة الأحادية، وظروف أمان المستخدم.

حول Certora

Certora هي شريك ضمان الأمان الموثوق به من قبل أكثر الفرق تقدمًا في Web3. تأسست في 2018 على يد رواد في لغات البرمجة والأساليب الرسمية، وتساعد بروتوكولات رائدة مثل Lido، Aave، بعض منصات DEX، وCompound على تأمين مليارات الدولارات بثقة.