Vitalik อธิบายแนวทางการพิสูจน์รูปแบบอย่างเป็นทางการที่เสริมด้วย AI เป็นกุญแจสำคัญต่อบทบาทความปลอดภัยของ Ethereum ในวันที่ 19 พฤษภาคม

ตามรายงานของ BlockBeats เมื่อวันที่ 19 พฤษภาคม วิทาลิก บูเทอริน ผู้ร่วมก่อตั้ง Ethereum ได้อธิบายว่า “การพิสูจน์ความถูกต้องเชิงรูปแบบ” ที่ผสานกับ AI จะกลายเป็น “รูปแบบสูงสุดของการพัฒนาซอฟต์แวร์” และเป็นการป้องกันที่สำคัญต่อภัยคุกคามจาก AI ขั้นสูง วิทาลิกระบุว่า การพิสูจน์ความถูกต้องเชิงรูปแบบจะแปลงความถูกต้องของโค้ดให้อยู่ในรูปของทฤษฎีบทที่ตรวจสอบได้ทางคณิตศาสตร์ เพื่อรับประกันความปลอดภัยของซอฟต์แวร์ด้วยการพิสูจน์ทางคณิตศาสตร์ ไม่ใช่การทดสอบหรือการตรวจสอบแบบดั้งเดิม

วิทาลิกยังเน้นว่าแนวทางนี้เหมาะอย่างยิ่งกับการอัปเกรดขั้นต่อไปของ Ethereum รวมถึงลายเซ็นต้านทานควอนตัม ระบบพิสูจน์ STARK ฉันทามติแบบทนต่อความผิดพลาดของ Byzantine และ ZK-EVM เขากล่าวว่าเมื่อความท้าทายด้านความปลอดภัยจาก AI เพิ่มขึ้น Ethereum จะกลายเป็นองค์ประกอบสำคัญของสถาปัตยกรรมแบบ “security core” โดยระบบที่สำคัญจะยกระดับความแข็งแกร่งด้วยวิธีการเชิงรูปแบบ ขณะที่องค์ประกอบรอบข้างทำงานในสภาพแวดล้อมแบบแซนด์บ็อกซ์ด้วยสิทธิ์ขั้นต่ำเท่านั้น