เมื่อวันที่ 7 กรกฎาคม 2025 ZKM ได้เปิดตัว zkVM เวอร์ชันถัดไปอย่างเป็นทางการ นั่นคือ Ziren (เดิมเรียกว่า zkMIPS) ซึ่งเปิดบทใหม่สำหรับการปรับใช้และความสามารถในการปรับขนาดของระบบ Zero-Knowledge Proof (ZK) ในสถานการณ์การใช้งานจริงผ่านการเร่งความเร็วด้วย GPU สถาปัตยกรรมแบบกระจายหลักฐาน และระบบข้อจำกัดที่ได้รับการปรับให้เหมาะสมอย่างล้ำลึก Ziren มุ่งหวังที่จะให้วิศวกรระบบ นักพัฒนาแอปพลิเคชัน และนักออกแบบโปรโตคอลสามารถสร้างแอปพลิเคชัน ZK ประสิทธิภาพสูงในภาษาหลักได้ โดยนำ ZK จากห้องทดลองมาสู่แนวทางการพัฒนาหลักอย่างแท้จริง
จาก zkMIPS สู่ Ziren: การพัฒนาที่ก้าวกระโดด การอัพเกรดประสบการณ์การพัฒนา
Ziren คือการอัปเกรด zkMIPS v1.1.0 ที่ครอบคลุม เปิดตัวครั้งแรก:
- การเร่งความเร็ว GPU 30 เท่า ลดเวลาแฝงในการพิสูจน์ได้อย่างมาก
- สถาปัตยกรรมพิสูจน์เครือข่ายแบบกระจาย รองรับการประมวลผลแบบขนานและการปรับใช้แบบปรับขนาดได้
- ระบบข้อจำกัดคำสั่งได้รับการอัพเกรด การสร้างโมดูลคำสั่ง การเพิ่มประสิทธิภาพการใช้งานคอลัมน์ และการกำจัดความซ้ำซ้อน
- ชุดเครื่องมือและประสบการณ์การพัฒนาได้รับการอัปเกรดแล้ว นอกจากจะรองรับ Rust แล้ว ยังเพิ่ม C/C++ เข้ามาด้วย และ Golang จะเปิดตัวเร็วๆ นี้
- การแก้ไขด้านความปลอดภัยที่สำคัญและการปรับปรุงก่อนการคอมไพล์เพื่อให้เข้ากันได้โดยตรงกับระบบนิเวศ Ethereum
Ming Guo ผู้ร่วมก่อตั้งและหัวหน้านักวิทยาศาสตร์ของ ZKM กล่าวว่า "Ziren คือ zkVM อเนกประสงค์ตัวแรกที่ปรับขนาดได้จริง เป็นมิตรกับนักพัฒนา และสร้างขึ้นบนรากฐานที่ถูกต้อง โดย ZKVM ได้แสดงให้เห็นถึงประสิทธิภาพชั้นนำบน CPU และตอนนี้ เรากำลังผลักดันให้ ZKVM ก้าวสู่ระดับใหม่ด้วยการเร่งความเร็วด้วย GPU หากคุณกำลังมองหา ZK proof stack ที่ดีที่สุดในระดับเดียวกัน Ziren คือคำตอบ"
นอกจากการอัปเกรดทางเทคนิคที่ครอบคลุมแล้ว ชื่อของ Ziren เองก็มีความหมายด้วยเช่นกัน โดย Ziren เป็นภาคต่อของ zkMIPS ซึ่งได้รับแรงบันดาลใจจากตำนาน "ไซเรน" ที่มีลักษณะแตกต่างกัน ซึ่งแสดงถึงการเปลี่ยนผ่านจากภาพลวงตาสู่ความเป็นจริง เทคโนโลยีไม่ได้ดึงดูดใจอีกต่อไป แต่ยังเป็นคำมั่นสัญญาที่แท้จริงว่าจะพร้อมใช้งาน Ziren มุ่งมั่นที่จะเป็นโครงสร้างพื้นฐาน zk ที่มีประสิทธิภาพ เชื่อถือได้ และปรับใช้ได้จริงในมือของนักพัฒนาซอฟต์แวร์กระแสหลัก
การเร่งความเร็วของ GPU และการประมวลผลแบบคู่ขนานที่กระจายกัน: ก้าวกระโดดจากประสิทธิภาพสู่การใช้งานจริง
กระบวนการพิสูจน์แกนกลางของ Ziren ได้รับการสนับสนุนโดย GPU เต็มรูปแบบ โดยมีการปรับปรุงประสิทธิภาพที่สำคัญ:
- ความเร็วในการพิสูจน์แกนเพิ่มขึ้น 30 เท่า
- ความเร็วในการพิสูจน์รวมเพิ่มขึ้น 15 เท่า
- การแปลง bn254 พิสูจน์แล้วว่าเร็วกว่า 30 เท่า
เมื่อใช้ร่วมกับสถาปัตยกรรมพิสูจน์เครือข่าย Ziren สามารถกระจายงานพิสูจน์ไปยังโหนดหลายโหนดเพื่อดำเนินการแบบขนาน ซึ่งไม่เพียงแต่ปรับปรุงปริมาณงานได้อย่างมีนัยสำคัญ แต่ยังเพิ่มความพร้อมใช้งานแบบกระจายอำนาจของระบบอีกด้วย สถาปัตยกรรมนี้เหมาะมากสำหรับบล็อคเชนแบบโมดูลาร์ Rollup และระบบตรวจสอบระหว่างโซ่
การเพิ่มประสิทธิภาพระบบข้อจำกัด
Ziren ปรับโครงสร้างระบบข้อจำกัดอย่างเป็นระบบ:
- แยกข้อจำกัดระดับคำสั่งออกเป็น "ชิป" แบบโมดูลาร์ (ครอบคลุม CPU การกระโดด/สาขา หน่วยความจำ ฯลฯ)
- ลดจำนวนคอลัมน์ที่ใช้โดยเพิ่มประสิทธิภาพโครงสร้างข้อมูล
- ลบตรรกะข้อจำกัดที่ซ้ำซ้อนหรือไม่ได้ใช้
- ปรับปรุง ALU, MADDU/MSUBU และการประมวลผลสาขาเพื่อปรับปรุงประสิทธิภาพการดำเนินการ
การเพิ่มประสิทธิภาพเหล่านี้ช่วยลดความซับซ้อนของการพิสูจน์ได้อย่างมาก และปรับปรุงความเร็วในการสร้างและความเสถียรของระบบ จากมุมมองของ zkVM ร่องรอยการดำเนินการที่สร้างโดย MIPS นั้นสั้นกว่าของ RISCV และมีประสิทธิภาพในการสั่งการที่ดีกว่า ซึ่งเอื้อต่อการปรับปรุงประสิทธิภาพการพิสูจน์ ด้วยการเปิดตัว Ziren ข้อดีของการเลือกใช้ MIPS ค่อย ๆ สะท้อนให้เห็น
ประสบการณ์การพัฒนาที่ดีขึ้น ราบรื่นยิ่งขึ้นตั้งแต่การสร้างจนถึงการใช้งาน
Ziren ได้เปิดตัวเครื่องมือเวอร์ชันใหม่ (20250522) ซึ่งนำการปรับปรุงมากมายมาสู่ประสบการณ์ของนักพัฒนา:
ประสบการณ์การพัฒนาที่ดีขึ้น ราบรื่นยิ่งขึ้นตั้งแต่การสร้างจนถึงการใช้งาน
Ziren ได้เปิดตัวเครื่องมือเวอร์ชันใหม่ (20250522) ซึ่งนำการปรับปรุงมากมายมาสู่ประสบการณ์ของนักพัฒนา:
- รวม LLVM Patch เพื่อเพิ่มประสิทธิภาพกระบวนการคอมไพล์
- รองรับไลบรารีแบบคงที่ C/C++ และการแก้ไขคำสั่ง teq
- Rust toolchain มีความแข็งแกร่งมากขึ้นและลบแฮ็คที่ไม่ได้มาตรฐาน
- การรองรับ Golang กำลังจะมาเร็วๆ นี้
นอกจากนี้ Ziren ยังรองรับการตรวจสอบลายเซ็นดั้งเดิมของ Ethereum และโมดูลที่คอมไพล์ไว้ล่วงหน้ายังรองรับลายเซ็นเส้นโค้งวงรี ECDSA เต็มรูปแบบ ซึ่งไม่เพียงทำให้การรวมแบบออนเชนราบรื่นยิ่งขึ้นเท่านั้น แต่ยังขยายสถานการณ์แอปพลิเคชันที่รองรับได้อีกด้วย
การแก้ไขเสถียรภาพและความปลอดภัย
Ziren ได้ทำให้กระบวนการตรวจสอบและการดำเนินการวงจรแข็งแกร่งขึ้นอย่างสมบูรณ์ ซึ่งรวมถึง:
- แก้ไขช่องโหว่หมายเลขสุ่ม FRI ที่สำคัญใน Plonky3
- แก้ไขข้อบกพร่องการตรวจสอบ vk_root ในโปรแกรมตรวจสอบ Rust
- เพิ่มประสิทธิภาพตรรกะการดำเนินการคำสั่งและความสอดคล้องของระบบข้อจำกัด
- ปรับปรุงตรรกะการแบ่งส่วนและการจัดการพฤติกรรมการนับโปรแกรม

