Vitalik เผยแพร่บทความเกี่ยวกับการยืนยันอย่างเป็นทางการ โดยชี้ให้เห็นบทบาทในการรักษาความปลอดภัยและเพิ่มประสิทธิภาพของ Ethereum

ตามรายงานของ ChainCatcher วิตาลิกได้เผยแพร่บทความชื่อ “A shallow dive into formal verification” ในวันนี้ โดยกล่าวถึงว่าการตรวจสอบเชิงรูปนัย (formal verification) สามารถช่วยยกระดับทั้งความปลอดภัยและประสิทธิภาพในการพัฒนา Ethereum ได้ นักพัฒนาสามารถใช้ Lean, EVM bytecode หรือภาษาแอสเซมบลี เพื่อเขียนโค้ดและตรวจสอบความถูกต้องผ่านการพิสูจน์ทางคณิตศาสตร์ที่ตรวจสอบได้โดยอัตโนมัติ วิตาลิกระบุว่าการตรวจสอบเชิงรูปนัยเหมาะเป็นพิเศษกับระบบที่ซับซ้อน เช่น STARKs, ฉันทามติแบบทนต่อความผิดพลาดของไบแซนไทน์, ZK-EVM และลายเซ็นหลังยุคควอนตัม แม้กระนั้นยังมีข้อจำกัด ได้แก่ข้อผิดพลาดในข้อกำหนด ความครอบคลุมโค้ดที่ไม่ครบถ้วน และการโจมตีระดับฮาร์ดแวร์