ทีม zkEVM ของ Ethereum Foundation เสนอให้นำ EIP-8025 เข้าสู่ฟอร์ก Hegota ตามการหารือในการประชุม All Core Developers (ACD) EIP-8025 แนะนำ Optional Execution Proofs ช่วยให้โหนดของ Ethereum ตรวจสอบหลักฐานแบบความรู้ศูนย์แทนการกลับไปประมวลผลธุรกรรมทั้งหมดโดยตรง ปัจจุบัน โหนดจะตรวจสอบความถูกต้องของบล็อกด้วยการกลับไปรันผลลัพธ์ของธุรกรรมอีกครั้ง EIP-8025 เพิ่มทางเลือกที่ให้โหนดสามารถตรวจสอบ ZK proof ความถูกต้องของบล็อกโดยไม่ต้องทำการคำนวณเต็มซ้ำ ในขั้นตอนนี้ ข้อเสนอดำเนินการเป็นกลไกแบบ opt-in ทั้งหมด—มีเพียงโหนดที่เลือกใช้หลักฐานเท่านั้นที่ได้รับผล ส่วนกติกาฉันทามติยังคงไม่เปลี่ยนแปลง นี่สะท้อนการเปลี่ยนอย่างเป็นทางการของ Ethereum จากช่วงทดลองสู่การบูรณาการเทคโนโลยีความรู้ศูนย์ในระดับโปรโตคอลอย่างแท้จริง ซึ่งอาจช่วยลดต้นทุนการทำงานของโหนด และในระยะยาวทำให้รองรับบล็อกที่ใหญ่ขึ้นพร้อมการประมวลผลที่ซับซ้อนมากขึ้น

Research Developments

EIP-8025: โครงสร้างพื้นฐานแบบความรู้ศูนย์ของ Ethereum ก้าวเข้าสู่ระยะอัปเกรดระดับโปรโตคอล

กลไกหลักของ EIP-8025 คือ Optional Execution Proofs แทนที่จะบังคับให้โหนดทั้งหมดต้องกลับไปประมวลผลธุรกรรมเพื่อยืนยันความถูกต้องของบล็อก โหนดสามารถตรวจสอบอีกทางด้วยหลักฐานแบบความรู้ศูนย์ที่ยืนยันความถูกต้องของการประมวลผล ข้อเสนอนี้ไม่ได้เปลี่ยน Ethereum ให้เป็นเชนที่ใช้ ZK ทันที แต่จะวางรากฐานสำหรับการเปลี่ยนจาก “direct re-execution chain” ไปสู่ “proof-verification chain”

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

Vitalik Buterin กล่าวถึง AI และ formal verification เพื่อความปลอดภัยทางไซเบอร์

Vitalik Buterin ผู้ร่วมก่อตั้ง Ethereum เผยแพร่บทวิเคราะห์เกี่ยวกับการผสาน AI และ formal verification เพื่อยกระดับความปลอดภัยทางไซเบอร์ Formal verification เป็นการพิสูจน์ทางคณิตศาสตร์ว่าโปรแกรมทำงานได้ “ตรงตามที่ตั้งใจ” ซึ่งต่างจากการตรวจสอบความปลอดภัยแบบเดิมที่ให้มนุษย์ตรวจดูโค้ดเพื่อหาช่องโหว่

Buterin เสนอว่า AI สามารถสร้างโค้ด assembly ระดับต่ำ และ formal verification จะยืนยันว่าโค้ดชุดนี้ให้พฤติกรรมเดียวกับการใช้งานระดับสูงที่มนุษย์อ่านได้ แนวทางนี้แก้ปัญหาแบบดั้งเดิม: โค้ด assembly ทำงานได้มีประสิทธิภาพแต่ตรวจทบทวนโดยมนุษย์ได้ยาก ขณะที่โค้ดระดับสูงเน้นความอ่านง่ายมากกว่าเป้าหมายการปรับแต่งสมรรถนะ

