มูลนิธิ Ethereum วางแผนเส้นทางสู่การพิสูจน์ zkEVM บน Mainnet L1

มูลนิธิ Ethereum ได้เผยแพร่แผนทีละขั้นตอนเพื่อให้เชนหลักของ Ethereum สามารถตรวจสอบความถูกต้องของบล็อกโดยใช้การพิสูจน์ zkEVM ซึ่งจะช่วยลดความจำเป็นในการที่ผู้ตรวจสอบต้องรันการคำนวณทุกอย่างด้วยตนเองอีกครั้ง ข้อเสนอนี้ถูกแชร์ผ่าน X เมื่อวันที่ 15 มกราคม โดย Tomasz K. Stańczak ผู้อำนวยการร่วมบริหารของมูลนิธิ Ethereum ซึ่งได้ระบุงานด้านวิศวกรรมที่จำเป็นสำหรับไคลเอนต์การดำเนินการและฉันทามติของ Ethereum รวมถึงโครงสร้างพื้นฐานการพิสูจน์ใหม่และกระบวนการด้านความปลอดภัย

Ethereum L1 ก้าวสู่การตรวจสอบความถูกต้องแบบใช้การพิสูจน์ zk

เมื่อเดือนกรกฎาคมปีที่แล้ว มูลนิธิ Ethereum ได้ประกาศแนวทาง "zk-first" แล้ว ปัจจุบัน ผู้ตรวจสอบของ Ethereum มักจะตรวจสอบบล็อกโดยการดำเนินธุรกรรมซ้ำและเปรียบเทียบผลลัพธ์ แผนนี้เสนอทางเลือกอื่น: ผู้ตรวจสอบสามารถยืนยันการพิสูจน์ทางการเข้ารหัสว่าการดำเนินการของบล็อกนั้นถูกต้อง

เอกสารสรุปไปป์ไลน์ที่ต้องการในแง่ที่เข้าใจง่าย: ไคลเอนต์การดำเนินการจะสร้างแพ็คเกจ "witness" ขนาดกะทัดรัดสำหรับบล็อก โปรแกรม zkEVM มาตรฐานใช้แพ็คเกจนั้นเพื่อสร้างการพิสูจน์การดำเนินการที่ถูกต้อง และไคลเอนต์ฉันทามติจะยืนยันการพิสูจน์นั้นระหว่างการตรวจสอบความถูกต้องของบล็อก

ขั้นตอนแรกคือการสร้าง "ExecutionWitness" ซึ่งเป็นโครงสร้างข้อมูลต่อบล็อกที่มีข้อมูลที่จำเป็นในการตรวจสอบความถูกต้องของการดำเนินการโดยไม่ต้องรันซ้ำ แผนเรียกร้องให้มีรูปแบบ witness อย่างเป็นทางการในข้อกำหนดการดำเนินการของ Ethereum การทดสอบความสอดคล้อง และจุดปลาย RPC มาตรฐาน มันระบุว่าจุดปลาย debug_executionWitness ปัจจุบัน "กำลังถูกใช้งานจริงโดย Kona ของ Optimism" อยู่แล้ว ขณะเดียวกันก็แนะนำว่าอาจจำเป็นต้องมีจุดปลายที่เป็นมิตรกับ zk มากกว่า

การพึ่งพาที่สำคัญคือการเพิ่มการติดตามที่ดีขึ้นว่าบล็อกสัมผัสส่วนใดของสถานะ ผ่าน Block Level Access Lists (BALs) เอกสารระบุว่า ณ เดือนพฤศจิกายน 2025 งานนี้ไม่ได้ถือว่าเร่งด่วนพอที่จะถูก backport ไปยัง fork ก่อนหน้า

