การถอดรหัสเมทริกซ์ผลิตภัณฑ์ RISC Zero: วิธีการช่วยให้อีเธอร์เรียมุ่งหน้าสู่อนาคตที่เป็น ZK ได้อย่างไร?

เขียนโดย: LINDABELL

ในการประชุม Devcon ล่าสุด สมาชิกคนใกล้ชิดของ Ethereum Foundation Justin Drake ได้เสนอแนะ Beam Chain ซึ่งเป็นแนวคิดที่จะอัพเกรดชั้นเห็นของ Ethereum ด้วยเทคโนโลยี zkSNARK และ zkVM เพื่อเพิ่มความสามารถในการขยายขอบเขตของเครือข่าย ความปลอดภัย และประสิทธิภาพ แนวคิดนี้ยังเน้นความสำคัญของ zkVM อีกด้วย เป็นเทคโนโลยีเสมือนจริงที่สามารถจัดการการคำนวณที่ซับซ้อนได้อย่างยืดหยุ่นและมีประสิทธิภาพสูงพร้อมกับไม่พึงพารายการตรรกะของสัญญาอัจฉริยะทั่วไป

ภายใต้แนวโน้มนี้ โครงการต่าง ๆ เช่น RISC Zero, Succinct และ Cysic ถือเป็นผู้เข้าร่วมที่สำคัญที่สนับสนุนนวัตกรรมในโดเมนนี้ โดย RISC Zero ด้วย zkVM ที่ใช้โครงสร้าง RISC-V ได้พัฒนาเครื่องมือโอเพนซอร์สอย่าง Zeth, Kailua และ Bonsai ซึ่งไม่เพียงเพิ่มประสิทธิภาพของการยืนยันบล็อกและ Rollup เท่านั้น แต่ยังให้การสนับสนุนทางเทคโนโลยีสำหรับการอัพเกรดเป็น ZK ของอีเธอเรีย

เมทริกซ์ผลิตภัณฑ์นิเวศ RISC zkVM: จากเทคโนโลยีหลักถึงการประยุกต์ใช้ในสถานการณ์

RISC Zero เป็นการสร้าง zkVM ที่พื้นฐานบนชุดคำสั่ง RISC-V ซึ่งเป็นแพลตฟอร์มคำนวณ Zero-Knowledge แบบทั่วไปที่สนับสนุนภาษาโปรแกรมหลายชนิด เช่น Rust และ C++ และสามารถดำเนินการคำนวณใด ๆ ได้เกือบทุกอย่าง ต่างจากแพลตฟอร์ม Zero-Knowledge อื่น ๆ RISC Zero มีผู้พิสูจน์และผู้ตรวจสอบที่เปิดเผยสมบูรณ์แบบ นักพัฒนาสามารถสร้างและตรวจสอบการพิสูจน์ได้ในเครื่องคอมพิวเตอร์ของตนเอง นอกจากนี้ การตรวจสอบของ RISC Zero เป็นไปได้ในหลายแพลตฟอร์มและสามารถใช้งานได้กับนิเวศเชิงบล็อกซ์หลายประเทศซึ่งทำให้กระบวนการพัฒนาแอปพลิเคชันแบบไม่มีส่วนกลางง่ายขึ้น

ในเดือนมิถุนายนปีนี้ RISC Zero ประกาศเปิดตัว zkVM 1.0 ซึ่งไม่เพียงสนับสนุนหลายภาษาและงานคำนวณที่ซับซ้อนเท่านั้น แต่ยังใช้เทคโนโลยี Continuations เพื่อแบ่งงานคำนวณขนาดใหญ่เป็นส่วนย่อย โดยทำให้การคำนวณและการยืนยันเป็นไปอย่างมีประสิทธิภาพและสามารถทำพร้อมกันได้ ตามแผนงาน RISC Zero มีแผนที่จะพัฒนา zkVM เพิ่มความสามารถและลดต้นทุนไปถึง 20 เท่าภายในสิ้นปี 2024 การปรับปรุงรวมถึงการย้ายกระบวนการพิสูจน์ไปทั้งหมดให้กับ GPU (เสร็จสิ้น 80%) การนำเข้าการออกแบบวงจร RISC-V v2 รุ่นใหม่ และการปรับปรุงพิเศษสำหรับวงจรที่เกี่ยวกับการเรียกตัวเอง ในเวลาเดียวกัน RISC Zero กำลังรวมโมดูลเร่งความเร็วสำหรับอัลกอริทึมต่างๆ เช่น RSA, Keccak, ECDSA เพื่อเพิ่มประสิทธิภาพในงานที่เกี่ยวข้องกับ Ethereum และการดำเนินการเข้ารหัส

