ZKsync เปิดตัว Airbender Prime ตัวพิสูจน์แบบ zero-knowledge ที่สามารถพิสูจน์บล็อก Ethereum ได้ 7,200 บล็อกภายในเวลาไม่ถึง 10 วินาทีโดยใช้ GPU เพียงตัวเดียว Vitalik Buterin ผู้ร่วมก่อตั้ง Ethereum เรียกสิ่งนี้ว่าเป็นหมุดหมายชี้ขาด และกล่าวว่าการพัฒนา zkEVM ต้องหันมาให้ความสำคัญกับความปลอดภัยแทนความเร็ว
เกิดอะไรขึ้นจริง ๆ
ZKsync ประกาศเปิดตัว Airbender Prime ตัวพิสูจน์แบบ zero-knowledge สำหรับ Ethereum เมื่อวันที่ 17 ตุลาคม 2026 ตามรายงานของ Wu Blockchain ในการทดสอบ GPU NVIDIA RTX PRO 6000 Blackwell เพียงตัวเดียวสามารถสร้างการพิสูจน์ (proof) สำหรับบล็อก Ethereum mainnet ต่อเนื่องกัน 7,200 บล็อก โดย 99% ของการพิสูจน์บล็อกใช้เวลาไม่ถึง 10 วินาที และทุกบล็อกเสร็จสิ้นภายใน 12 วินาที รวมเวลาเตรียม witness ด้วย ตัวพิสูจน์นี้ทำงานบนมาตรฐานเปิด RISC-V และใช้เทคโนโลยี STARK proof แบบ hash-based ที่ออกแบบมาเพื่อความปลอดภัยในยุคหลังควอนตัม (post-quantum) และมาพร้อมตัวตรวจสอบ (verifier) แบบสแตนด์อโลนสำหรับการตรวจสอบอิสระ Vitalik Buterin ผู้ร่วมก่อตั้ง Ethereum แสดงความยินดีกับทีม Airbender และกล่าวว่าการแข่งขันเรื่องความเร็วในการพิสูจน์ของ zkEVM มาถึงผลลัพธ์ที่ชี้ขาดแล้ว เขาระบุว่าตอนนี้ความสำคัญต้องเปลี่ยนไปที่ความปลอดภัยอย่างเต็มที่
เส้นทางที่นำมาสู่จุดนี้
Zero-knowledge proof ช่วยให้ rollup พิสูจน์ความถูกต้องของธุรกรรมบน Ethereum ได้โดยไม่ต้องรันคำนวณซ้ำทั้งหมด ช่วยลดต้นทุนและระยะเวลาการ finality ตลอดหลายปีที่ผ่านมา ทีมพัฒนา zkEVM ต่างแข่งขันกันหลัก ๆ ที่ความเร็วในการพิสูจน์ เพราะการพิสูจน์ที่ช้าจะทำให้การถอนเงินล่าช้าและเพิ่มต้นทุน ผลลัพธ์ของ Airbender Prime ที่พิสูจน์บล็อกได้ 99% ภายในเวลาไม่ถึง 10 วินาทีด้วย GPU ระดับผู้บริโภคเพียงตัวเดียว ถือเป็นหนึ่งในเกณฑ์มาตรฐาน (benchmark) สาธารณะที่เร็วที่สุดสำหรับตัวพิสูจน์ที่เทียบเท่า Ethereum Buterin ระบุภารกิจที่ยังไม่เสร็จสิ้นสามข้อสำหรับการตรวจสอบเชิงรูปแบบ (formal verification) ได้แก่ การยืนยันว่าระบบเลขคณิตของ proof system ตรงกับกฎของโปรโตคอล Ethereum ทุกประการ การกำหนดขีดจำกัดต้นทุนที่แน่นอนโดยผูกกับการใช้ gas ของบล็อก และการตรวจสอบว่าระบบ zero-knowledge เองมีความสมเหตุสมผล (sound) เรื่องนี้เปลี่ยนการแข่งขัน zkEVM จากการประชันประสิทธิภาพไปเป็นโจทย์เรื่องการตรวจสอบความปลอดภัย
ทำไมเรื่องนี้ถึงสำคัญกับคุณ
สำหรับ ZKsync การพิสูจน์ที่เร็วขึ้นอาจหมายถึงค่าธรรมเนียมที่ถูกลงและ finality ที่เร็วขึ้นสำหรับผู้ใช้ที่ bridge หรือเทรดบน rollup ของตน สำหรับทีม zkEVM อื่น ๆ คำพูดของ Buterin ตั้งมาตรฐานใหม่ ความเร็วเพียงอย่างเดียวไม่เพียงพอที่จะเป็นข้อโต้แย้งอีกต่อไป การรับประกันความปลอดภัยเชิงรูปแบบต่างหากที่สำคัญ นักพัฒนาที่ทำงานด้าน Ethereum scaling อาจเริ่มให้ความสำคัญกับการตรวจสอบ (audit) และการพิสูจน์ทางคณิตศาสตร์เรื่องความถูกต้องมากกว่าการแข่งขันด้านเกณฑ์มาตรฐาน ผู้ถือสินทรัพย์บน zk-rollup ควรจับตาดูว่าคู่แข่งจะหันทรัพยากรไปที่การตรวจสอบเชิงรูปแบบหรือไม่ เพราะอาจทำให้บางโรดแมปช้าลง แต่จะช่วยลดความเสี่ยงที่บั๊กในตัวพิสูจน์จะทำให้เงินสูญหาย ท้ายที่สุดผู้ใช้จะได้ประโยชน์จากเชนที่พิสูจน์ได้ทั้งเร็วและปลอดภัย
คำถามใหญ่กว่านั้น
ถ้าความเร็วในการพิสูจน์ไม่ใช่ปัจจัยชี้ขาดอีกต่อไป มาตรฐานใหม่อะไรจะเป็นตัวแบ่งแยก zkEVM ที่แข่งขันกัน การตรวจสอบเชิงรูปแบบสามารถยืนยันได้ว่าระบบตรงกับข้อกำหนดของตัวเอง แต่ไม่สามารถรับประกันได้ว่าข้อกำหนดนั้นครอบคลุมการโจมตีในโลกจริงทุกรูปแบบ แล้วใครจะเป็นผู้ตัดสินว่าตัวพิสูจน์ปลอดภัยมากพอที่จะปกป้องสินทรัพย์มูลค่าหลายพันล้านดอลลาร์
สิ่งที่ต้องจับตา
ZKsync ยังไม่ได้เปิดเผยวันที่จะนำ Airbender Prime เข้าสู่ mainnet ให้จับตาดูว่านักพัฒนาหลักของ Ethereum จะตอบสนองต่อโรดแมปการตรวจสอบเชิงรูปแบบของ Buterin อย่างไรในอีกไม่กี่สัปดาห์ข้างหน้า โปรเจกต์ zkEVM อื่น ๆ อาจเผยแพร่ผลเปรียบเทียบเกณฑ์มาตรฐานของตัวเองเมื่อจุดสนใจเปลี่ยนไปที่การตรวจสอบความปลอดภัย Bonuz จะติดตามว่าการถกเถียงนี้ส่งผลต่อโครงสร้างพื้นฐานการพิสูจน์อย่างไร ซึ่งในที่สุดอาจรองรับอุปกรณ์น้ำหนักเบาที่ทำงานตลอดเวลา เช่น smart glasses ที่ต้องพึ่งพาการตรวจสอบที่รวดเร็วและราคาถูกที่ edge
