قائمة طعام
أقسام التشفير
أنتج التحقق الرسمي من مقترح دورة حياة المنشئ ثلاثة ضمانات مؤكدة وقائمة من المشكلات التي يتعين على الباحثين في Ethereum حلها
الثلاثاء 10 نوفمبر 2026 · 11:49 بتوقيت شرق الولايات المتحدة · 2 دقيقة للقراءة
في الايثيريوم
يشارك
عملت مؤسسة Ethereum مع شركة Verity، وهي شركة تحقق رسمية، للتحقق رياضيًا من EIP-8282. يحكم الاقتراح كيفية دخول منشئي الكتل إلى النظام ومغادرتهم.
أنتج العمل ثلاثة ضمانات مثبتة بشأن الرمز الثانوي لوقت تشغيل الاقتراح. كما كشفت أيضًا عن تناقضات يحتاج الباحثون الآن إلى معالجتها.
ما الحقيقة التحقق فعلا
تم إنشاء EIP-8282 في 22 مايو 2026. وهو يغطي وظائف دورة حياة منشئي الكتل، وهم الأطراف المسؤولة عن تجميع الكتل على الشبكة.
يحدد الاقتراح عقودًا مخصصة لإدارة ودائع البناء ومخارجه.
أنهت شركة Verity أعمال التحقق الخاصة بها في سبتمبر 2026. وتركزت نتائج الشركة على صحة الكود الثانوي لوقت تشغيل EIP، وهو الكود منخفض المستوى الذي سيتم تنفيذه فعليًا على السلسلة.
أثبتت الحقيقة ثلاث ضمانات. ويؤكدون أن الرمز الثانوي يتعامل بشكل صحيح مع السيناريوهات المرتبطة بعمليات إرسال المستخدم، مما يعني المكالمات المدفوعة، بالإضافة إلى مكالمات النظام. استدعاءات النظام هي دعوات يتم إجراؤها بواسطة البروتوكول نفسه وليس بواسطة مستخدم عادي.
أخبار العملات المشفرة والأسواق التي تحتاجها بالفعل - كل صباح.
يوميًا. حر. انضم إلى أكثر من 34000 قارئ في مجال العملات المشفرة والتمويل والسياسة.
نحن نحترم خصوصيتك. إلغاء الاشتراك في أي وقت.
البراهين والطفرات والتناقضات
استخدمت شركة Verity ستة طفرات في الكود الثانوي لتأكيد خصائصها. عمل الطفرة من هذا النوع يعني عمومًا تغيير الكود عمدًا لمعرفة ما إذا كانت الخصائص المذكورة ستلتقط التغيير.
ثم جاءت التناقضات. أشارت مراجعة Verity إلى المشكلات التي يتعين على الباحثين في Ethereum حلها.
حيث يوجد EIP-8282 في هذه العملية
كان الموعد النهائي للمكالمة الأخيرة لـ EIP-8282 هو 1 نوفمبر 2026. وانتهى عمل Verity في سبتمبر، قبل هذا الموعد النهائي.
وهذا التوقيت يعطي لعملية التحقق وزنا عمليا. لا يزال بإمكان النتائج التي تصل قبل إغلاق المكالمة الأخيرة تشكيل المواصفات.
ماذا يعني هذا بالنسبة للإيثيريوم
بالنسبة للمطورين والباحثين في البروتوكول، فإن المهمة المباشرة واضحة. يجب التوفيق بين التناقضات التي ظهرت عليها الحقيقة مع المواصفات، سواء عن طريق تغيير الكود، أو تغيير المواصفات، أو توضيح السلوك المقصود.
تمنح الضمانات الثلاثة الباحثين قاعدة أكثر ثباتًا لهذا العمل. إنهم يعرفون أن المكالمة المدفوعة ومسارات اتصال النظام تتصرف كما هو محدد في المناطق التي أثبتتها Verity.
ما يجب مراقبته بعد ذلك هو كيفية استجابة الباحثين لنتائج فيريتي. إن حل هذه التناقضات، وما إذا كانت المواصفات النهائية ستتغير نتيجة لذلك، سيُظهر مدى تأثير التحقق الرسمي الآن في تشكيل الكود الأساسي لإيثيريوم.
الإفصاح: تم تحرير هذه المقالة بواسطة فيفيان نجوين. لمزيد من المعلومات حول كيفية إنشاء المحتوى ومراجعته، راجع سياستنا التحريرية.
الأخبار عما تحمله
اتبع الأسهم الخاصة بك والتشفير. اقرأ الأخبار المتعلقة بهم من مئات الناشرين في Pro.
سياسة الخصوصية