ตัวอย่างในระบบนิเวศ Ethereum ที่ยกมา ได้แก่ Arklib (มุ่งพัฒนา STARKs ที่พิสูจน์ความถูกต้องได้อย่างเป็นทางการสำหรับการยืนยันการคำนวณที่ซับซ้อน) และ evm-asm (เขียน EVM ใน RISC-V และพิสูจน์ความเทียบเท่ากับการนำไปใช้ใน Lean โดยที่ Lean เป็นเครื่องมือสำหรับ formal verification)

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

ZK Summit 14: ศูนย์กลางการพัฒนาระบบหลักฐานหันไปสู่การรับประกันระดับระบบในโลกจริง

ZK Summit 14 จัดขึ้นวันที่ 7 พฤษภาคม ณ กรุงโรม โดยมีการนำเสนอ 24 รายการจากทีมหลักของระบบนิเวศ ZK รวมถึง Ethereum Foundation, Succinct, Aztec, Nethermind และ Miden

แนวโน้มที่เด่นที่สุดคือการเปลี่ยนจุดสนใจจากตัวชี้วัดประสิทธิภาพของระบบหลักฐาน—ความเร็ว ขนาดหลักฐาน ค่าใช้จ่ายการตรวจสอบ—ไปสู่การรับประกันระดับระบบในโลกจริง เทคโนโลยีความรู้ศูนย์กำลังถูกรวมเข้ากับระบบชำระเงิน การยืนยันตัวตน zkVM และงานด้านแมชชีนเลิร์นนิง ในบริบทเหล่านี้ “ประสิทธิภาพของหลักฐาน” อย่างเดียวอาจไม่พอ:

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

เทคโนโลยี ZK ได้ขยายจาก “การสร้างหลักฐานได้อย่างรวดเร็ว” สู่การเป็นวิธีออกแบบการรับประกันด้านความปลอดภัยและความเป็นส่วนตัวให้เหมาะกับข้อกำหนดของแต่ละระบบ ZK Summit 14 แสดงให้เห็นว่าเทคโนโลยีความรู้ศูนย์กำลังก้าวจากงานวิจัยไปสู่การบูรณาการเชิงลึกกับโครงสร้างพื้นฐานและแอปพลิเคชันที่ใช้งานจริง

Ecosystem Updates

เฟรมเวิร์กความเป็นส่วนตัว Kohaku ใกล้เปิดตัวแล้ว ทดสอบการเชื่อมต่อกับวอลเล็ตอยู่ระหว่างดำเนินการ

เฟรมเวิร์กความเป็นส่วนตัวแบบโมดูลาร์ของ Ethereum อย่าง Kohaku ใกล้เปิดตัวพร้อมการทดสอบการเชื่อมต่อกับวอลเล็ตที่กำลังดำเนินอยู่ Kohaku มอบอินเทอร์เฟซแบบรวมศูนย์ที่ช่วยให้วอลเล็ตสามารถทำธุรกรรมแบบส่วนตัวโดยใช้แบ็กเอนด์เชิงเข้ารหัสหลายแบบได้ โดยไม่ต้องนำฟังก์ชันด้านความเป็นส่วนตัวไปใช้งานโดยตรง

วอลเล็ต รวมถึง Ambire กำลังดำเนินการทดสอบการผสาน Kohaku อยู่ ในอดีต ฟีเจอร์ด้านความเป็นส่วนตัวมักเผชิญอุปสรรคต่อการนำไปใช้งานในวอลเล็ตผู้ใช้ เพราะโปรโตคอลความเป็นส่วนตัวแต่ละแบบใช้สถาปัตยกรรมที่แตกต่างกัน ทำให้วอลเล็ตต้องรองรับเทคโนโลยีแต่ละอย่างแยกกัน

