“سونيك لابز تطلق مكتبة التحقق الرسمي: كل ما تحتاج معرفته”

أعلنت شركة Sonic Labs، الفريق المطور لـ Sonic EVM L1، عن إنجاز كبير في مجال أمان البلوكشين بإطلاق مكتبة التحقق الرسمي لبروتوكولات الإجماع القائمة على DAG. المشروع متاح الآن كمصدر مفتوح، وقاد عملية التطوير كبير مسؤولي الأبحاث الدكتور بيرنهارد شولتز.

تطلق Sonic Labs مكتبة تحقق لشبكات DAG

وفقًا للبيان الرسمي من Sonic Labs، فقد أصدر الفريق مكتبة التحقق الرسمي لبروتوكولات الإجماع القائمة على DAG وجعلها متاحة بالكامل كمصدر مفتوح. تعتمد الأداة الجديدة على التحقق الرسمي لإثبات سلامة بلوكشين DAG رياضيًا، بما في ذلك بلوكشين Sonic EVM الخاص بها.

تم تطوير المكتبة بالتعاون مع خبراء المنطق الرائدين من جامعة سيدني وINRIA، باستخدام أداة الإثبات TLA+. تُبسّط المكتبة عملية التحقق من بروتوكولات الإجماع القائمة على DAG من خلال تقديم مكونات قابلة لإعادة الاستخدام ووحداتية، مما يتيح للمطورين نمذجة البروتوكولات والتحقق منها بجهد أقل.

وأوضح الدكتور بيرنهارد شولتز، كبير مسؤولي الأبحاث في Sonic Labs، أن التركيز الأساسي للإصدار الجديد هو تيسير الوصول لمطوري البلوكشين الجدد:

• تتضمن المكتبة إثباتات لبروتوكولات DAG بارزة مثل DAG-Rider وCordial Miner وBullshark وHashgraph وAleph.
• تم التحقق من بروتوكول الإجماع الخاص بـ Sonic كمشتق من هذه البروتوكولات.
• عُرض العمل لأول مرة في مؤتمر NASA Formal Methods 2025 (NFM 2025) في ويليامزبرج، فرجينيا، خلال الفترة 11-13 يونيو، حيث وضع معيارًا جديدًا لأمان البلوكشين.

جعل التحقق من البروتوكولات أكثر شمولاً وفعالية من حيث التكلفة

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

بالإضافة إلى دعم التحقق من البروتوكولات الحالية، تساعد حلول Sonic Labs المصممين الذين يسعون لإنشاء بروتوكولات DAG جديدة أو تعديل النماذج الحالية. ولإثبات فعالية المكتبة، بدأت Sonic Labs في نشر التحقق الرسمي لإثبات أن السلوك غير الآمن مستحيل رياضيًا على بلوكشين Sonic.

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

الأسئلة الشائعة

• ما هي مكتبة التحقق الرسمي من Sonic Labs؟
  هي مكتبة مفتوحة المصدر تستخدم التحقق الرسمي لإثبات أمان بروتوكولات الإجماع القائمة على DAG رياضيًا، مما يضمن عدم وجود أخطاء.
• كيف تفيد المكتبة مطوري البلوكشين؟
  توفر مكونات قابلة لإعادة الاستخدام تبسط عملية التحقق من البروتوكولات، مما يوفر الوقت والجهد ويقلل التكاليف.
• ما أهمية التحقق الرسمي في البلوكشين؟
  يضمن التحقق الرسمي أن البروتوكولات آمنة بنسبة 100% في جميع السيناريوهات، مما يمنع الثغرات الخطيرة مثل الإنفاق المزدوج.