แผนภูมิเปรียบเทียบ Ziren กับ zkMIPS 1.0
การอัปเดตทั้งหมดจะช่วยปรับปรุงความปลอดภัยและความสอดคล้องของ Ziren ทำให้เหมาะสมกับความต้องการพิสูจน์ ZK ในสภาพแวดล้อมการผลิตมากขึ้น
สู่การพิสูจน์แบบเรียลไทม์: ethproofs.org พิสูจน์ผลลัพธ์ของการเพิ่มประสิทธิภาพ
บน ethproofs.org Ziren ได้สาธิตผลลัพธ์ประสิทธิภาพแบบเรียลไทม์ และการพิสูจน์แบบเรียลไทม์ก็ใกล้เข้ามาแล้ว โดยการเปลี่ยนเครื่องเสมือนจาก Revm เป็น Reth การแยกสถานะบัญชีแบบคู่ขนาน และการใช้ debug_traceBlock ทำให้เวลาในการเตรียมสถานะบล็อกลดลงจาก 5 นาทีเหลือเพียงไม่ถึง 30 วินาที ซึ่งช่วยลดความล่าช้าของกระบวนการพิสูจน์ในแต่ละขั้นตอนได้อย่างมาก ทำให้ประสิทธิภาพของ Ziren ใกล้เคียงกับระดับเรียลไทม์มากขึ้น และวางรากฐานที่มั่นคงสำหรับการนำแอปพลิเคชัน ZK ความถี่สูงไปใช้
เปิดตัว GOAT Network แล้ว: เครื่องมือหลักสำหรับสร้าง zkRollup ที่เป็น Bitcoin ดั้งเดิม
Ziren ได้ถูกนำไปใช้งานในโครงการ zkRollup ของ Bitcoin ที่เรียกว่า GOAT Network ซึ่งช่วยให้สามารถเขียนโปรแกรมได้แบบ Ethereum โดยไม่ต้องมีสะพานเชื่อมหรือบุคคลที่น่าเชื่อถือ ขณะเดียวกันก็ยังคงความปลอดภัยของเครือข่ายหลักของ Bitcoin ไว้ได้ GOAT Network เป็นหนึ่งในแนวทางปฏิบัติที่สำคัญบนเส้นทาง BitVM2 และ BitVM3
Kevin Liu ผู้ก่อตั้งร่วมและ CEO ของ ZKM และผู้สนับสนุนหลักของ GOAT Network กล่าวว่า “เมื่อเราตัดสินใจที่จะขยาย Bitcoin เราต้องการระบบที่เราสามารถไว้วางใจได้ตั้งแต่ต้นจนจบ ไม่ใช่แค่เพียงระดับประสิทธิภาพเท่านั้น แต่ยังรวมถึงความเสถียรและประสิทธิภาพในระดับวงจรด้วย Ziren คือผลผลิตจากความต้องการนี้ ซึ่งเป็นระดับโครงสร้างพื้นฐานที่เราสามารถมั่นใจได้ในทุกการพิสูจน์”
สร้างแอปพลิเคชัน ZK ของคุณโดยเริ่มต้นด้วย Ziren
Ziren รวบรวมการวิจัยเชิงลึกของ ZKM เกี่ยวกับวิศวกรรมระบบพื้นฐานและการวิจัยความรู้เป็นศูนย์ตลอดหลายปีที่ผ่านมา ไม่เพียงแต่เปิดกว้างมากขึ้นเท่านั้น แต่ยังเป็น zkVM ที่มีโครงสร้างที่ดีขึ้น ประสบการณ์ที่ดีขึ้น และการใช้งานที่กว้างขึ้น ไม่ว่าคุณจะกำลังสร้าง Ethereum DApp, Bitcoin L2 หรือระบบตรวจสอบแบบครอสเชน Ziren ก็มอบรากฐานการประมวลผลที่เชื่อถือได้ให้กับคุณ
เขียนด้วย Rust คอมไพล์เป็น MIPS และปล่อยให้ Ziren จัดการส่วนที่เหลือ สร้างด้วยความมั่นใจ ปรับใช้โดยไม่ต้องประนีประนอม
ความคิดเห็นทั้งหมด