Ethereum เลื่อน Glamsterdam Hoodi Fork เหตุความเสี่ยงก๊าซจาก EIP-8037 และ EIP-8038

การฟอร์ก Glamsterdam บนเทสต์เน็ต Hoodi ของ Ethereum ถูกเลื่อนออกไป หลังจาก ChainSecurity ชี้ปัญหาความเข้ากันได้ใน EIP-8037 และ EIP-8038

นักพัฒนาหลักกำลังทบทวนว่าข้อกำหนดการอัปเกรดจำเป็นต้องเปลี่ยนแปลงหรือไม่ ChainSecurity ระบุกรณีจริง 13 กรณี

เหตุใด Hoodi Fork จึงถูกเลื่อน

นักวิจัย Ethereum Toni Wahrstätter แชร์ข้อมูลอัปเดตบน X หลังจากนักพัฒนาหลักหยุดการเปิดตัวเมื่อสัปดาห์ที่แล้ว การฟอร์ก Glamsterdam มีแผนจะใช้กับ Hoodi เป็นขั้นตอนทดสอบ

การเลื่อนเกิดขึ้นหลังรายงานจาก ChainSecurity เกี่ยวกับวิธีที่ EIP-8037 โต้ตอบกับสัญญาบางตัว นักพัฒนาใช้เวลาช่วงสุดสัปดาห์ประเมินขอบเขต และ Wahrstätter กล่าวว่าขณะนี้เข้าใจภาพรวมดีแล้ว

สัญญาที่ฮาร์ดโค้ดก๊าซที่ส่งต่อเป็นที่ทราบกันดีอยู่แล้วว่าได้รับผลกระทบจากการปรับราคาใหม่ ตัวอย่างเช่น การเขียนสถานะผ่าน SSTORE มีค่าใช้จ่ายสูงขึ้นภายใต้กฎใหม่

อย่างไรก็ตาม การค้นพบล่าสุดเกี่ยวข้องกับปัญหาที่แตกต่างออกไป รูปแบบการเขียนโค้ดบางแบบพึ่งพาค่าคงที่ที่ EIP-8037 ทำลาย

ในโพสต์บน X Wahrstätter อธิบายปัญหาใหม่นี้ เขาเขียนว่า "ก๊าซที่ใช้ไปแล้วสามารถกลับมาระหว่างธุรกรรมได้ ดังนั้น gasleft() จึงเพิ่มขึ้นได้"

สัญญาที่สมมติว่าการใช้ก๊าซลดลงเท่านั้นอาจทำงานในแบบที่ไม่คาดคิด ส่งผลให้โค้ดที่สร้างจากพฤติกรรมก๊าซเดิมอาจล้มเหลวเมื่อการเปลี่ยนแปลงมีผลจริง

กรณีของ ChainSecurity มาจากสัญญาจริง ไม่ใช่ตัวอย่างเชิงทฤษฎี ด้วยเหตุนี้ นักพัฒนาจึงถือว่าการค้นพบนี้เป็นข้อกังวลด้านความเข้ากันได้ในทางปฏิบัติสำหรับการอัปเกรด ดังนั้น การฟอร์ก Glamsterdam จึงยังคงถูกระงับไว้ระหว่างการทบทวน

ปัญหาก๊าซสามประการและขั้นตอนถัดไป

Wahrstätter อธิบายปัญหาสองประการที่เชื่อมโยงกับค่าคงที่ที่ถูกทำลาย ประการแรก ตัวนับก๊าซก่อนและหลังเกิด underflow และธุรกรรมถูกย้อนกลับ

ประการที่สอง การเรียกย่อยที่ล้มเหลวคืนก๊าซกลับ ทำให้เส้นทางที่ไม่ควรเข้าถึงถูกทำงาน ธุรกรรมจึงดูเหมือนสำเร็จ ผลลัพธ์ทั้งสองมาจากการเปลี่ยนแปลงเดียวกันในวิธีคืนก๊าซระหว่างธุรกรรม

ปัญหาที่เกี่ยวข้องแต่แยกต่างหากส่งผลต่อการวัดก๊าซ สัญญาที่เปรียบเทียบ GAS ก่อนและหลังการเรียกอาจนับการใช้งานต่ำกว่าจริง

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

Wahrstätter กล่าวว่าการเลื่อน Hoodi "ซื้อเวลาแต่ไม่แก้ปัญหา" การเลื่อนฟอร์ก Glamsterdam ให้เวลาผู้มีส่วนร่วมเพิ่มเติมเพื่อศึกษารูปแบบที่ได้รับผลกระทบแต่ละแบบ

สัปดาห์นี้ ผู้มีส่วนร่วมวางแผนจะตรวจสอบสัญญาอย่างละเอียดและยืนยันว่าไม่มีกรณีใดตกหล่น เขาเขียนว่า "ตอนนี้เป็นเรื่องของการตัดสินใจว่าจะดำเนินการอย่างไร"

การแก้ไขอาจต้องการเพียงการประสานงานระหว่าง dapps นักพัฒนาหลัก ผู้ตรวจสอบ และผู้ดำเนินการโหนด ในกรณีเลวร้ายที่สุด ข้อกำหนดเองจำเป็นต้องเปลี่ยนแปลง

Wahrstätter เรียกร้องให้นักพัฒนาแอปและผู้ตรวจสอบ "ตรวจสอบสัญญาของคุณสำหรับปัญหากับ EIP-8037/EIP-8038 และรายงาน" เขายังขอให้ผู้อ่านแชร์โพสต์กับนักพัฒนาแอปคนอื่น