قال فريق أبحاث إيثريوم إن مشروعه Etheorem، الذي ينشئ مواصفة تنفيذية لإجماع إيثريوم بلغة إثبات النظريات Lean 4، حقق محطة جديدة باجتياز جميع متجهات الاختبار لثلاثة إصدارات مقبلة من الانقسامات الصلبة: Fulu وGloas وHeze.

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

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

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

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

لماذا يهم ذلك

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

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