การเข้ารหัส世界，永远不缺新的叙事，但称得上性感且务实的却屈指可数。

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

ด้วยเหตุนี้ในยุคของ AI+Crypto การเข้ารหัสแบบประมวลผลได้เต็มรูปแบบ (FHE) และแนวคิดอื่น ๆ ก็ได้รับการสนับสนุนเรื่อย ๆ ล่าสุด โดยถูกมองว่าเป็นหนึ่งในทางออกที่ดีที่สุดสำหรับการคำนวณที่สามารถยืนยันและประมวลผลข้อมูลลับของ AI

บทความนี้จะเน้นมุมมองที่เน้นไปที่ Marlin ที่เป็นทหารเก่าในการเข้ารหัสที่มุ่งเน้นไปที่ "โครงสร้างพื้นฐานสำหรับการคำนวณคลาวด์ที่สามารถพิสูจน์ได้" โดยการขุดเจาะเพื่อโครงการ DeAI ที่เป็นการพูดคุยทางหลายทางเช่น AI、MEV、Oracle、ZK、TEE และอื่น ๆ ว่าจะเข้ากันได้อย่างไรกับความมีชื่อเสียงของ AI ในปัจจุบัน และสามารถเพิ่มตัวแปรใหม่ให้กับ "AI+Crypto" ได้หรือไม่

AI ช่วงหลัง ไม่สามารถหลุดจาก "การคำนวณคลาวด์ที่สามารถตรวจสอบ" ได้หรอ?

ทราบกันดีว่านอกจาก AIGC รุ่นใหญ่ที่กำลังขยายอย่างรวดเร็วนอกจากนี้ มีหลายสถานการณ์ AI ที่เติบโตอย่างรวดเร็วในระหว่างนี้ เช่น การแพทย์ การศึกษา การขับรถอัจฉริยะ ฯลฯ ทั้งหมดนี้ต้องการการคำนวณปริมาณมหาศาล

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

แต่ในขณะเดียวกัน ตลาดบริการคลาวด์传统 ก็ถูก behing โดย AWS ของ Amazon、Azure ของ Microsoft และ GCP ของ Google ที่เป็นผู้นำของศัตรูในอุตสาหกรรมอินเทอร์เน็ตใหญ่ ๆ ทั้งสามบริษัทรวมกันครอบคลุมมากกว่าหกสิบเปอร์เซ็นต์ของการแบ่งส่วนคำนวณคลาวด์ อยู่ในตลาดที่ชัดเจนที่ขาย

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

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

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

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

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

ทั้งหมดนี้เข้ากันอย่างลงตัวกับประเด็นการใช้งานของ Web3 และเป็นที่สร้างความคิดที่หลากหลายให้กับผู้ใช้ในวงการเกี่ยวกับการคำนวณความลับในรูปแบบต่าง ๆ เช่นพิสูจน์ด้วยศาสตร์รู้เพียง (ZKP) การคำนวณแบบหลายฝ่าย (MPC) และการเข้ารหัสแบบเต็มรูปแบบ (FHE) ซึ่งกำลังได้รับความสนใจจากตลาดอย่างมากในช่วงเวลาล่าสุด

และนี่เป็นสิ่งที่ Marlin ต้องทำ - ในทุกแอป DePIN / Web2.5 / AI ที่ต้องการบริการคำนวณที่มีความล่าช้าต่ำและกำลังคำนวณสูง จริงๆ แล้วคุณสามารถเลือกใช้ WeTEE เพื่อการติดตั้งและรับความสามารถในการคำนวณคลาวด์ทั่วไปเช่นเดียวกับบริการคลาวด์ทราดิชัน传统

Rethinking Marlin: กลายเป็น L0 ที่ตรวจสอบได้สําหรับโลก AI

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

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

ผ่าน Marlin ใช้ Trusted Execution Environment (TEE) และ Coprocessor ที่ใช้ Zero-Knowledge Proof (ZKP) เพื่อให้ข้อมูลและโค้ดได้รับการแยกตัวจากกระบวนการอื่น ๆ ที่ระดับฮาร์ดแวร์เพื่อให้มั่นใจในความลับของข้อมูลและความสมบูรณ์ของการคำนวณที่ทำงานอยู่ในนั้น ๆ พร้อมทั้งสามารถสร้างผลลัพธ์การคำนวณที่แม่นยำและสามารถยืนยันได้ โดยที่ไม่สามารถแก้ไขได้