โดยมีความสามารถหลักของ zkVM เป็นศูนย์กลาง RISC Zero ได้พัฒนาเครื่องมือและผลิตภัณฑ์โอเพ่นซอร์สชุดหลายรายการ ตัวอย่างเช่น ผ่านเครือข่าย Bonsai สามารถให้บริการพิสูจน์โดยไม่จำเป็นต้องมีฮาร์ดแวร์ที่เฉพาะเจาะจงที่นักพัฒนาสามารถสร้างพิสูจน์รู้โดยที่ไม่ต้องมีฮาร์ดแวร์ที่เฉพาะเจาะจง ผ่านเครื่องมือ Steel สามารถย้ายการคำนวณ EVM อย่างซับซ้อนไปยังสภาพแวดล้อมด้านล่างของเชน พร้อมทั้งยังรักษาผลลัพธ์ให้สามารถยืนยันได้ ลดต้นทุนการดำเนินการของเชน แต่ Blobstream Zero ก็ผ่านการสะพาน Celestia ชั้นความสามารถในการใช้ข้อมูลในระบบโมดูลเชนบล็อกให้มีความหลากหลายมากขึ้น และยืนยัน

Zeth: พิสูจน์ว่าบล็อก Ethereum ทั้งหมดถูกสร้างขึ้นอย่างถูกต้อง

Zeth เป็นตัวพิสูจน์บล็อกเชนโดยใช้เทคโนโลยี zkVM ที่พัฒนาโดย RISC Zero เป็นแอพฯ โอเพนซอร์สสำหรับ Ethereum ที่สามารถยืนยันความถูกต้องของบล็อก Ethereum ด้วยการพิสูจน์ทางศาสตร์โดยไม่ต้องพึ่งพาผู้ตรวจสอบแบบดั้งเดิมหรือกรรมการซิงโครไนซิงโครนัส นอกจากนี้ยังสามารถเพิ่มประสิทธิภาพการพัฒนาได้ด้วยการใช้โค้ดซ้ำกัน โดย RISC Zero กำหนด Zeth ให้เป็น Type-0 zkEVM ซึ่งสามารถเข้ากันได้อย่างสมบูรณ์เท่านั้น

ผู้ร่วมก่อตั้ง Ethereum, Vitalik Buterin, ในบทความ 'Different types of zk-EVMs' แบ่ง zkEVM เป็น 4 ประเภท โดยประเภทที่ 1 มุ่งเน้นให้เท่าเทียมกับ Ethereum อย่างสมบูรณ์แบบและไม่ต้องทำสงสัย; ประเภทที่ 2 มุ่งเน้นให้เท่าเทียมกับ EVM อย่างสมบูรณ์แต่ไม่เท่าเทียมกับ Ethereum; ประเภทที่ 3 เท่าเทียมกับ EVM เกือบจริง; และประเภทที่ 4 เป็นของที่เต็มเปี่ยมและไม่เข้ากันได้กับ Ethereum

