Vitalik ชี้ zkEVM ชนะศึกความเร็ว ย้ำย้ายจุดเน้นสู่การตรวจสอบความปลอดภัย

Vitalik Buterin ประเมินว่า zkEVM คว้าชัยชนะครั้งสำคัญในการแข่งขันด้านความเร็ว พร้อมระบุว่าควรปรับลำดับความสำคัญในการพัฒนาไปสู่ความปลอดภัย

MarsBit รายงานเมื่อวันที่ 15 ว่า Vitalik โพสต์ข้อความบน X เพื่อแสดงความยินดีกับทีม Airbender ของ ZKsync ที่บรรลุหมุดหมายสำคัญ เขากล่าวว่า ขั้นต่อไปควรตรวจสอบอย่างเป็นทางการว่าวงจรเลขคณิตสอดคล้องกับข้อกำหนดของ Ethereum หรือไม่ กำหนดเพดานสัดส่วนต้นทุนผู้พิสูจน์ (prover) ต่อปริมาณก๊าซรวมของบล็อก และตรวจสอบความปลอดภัยของระบบพิสูจน์เอง

zkEVM เป็นเทคโนโลยีที่ตรวจสอบผลการประมวลผลของ Ethereum Virtual Machine (EVM) ด้วยการพิสูจน์แบบ zero-knowledge ช่วยยืนยันผลการคำนวณโดยไม่ต้องประมวลผลธุรกรรมซ้ำตั้งแต่ต้น จึงนำมาใช้เพื่อปรับปรุงความสามารถในการขยายระบบ อย่างไรก็ตาม การที่หลักฐานถูกต้องเพียงอย่างเดียวไม่ได้รับประกันว่าการคำนวณเป็นไปตามข้อกำหนดของ Ethereum ภาพรวมด้านความปลอดภัยของ zkEVM จาก Ethereum Foundation ก็ระบุว่าการตรวจสอบว่าวงจรพิสูจน์บังคับให้การเปลี่ยนสถานะเป็นไปตามข้อกำหนดหรือไม่ และความถูกต้องของตัวจำลอง เป็นองค์ประกอบด้านความปลอดภัย

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