ขั้นตอนถัดไปคือ "โปรแกรมเกสต์ zkEVM" ซึ่งอธิบายว่าเป็นตรรกะการตรวจสอบความถูกต้องแบบไร้สถานะที่ตรวจสอบว่าบล็อกสร้างการเปลี่ยนสถานะที่ถูกต้องหรือไม่เมื่อรวมกับ witness ของมัน แผนเน้นย้ำการสร้างที่สามารถทำซ้ำได้และการคอมไพล์ไปยังเป้าหมายมาตรฐาน เพื่อให้สมมติฐานชัดเจนและสามารถตรวจสอบได้

นอกเหนือจากโค้ดเฉพาะของ Ethereum แผนนี้มุ่งหวังที่จะทำให้อินเทอร์เฟซระหว่าง zkVMs และโปรแกรมเกสต์เป็นมาตรฐาน: เป้าหมายร่วม วิธีการเข้าถึง precompiles และ I/O ร่วม และสมมติฐานที่ตกลงกันเกี่ยวกับวิธีโหลดและดำเนินการโปรแกรม

ในด้านฉันทามติ แผนงานเรียกร้องให้มีการเปลี่ยนแปลงเพื่อให้ไคลเอนต์ฉันทามติสามารถยอมรับการพิสูจน์ zk เป็นส่วนหนึ่งของการตรวจสอบความถูกต้องของบล็อก beacon พร้อมข้อกำหนดที่มาพร้อม เวกเตอร์ทดสอบ และแผนการเปิดตัวภายใน เอกสารยังเน้นถึงความพร้อมใช้งานของ execution payload ว่ามีความสำคัญ รวมถึงแนวทางที่อาจเกี่ยวข้องกับ "การวางบล็อกใน blobs"

ข้อเสนอปฏิบัติต่อการสร้างการพิสูจน์เป็นปัญหาด้านการดำเนินงานพอๆ กับเป็นปัญหาโปรโตคอล มันรวมขั้นตอนในการรวม zkVMs เข้ากับเครื่องมือ EF เช่น Ethproofs และ Ere ทดสอบการตั้งค่า GPU (รวมถึง "zkboost") และติดตามความน่าเชื่อถือและจุดคอขวด

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

ความปลอดภัยยังถูกทำเครื่องหมายว่าเป็นงานถาวร โดยมีแผนสำหรับข้อกำหนดอย่างเป็นทางการ การตรวจสอบ การควบคุมห่วงโซ่อุปทานเช่น การสร้างที่สามารถทำซ้ำได้และการลงนามสิ่งประดิษฐ์ และโมเดลความไว้วางใจและภัยคุกคามที่มีเอกสาร เอกสารเสนอ "กรอบการตัดสินใจไป/ไม่ไป" สำหรับการตัดสินใจว่าเมื่อใดที่ระบบการพิสูจน์พร้อมสำหรับการใช้งานที่กว้างขึ้น

การพึ่งพาภายนอกหนึ่งที่โดดเด่น: ePBS ซึ่งเอกสารอธิบายว่าจำเป็นเพื่อให้ผู้พิสูจน์มีเวลามากขึ้น หากไม่มี แผนบอกว่าผู้พิสูจน์มี "1–2 วินาที" ในการสร้างการพิสูจน์ หากมี จะมี "6–9 วินาที" เอกสารเพิ่มกรอบสองประโยคที่จับความเร่งด่วน: "นี่ไม่ใช่โครงการที่เรากำลังดำเนินการอยู่ อย่างไรก็ตาม มันเป็นการเพิ่มประสิทธิภาพที่เราต้องการ" คาดว่า ePBS จะถูกนำไปใช้ใน "Glamsterdam" โดยกำหนดเป้าไว้ที่กลางปี 2026

หากขั้นตอนเหล่านี้บรรลุผล Ethereum จะก้าวไปสู่การตรวจสอบความถูกต้องแบบใช้การพิสูจน์เป็นตัวเลือกที่ใช้งานได้จริงบน L1 ในขณะที่เวลาและความซับซ้อนในการดำเนินงานของการพิสูจน์ยังคงเป็นปัจจัยสำคัญ

ณ เวลาที่เผยแพร่ ETH ซื้อขายที่ $3,300