พร้อมเป็นโหนดที่ไม่เหมือนกับส่วนใหญ่ของตัวประมวลผล ZK ที่ถูกออกแบบมาเพื่อสภาพแวดล้อมบางอย่าง (RISC-V หรือ WASM หรือ MIPS) ซึ่งสามารถประมวลผลโปรแกรมที่เขียนด้วยภาษาที่เข้ากันได้เท่านั้น Marlin ของ ZK หลักฐานตลาดที่อ้างอิงวงจรดังนั้นไม่เกี่ยวกับภาษาและอนุญาตให้โหนดเลือกวงจรที่ต้องการสนับสนุนได้ - สามารถย้ายแอปพลิเคชันที่มีอยู่ใน Python หรือ C++ หรือ Go โดยตรงหรือใช้ zkVM

พร้อมด้วยสถาปัตยกรรมของเครือข่าย Marlin ที่สามารถแบ่งออกเป็น Oyster、Kalypso และ Marlin Relay ได้เป็นรวมทั้งหมด

Oyster และ Kalypso ใช้ Trusted Execution Environment (TEE) และ Zero-Knowledge Proof (ZKP) ตามลำดับเพื่อให้แน่ใจถึงความถูกต้องและความปลอดภัยของการคำนวณ ในขณะเดียวกัน เครือข่ายรีเลย์จะรับผิดชอบในการให้คำสั่งโปรโตคอลการพิสูจน์ที่เป็นไปตามหลักการของ Zero-Knowledge ที่มีการกระตุ้นแบบซ้อนทึบเพื่อให้โหนดที่ไม่มีความเชื่อถือสามารถมีส่วนร่วมในเครือข่ายโดยไม่มีผลกระทบที่เป็นอันตรายต่อความปลอดภัยของมัน:

• Oyster เป็นบริการ off-chain ที่ให้บริการโดย TEE โดยมุ่งเน้นให้ผู้ใช้สามารถใช้การเปลี่ยนแปลงที่น้อยที่สุดในการติดตั้ง backend ของตนเองหรือขยายสัญญาอัจฉริยะบนเครือข่ายคอมพิวเตอร์คลาวด์ Marlin ดังนั้นหนึ่งในข้อดีที่สำคัญของ Oyster คือความสามารถในการไม่ต้องเซ็ตอัพโหนดและเลือกโหนดที่เจาะจงที่ต้องการใช้ ผลลัพธ์สามารถส่งกลับไปยังผู้ใช้ได้อย่างสะดวก
• Kalypso แทน Marlin ในการนำเอา Zero-Knowledge Proof (ZKP) มาผสมผสานอย่างยืดหยุ่น โดยการใช้ FPGA, GPU และ ASIC ในการปรับปรุงฮาร์ดแวร์ทำให้การสร้างพิสูจน์ ZK ทำได้เร็วขึ้นอย่างมีนัยสำคัญ ลดเวลาและต้นทุน นอกจากนี้ Marlin อาศัยโหนดที่มี GPU และ FPGA มาทำการสร้าง ZK ที่เป็นบริการภายนอก จึงสามารถดำเนินการร้องขอจากคลายเอ็นต์ได้อย่างมีประสิทธิภาพและส่งคืนพิสูจน์ที่สร้างขึ้น *Marlin Relay เป็นเครือข่ายรีเลย์ที่เกี่ยวข้องกับบล็อกเชนที่ไม่ต้องการอนุญาตและมีฟังก์ชันการกระตุ้นที่ซึ่งมีการผสมผสานกับบล็อกเชนหลายรายการพร้อมกันโครงสร้างการกระตุ้นนี้ทำให้โหนดที่ไม่จำเป็นต้องไว้วางใจสามารถมีส่วนร่วมในการให้ทรัพยากรให้กับเครือข่ายโดยที่ไม่มีผลกระทบที่เป็นการเสี่ยงต่อความปลอดภัยของมัน

สิ่งที่ควรทราบคือ ในเครือข่ายโหนดของ Marlin แต่ละโหนดมีการดูแลรักษาด้วย TEE ซึ่งยังสามารถสร้างสภาพแวดล้อม Enclave ที่ปลอดภัยในระบบจัดเก็บเพื่อให้มั่นใจว่าข้อมูลการคำนวณและการจัดเก็บข้อมูลจะไม่ถูกดูแลดูแลหรือรั่วไหล

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

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

พื้นที่จินตนาการของ Marlin และ "โลก AI L0"

จากมุมมองนี้เราจะเห็นว่า Marlin แท้จริงก็คือการเล่นบทบาทของการสร้างพื้นฐานสำคัญในส่วนที่เหลือของ AI+Web3 - ความสำคัญหลักคือการนำการคำนวณที่สามารถยืนยันได้มาสู่โลก AI และ Web3 อย่างแท้จริง

