أطلقت شركة Certora الرائدة في مجال أمان Web3 أداة التحقق الخاصة بـ Solana وانضمت إلى برنامج التفويض التابع للمؤسسة

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

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

تحويل الخبرة الأمنية إلى تشغيل الشبكة

اكتسبت Certora سمعة من خلال تطبيق التحقق الشكلي والاختبار العدائي على بعض أكثر أنظمة Web3 تعقيدًا. شراكاتها مع بروتوكولات مثل: Jito، Aave، Lido، Polygon، Ethos وغيرها من الأنظمة البيئية الرئيسية تجسد فلسفة الوقاية من الأعطال قبل النشر بدلاً من الاستجابة السلبية بعد وقوع الأحداث. تشغيل المدققين يمدد هذه الفلسفة إلى عمليات الشبكة في الوقت الفعلي.

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

“مشاركتنا في برنامج التفويض الخاص بمؤسسة Solana هو امتداد طبيعي لمهمتنا في تعزيز مرونة وأمان Web3. سنستخدم خبرتنا التشغيلية التي تضع الأمان أولاً لتعزيز بنية Solana التحتية، ونتبع أفضل الممارسات التي نوصي بها لعملائنا من خلال خدماتنا التشغيلية. من خلال تشغيل مدققين عاليي الموثوقية، تدعم Certora بنشاط مهمة مؤسسة Solana لتعزيز اللامركزية، والانتشار، والأمان في نظام Solana البيئي.”- الرئيس التنفيذي لـ Certora سيث هالم

التوافق مع أهداف برنامج التفويض

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

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

اختيار البنية التحتية وانضباط التشغيل

يعتمد انخراط Certora العميق في شبكة Solana على سنوات من التعاون مع الفريق الأصلي لـ Solana. قدمت الشركة بالفعل خدمات أمان لـ Solana، Jito، Squads، Gods of Wild، Light Protocol، وFluid وغيرها. هذه العلاقات وفرت تحققًا عمليًا لمعايير Certora التشغيلية والتقنية.

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

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

نموذج التزام طويل الأمد أوسع

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

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

لماذا المدققون مهمون

عقد التحقق ضرورية لتشغيل Solana، فهي مسؤولة عن معالجة المعاملات، والأمان، والحكم، وتوزيع مكافآت الستيك. ومع ذلك، شهدت الشبكة انخفاضًا مستمرًا في عدد المدققين النشطين لأكثر من عامين، مما أثار مخاوف بشأن اللامركزية ومرونة الشبكة. مع انخفاض عدد المدققين، يتركز الستيك في أيدي عدد قليل من المشغلين، وتزداد المخاطر: فقد انخفض عتبة الأقلية الفائقة (المحددة بأنها الحد الأدنى النظري لعدد المدققين القادرين على إيقاف أو رقابة الشبكة) من 34 مدققًا في 2023 إلى حوالي 20 الآن، مما زاد من الجدل حول أمان الشبكة على المدى الطويل وتنوع المدققين.

استجابة لذلك، بدأ المدققون المستقلون في تنسيق التعاون لمواجهة الاندماج. Layer 33 هي مجموعة مكونة من 25 مدققًا مستقلًا في Solana، أعلنت مؤخرًا عن خطة لمجمع ستايك مشترك موزع بالتساوي تهدف إلى الاحتفاظ بحوالي ثلث إجمالي الستيك للمشغلين المستقلين. بعد هجوم DDoS واسع النطاق بلغ ذروته عند 6 تيرابت في الثانية، أصبحت هذه المناقشات أكثر إلحاحًا، لكنها سلطت الضوء أيضًا على أهمية عقد التحقق عالية الجودة تحت الضغط.

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

تعرف على المزيد حول SolanaFloor

Solana Breakpoint 2025: الإعلانات والأخبار الهامة ليوم السبت

الحقيقة المذهلة حول Solana DAT!