ด้วยประสิทธิภาพสูงของ RISC Zero zkVM Zeth จึงสามารถตรวจสอบบล็อก Ethereum ได้ในเวลาไม่กี่นาที ข้อมูลการทดสอบแสดงให้เห็นว่า Zeth สามารถสร้างหลักฐานของบล็อกที่ 1.1 MHz และปรับขนาดคลัสเตอร์ GPU เป็น 4.7 MHz ถึง 6.3 MHz ด้วยคุณสมบัติ "ความต่อเนื่อง" การเพิ่มประสิทธิภาพนี้ยังช่วยลดต้นทุนในการสร้างหลักฐาน จากการทดสอบบล็อกที่มีธุรกรรม 182 รายการมีค่าใช้จ่ายเพียง $ 21.72 สําหรับการสร้างหลักฐานซึ่งมีค่าใช้จ่ายประมาณ $ 0.11 ต่อธุรกรรม

ในขั้นตอนการพัฒนา Zeth, ทีม RISC Zero ได้ใช้คอมโพเนนต์ในระบบ Rust อย่าง revm, ethers และ alloy อย่างเต็มที่ ทำให้นักพัฒนาสามารถทำฟังก์ชันการพิสูจน์บล็อกแบบรวดเร็วและนำไปใช้ในสถานการณ์ที่แตกต่างกันได้อย่างง่ายดาย การออกแบบนี้ช่วยให้นักพัฒนามีความยืดหยุ่นมากขึ้น สามารถปรับแต่งตัวตนของบล็อกตามความต้องการและทำการปรับใช้รุ่นปรับปรุงของอีเธอร์ในอนาคตได้

ในด้านการประยุกต์ Zeth ให้คำแนะนำที่มีประสิทธิภาพสำหรับ zk Rollup、ไคลเอนต์ที่เบาและสะพาน跨ลิงค์ การสร้าง zk Rollup และ zkEVM แบบดั้งเดิมต้องใช้เวลาและทรัพยากรมากมาย ซึ่งทำให้องค์กรขนาดเล็กลังเลย แต่ Zeth ที่ขึ้นอยู่กับโครงสร้าง zkVM แบบโมดูลาร์ ช่วยให้นักพัฒนาสามารถกำหนดตรรกะการตรวจสอบบล็อกได้อย่างง่ายดาย ตัวอย่างเช่น:

zk Rollup: Zeth สามารถทำให้การพิสูจน์บล็อกเชนเป็นเร็ว ๆ ได้ สามารถลดรอบการพัฒนา ZK Rollup และลดความลงทุน

ไคลเอ็นต์เบา: ไม่ต้องสร้างบล็อกใหม่เพื่อตรวจสอบความถูกต้องของบล็อก เพิ่มความคุ้มค่าในการทำงาน

สะพาน跨ลอง: Zeth สามารถยืนยันความถูกต้องของข้อมูลทางเครือข่ายข้ามโซนโดยไม่เปิดเผยข้อมูลที่อ่อนไหวบนโซน ซึ่งลดความพึงพอใจในบุคคลที่สาม และลดความเสี่ยงของการโจมตีข้ามโซน

ในเดือนพฤษภาคมนี้ บริการ Zeth ได้สำเร็จในการขยายตัวเพื่อรองรับการดึงข้อมูลบล็อก Optimism จากเครือข่ายหลักของ Ethereum และสร้างการยืนยันอำนาจ ZKP สำหรับความถูกต้องของบล็อก และยังรองรับการยืนยันบนเครือข่ายด้วย กล่าวคือ ด้วยความช่วยเหลือจาก Zeth Optimism สามารถยืนยันธุรกรรมได้อย่างมีประสิทธิภาพยิ่งขึ้นและแก้ไขข้อพิพาทในการทำธุรกรรม

Bonsai: ช่วยให้นักพัฒนาสามารถสร้างพิสูจน์โดยไม่ต้องใช้ฮาร์ดแวร์ของตนเอง

