ทีมวิจัยของอีเธอเรียมระบุว่าโครงการ Etheorem ซึ่งสร้างข้อกำหนดฉันทามติของอีเธอเรียมที่สามารถทำงานได้ด้วยภาษา Lean 4 สำหรับพิสูจน์ทฤษฎี ได้บรรลุหมุดหมายใหม่ด้วยการผ่านเวกเตอร์ทดสอบทั้งหมดสำหรับฮาร์ดฟอร์กที่กำลังจะมาถึง 3 เวอร์ชัน ได้แก่ Fulu, Gloas และ Heze

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

ความคืบหน้าล่าสุดครอบคลุมส่วนหลักต่างๆ รวมถึงการเปลี่ยนสถานะและการเลือกฟอร์ก ทีมงานระบุว่าตรรกะดังกล่าวได้รับการตรวจสอบอย่างอิสระโดยเคอร์เนล Lean ซึ่งทำให้กรอบงานนี้อยู่ในตำแหน่งชั้นฐานที่มีความเชื่อมั่นสูงขึ้นสำหรับการอัปเกรดอีเธอเรียมในอนาคต อย่างไรก็ดี ประกาศไม่ได้ระบุว่าข้อกำหนดนี้ถูกนำไปใช้โดยตรงในไคลเอนต์สำหรับใช้งานจริงแล้วหรือไม่ และไม่ได้ระบุกรอบเวลาการนำไปใช้ นอกเหนือจากขอบเขตของฟอร์กที่กล่าวไว้

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

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

เหตุใดจึงสำคัญ

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

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