كيف شكلت أمان Certora إدارة مخاطر DeFi في عام 2025

في عام 2025، انتقلت التمويل اللامركزي (DeFi) إلى مرحلة نضوج جديدة حيث أصبحت أمان Certora محورياً لحماية القيمة عبر السلاسل والبروتوكولات.

يبدأ عصر أمان الأولوية القصوى في DeFi

بحلول عام 2025، وصل قيمة التمويل اللامركزي إلى 2.5 تريليون دولار من القيمة على السلسلة، مما يمثل قفزة حاسمة في الحجم والتعقيد.

ومع ذلك، كشفت هذه النمو أيضًا عن ثغرات جديدة، وطرق هجوم حديثة، وفجوات هيكلية في وضع الأمان عبر نظام البلوكتشين البيئي.

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

في ظل هذا السياق، لم تكتفِ Certora بمواكبة تطورات DeFi. بل وضعت نفسها كشريك مخاطر يتطلبه البروتوكولات ذات القيمة العالية، موسعة بصمتها الأمنية عبر السلاسل، واللغات، وطبقات البنية التحتية طوال عام 2025.

تأمين بروتوكولات DeFi الرائدة

في عام 2025، عمقت Certora دورها كشريك أمان أساسي لبروتوكولات DeFi الرائدة من حيث TVL. اعتمد أربعة عشر من أعلى 20 بروتوكولًا وسبعة من أعلى 10 بروتوكولات على الشركة ليس فقط للمراجعات، بل للتعاون طويل الأمد.

بشكل عام، 70% من أعلى 20 بروتوكولًا في DeFi من حيث TVL هم عملاء Certora. علاوة على ذلك، 70% من أعلى 10 بروتوكولات تتعاون مع Certora من خلال برامج أمان مستمرة وطويلة الأمد بدلاً من تقييمات لمرة واحدة.

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

شركاء الأمان على المدى الطويل

حافظت العديد من المشاريع الكبرى على علاقات متعددة السنوات مع Certora، مما يؤكد الطلب على دفاعات متينة. حتى عام 2025، تشمل القائمة:

Aave: أكثر من 5 سنوات

Compound: أكثر من 5 سنوات

Sky: أكثر من 4 سنوات

Morpho: 4 سنوات

Silo: 4 سنوات

Safe: أكثر من 3 سنوات

EigenLayer: أكثر من 3 سنوات

Lido: 3 سنوات

Stellar: سنتان

وتقتصر هذه القائمة على الطبقة العليا فقط. في عام 2025 وحده، بدأت 44 بروتوكولًا جديدًا في علاقات أمنية مع Certora، بما في ذلك Fluid، Jito، Navi، Polygon، Suilend، وغيرها. ومع ذلك، فإن قاعدة العملاء الأوسع الآن تمتد عبر العديد من المنصات الإضافية عبر مكدس العملات الرقمية.

مجتمعة، ساعدت هذه العلاقات Certora على حماية أصول بقيمة 196.5 مليار دولار في عام 2025، مما يعزز مكانتها في مركز إدارة مخاطر DeFi.

الأمان على نطاق واسع عبر السلاسل والأكوام

نادراً ما تعمل بروتوكولات DeFi الحديثة على سلسلة واحدة أو بيئة تنفيذ واحدة. في عام 2025، قامت Certora بمراجعة مئات الآلاف من أسطر الكود عبر مشهد Web3 الأوسع، مع تطبيق ممارسات مراجعة الأمان عبر السلاسل على كل مكدس رئيسي.

EVM: 200,700 سطر كود

Solana: 206,600 سطر كود

Sui: 33,000 سطر كود

Aptos: 16,300 سطر كود

NEAR: 6,000 سطر كود

البنية التحتية للبلوكتشين: 90,000 سطر كود

تطبيقات الهاتف المحمول: 14,000 سطر كود

أنظمة خارج السلسلة: 36,000 سطر كود لـ EigenLayer Hourglass، SafeNet، Cork، أدوات Lido، وغيرها

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

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

قياس القيمة الحقيقية بخلاف TVL

لا تزال القيمة الإجمالية المقفلة (TVL) مؤشرًا رئيسيًا، لكنها لا تلتقط بشكل كامل مكان وجود المخاطر أو كيفية التخفيف منها. أنشطة Certora في عام 2025 شملت البنية التحتية، وآليات الحوكمة، والتطبيقات الموجهة للمستخدم، مما يوفر رؤية أوسع لتأثير الأمان.