Bonsai เป็นบริการพิสูจน์ระยะไกลที่ออกแบบมาเป็นพิเศษสำหรับแอปพลิเคชัน zkVM ซึ่งอนุญาตให้นักพัฒนาไม่ต้องสร้างพิสูจน์ด้วยฮาร์ดแวร์ของตนเอง จากนั้นจึงแก้ไขความขัดแย้งระหว่างทรัพยากรการคำนวณบนเชื่อมโยงที่จำกัดและค่าใช้จ่ายสูง ผ่าน Bonsai นักพัฒนาเพียงแค่กำหนดแอปพลิเคชัน zkVM ที่ต้องการให้ดำเนินการและข้อมูลนำเข้า Bonsai จะเรียกใช้การคำนวณในพื้นหลังและสร้างพิสูจน์ที่เกี่ยวข้อง กระบวนการนี้ไม่ต้องการนักพัฒนาให้ติดตั้งอุปกรณ์ฮาร์ดแวร์เพิ่มเติม ในเวลาเดียวกัน Bonsai ใช้ประโยชน์จากกลุ่ม GPU มากมายเพื่อสนับสนุนการประมวลผลขนาดใหญ่พร้อมกันหลายงาน นอกจากนี้ Bonsai ยังมี API และ SDK ที่เข้าใจง่ายและใช้งานง่ายเพื่อให้นักพัฒนาสามารถรวมมันเข้ากับระบบที่มีอยู่ได้อย่างง่ายดาย ลดความยากลำบากในการพัฒนาเพิ่มเติม

โดยใช้บริการพิสูจน์ระยะไกลนี้ RISC Zero ได้เปิดตัวเครื่องมือโอเพ่นซอร์ส Bonsai Pay ซึ่งรวมเทคโนโลยีการรับรองตัวตน OAuth2.0 และเทคโนโลยี ZKP ทำให้ผู้ใช้สามารถส่งหรือรับโทเคนบนเครือข่ายอีเธอเรียมโดยใช้บัญชี Google ได้ เช่นเมื่อ Alice ต้องการโอนเงินให้กับ Bob Alice สามารถป้อนอีเมลของ Bob และจำนวนเงินที่ต้องการโอนผ่าน Bonsai Pay ได้ Bob จากนั้นสามารถเข้าสู่ระบบ Bonsai Pay ป้อนที่อยู่อีเมลและทำการยืนยันตัวตนของบัญชี Google Bonsai Pay จะใช้ OAuth 2.0 ในการสร้างโทเคนอนุญาตเพื่อพิสูจน์ว่า Bob คือเจ้าของของอีเมลนั้นจริง ๆ จากนั้น Bonsai Pay จะเรียกใช้บริการพิสูจน์ Bonsai เพื่อสร้างพิสูจน์ระยะไกลที่ไม่รู้อะไรเพื่อพิสูจน์ว่าบัญชี Google ของ Bob เชื่อมโยงกับที่อยู่ของกระเป๋าเงิน หลังจากที่สมารถตรวจสอบพิสูจน์ได้แล้วสมารถปลดล็อคเงินและโอนไปยังที่อยู่ของกระเป๋าเงินของ Bob

ในขั้นตอนทั้งหมด Bonsai Pay ได้ทำการยืนยันที่จริงว่า "บ็อบมีบัญชี Google และที่อยู่กระเป๋าเงินที่เกี่ยวข้องกัน" ด้วยเทคโนโลยี ZKP และป้องกันการเปิดเผยข้อมูลเฉพาะของบัญชี Google ใด ๆ

การใช้งานที่สำคัญของ Bonsai คือ Bonsai ZK Co-processor (หรือ ZK โปรเซสเซส) ซึ่งใช้เทคโนโลยีการพิสูจน์ความรู้ศัพท์ศาสตร์เพื่อย้ายงานคำนวณที่ซับซ้อนจากเชื่อมต่อไปยังเชื่อมต่อออกจากเชื่อมต่อและสร้างพิสูจน์ที่ไม่สามารถปรับแต่งได้เพื่อให้ได้ผลลัพธ์ที่ถูกต้อง ในขณะเดียวกันการติดตั้ง Bonsai Co-processor ก็ง่ายมาก นักพัฒนาเพียงเขียนแอปพลิเคชัน zkVM เพื่อจัดการเรื่องตรรกะและใช้ Solidity คอนแทรคเรียกใช้ Bonsai เพื่อเรียกใช้งานและตรวจสอบผลลัพธ์ ในขั้นตอนทั้งหมดนี้ Bonsai Proof Service มีหน้าที่สร้างพิสูจน์ความรู้ศัพท์ศาสตร์ของการคำนวณนอกเชื่อมต่อซึ่งสามารถยืนยันได้ในเชื่อมต่อ

