สถาปัตยกรรม

โครงสร้างของ Cartesi ผ่านการคำนวณภายใต้เครื่อง Linux อย่างชาญฉลาดที่เชื่อมโยงช่องโอเพิ่นระหว่างการพัฒนาซอฟต์แวร์แบบดั้งเดิมกับเทคโนโลยีบล็อกเชนได้อย่างมีความสร้างสรรค์ โครงสร้างนวัตกรรมนี้ประกอบด้วยคอมโพเนนต์หลักต่อไปนี้

เครื่องจักร Cartesi

โครงสร้าง RISC-V

เครื่อง Cartesi จําลอง RISC-V CPU ซึ่งเป็นสถาปัตยกรรมชุดคําสั่งที่เรียบง่ายและโมดูลาร์ (ISA) ที่เหมาะสําหรับการตรวจสอบอย่างเป็นทางการและการคํานวณระดับต่ํา ISA นี้เป็นรากฐานของฮาร์ดแวร์เสมือนของ Cartesi Machine

การผสมผสานกับ Linux Kernel

Cartesi Machine ทำงานบนระบบปฏิบัติการ Linux ที่เต็มรูปแบบ ช่วยให้นักพัฒนาสามารถใช้เครื่องมือ ไลบรารี และภาษาโปรแกรม Linux มาตรฐานได้ การผสมผสานเหล่านี้เกิดจากการคอมไพล์โค้ดซอฟต์แวร์ Linux เข้ากับสถาปัตยกรรม RISC-V ทำให้ Cartesi Machine เป็นเช่นเสมือนเป็นเครื่องคอมพิวเตอร์เสมือนจริงที่ทำงานในโลกนอกเชื่อมต่อระบบบล็อกเชน

การดำเนินการที่แน่นอน

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

การโต้ตอบระหว่างออฟเชนและออนเชน

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

เครื่องหมายข้างของ Noether

Noether เป็น sidechain พิเศษที่ใช้เพื่อให้แน่ใจว่ามีข้อมูลที่ใช้ในการประมวลผลแบบ off-chain เลเยอร์ความพร้อมใช้งานของข้อมูลนี้มีความสําคัญเนื่องจากการคํานวณ Cartesi Machine แบบ off-chain อาศัยข้อมูลที่ทุกฝ่ายที่เกี่ยวข้องสามารถเข้าถึงได้ Noether ใช้กลไก proof-of-stake เพื่อรักษาเครือข่ายซึ่งผู้เดิมพันจัดหาและตรวจสอบการจัดเก็บข้อมูล

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

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

โปรโตคอล

โปรโตคอล Cartesi ช่วยให้สามารถคํานวณนอกเครือข่ายได้อย่างปลอดภัยและตรวจสอบได้ในขณะที่ยังคงรักษาความสมบูรณ์และความปลอดภัยของบล็อกเชน

เฟรมเวิร์ก Descartes

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

Descartes มีกลไกการระงับข้อพิพาทที่โปรโตคอล Cartesi สามารถแบ่งการคํานวณออกเป็นขั้นตอนเล็ก ๆ ที่สามารถตรวจสอบแยกกันได้แบบ on-chain หากผู้เข้าร่วมท้าทายผลลัพธ์ของการคํานวณ กระบวนการนี้ช่วยให้มั่นใจได้ว่าสามารถตรวจจับและแก้ไขผลลัพธ์ที่ไม่ถูกต้องได้โดยไม่ต้องเรียกใช้การคํานวณทั้งหมดแบบ on-chain อีกครั้ง

การคํานวณที่ตรวจสอบได้

ผลลัพธ์ที่สร้างโดย Cartesi Machine จะยึดติดกับบล็อกเชนผ่านการพิสูจน์การเข้ารหัส หลักฐานเหล่านี้ช่วยให้ฝ่ายใดฝ่ายหนึ่งสามารถตรวจสอบว่าการคํานวณดําเนินการอย่างถูกต้องโดยไม่ต้องเชื่อถือนักแสดงดั้งเดิม

Rollups（รวมข้อมูล）

Cartesi ใช้เทคโนโลยี Rollup เพื่อรวมธุรกรรมหลายรายการหรือการคํานวณเป็นธุรกรรมแบบ on-chain เดียว สิ่งนี้จะช่วยลดภาระบนบล็อกเชนและช่วยให้มีปริมาณงานที่สูงขึ้น Rollups ช่วยรักษาความปลอดภัยของชั้นฐานเช่น Ethereum ในขณะที่ถ่ายโอนงานคํานวณไปยังเครื่อง Cartesi

Cartesi สนับสนุน rollups ในแง่ดีและ rollups ศูนย์ความรู้ (ZK) การยกเลิกในแง่ดีถือว่าธุรกรรมทั้งหมดถูกต้องและได้รับการตรวจสอบเฉพาะในห่วงโซ่ในกรณีที่มีข้อพิพาท ZK Rollup ใช้หลักฐานการเข้ารหัสเพื่อรับรองความถูกต้องของธุรกรรมแต่ละชุด เทคโนโลยีการยกเลิกทั้งสองให้วิธีแก้ปัญหาความสามารถในการปรับขนาดโดยการลดปริมาณข้อมูลที่ประมวลผลและจัดเก็บแบบ on-chain

จุดสว่าง

• เครื่อง Cartesi: จําลอง RISC-V CPU ด้วยระบบปฏิบัติการ Linux ทําให้นักพัฒนาสามารถทําการคํานวณนอกเครือข่ายโดยใช้ภาษาและเครื่องมือการเขียนโปรแกรมมาตรฐาน
• การดำเนินการที่แน่นอน: การรับรองความสามารถในการทำซ้ำของการคำนวณ อนุญาตให้มีผลลัพธ์ที่สามารถตรวจสอบและไม่ต้องมีความไว้วางใจ
• การโต้ตอบระหว่างที่อยู่นอกเหนือจากโซ่และอยู่ในโซ่: จัดการสัญญาอัจฉริยะในการส่งข้อมูลและผลลัพธ์การคำนวณเพื่อเพิ่มประสิทธิภาพการใช้ Gas และประสิทธิผล
• เครือ Noether: ใช้เครือข่ายที่ไม่มีจุดศูนย์กลางในการจัดการความพร้อมใช้งานของข้อมูล โดยเน้นการปรับปรุงการจัดเก็บข้อมูลชั่วคราวเพื่อลดต้นทุน
• Rollup: รอลลัพ: รองรับการรวมรายการอย่างมีความหวังและรองรับการรวมรายการที่ไม่รู้จักด้วยการรวมรายการหลายรายการเข้าด้วยกันเป็นรายการเดียวเพื่อเพิ่มความยืดหยุ่นในการขยายของระบบ