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

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

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

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

RISC Zero เป็นการใช้งาน zkVM ตามสถาปัตยกรรมชุดคําสั่ง RISC-V ซึ่งเป็นแพลตฟอร์มการประมวลผลที่ไม่มีความรู้ทั่วไปรองรับภาษาการเขียนโปรแกรมกระแสหลักที่หลากหลายเช่น Rust และ C ++ และสามารถเรียกใช้งานคอมพิวเตอร์ได้เกือบทุกประเภท ในทางตรงกันข้ามกับแพลตฟอร์มเทคโนโลยีที่ไม่มีความรู้อื่น ๆ ผู้พิสูจน์และตรวจสอบของ 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 ซึ่งใช้ในงานที่เกี่ยวข้องกับ ETH และการดำเนินการเข้ารหัส

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

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

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

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

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

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

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

• zk Rollup: Zeth สามารถดำเนินการพิสูจน์บล็อกได้อย่างรวดเร็ว ลดระยะเวลาในการพัฒนา ZK Rollup และลดการลงทุนทางการเงิน
• ไคลเอ็นต์เบา: สามารถตรวจสอบความถูกต้องของบล็อกโดยไม่ต้องสร้างโครงสร้างใหม่เพื่อลดค่าใช้จ่ายในการดำเนินงาน
• สะพาน跨链：Zeth สามารถยืนยันความถูกต้องของข้อมูล跨เชืองโดยไม่เปิดเผยข้อมูลที่สำคัญบนเชืองเชื่อมข้อมูลซึ่งลดความเชื่อใจในบุคคลที่สามและลดความเสี่ยงจากการโจมตี跨เชือง

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

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

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

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

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

! [การถอดรหัส RISC Zero Product Matrix: จะช่วยให้ Ethereum ก้าวไปสู่อนาคตที่เหมือน ZK ได้อย่างไร?] ](https://m.shilian.com/uploads/20241225/ed80b2c56025280a6db7fe42587609f2.png)

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

โปรเซสเซอร์ร่วม Bonsai ZK เหมาะอย่างยิ่งสําหรับการใช้งานแบบ on-chain ที่ต้องการประสิทธิภาพสูงและต้นทุนต่ํา ตัวอย่างเช่นในการกํากับดูแล DAO มันสามารถลดการคํานวณการลงคะแนนที่ซับซ้อนนอกห่วงโซ่ซึ่งช่วยลดค่าธรรมเนียมก๊าซในห่วงโซ่ได้อย่างมาก ผู้ว่าการบอนไซ DAO ได้ลดต้นทุนก๊าซต่อตั๋วได้มากกว่า 50% ผ่านผู้ประมวลผลร่วมปรับปรุงประสิทธิภาพการกํากับดูแลอย่างมีประสิทธิภาพและลดอุปสรรคในการมีส่วนร่วม

Boundless: เลเยอร์การคำนวณที่สามารถยืนยันได้

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

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

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

Blobstream Zero：การสะดวกในการยืนยันข้อมูล跨เครือข่ายของ zkVM สำหรับสะพาน跨เครือข่าย

Blobstream Zero เป็นพื้นที่เชื่อมต่อ Cross-Chain ที่พัฒนาโดย RISC Zero และ Celestia โดยใช้ zkVM เพื่อเชื่อมต่อชั้นข้อมูลของ Celestia กับนิเวศบล็อกเชนแบบโมดูลที่มีอยู่ในปัจจุบันอย่างไร้รอยต่อ ผ่านการแบ่งปันและการตรวจสอบข้อมูลบน Celestia Blobstream Zero ช่วยให้การส่งข้อมูลและการตรวจสอบข้อมูลระหว่างโซ่เป็นเรื่องที่ง่ายขึ้น

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

Steel: สัญญาอัจฉริยะรูปแบบใหม่ที่มีการดำเนินการใต้โซนและการยืนยันบนโซน

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

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

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

Kailua: สคริปต์ผสาน ZK ที่สนับสนุนการสร้างสรรค์โครงสร้าง Rollup

หลังจากการเปิดตัว Zeth แล้ว RISC Zero ได้เปิดตัว Kailua เป็นโครงการอัพเกรดสำหรับ Optimistic Rollup โดยผสมผสานกับ ZK Rollup โดยทั่วไป Optimistic Rollup จะต้องใช้เวลา 7 วันในการทดสอบความแข็งแกร่งทำให้การทำธุรกรรมช้า ในขณะที่ ZK Rollup สามารถทำให้การทำธุรกรรมต่อเนื่องได้อย่างรวดเร็ว แต่ต้องใช้ค่าใช้จ่ายสูงสุดในการสร้าง Zero-knowledge proof Kailua รวมคุณสมบัติของทั้งสองโดยผสมผสานโครงสร้างและนำเสนอวิธีการแก้ไขข้อขัดแย้งใหม่ที่ลดความต้องการเงินมัดจำและลดความล่าช้าของการทำธุรกรรมทำให้ระบบเป็นไปได้อย่างมีประสิทธิภาพและมีความพร้อมใช้งาน

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

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

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

สรุป

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

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

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

The 5th Annual Selection & RTY AWARD 2025 เปิดให้ลงคะแนนแล้ว!

สร้างสถิติใหม่! ประมาณ 300 โครงการและบุคคลผ่านการคัดเลือกข้อมูล, ลงทะเบียนโดยเปิดเผยและแนะนำจากชุมชนเข้าสู่ขั้นตอนการโหวตในการประเมินคัดเลือกครั้งนี้ ใครเป็นผู้นำที่เคลื่อนไหว Web3 และ Crypto ไปสู่การเป็นหลัก? คลิกที่ภาพเพื่อลงคะแนนเพื่อให้กำลังใจให้กับคุณภาพที่ดีที่สุดในปีของคุณ!

คลิกที่รูปด้านล่างเพื่อโหวตทันที!

! [รางวัล RTY AWARD 2025] (https://m.shilian.com/uploads/20241225/JhIMEr98QV.jpg)