Bonsai ZK โปรเซสเซอร์เหมาะสำหรับการใช้ในแอปพลิเคชันบนเชื่อมโซงที่ต้องการประสิทธิภาพสูงและต้นทุนต่ำ เช่นในการปกครอง DAO มันสามารถย้ายการคำนวณโหวตที่ซับซ้อนไปยังเชื่อมโซงที่ต่ำกว่า ลดค่า Gas บนเชื่อมโซงลงอย่างมีนัยสำคัญ Bonsai DAO Governor ผ่านโปรเซสเซอร์ลดค่า Gas ต่อโหวตลงไปมากกว่า 50% เพิ่มประสิทธิภาพในการปกครองลง ลดค่าเข้าร่วม

Boundless：ชั้นคำนวณที่สามารถพิสูจน์ได้

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

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

นอกจากนี้ นักพัฒนาไม่ต้องเข้าใจเทคโนโลยี Zero-knowledge ลึกซึ้งเพียงแค่เขียนโปรแกรมแอพพลิเคชันด้วยภาษาโปรแกรมที่คุ้นเคย เช่น Rust หรือ Solidity ก็สามารถใช้งาน Boundless ได้แล้ว ปัจจุบัน Boundless ได้เปิดให้นักพัฒนาเข้าถึงบริการ Proving ได้ฟรี นักพัฒนาไม่จำเป็นต้องย้ายระบบที่มีอยู่หรืออัปเดต smart contract ก็สามารถใช้บริการ Proving จาก Boundless เพื่อสร้างและปรับปรุง Zero-knowledge application บน blockchain ใด ๆ ได้อย่างรวดเร็ว

Blobstream Zero: สะดวกสบายกับเชื่อมต่อทางเครือข่ายระหว่างซีเคิลของ zkVM สำหรับการตรวจสอบข้อมูลระหว่างเครือข่าย

Blobstream Zero เป็นสะพาน跨ล๊อกที่มาจากความร่วมมือระหว่าง RISC Zero และ Celestia ที่ใช้ zkVM เพื่อเชื่อมต่อชั้นข้อมูลที่มีความพร้อมใช้งานของ Celestia กับนิเวศบล็อกเชนโมดูลที่มีอยู่ในนิเวศระบบบล็อกเชนแบบโมดูลได้อย่างราบรื่น โดยการแบ่งปันและการตรวจสอบข้อมูลบน Celestia Blobstream Zero สามารถทำการส่งข้อมูลและการตรวจสอบข้อมูลระหว่างเชื่อมโยงบล็อกเชนได้อย่างสะดวกสบาย

ในฐานะผลิตภัณฑ์สาธารณะที่เปิดเผยอย่างสมบูรณ์ Blobstream Zero อนุญาตให้โครงการหรือนักพัฒนาใด ๆ สามารถเรียกใช้ตัวอย่างท้องถิ่นได้ และสร้างพยางค์ศาสตร์ที่ไม่มีความรู้จักใด ๆ อีกทั้ง Blobstream Zero ยังสามารถให้การสนับสนุน ZK coprocessor ZK coprocessor คือเครื่องมือคำนวณหลักที่ต้องอยู่นอกเหนือจากเชื่อมโยงดังนั้นจึงต้องมีข้อมูลที่เชื่อถือได้เพื่อดำเนินการคำนวณ Blobstream Zero สามารถรับข้อมูลจากโซลาร์ระบบเช่น Celestia และสามารถพิสูจน์ว่าข้อมูลที่ถูกส่งต่อเป็นไปในทางที่ถูกต้องโดยการสร้างพยางค์ศาสตร์ ZK

Steel：โปรแกรมสมาร์ทคอนแทรคใหม่ที่มีการดำเนินการใต้โซนและการตรวจสอบบนโซน