เช่นเดียวกับการใช้บริการคอมพิวเตอร์แบบคลาวด์ที่สามารถยืนยันและตรวจสอบได้ด้วยคุณสมบัติ 'L0' ของตัวเอง Marlin สามารถก้าวไปข้างหน้าได้อีกต่อไปโดยที่เปลี่ยนตัวเองให้เป็น 'เบอร์ลีกโก' เป็นส่วนสำคัญของโมดูลพื้นฐาน AI 'การคำนวณที่สามารถยืนยันได้+' เพื่อให้ผลิตภัณฑ์ DApp ในทุกๆเส้นทางสามารถมีคุณสมบัติการคำนวณที่สามารถยืนยันได้อย่างสมบูรณ์

สถานการณ์การใช้งานโดยตรงที่สุดคือ Marlin สามารถให้การฝึกอบรมโมเดลที่ปลอดภัยและสภาพแวดล้อมการประมวลผลสําหรับการฝึกอบรมแบบจําลอง AI โดยใช้ตัวประมวลผลร่วมสภาพแวดล้อมการดําเนินการที่เชื่อถือได้ของ TEE ในช่วงเวลาที่การฝึกอบรมโมเดลขนาดใหญ่ของ AI มีความสําคัญมากขึ้นเรื่อย ๆ ซึ่งหมายความว่านอกเหนือจาก ChatGPT แล้วโครงการโมเดลขนาดใหญ่ที่แตกต่างกันสามารถรวมเข้ากับ Marlin หรือสร้างขึ้นตาม Marlin เพื่อสร้างมิดเดิลแวร์การประมวลผลที่ตรวจสอบได้ซึ่งสามารถแทรกและใช้งานได้ง่ายเพื่อให้เกิดการเสริมพลังในรูปแบบของ "การคํานวณที่ตรวจสอบได้ +" **

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

รวมพลังการคำนวณที่ไม่ได้ใช้งาน ด้วยค่าใช้จ่ายที่ต่ำและการตั้งค่าที่ยืดหยุ่นมาช่วยฝึกโมเดล AI ขนาดเล็ก-กลางที่มีลักษณะเฉพาะตัวมากขึ้น ซึ่งเพิ่มประสิทธิภาพการใช้ทรัพยากรอย่างมาก

นี่ก็เพียงแค่ส่วนหนึ่งของไอซ์เบิร์กของ Marlin ในฐานะ middleware ที่สามารถยืนยันได้สำหรับ AI ฉากที่ใช้ประโยชน์

สรุป

อย่างย่อคือ Marlin สามารถสร้างพื้นที่ความคิดสำคัญที่สุดให้กับ AI+Web3 ได้โดยเฉพาะอย่างยิ่งเมื่อเป็นโครงสร้างระดับ L0 และให้ความสามารถให้กับผู้พัฒนาโครงการ AI ที่ต้องการสร้างผลิตภัณฑ์และบริการที่สามารถตรวจสอบความถูกต้องได้ (เช่นเป็นพลังงานกลางในการตรวจสอบความถูกต้องของการคำนวณ)

ในความเป็นจริงเป็นส่วนสำคัญที่ไม่อาจหายไปของยุค AI+Web3 ซึ่งอย่างไรก็ตามอาจถือเป็น "พื้นฐาน" สำคัญของอุตสาหกรรมในทางบางประการ

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

เป็นที่ชัดเจนว่าในช่วงครึ่งหลังของ AI แทร็กการประมวลผลที่ตรวจสอบได้ยังคงมีศักยภาพด้านมูลค่ามหาศาลที่รอการสํารวจโดยเฉพาะอย่างยิ่งแนวคิด "การคํานวณที่ตรวจสอบได้ +" ของ Web3 แบบซ้อนทับอาจมีเนื้อหาที่ทะเยอทะยานมากขึ้น

ไม่เพียงแค่ AI เท่านั้น แต่เราสามารถขยายพื้นที่ความคิดสร้างสรรค์ของบริการการคำนวณที่สามารถตรวจสอบ / ข้อมูลลับได้ในเชิงเสรี เช่นการเล่นเกมส์บนเครือข่าย การสื่อสาร การเล่นเกมส์ และอื่น ๆ

ในขั้นตอนการสร้างสรรค์ที่ต้องใช้เวลานานนี้ Marlin อาจเป็นพื้นฐานของพวก AI+Web3 ที่หลากหลายในอนาคต นี่อาจเป็นที่มาของเรื่องราวที่ใหญ่โตในยุค AI+Web3 ที่มีพื้นที่คิดสูงสุดของการคำนวณที่สามารถตรวจสอบได้