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

(بيان صحفي – تل أبيب، إسرائيل، 13 نوفمبر 2025)
أعلنت Certora، شريك ضمان الأمان الذي تثق به الفرق الأكثر تقدمًا في Web3، اليوم عن شراكة استراتيجية مع Cork، وهو بروتوكول رائد في البنية التحتية لإدارة المخاطر لـ DeFi، وHypernative، الشركة الرائدة في مراقبة التهديدات في الوقت الفعلي. ومن خلال هذا التعاون، أصبحت Certora شريكًا أمنيًا مسجلاً لشركة Cork، حيث تقوم بدمج الأمان في كل طبقة من دورة حياة البروتوكول، بدءًا من التصميم والتحقق وحتى النشر والمراقبة والعمليات.
تجمع هذه الشراكة بين ثلاثة قادة ملتزمين بتعزيز أمن وسلامة أنظمة Web3. من خلال الجمع بين التحقق الرسمي من Certora وإطار الأمان الشامل مع المراقبة المتقدمة في الوقت الفعلي من Hypernative، سيستفيد مستخدمو Cork من الضمانات المؤسسية والتخفيف الاستباقي للمخاطر المصممة للجيل القادم من التمويل onchain.
قال بابتيست فلورنتين، مدير التكنولوجيا التنفيذي في كورك: “إن أمان العمل كالمعتاد لا يفي بالغرض في التمويل اللامركزي”. “نحن فريق يركز على بناء البنية التحتية الحيوية للسوق، والمخاطر حقيقية. لقد اخترنا 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 هي شركة أمنية تعمل بتقنية blockchain توفر أدوات التحقق الرسمية الرائدة في الصناعة وعمليات تدقيق العقود الذكية. يساعد منتج الأمان الرائد لشركة Certora، Prover، البروتوكولات مثل Aave وLido وMaker على دمج قوة التحقق الرسمي في مسار التطوير الخاص بها لالتقاط حتى الأخطاء النادرة والتي يصعب العثور عليها.
حول كورك
تقدم كورك طريقة بدائية جديدة للمخاطر الرمزية، والتي تعمل كطبقة مخاطر قابلة للبرمجة للأصول الموجودة على السلسلة مثل رموز الخزنة، والعملات المستقرة ذات العائد، والرموز المميزة السائلة (إعادة) التخزين، ورموز الأصول القابلة للاسترداد (RWAs). تتيح البدائية الأساسية لـ Cork لمديري الأصول ومصدري الأصول إمكانية إنشاء أسواق مقايضة مخصصة تعمل على تعزيز سيولة الاسترداد وشفافية المخاطر وثقة السوق لأصولهم المتصلة بالإنترنت. بدعم من تشفير a16z وOrangeDAO وSteakhouse Financial، تقوم Cork ببناء البنية التحتية للمخاطر اللازمة لجلب رأس المال المؤسسي إلى أسواق الائتمان onchain.
حول فرط الولادة
Hypernative عبارة عن حل للمراقبة في الوقت الفعلي واكتشاف المخاطر والاستجابة الآلية يحدد التهديدات بدقة عالية، مما يمنح العملاء دقائق ثمينة للرد قبل أن تتسبب عمليات الاستغلال في حدوث ضرر. تقوم المنصة بتتبع مصادر البيانات onchain وoffchain. ويستخدم نماذج التعلم الآلي المتطورة التي تم اختبارها في المعركة، والاستدلال، والمحاكاة، والاكتشافات المستندة إلى الرسم البياني لتحديد أكثر من 300 نوع من المخاطر، بدءًا من اختراق العقود الذكية وحوادث الأمان الجسرية إلى تسويات الواجهة الأمامية والتلاعب بالسوق وسرقة المفاتيح الخاصة. لمزيد من المعلومات، قم بزيارة Hypernative.io.
مكافأة الشراكة السرية لقراء CryptoPotato: استخدم هذا الرابط للتسجيل وفتح 1500 دولار في مكافآت BingX Exchange الحصرية (عرض لفترة محدودة).