Steel เป็นเครื่องมือโอเพนซอร์สที่ถูกพัฒนาโดย RISC Zero ซึ่งใช้เทคโนโลยี zkVM เพื่อให้สามารถดำเนินการสัญญาอัจฉริยะที่สามารถตรวจสอบได้แบบออฟเชน ผู้พัฒนาสามารถใช้ Steel เพื่อย้ายการดำเนินการ EVM จากออนเชนไปทำงานออฟเชนพร้อมกับสร้างพิสูจน์ทรัพยากรเพื่อให้มั่นใจได้ว่าผลลัพธ์ทางคำนวณเป็นความจริงและสามารถตรวจสอบได้

สัญญาอัจฉริยะแบบดั้งเดิมต้องดำเนินการตามตรรกะทั้งหมดบนเชื่อมต่อที่แพง ทั้งนี้ยังจำกัดการพัฒนาแอปพลิเคชันที่ซับซ้อน Steel ซึ่งเป็นการคำนวณภายใต้เชื่อมต่อและการตรวจสอบบนเชื่อมต่อแก้ปัญหานี้ ตัวอย่างเช่น ในสัญญาอัจฉริยะที่เรียบง่าย เช็คว่ายอดคงเหลือของบัญชี ERC20 มากกว่า 1 และเพิ่มตัวแปรนับ วิธีการดั้งเดิมต้องทำการดำเนินการตามตรรกะบนเชื่อมต่อ ในขณะที่ Steel ทำการคำนวณภายใต้เชื่อมต่อและสร้างหลักฐานที่เป็นความลับซึ่งเชื่อมต่อเพียงการตรวจสอบหลักฐาน และไม่จำเป็นต้องดำเนินการตามตรรกะของสัญญาอัจฉริยะซ้ำ ๆ

ขณะนี้ RISC Zero ได้เปิดตัว Steel 1.0 และมีพันธมิตรใช้เครื่องมือนี้ในการพัฒนาแอปพลิเคชันแล้ว ตัวอย่างเช่น ในการเรียกใช้สัญญาที่มีการดำเนินการ SLOAD ประมาณ 400,000 ครั้ง ผ่าน Steel จะทำการคำนวณที่จะถ่ายโอนไปทำงานนอกเครือข่าย และต่อมาทำการตรวจสอบการสร้างฐานศาสตร์ที่ไม่รู้ความ ต้นทุนการสร้างฐานศาสตร์น้อยกว่า 10 ดอลลาร์ ต้นทุนการตรวจสอบบนเครือข่ายต่ำกว่า 30 หมื่น Gas

Kailua：ผู้ส่งเสริมนวัตกรรมโครงสร้าง Rollup ด้วยวิธีผสม ZK

หลังจากเปิดตัว Zeth แล้ว RISC Zero ได้เปิดตัว Kailua ที่เป็นแผนการอัพเกรดสำหรับ optimistic Rollup ที่ผสมผสานกับ ZK Rollup แบบผสมโดยทั่วไปต้องใช้เวลา挑 challenge 7 วันซึ่งทำให้การตัดสินใจและการทำธุรกรรมช้า และ ZK Rollup สามารถทำให้การตัดสินใจจบลงได้เร็ว แต่มีค่าใช้จ่ายสูงมากในการสร้างเอกสารพิสูจน์ที่เป็นศูนย์ Kailua ผสมผสานสองด้านเพื่อให้เกิดความสมดุลระหว่างค่าใช้จ่ายและประสิทธิภาพ โดยในฐานะขยาย Optimism Kona Kailua ไม่เพียงรองรับ Kona ที่ไม่ได้รับการแก้ไขใน zkVM เท่านั้น แต่ยังมีการนำเข้ากลไกการแก้ไขข้อโต้แย้งที่นำมาลดค่ามัดจำและลดความล่าช้าของการตัดสินใจจนเพิ่มประสิทธิภาพและความสามารถของระบบ