Kohaku แก้ปัญหาการกระจัดกระจายนี้ด้วยการอนุญาตให้วอลเล็ตเข้าถึงแบ็กเอนด์ความเป็นส่วนตัวได้หลายตัวผ่านอินเทอร์เฟซเดียว การนำไปใช้ที่เพิ่มขึ้นอาจขยายการใช้งาน Railgun ซึ่งถูกระบุว่าเป็นกลไกความเป็นส่วนตัวพื้นฐานของ Kohaku เฟรมเวิร์กมีเป้าหมายจะเปลี่ยนความเป็นส่วนตัวของ Ethereum จาก “เครื่องมือเฉพาะสำหรับผู้ใช้ขั้นสูง” ไปเป็น “ฟีเจอร์ในวอลเล็ตที่ผสานกันอย่างเป็นธรรมชาติ”

L2BEAT ตรวจสอบ Lighter’s Zero-Knowledge Exit Hatch

แพลตฟอร์มวิเคราะห์เลเยอร์ 2 อย่าง L2BEAT ตรวจสอบวงจร ZK ของ Lighter ซึ่งเป็น DEX ฟิวเจอร์สแบบไม่มีกำหนดบนเลเยอร์ 2 Lighter เปิดให้ซื้อขายอนุพันธ์แบบ perpetual ซึ่งเป็นสัญญาที่ไม่มีวันหมดอายุ

L2BEAT รวบรวมวงจร ZK ทั้งหมดของ Lighter โดยตรงจากซอร์สโค้ด และยืนยันความสอดคล้องกับสัญญายืนยันที่นำไปใช้งาน (smart contracts สำหรับตรวจสอบหลักฐาน ZK ที่ส่งมา) การยืนยันนี้ครอบคลุมฟังก์ชัน exit hatch ซึ่งเป็นกลไกฉุกเฉินที่ทำให้ผู้ใช้สามารถถอนสินทรัพย์ได้หากตัวเรียงลำดับธุรกรรม (sequencers) หรือผู้ปฏิบัติการของเลเยอร์ 2 หยุดทำงาน

ก่อนหน้านี้ Lighter เก็บโค้ดซอร์สของตัวตรวจสอบบางส่วนไว้ ทำให้ผู้ใช้ไม่สามารถสร้าง exit proofs (ข้อมูลที่พิสูจน์สิทธิการถอน) ได้อย่างอิสระในช่วง sequencer ล้มเหลว หลังจากการยืนยันของ L2BEAT ตอนนี้ผู้ใช้สามารถสร้าง exit proofs ได้ด้วยตนเอง ช่วยเพิ่มความสามารถในการถอนสินทรัพย์โดยไม่ต้องพึ่งพาทีมของ Lighter ในภาวะฉุกเฉิน

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

ETHGlobal ปรับรูปแบบแฮกกาธอนใหม่

ETHGlobal ได้ปรับโครงสร้างรูปแบบแฮกกาธอนของตน โดยแฮกกาธอนแบบดั้งเดิมกำหนดให้ผู้เข้าร่วมต้องเลือกไอเดียและสร้างผลิตภัณฑ์ขั้นต่ำที่ทำงานได้ (MVPs—เวอร์ชันเริ่มต้นที่แสดงฟังก์ชันหลัก) ภายในกรอบเวลาสั้นๆ

ตั้งแต่แฮกกาธอนที่นิวยอร์กเป็นต้นมา แนวทางใหม่เปิดให้ผู้เข้าร่วมสามารถเพิ่มฟีเจอร์ในคลังโค้ดโอเพนซอร์สที่มีอยู่ หรือเพิ่มฟังก์ชันให้กับโปรดักต์ที่จัดตั้งขึ้น แล้วจึงเผยแพร่การปรับปรุงต่อสาธารณะในรูปแบบโอเพนซอร์ส การเปลี่ยนแปลงนี้เพิ่มโอกาสที่ผลลัพธ์จากแฮกกาธอนจะกลายเป็นการมีส่วนร่วมที่แท้จริงต่อระบบนิเวศ ก่อนหน้านี้ MVP ภายในกรอบเวลาสั้นมักหยุดการพัฒนาหลังจบอีเวนต์ การมีส่วนร่วมกับโปรเจกต์โอเพนซอร์สที่กำลังใช้งานจริงช่วยทั้งผู้ใช้และนักพัฒนาโดยตรง

