ตรวจสอบ EIP-8282 พบความไม่สอดคล้องในสัญญาผู้สร้างบล็อก

มูลนิธิอีเธอเรียม (Ethereum Foundation) และ Verity ตรวจสอบไบต์โค้ดที่ทำงานบนเชนของสัญญาฝากเงินและขอออกจากระบบสำหรับผู้สร้างบล็อกของอีเธอเรียม(ETH) ตามข้อเสนอ EIP-8282 โดยยืนยันข้อรับรองการทำงานได้ 3 ประการ และพบความไม่สอดคล้องที่ทีมวิจัยยังต้องแก้ไข

Crypto Briefing รายงานในเดือนกันยายน 2026 ว่า Verity เสร็จสิ้นการตรวจสอบแล้ว และพิสูจน์ข้อรับรอง 3 ประการในเส้นทางการทำงานที่เกี่ยวข้องกับคำสั่งจากผู้ใช้และคำสั่ง SYSTEM ของโปรโตคอล ส่วน Verity อธิบายกรณีตรวจสอบคุณสมบัติของสัญญาฝากเงินและขอออกจากระบบของผู้สร้างบล็อกในเอกสารวิจัยที่เผยแพร่ต่อสาธารณะ

การตรวจสอบเชิงรูปแบบเป็นการใช้วิธีทางคณิตศาสตร์ตรวจสอบว่าโค้ดทำตามเงื่อนไขที่กำหนดหรือไม่ การตรวจสอบครั้งนี้ครอบคลุมไบต์โค้ดขณะทำงานของสัญญาที่จะทำงานบนเชนและพฤติกรรมบางอย่าง ไม่ใช่ข้อเสนอทั้งหมด

ทีมตรวจสอบดัดแปลงไบต์โค้ด 6 รูปแบบเพื่อดูว่าคุณสมบัติที่กำหนดไว้ตรวจจับการเปลี่ยนแปลงของโค้ดได้หรือไม่ Crypto Briefing ระบุว่ากระบวนการตรวจสอบยังพบความไม่สอดคล้องที่ทีมวิจัยต้องแก้ไข แต่รายงานไม่ได้ให้รายละเอียดของแต่ละกรณี

EIP-8282 จัดทำขึ้นเมื่อวันที่ 22 พฤษภาคม 2026 ข้อเสนอนี้กำหนดให้ผู้สร้างบล็อกเป็นผู้เข้าร่วมแยกต่างหากที่ต้องวางเงินฝาก และปรับขั้นตอนลงทะเบียนและออกจากระบบของผู้ตรวจสอบความถูกต้องซึ่ง EIP-7732 ใช้อยู่ ให้เป็นคำขอเฉพาะสำหรับผู้สร้างบล็อก

ในข้อเสนอมีสัญญาสำหรับจัดการการลงทะเบียนผู้สร้างบล็อกและการเพิ่มเงินฝาก รวมถึงสัญญาสำหรับจัดการคำขอออกจากระบบ ผู้สร้างบล็อกใช้สัญญาฝากเงินในการลงทะเบียนครั้งแรกและเพิ่มเงินฝาก ส่วนสัญญาออกจากระบบออกแบบมาให้จัดการคำขอจากที่อยู่สำหรับดำเนินการที่ผู้สร้างบล็อกกำหนดไว้

โค้ดมีเส้นทางสำหรับคำขอที่ผู้ใช้ส่งและชำระค่าธรรมเนียม กับเส้นทางคำสั่ง SYSTEM ที่โปรโตคอลส่งเอง คำสั่ง SYSTEM จะรวบรวมคำขอเมื่อแต่ละบล็อกสิ้นสุด แล้วส่งต่อไปยังชั้นฉันทามติ

คำขอฝากเงินรายการเดียวใช้ได้ทั้งลงทะเบียนผู้สร้างบล็อกรายใหม่และเพิ่มเงินฝากให้ผู้สร้างบล็อกที่ลงทะเบียนแล้ว สัญญารับและบันทึกคำขอ แต่ไม่ได้ตรวจสอบลายเซ็นที่จำเป็นสำหรับการลงทะเบียนครั้งแรกด้วยตัวเอง

ชั้นฉันทามติเป็นผู้ตรวจสอบลายเซ็นของการฝากเงินครั้งแรก หากลายเซ็นไม่ถูกต้อง คำขอฝากเงินครั้งแรกจะไม่ถูกดำเนินการ และเงินฝากอาจติดค้างอยู่ในสัญญาอย่างถาวร ข้อเสนอจึงแนะนำให้ผู้ส่งตรวจสอบลายเซ็นก่อนส่ง

เมื่อผู้สร้างบล็อกที่ลงทะเบียนแล้วฝากเงินเพิ่ม ระบบจะบันทึกจำนวนเงิน แต่ไม่สนใจข้อมูลรับรองการถอนและลายเซ็นที่แนบมากับคำขอ ดังนั้น แม้การลงทะเบียนครั้งแรกและการฝากเงินเพิ่มจะใช้สัญญาเดียวกัน แต่ชั้นฉันทามติจัดการทั้งสองกรณีต่างกัน

เมื่อมีคำขอออกจากระบบ สัญญาจะบันทึกที่อยู่ของผู้ส่งคำขอ จากนั้นชั้นฉันทามติต้องตรวจสอบว่าที่อยู่นั้นตรงกับที่อยู่สำหรับดำเนินการที่กำหนดให้ผู้สร้างบล็อกหรือไม่ จึงจะดำเนินการออกจากระบบได้

Crypto Briefing ระบุว่าทีมวิจัยควรเทียบความไม่สอดคล้องที่พบกับเนื้อหาในข้อเสนอเพื่อหาทางแก้ ซึ่งอาจทำได้ด้วยการแก้โค้ด ปรับข้อเสนอ หรืออธิบายพฤติกรรมที่ตั้งใจไว้ให้ชัดเจน

ข้อเสนอกำหนดเส้นตาย Last Call ไว้ในวันที่ 1 พฤศจิกายน 2026 โดย Verity ตรวจสอบเสร็จในเดือนกันยายนก่อนถึงกำหนดดังกล่าว ณ วันที่ 11 พฤศจิกายน 2026 หน้า EIP ระบุว่า EIP-8282 อยู่ในขั้น Last Call และอยู่ระหว่างการตรวจทานโดยผู้เชี่ยวชาญ เนื้อหาขั้นสุดท้ายของข้อเสนอจะได้รับการสรุปในกระบวนการนี้