ในโครงสร้าง Kailua มีกลไกการแก้ไขข้อโต้แย้งที่ออกแบบใหม่เอาไว้ ก่อนอื่น กลไกการแก้ไขข้อโต้แย้งยกเลิกการจำกัดเวลา อนุญาตให้ผู้ตรวจสอบมีเวลาเพียงพอในการสร้างหลักฐานเมื่อพบเห็นสถานการณ์พิเศษ เช่น การขาดการเชื่อมต่อในเครือข่าย เพื่อเสริมความยืดหยุ่นของระบบ แม้กระทั่งในสถานการณ์ที่สุดขีด RISC Zero zkVM ยังสามารถทำหลักฐานให้เสร็จสิ้นภายในหนึ่งชั่วโมงได้ นอกจากนี้ Kailua ยังมีฟีเจอร์การตรวจสอบตามความต้องการที่ช่วยให้นักพัฒนาสามารถกำหนดความถี่ในการตรวจสอบได้อย่างยืดหยุ่นเพื่อเข้าสู่โหมด Rollup การตรวจสอบอย่างสมบูรณ์ในราคาที่ต่ำขึ้นอย่างค่อยเป็นค่อยไป

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

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

สรุป

จากข้อความข้างต้น จะเห็นได้ว่า ผลิตภัณฑ์ zkVM ของ RISC Zero กำลังขับเคลื่อนเทคโนโลยีพิสูจน์ศูนย์ในหลายด้าน Zeth และ Kailua มุ่งเน้นการปรับปรุงโครงสร้าง Rollup เพื่อเพิ่มประสิทธิภาพในการตรวจสอบบล็อกและความเร็วในการแก้ไขข้อโต้แย้ง Bonsai ให้บริการพิสูจน์ระยะไกลเพื่อลดความจำเป็นต่อฮาร์ดแวร์และต้นทุนการใช้งาน ทำให้นักพัฒนาสามารถสร้างแอปพลิเคชันได้อย่างมีประสิทธิภาพมากขึ้น Blobstream Zero โดยการยืนยันข้อมูล跨เชนอย่างมีประสิทธิภาพ ได้เสนอการสนับสนุนที่เชื่อถือได้ให้กับนิเวศโมดูลบล็อคเชน นอกจากนี้ Steel โดยการคำนวณนอกเชนและการตรวจสอบในเชน ลดค่า Gas ในการดำเนินการสัญญาอัจฉริยะ

แน่นอน ในขณะที่ zkVM กำลังพัฒนาผลิตภัณฑ์เมทริกซ์อย่างต่อเนื่อง RISC Zero ก็กำลังส่งเสริมนวัตกรรมในเทคโนโลยีพื้นฐานของ zkVM อย่างต่อเนื่องด้วย ในช่วงเร็ว ๆ นี้ RISC Zero zkVM ได้เผยแพร่เวอร์ชัน 1.2 ซึ่งนำเสนอวิธีการคอมไพล์ใหม่ที่อนุญาตให้นักพัฒนานำโลจิกการคอมไพล์มาใช้งานพร้อมกับแอปพลิเคชันโดยไม่ต้องฝังใน zkVM เอง สิ่งนี้หมายความว่า นักพัฒนาสามารถเพิ่มโลจิกการคอมไพล์ใหม่ๆ โดยไม่ต้องปรับเปลี่ยนสัญญาตรวจสอบบนเชื่อมโยงหรือการปรับแต่งพิสูจน์บทบัญญัติโดยไม่ต้องแก้ไข zkVM หรือทำการแก้ไขที่ใหญ่ใดก็ได้ นอกจากนี้ โดยการใช้การคอมไพล์ที่กำหนดโดยแอปพลิเคชันยังสามารถลดต้นทุนของการคำนวณที่ใช้สร้างพิสูจน์ได้ ตัวอย่างเช่น หลังจากที่ Automata ผสานการคอมไพล์ RSA จะทำให้ระยะเวลาการดำเนินงานลดลงจาก 3900 ล้าน เหลือ 21.7 ล้าน ลดต้นทุนลงประมาณ 180 เท่า

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