ชื่อเรื่องต้นฉบับ: "ทำไม Ethereum จึงต้องการ ZK-VM: เส้นทางสุดท้ายสู่การปรับขนาด"

ผู้เขียนต้นฉบับ: Ebunker Chinese

ในบรรดาแนวทางมากมายในการปรับขนาด Ethereum ZK ถือเป็นทั้งวิธีที่ซับซ้อนที่สุดและสำคัญที่สุด

ทั่วทั้งเครือข่าย Vitalik Buterin และมูลนิธิ Ethereum ได้วางเดิมพันหนักที่สุดกับ ZK ZK เปรียบเสมือนลูกชายคนเล็กในครอบครัว Ethereum: ผู้ที่ได้รับความพยายามมากที่สุด แต่ก็มีอนาคตที่ไม่แน่นอนที่สุด

ไม่กี่วันที่ผ่านมา มูลนิธิ Ethereum ได้เปิดตัว แผนงาน Kohaku ซึ่งเป็นแผนสำหรับองค์ประกอบพื้นฐานของกระเป๋าสตางค์ความเป็นส่วนตัว แผนงานดังกล่าวย้ำว่าฟีเจอร์หลักหลายอย่างยังคงต้องพึ่งพาการใช้งาน ZK-EVM หรือ ZK-VM

แล้วทำไม Ethereum ถึงต้องการ ZK-VM อย่างเร่งด่วน? คำตอบนั้นง่ายมาก: เพื่อประสิทธิภาพ ไม่ใช่เพื่อแลกกับความปลอดภัย คอขวดด้านประสิทธิภาพ: การตรวจสอบแบบเต็มรูปแบบและ GAS Cap ก่อนหน้านี้เราได้กล่าวถึงวิธีที่เร่งด่วนที่สุดในการปรับปรุงประสิทธิภาพของ Ethereum คือการเพิ่ม GAS Cap ซึ่งหมายถึงบล็อกที่ใหญ่ขึ้น อย่างไรก็ตาม ปัญหาคือการเพิ่ม GAS Cap มาพร้อมกับต้นทุน: บล็อกขนาดใหญ่เกินไปเป็นภาระหนักสำหรับโหนด ปัจจุบัน Ethereum ใช้รูปแบบการตรวจสอบที่เรียกว่า "การตรวจสอบแบบเต็มรูปแบบ" ซึ่งโหนดทั้งหมดต้องตรวจสอบทุกบล็อกอย่างครบถ้วน แม้ว่ากลไกนี้จะง่ายและปลอดภัย แต่ก็มีความซ้ำซ้อนสูง หาก GAS Cap เพิ่มขึ้นอย่างมาก ภาระงานในการประมวลผลของแต่ละโหนดก็จะพุ่งสูงขึ้นเช่นกัน

เมื่อพิจารณาว่าช่วงเวลาบล็อกของ Ethereum อยู่ที่เพียง 12 วินาที ซึ่งต้องใช้เวลาในการแพร่กระจายบล็อกและการเรียงลำดับ MEV ด้วย ผู้ตรวจสอบมีเวลาเพียง 4-8 วินาทีในการตรวจสอบ ทำให้เหลือเวลาน้อยมากสำหรับการจัดการโหลดขนาดใหญ่

Ethereum บนพื้นฐาน ZK: จาก "การตรวจสอบทั้งหมดโดยทั้งหมด" เป็น "การตรวจสอบทั้งหมดโดยหนึ่ง"

หาก Ethereum L1 ใช้พื้นฐาน ZK อย่างเต็มรูปแบบ โมเดลการตรวจสอบจะเปลี่ยนจาก "การตรวจสอบทั้งหมดโดยทั้งหมด" เป็น "การตรวจสอบทั้งหมดโดยหนึ่ง" ในโมเดลนี้ เมื่อประกอบบล็อกแล้ว จะมีการสร้างหลักฐาน ZK ก่อน