ETHGlobal กำลังขยายจาก “การโชว์ไอเดียใหม่อย่างรวดเร็ว” ไปสู่ “การปรับปรุงโครงสร้างพื้นฐานที่มีอยู่ของระบบนิเวศอย่างมีความหมาย” เมื่อ Ethereum เติบโต การเสริมความแข็งแรงให้กับ public goods และเครื่องมือสำหรับนักพัฒนาที่มีอยู่ อาจสำคัญพอๆ กับการสร้างแอปพลิเคชันใหม่ทั้งหมด

Community Updates

Ethereum Foundation ผู้ร่วมสนับสนุนอาวุโสลาออก

นักวิจัยอาวุโสของ Ethereum Foundation จำนวน 2 คนได้ลาออก ได้แก่ Carl Bewick และ Julian Ma ส่งผลให้การลาออกของผู้ร่วมสนับสนุนอาวุโสทั้งหมดเป็น 7 คนภายในเวลา 2 เดือน

Carl Bewick ทำงานกับ Ethereum Foundation ประมาณ 7 ปี โดยมีส่วนร่วมในงานวิจัยฉันทามติ การออกแบบเริ่มต้นของ Beacon Chain และพิธี KZG (ขั้นตอนการตั้งค่าด้านการเข้ารหัสที่เกี่ยวข้องกับการปรับขนาด data availability ของ Ethereum)

Julian Ma ทำงานประมาณ 4 ปี เป็นผู้ร่วมเขียน EIP-7805 FOCIL และเข้าร่วมใน FCR GTM (การหารือเรื่องการต่อต้านการเซ็นเซอร์และการรับประกันการรวมธุรกรรม รวมถึงกติกาการยืนยันอย่างรวดเร็วที่ช่วยให้การรับรู้การทำให้ธุรกรรมสิ้นสุดเร็วขึ้น)

การลาออกล่าสุดของบุคลากรในงานวิจัยโปรโตคอลหลักและทีมประสานงานการอัปเกรดทำให้เกิดคำถามเกี่ยวกับการรักษาการประสานการพัฒนาโปรโตคอลและความต่อเนื่องของงานวิจัย

Railgun ได้รับความสนใจท่ามกลางความคาดหวังการนำ Kohaku ไปใช้

โปรโตคอลความเป็นส่วนตัว Railgun กำลังได้รับความสนใจจากแนวโน้มการนำ Kohaku ไปใช้ การวิเคราะห์ชี้ว่าการเชื่อมวอลเล็ตของ Kohaku ที่เพิ่มขึ้นอาจขยายการใช้งาน Railgun Railgun ช่วยให้โต้ตอบกับ Ethereum DeFi ได้โดยยังคงรักษาความเป็นส่วนตัว—ธุรกรรมในเชนแบบปกติจะแสดงที่อยู่ของวอลเล็ต จำนวนเงิน และโปรโตคอลที่โต้ตอบ ขณะที่ Railgun ซ่อนข้อมูลดังกล่าว

Railgun คิดค่าธรรมเนียม 0.25% สำหรับ Shield actions (การย้ายสินทรัพย์เข้าสู่โซนที่ปกป้องด้วยความเป็นส่วนตัว) และ unShield actions (การถอนกลับไปยังพื้นที่สาธารณะ) การนำวอลเล็ตไปใช้มากขึ้นผ่าน Kohaku และปริมาณธุรกรรมส่วนตัวที่สูงขึ้นจะช่วยเพิ่มรายได้ค่าธรรมเนียมของ Railgun

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