تتعاون Certora مع Cork وHypernative لوضع معيار جديد لأمان Web3

13 نوفمبر 2025 – تل أبيب، إسرائيل

أعلنت Certora، الشريك الموثوق لضمان الأمان لدى أكثر الفرق تقدماً في Web3، اليوم عن شراكة استراتيجية مع Cork، البروتوكول الرائد في بنية إدارة المخاطر للبنية التحتية للتمويل اللامركزي DeFi، و Hypernative، الرائد في مراقبة التهديدات في الوقت الفعلي.

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

تجمع هذه الشراكة بين ثلاثة قادة ملتزمين بتعزيز أمان ونزاهة أنظمة Web3. من خلال الجمع بين التحقق الرسمي والإطار الأمني الشامل من Certora مع المراقبة المتقدمة في الوقت الفعلي من Hypernative، سيستفيد مستخدمو Cork من تدابير حماية مؤسسية المستوى وتخفيف المخاطر بشكل استباقي، مصممة للجيل القادم من التمويل على السلسلة.

قال بابتيست فلورنتين، المدير التقني لـ Cork: "الأمان التقليدي لم يعد كافياً في DeFi. نحن فريق مركز يبني بنية تحتية حيوية للسوق، والمخاطر حقيقية. اخترنا Certora لتتجاوز عمليات التدقيق اللحظية وتبني نهج أمني شامل ومتكامل بعمق مع قاعدة الشيفرة وإدارة التغييرات وعمليات الإنتاج لدينا."

مع توسع نظام Web3، تستمر تكلفة ضعف الأمان في الارتفاع. ووفقًا لتقرير مركز شكاوى جرائم الإنترنت (IC3) التابع لمكتب التحقيقات الفيدرالي لعام 2024، بلغت خسائر الاحتيال المرتبط بالعملات المشفرة 9.3 مليارات دولار، بزيادة 66% عن العام السابق، مع ما يقرب من 150,000 شكوى تتعلق بالأصول الرقمية. تهدف شراكات كهذه إلى عكس هذا الاتجاه من خلال رفع معايير الأمان والمخاطر في الصناعة. لم يعد النهج الحالي لتدقيق DeFi كافياً، إذ تتطلب الصناعة الآن وضعاً أمنياً أكثر تقدماً واستباقية. 

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

قال سيث هاليم، الرئيس التنفيذي لـ Certora: "تأسست Certora لجلب صرامة ضمان الجودة المؤسسية، المستخدمة في صناعات مثل الطيران والمالية، إلى الأنظمة اللامركزية. من خلال الشراكة مع Cork و Hypernative، نحن لا نساعد بروتوكولاً واحداً فقط؛ بل نعيد تعريف كيفية تعامل Web3 مع المخاطر والشفافية والمرونة التشغيلية." وأضاف جال ساجي، الشريك المؤسس والرئيس التنفيذي لـ Hypernative: "أمان Web3 يخطو اليوم خطوة أخرى للأمام لتصفية الجهات السيئة في هذه الصناعة. لكنني سعيد أيضاً لأننا من خلال هذا التعاون نجد طرقاً لرفع معايير المخاطر للجميع العاملين في هذا المجال."

معًا، تبني Cork و Certora و Hypernative نموذجًا لكيفية تضمين الأمان في التصميم للبروتوكولات، مما يخلق أنظمة أكثر أمانًا للمستخدمين وأكثر قوة وقابلية للتوسع للمطورين.

حول Certora

Certora هي شركة أمان بلوكتشين تقدم أدوات تحقق رسمي رائدة في الصناعة وتدقيقات للعقود الذكية. منتج Certora الرئيسي للأمان، Prover، يساعد بروتوكولات مثل Aave و Lido و Maker على دمج قوة التحقق الرسمي في خط تطويرهم لاكتشاف حتى الأخطاء النادرة والصعبة.

حول Cork

تقدم Cork مفهومًا جديدًا للمخاطر المرمزة، حيث تعمل كطبقة مخاطر قابلة للبرمجة للأصول على السلسلة مثل رموز الصناديق، والعملات المستقرة الحاملة للعائد، ورموز (إعادة) التخزين السائل، و RWAs. يمكّن المفهوم الأساسي لـ Cork مديري الأصول والمصدرين من إنشاء أسواق مبادلة مخصصة تعزز سيولة الاسترداد وشفافية المخاطر وثقة السوق لأصولهم على السلسلة. بدعم من a16z crypto و OrangeDAO و Steakhouse Financial، تبني Cork البنية التحتية للمخاطر اللازمة لجذب رأس المال المؤسسي إلى أسواق الائتمان على السلسلة.

حول Hypernative

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

الاتصال

مدير العلاقات العامة الأول
وحاج خان
Serotonin