Verity و Ethereum Foundation تُنقّحان EIP-8282 بعد أن كشف التحقق الرسمي عن تناقضات في الوثائق

قام باحثو Ethereum بتنقيح مواصفات EIP-8282 بعد أن اكتشفت شركة التحقق الرسمي Verity ثلاثة تناقضات بين الوثائق المكتوبة والكود القابل للتنفيذ. يحدد EIP-8282 عقودًا ذكية مخصصة تحكم ودائع المنشئين (builders) وعمليات الخروج من الشبكة، إلى جانب بنية فصل المقترحين عن المنشئين (Proposer-Builder Separation) المكرّسة في EIP-7732. وبعد اكتماله في سبتمبر 2026 قبل الموعد النهائي لـ Last Call في 1 نوفمبر، أنتج التدقيق ثلاث ضمانات مُثبتة رياضيًا باستخدام براهين Lean بمساعدة الذكاء الاصطناعي وستة تحويلات (mutations) على مستوى الـ bytecode. وأكد التحقق منطق التشغيل الأساسي لعمليات تقديم المستخدمين، ومعالجة قوائم الانتظار، واستدعاءات النظام، مما دفع إلى تحديث الوثائق لتتوافق مع الـ bytecode الخاص بالمقترح.