$90B في الأصول المؤمنة من خلال مراجعة التصميم والتحقق من ثوابت البروتوكول، حيث تم إثبات الصحة رياضيًا بدلاً من الافتراض

إكمال 150 مراجعة عبر السلاسل، وبيئات التنفيذ، وطبقات النظام

تحديد ومنع أكثر من 720 ثغرة قبل النشر

إصلاح 99% من جميع النتائج قبل الإطلاق

إيقاف 11 بروتوكولًا قبل النشر بعد اكتشاف مخاطر خطيرة

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

الهجمات التي لم تقع

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

80 ثغرة حرجة

180 ثغرة عالية الخطورة

360 ثغرة متوسطة الخطورة

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

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

أين يتغير حد المخاطر

خلال عام 2025، لم تنجم العديد من الفشلات الأكثر أهمية عن أخطاء تركيبية واضحة. بل نشأت من افتراضات اقتصادية معيبة، وتفاعلات بين الأنظمة، وخطوط منطقية دقيقة.

من بين المشكلات التي قامت Certora بتخفيفها كانت خطأ رياضي قادر على تضخيم معدلات الفائدة الفعالة حتى 2000×، ووضع فشل التصفية المرتبط بترقية Fusaka على إيثريوم، حيث يمكن لحدود الغاز لكل معاملة أن تولد مراكز غير قابلة للتصفية.

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

تصميم لضمان الاستدامة على المدى الطويل

ركز جزء كبير من عمل Certora في عام 2025 على الاستدامة الاقتصادية طويلة الأمد للعملاء. بدلاً من التحقق من حالة في لحظة معينة فقط، فحصت التدفقات الحالة عبر سنوات أو حتى عقود.

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

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

لماذا أصبحت التحقق الرسمي محورياً

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

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

كما يمثل هذا تطورًا رئيسيًا للصناعة الأوسع، حيث دمجت المزيد من الفرق الأساليب الرسمية في خطوط تطويرها بدلاً من اعتبارها خطوة لاحقة.

أمثلة على الخصائص المثبتة رسميًا

في عام 2025، أظهرت Certora إثباتات شاملة لعدة بروتوكولات ومكونات عالية المستوى. من بينها:

Aave v4: معدل الحصة هو تصاعدي؛ لا يمكن لم actions المستخدم أن تجعل الحسابات الصحية غير صحية؛ لا يوجد ضمانات لا يوجد دين

Euler Earn & Kamino: تم إثبات استدامة البروتوكول رسميًا

Silo: التناسق متوازن عبر قوائم الإيداع والسحب

Stellar: لا يمكن إعادة استخدام التصاريح المنتهية

تُظهر هذه الأمثلة كيف يمكن للأساليب الرسمية والتحقق من ثوابت البروتوكول أن تحول الافتراضات المجردة إلى ضمانات مدققة آليًا عبر أنظمة معقدة.

توسيع محرك البحث

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

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

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

الدور الاستراتيجي لأمان Certora في 2026 وما بعدها

بحلول نهاية عام 2025، كان واضحًا أن أكثر البروتوكولات نجاحًا تفعل أكثر من مجرد إصدار ميزات بسرعة. بل شراكت مع Certora مبكرًا، ودمجت التحقق العميق في دورة حياة التطوير، وتعاملت مع الأمان كجزء أساسي من البنية التحتية بدلاً من خطوة امتثال.

علاوة على ذلك، تشير بيانات 2025 إلى أن هذا النموذج يعيد تشكيل توقعات كيفية إدارة مشاريع DeFi للمخاطر. من مراجعات الكود متعددة السلاسل إلى إثباتات الثوابت المعقدة، يتجه القطاع نحو معايير أعلى.

بالنظر إلى عام 2026، تخطط Certora للاستفادة من هذا الزخم، من خلال الجمع بين البحث، والأدوات، والخبرة الميدانية لجعل الأمان عالي الضمان معيارًا أساسيًا لكل بروتوكول رئيسي.

باختصار، أظهر عام 2025 أنه عندما يُصمم الأمان بشكل منهجي، وليس بشكل عشوائي، يمكن لـ DeFi أن يتوسع بأمان، ويحمي المستخدمين، ويدعم النمو طويل الأمد عبر الاقتصاد الرقمي العالمي.