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

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

เมทริกซ์ผลิตภัณฑ์ระบบ 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 เพื่อปรับปรุงประสิทธิภาพของงานที่เกี่ยวข้องกับ Ethereum และการดําเนินการเข้ารหัส

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

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

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

ในบทความของเขา “ประเภทต่างๆของ zk-EVMsผู้ร่วมก่อตั้ง Ethereum คุณ Vitalik Buterin จัดประเภท zkEVMs เป็น 4 ประเภท: ประเภท 1 เน้นความเท่าเทียมที่สมบูรณ์และไม่ต่ำกว่า Ethereum; ประเภท 2 มีวัตถุประสงค์ในการเท่าเทียมแบบเต็มรูปแบบกับ EVM แต่ไม่เท่าเทียมกับ Ethereum โดยรวม; ประเภท 3 เทียบเท่ากับ EVM เกือบทั้งหมด; และประเภท 4 ไม่เข้ากันได้อย่างสมบูรณ์กับ Ethereum.

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

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

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

• zk Rollup: Zeth ช่วยให้สามารถสร้างหลักฐานบล็อกได้อย่างรวดเร็วลดรอบการพัฒนาและลดความต้องการเงินทุนสําหรับ zk Rollups
• Light Clients: Zeth อนุญาตให้มีการตรวจสอบความถูกต้องของบล็อกโดยไม่จําเป็นต้องสร้างบล็อกใหม่ซึ่งจะช่วยลดต้นทุนการดําเนินงาน
• สะพาน Cross-Chain: Zeth ใช้ ZKP เพื่อยืนยันความถูกต้องของข้อมูลระหว่างเชื่อมต่อโซ่โดยไม่รั่วไหลข้อมูลที่อยู่บนโซ่ซึ่งเป็นข้อมูลที่สำคัญในการลดความเชื่อมั่นในบุคคลที่สามและลดความเสี่ยงในการโจมตีระหว่างเชื่อมโซ่

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

Bonsai: ทำให้นักพัฒนาสามารถสร้างพิสูจน์ได้โดยไม่ต้องใช้อุปกรณ์ของตนเอง

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

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

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

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

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

Boundless: ชั้นบริการคำนวณที่สามารถยืนยันได้

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

Boundless vereinfacht den Verifizierungsprozess durch die Technologie der rekursiven Komposition. Es kombiniert mehrere kleine Nullwissenbeweise zu einem einzigen Gesamtbeweis, so dass Verifizierer nur einen Gesamtbeweis prüfen müssen, anstatt jeden Beweis aus allen Stufen einzeln zu verifizieren. Um die Effizienz der Nullwissenbeweisgenerierung weiter zu optimieren, enthält Boundless spezialisierte kryptografische Beschleunigungsschaltkreise zur Verbesserung der Effizienz von gemeinsamen Aufgaben wie der Hash-Berechnung und der digitalen Signaturverifikation.

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

Blobstream Zero: สะพานกากVMฐาน Cross-Chain สำหรับการตรวจสอบข้อมูลทาง Cross-Chain ที่ง่าย

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

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

Steel: แบบจำลองใหม่สำหรับการดำเนินการออฟไลน์และการตรวจสอบออนเชนของสัญญาอัจฉริยะ

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

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

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

Kailua: โซลูชั่น Hybrid ZK ที่ขับเคลื่อนนวัตกรรมโครงสร้าง Rollup

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

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

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

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

สรุป

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

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

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

ข้อความปฏิเสธความรับผิดชอบ:

1. บทความนี้ถูกนำเข้ามาจาก[งานวิจัย ChainFeeds)]. ลิขสิทธิ์ทั้งหมดเป็นของผู้เขียนต้นฉบับ [@chainfeeds> Linda Bell]. หากมีการคัดค้านในการเผยแพร่นี้ กรุณาติดต่อ Gate เรียนรู้ทีมงานจะดูแลมันโดยเร็ว
2. คำประกาศความรับผิดชอบ: มุมมองและความคิดเห็นที่แสดงในบทความนี้เป็นเพียงความคิดเห็นของผู้เขียนเท่านั้น และไม่ใช่คำแนะนำในการลงทุน
3. ทีมผู้เรียนรู้ของ Gate แปลบทความเป็นภาษาอื่น การคัดลอก การกระจาย หรือการลอกเลียนแบบบทความที่ถูกแปลนั้นถือเป็นการละเมิดทรัพย์สินทางปัญญาเว้นแต่จะระบุไว้เป็นอย่างอื่น