หลังจากทำงานหนักมาหนึ่งปี ระบบนิเวศ zkEVM ประสบความสำเร็จในการพัฒนาประสิทธิภาพอย่างก้าวกระโดด โดยเวลาในการพิสูจน์บล็อกของ Ethereum ลดลงจาก 16 นาทีเหลือ 16 วินาที และต้นทุนลดลงถึง 45 เท่า ปัจจุบัน zkVM ที่เข้าร่วมสามารถพิสูจน์บล็อกหลักได้ 99% ภายใน 10 วินาทีบนฮาร์ดแวร์เป้าหมาย
เมื่อวันที่ 18 ธันวาคม มูลนิธิ Ethereum (EF) ประกาศการใช้งานกลไกการพิสูจน์แบบเรียลไทม์และการแก้ไขปัญหาคอขวดด้านประสิทธิภาพ อย่างไรก็ตาม EF เน้นย้ำว่าความท้าทายที่แท้จริงอยู่ที่ความน่าเชื่อถือ ความเร็วที่ปราศจากการสนับสนุนด้านความปลอดภัยจะกลายเป็นภาระ นอกจากนี้ สมมติฐานทางคณิตศาสตร์ที่ใช้โดยอัลกอริทึม STARK ที่ใช้ zkEVM หลายตัวได้รับการพิสูจน์แล้วว่าผิดพลาดในช่วงไม่กี่เดือนที่ผ่านมา ส่งผลให้ระดับความปลอดภัยลดลง
ก่อนหน้านี้ในเดือนกรกฎาคม EF ได้ตั้งเป้าหมายที่ครอบคลุมสำหรับการพิสูจน์แบบเรียลไทม์ โดยครอบคลุมหลายมิติ เช่น ความหน่วงแฝง ฮาร์ดแวร์ และความปลอดภัย และขณะนี้ได้ผ่านการทดสอบมาตรฐาน EthProofs แล้ว
การเปลี่ยนแปลงที่สำคัญคือการเปลี่ยนจากการมุ่งเน้นปริมาณงานไปสู่ความปลอดภัยที่พิสูจน์ได้ เห็นได้ชัดว่า zkEVM ระดับ L1 ต้องเป็นไปตามมาตรฐานความปลอดภัย 128 บิตและสอดคล้องกับข้อกำหนดการเข้ารหัสหลัก เนื่องจากการปลอมแปลงหลักฐานอาจนำไปสู่ความเสี่ยงร้ายแรง เช่น การปลอมแปลงโทเค็นและการแก้ไขสถานะ L1 ดังนั้นขอบเขตความปลอดภัยจึงเป็นสิ่งที่ไม่สามารถต่อรองได้
EF ได้เปิดตัวแผนงานด้านความปลอดภัยสามขั้นตอนพร้อมกัน:
- ภายในสิ้นเดือนกุมภาพันธ์ 2026 ทีม zkEVM ทั้งหมดจะต้องผสานระบบพิสูจน์ของตนเข้ากับเครื่องมือประเมินความปลอดภัย soundcalc ของ EF เพื่อให้มาตรฐานการคำนวณความปลอดภัยเป็นไปในทิศทางเดียวกัน
- มาตรฐาน Glamsterdam จะบรรลุผลสำเร็จภายในสิ้นเดือนพฤษภาคม โดยจะบรรลุเป้าหมายในช่วงเปลี่ยนผ่าน เช่น การรักษาความปลอดภัยที่พิสูจน์ได้ 100 บิต
- เป้าหมายสุดท้ายของ H-star จะต้องบรรลุให้ได้ภายในสิ้นเดือนธันวาคม ซึ่งก็คือการรับประกันความปลอดภัยที่พิสูจน์ได้ในระดับ 128 บิต และการสาธิตความปลอดภัยอย่างเป็นทางการของโทโพโลยีแบบเรียกซ้ำ
เพื่อให้บรรลุเป้าหมาย EF ได้กล่าวถึงเครื่องมือทางเทคนิคหลัก เช่น WHIR และ JaggedPCS ซึ่งสามารถปรับปรุงประสิทธิภาพโดยการปรับการสร้างหลักฐานให้เหมาะสมและหลีกเลี่ยงการใช้พลังงานการคำนวณที่สิ้นเปลือง ในขณะเดียวกันก็ลดขนาดของหลักฐานโดยใช้เทคนิคต่างๆ เช่น โทโพโลยีแบบเรียกซ้ำ
อย่างไรก็ตาม ยังคงมีความท้าทายหลายประการ ได้แก่ การพิสูจน์แบบเรียลไทม์ยังไม่ได้ถูกนำมาใช้ในบล็อกเชน และประสิทธิภาพที่แท้จริงของผู้ตรวจสอบความถูกต้องยังเป็นที่น่าสงสัย พารามิเตอร์ด้านความปลอดภัยจำเป็นต้องได้รับการปรับเปลี่ยนแบบไดนามิกเมื่อสมมติฐานทางคณิตศาสตร์ถูกพิสูจน์ว่าผิดพลาด ยังไม่เป็นที่ทราบแน่ชัดว่าบางทีมจะสามารถบรรลุเป้าหมายได้ตามกำหนดเวลาหรือไม่ โครงการตรวจสอบความถูกต้องอย่างเป็นทางการด้วยสถาปัตยกรรมแบบเรียกซ้ำยังอยู่ในช่วงเริ่มต้น และระบบนิเวศกำลังพัฒนาอย่างไม่สม่ำเสมอ
เป็นที่น่าสังเกตว่า เมื่อ zkEVM ตรงตามข้อกำหนดแล้ว จะสามารถสนับสนุน Ethereum ในการเพิ่มขีดจำกัดก๊าซ ซึ่งจะช่วยเพิ่มความจุของบล็อก ในขณะเดียวกันก็รับประกันความเป็นไปได้ของการ Staking ส่งเสริม L1 ในฐานะเลเยอร์การชำระเงินที่น่าเชื่อถือ และลดความแตกต่างระหว่างการดำเนินการ L2 และ L1
เมื่อการแข่งขันด้านประสิทธิภาพสิ้นสุดลงแล้ว ประเด็นหลักของระบบนิเวศ zkEVM จึงเปลี่ยนไปเป็นการสร้างหลักฐานความปลอดภัยที่น่าเชื่อถือเพียงพอที่จะรองรับสินทรัพย์มูลค่าหลายแสนล้านดอลลาร์โดยไม่ต้องอาศัยการคาดเดาเรื่องความเปราะบาง การแข่งขันด้านความปลอดภัยได้เริ่มต้นขึ้นอย่างเป็นทางการแล้ว และจะเป็นหัวข้อหลักของ Ethereum ในปี 2026
ความคิดเห็นทั้งหมด