ZK มีลักษณะเด่นคือการสร้างหลักฐานที่ช้าแต่การตรวจสอบที่รวดเร็วมาก ดังนั้น โหนดจึงจำเป็นต้องตรวจสอบความถูกต้องของหลักฐานเพียงครั้งเดียว โดยไม่ต้องดำเนินการธุรกรรมทั้งหมดภายในบล็อกซ้ำ ซึ่งหมายความว่า Ethereum สามารถเพิ่มขีดจำกัดแก๊สได้อย่างมากโดยไม่เพิ่มภาระให้กับโหนดอย่างมาก ยกตัวอย่างเช่น เมื่อคุณส่งคำขอลา (ส่งธุรกรรม) บน DingTalk ผู้นำแต่ละคน (โหนด) จะต้องตรวจสอบยอดคงเหลือวันหยุดของคุณเป็นรายบุคคล (การตรวจสอบเต็มรูปแบบ) และกระบวนการจะผ่านไปหลังจากที่ทุกคนอนุมัติแล้วเท่านั้น ด้วย ZK ระบบจะตรวจสอบว่าคุณมีวันหยุดก่อน จากนั้นจึงออกหลักฐานรวม (ZK) ให้กับผู้นำทุกคน จากนั้นผู้นำเพียงแค่เชื่อถือการลาของคุณและอนุมัติอย่างรวดเร็ว (การตรวจสอบเต็มรูปแบบ) หลังจาก ZK-ification คุณยังคงยื่นขอลา (การส่งธุรกรรม) ระบบจะตรวจจับการลาที่เหลือของคุณและแจ้งผู้นำทุกคนโดยตรงว่า "บุคคลนี้ลาแล้ว" ผู้นำมั่นใจอย่างเต็มที่ว่าระบบจะไม่ทำผิดพลาด (ZK) ซึ่งทำให้การอนุมัติเร็วขึ้นมาก (การตรวจสอบพนักงานทั้งหมด) นี่คือเหตุผลที่ Ethereum จำเป็นต้องมี ZK-ified ความท้าทายด้านการเข้ารหัสและกรณีศึกษา: แน่นอนว่าการบรรลุทั้งหมดนี้ต้องใช้ความพยายามทางวิศวกรรมอย่างมหาศาลและความยากในการเข้ารหัสที่สูง ดังนั้น Ethereum จึงต้องร่วมมือกับทีมงานมืออาชีพ โปรโตคอล Brevis ซึ่ง Justin นักวิจัยจากมูลนิธิ Ethereum กล่าวถึง เป็นหนึ่งในตัวอย่างชั้นนำในสาขานี้

Brevis เชี่ยวชาญด้าน ZK-VM และเทคโนโลยี Pico Prism ล่าสุดในปัจจุบันเป็นหนึ่งในโซลูชันที่เร็วที่สุดสำหรับการสร้างหลักฐาน ZK ภายใต้เงื่อนไขที่กำหนด

จากข้อมูลการทดสอบ ที่ขนาดบล็อก Ethereum ปัจจุบันอยู่ที่ 45M gas Brevis ที่ใช้ GPU RTX 5090 จำนวน 64 ตัว สามารถทำหลักฐานบล็อกได้ 99.6% ภายใน 12 วินาที โดย 96.8% ของบล็อกได้รับการพิสูจน์ภายใน 10 วินาที

เพื่อรักษาการกระจายศูนย์ Ethereum กำหนดว่าต้นทุนของอุปกรณ์พิสูจน์ ZK ต้องไม่เกิน 100,000 ดอลลาร์สหรัฐ แม้ว่า GPU ระดับไฮเอนด์ (เช่น H200 หรือ B200) สามารถสร้างหลักฐานได้เร็วกว่ามาก แต่นั่นจะเพิ่มอุปสรรคในการเข้าถึงอย่างมาก การออกแบบปัจจุบันของ Brevis ติดอยู่ในขีดจำกัดนี้เหตุใด "การครอบคลุม 10 วินาที" จึงมีความสำคัญอย่างยิ่ง เนื่องจากโดยทั่วไปแล้วบล็อก MEV จะถูกสร้างขึ้นภายใน 1-3 วินาที และเวลาพิสูจน์ 10 วินาทีนั้นสามารถเติมเต็มช่วงเวลาบล็อก 12 วินาทีได้อย่างสมบูรณ์แบบ สรุป: เส้นทางตรรกะสู่ ZK-ification ของ Ethereum เพื่อเร่งประสิทธิภาพ L1 Ethereum จำเป็นต้องเพิ่มขีดจำกัดแก๊ส เพื่อเพิ่มขีดจำกัดแก๊สอย่างปลอดภัย จำเป็นต้องส่งเสริม ZK-ification และเพื่อให้บรรลุ ZK-ification ได้อย่างสง่างาม (สร้างการพิสูจน์ภายใน 10 วินาทีและมีต้นทุนฮาร์ดแวร์ต่ำกว่า 100,000 ดอลลาร์สหรัฐ) จำเป็นต้องอาศัยความร่วมมือจากชุมชนการเข้ารหัสและระบบนิเวศคริปโต ZK เป็นเส้นทางที่ซับซ้อนที่สุด แต่ก็แน่นอนที่สุดในเส้นทางการขยายขนาดของ Ethereum

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

ลิงก์ต้นฉบับ

ยินดีต้อนรับสู่ชุมชนทางการของ BlockBeats:

กลุ่ม Telegram สมัครสมาชิก: https://t.me/theblockbeats

กลุ่ม Telegram พูดคุย: https://t.me/BlockBeats_App

บัญชี Twitter ทางการ: https://twitter.com/BlockBeatsAsia