GPU ของบล็อกเชน: การวิเคราะห์อย่างครอบคลุมของ ZK Coprocessors

ขั้นสูง7/24/2024, 11:15:15 AM
โปรเซสเซอร์ร่วม ZK ถือได้ว่าเป็นปลั๊กอินคอมพิวเตอร์นอกสายโซ่ที่ได้มาจากแนวคิดแบบแยกส่วน ฟังก์ชั่นของมันคล้ายกับ GPU ในคอมพิวเตอร์แบบดั้งเดิมของเราที่แชร์งานคอมพิวเตอร์กราฟิกสําหรับ CPU นั่นคือโปรเซสเซอร์ที่แชร์งานคอมพิวเตอร์ในสถานการณ์เฉพาะ . ภายใต้สถาปัตยกรรมการออกแบบนี้ข้อมูลหนักและงานตรรกะการคํานวณที่ซับซ้อนซึ่งโซ่สาธารณะไม่เก่งสามารถคํานวณผ่านโปรเซสเซอร์ร่วม ZK ห่วงโซ่จะต้องได้รับผลการคํานวณที่ส่งคืนเท่านั้นและความถูกต้องของมันจะถูกกําหนดโดยการรับประกันการพิสูจน์ของ ZK และในที่สุดก็ช่วยให้สามารถคํานวณงานที่ซับซ้อนนอกเครือข่ายที่เชื่อถือได้

tldr

  • zk coprocessors สามารถถูกมองเป็นปลั๊กอินการคำนวณ off-chain ที่ได้รับมาจากแนวความคิดแบบโมดูลเดียวกับ gpus ในคอมพิวเตอร์ทั่วไปที่โอนหน้าที่การคำนวณกราฟิกออกจาก cpu และจัดการงานการคำนวณเฉพาะ
  • พวกเขาสามารถใช้งานเพื่อจัดการการคำนวณที่ซับซ้อนและข้อมูลที่หนัก ลดค่าแก๊สและเพิ่มความสามารถของสัญญาอัจฉริยะได้
  • ไม่เหมือน rollups, zk coprocessors เป็น stateless, สามารถใช้งานได้ทั่วทั้ง chains, และเหมาะสำหรับสถานการณ์การคำนวณที่ซับซ้อน
  • การพัฒนาโปรเซสเซอร์ร่วม ZK เป็นสิ่งที่ท้าทายด้วยต้นทุนประสิทธิภาพสูงและการขาดมาตรฐาน ค่าใช้จ่ายฮาร์ดแวร์ก็มีความสําคัญเช่นกัน แม้ว่าสนามจะเติบโตอย่างมีนัยสําคัญเมื่อเทียบกับปีที่แล้ว แต่ก็ยังอยู่ในช่วงเริ่มต้น
  • เมื่อยุคโมดูลาร์เดิมเข้าสู่การเลื่อนระดับที่เป็นฟรักทัล บล็อกเชนเผชิญกับปัญหาเช่นขาดแคลน Likudity ผู้ใช้ที่กระจายอยู่ ขาดความสามารถในการนวัตกรรม และปัญหาความสามารถในการทำงานข้ามเชน ที่สร้างสรรค์พระพุทธเล็กน้อยกับเชนสเกล L1 พันธมิตร สามารถใช้เพื่อต้านทานปัญหาเหล่านี้ ให้การสนับสนุนทั้งในแอปพลิเคชันที่มีอยู่และกำลังปรากฏขึ้น และนำเสนอนิเวศใหม่ในช่องว่างของบล็อกเชน

i. สาขาอีกแห่งของโครงสร้างโมดูลาร์: zk coprocessors

1.1 ภาพรวมของ zk coprocessors

โปรเซสเซอร์ร่วม ZK ถือได้ว่าเป็นปลั๊กอินการประมวลผลแบบ off-chain ที่ได้มาจากแนวคิดแบบแยกส่วน คล้ายกับวิธีที่ GPU ออฟโหลดงานคอมพิวเตอร์กราฟิกจากซีพียูในคอมพิวเตอร์แบบดั้งเดิม ในกรอบการออกแบบนี้งานที่โซ่สาธารณะไม่เชี่ยวชาญเช่น "ข้อมูลหนัก" และ "ตรรกะการคํานวณที่ซับซ้อน" สามารถคํานวณได้โดยโปรเซสเซอร์ร่วม ZK โดยห่วงโซ่จะได้รับผลการคํานวณที่ส่งคืนเท่านั้น ความถูกต้องของพวกเขารับประกันโดยหลักฐาน ZK ในที่สุดก็บรรลุการคํานวณนอกเครือข่ายที่เชื่อถือได้สําหรับงานที่ซับซ้อน

ปัจจุบันแอปพลิเคชันยอดนิยมเช่น AI, SocialFi, DeX และ GameFi มีความต้องการเร่งด่วนสําหรับประสิทธิภาพสูงและการควบคุมต้นทุน ในโซลูชันแบบดั้งเดิม "แอปพลิเคชันหนัก" เหล่านี้ที่ต้องการประสิทธิภาพสูงมักเลือกใช้โมเดลแอปพลิเคชันแบบ on-chain + off-chain ของสินทรัพย์หรือออกแบบห่วงโซ่แอปพลิเคชันแยกต่างหาก อย่างไรก็ตามทั้งสองวิธีมีปัญหาโดยธรรมชาติ: อดีตมี "กล่องดํา" และหลังต้องเผชิญกับต้นทุนการพัฒนาสูงการแยกออกจากระบบนิเวศโซ่เดิมและสภาพคล่องที่กระจัดกระจาย นอกจากนี้เครื่องเสมือนโซ่หลักยังกําหนดข้อ จํากัด ที่สําคัญในการพัฒนาและการทํางานของแอปพลิเคชันดังกล่าว (เช่นการขาดมาตรฐานเลเยอร์แอปพลิเคชันภาษาการพัฒนาที่ซับซ้อน)

โปรเซสเซอร์ร่วม ZK มีจุดมุ่งหมายเพื่อแก้ปัญหาเหล่านี้ เพื่อให้ตัวอย่างที่ละเอียดยิ่งขึ้นเราสามารถคิดว่าบล็อกเชนเป็นเทอร์มินัล (เช่นโทรศัพท์หรือคอมพิวเตอร์) ที่ไม่สามารถเชื่อมต่ออินเทอร์เน็ตได้ ในสถานการณ์สมมตินี้เราสามารถเรียกใช้แอปพลิเคชันที่ค่อนข้างง่ายเช่น Uniswap หรือแอปพลิเคชัน DeFi อื่น ๆ แบบ on-chain อย่างสมบูรณ์ แต่เมื่อแอปพลิเคชันที่ซับซ้อนมากขึ้นปรากฏขึ้นเช่นการเรียกใช้แอปพลิเคชันที่มีลักษณะคล้าย chatgpt ประสิทธิภาพและการจัดเก็บของห่วงโซ่สาธารณะจะไม่เพียงพออย่างสมบูรณ์ซึ่งนําไปสู่การระเบิดของก๊าซ ในสถานการณ์ Web2 เมื่อเราเรียกใช้ Chatgpt เทอร์มินัลทั่วไปของเราเองไม่สามารถจัดการกับโมเดลภาษาขนาดใหญ่ GPT-4O ได้ เราจําเป็นต้องเชื่อมต่อกับเซิร์ฟเวอร์ของ OpenAI เพื่อถ่ายทอดคําถามและหลังจากเซิร์ฟเวอร์คํานวณและสรุปผลลัพธ์แล้วเราจะได้รับคําตอบโดยตรง โปรเซสเซอร์ร่วม ZK เป็นเหมือนเซิร์ฟเวอร์ระยะไกลของบล็อกเชน แม้ว่าโครงการตัวประมวลผลร่วมที่แตกต่างกันอาจมีความแตกต่างในการออกแบบเล็กน้อยขึ้นอยู่กับประเภทโครงการ แต่ตรรกะพื้นฐานยังคงคล้ายกันในวงกว้าง — การคํานวณนอกเครือข่าย + การพิสูจน์ ZK หรือหลักฐานการจัดเก็บสําหรับการตรวจสอบความถูกต้อง

การนำการติดตั้ง bonsai ของ rise zero ขึ้นเป็นตัวอย่าง สถาปัตยกรรมนี้เป็นเรื่องง่ายอย่างมาก โครงการนี้ผสานเข้ากับ zkvm ของ rise zero ได้อย่างราบรื่น และนักพัฒนาเพียงแค่ต้องทำสองขั้นตอนง่ายๆ เพื่อใช้ bonsai เป็นตัวประมวลผลร่วม

  • เขียนโปรแกรม zkvm เพื่อจัดการตรรกะของแอปพลิเคชัน
  • เขียนสัญญา solidity เพื่อกำหนดให้ bonsai ใช้งานแอปพลิเคชัน zkvm ของคุณและจัดการกับผลลัพธ์

1.2 ความแตกต่างจากรอลลัพ

จากคําจํากัดความข้างต้นอาจปรากฏว่า rollups และ ZK coprocessors มีตรรกะและเป้าหมายการใช้งานที่ทับซ้อนกันอย่างมาก อย่างไรก็ตามการโรลอัพเป็นเหมือนการขยายแบบมัลติคอร์ของห่วงโซ่หลักโดยมีความแตกต่างเฉพาะระหว่างทั้งสองดังนี้:

1.วัตถุประสงค์หลัก:

  • rollups: เพิ่มประสิทธิภาพในการทำธุรกรรมบล็อกเชนและลดค่าธุรกรรม
  • zk coprocessors: ขยายความสามารถในการคำนวณสัญญาอัจฉริยะเพื่อจัดการตรรกะที่复杂กว่าและปริมาณข้อมูลที่ใหญ่กว่า

2. หลักการทำงาน:

  • rollups: รวมรวมธุรกรรม on-chain และส่งพวกเขาไปยังโซ่หลักด้วยการพิสูจน์การโกงหรือการพิสูจน์ zk
  • zk coprocessors: คล้ายกับ zk rollups แต่ออกแบบสำหรับสถานการณ์การใช้งานที่แตกต่าง zk rollups เนื่องจากข้อจำกัดและกฎเฉพาะต่อเชน ไม่เหมาะสำหรับงาน coprocessor

3.การจัดการสถานะ:

  • rollups: รักษาสถานะของพวกเขาและซิงค์เป็นระยะ ๆ กับเครือข่ายหลัก
  • zk coprocessors: แบบปลอดสถานะ แต่ละการคำนวณเป็นแบบปลอดสถานะ

4. สถานการณ์การใช้งาน:

  • rollups: ให้บริการแก่ผู้ใช้งานหลักอย่างสมบูรณ์แบบ เหมาะสำหรับธุรกรรมความถี่สูง
  • โปรเซสเซอร์ร่วม ZK: ให้บริการธุรกิจเป็นหลักเหมาะสําหรับสถานการณ์ที่ต้องใช้การคํานวณที่ซับซ้อนเช่นแบบจําลองทางการเงินขั้นสูงและการวิเคราะห์ข้อมูลขนาดใหญ่

5. ความสัมพันธ์กับโซ่หลัก:

  • rollups: มองเป็นส่วนขยายของโซ่หลักที่โดยทั่วไปเน้นไปที่เครือข่ายบล็อกเชนที่เฉพาะเจาะจง
  • zk coprocessors: สามารถให้บริการกับบล็อกเชนหลายรายการ ไม่จำกัดกับเชนหลักที่เฉพาะเจาะจง และยังสามารถให้บริการ rollups ได้ด้วย

ดังนั้น สองสิ่งนี้ไม่ได้เป็นสิ่งที่ขัดแย้งกัน แต่เป็นสิ่งที่เสริมกัน แม้ว่าการ rollup จะมีอยู่ในรูปแบบของ application chain coprocessors zk ก็ยังสามารถให้บริการได้อยู่

1.3 กรณีใช้งาน

โดยทฤษฎีแล้ว, ขอบเขตในการใช้งานของ zk coprocessors มีขอบเขตที่กว้าง การใช้งานครอบคลุมโครงการต่าง ๆ ในกลุ่มส่วนต่าง ๆ ของ blockchain zk coprocessors ทำให้ dapps สามารถมีฟังก์ชันที่ใกล้เคียงกับของแอปพลิเคชัน web2 ของฝั่งกลาง ตัวอย่างการใช้งานบางรายการที่เก็บไว้จากแหล่งออนไลน์

การพัฒนา dapp ที่ขับเคลื่อนด้วยข้อมูล:

zk coprocessors ช่วยให้นักพัฒนาสามารถสร้าง dapps ที่ใช้ข้อมูลบนเชนที่เต็มรูปแบบสำหรับการคำนวณที่ซับซ้อนโดยไม่ต้องสมมติเพิ่มเติม เรื่องนี้เปิดโอกาสที่ไม่เคยมีมาก่อนสำหรับการพัฒนา dapp เช่น:

  • การวิเคราะห์ข้อมูลขั้นสูง: ฟังก์ชั่นการวิเคราะห์ข้อมูลบนเชนที่คล้ายกับการวิเคราะห์ข้อมูลดูนอน
  • โลจิกธุรกิจที่ซับซ้อน: การนำเอาอัลกอริทึมที่ซับซ้อนและโลจิกธุรกิจที่พบในแอปพลิเคชันที่มีการควบคุมที่เศรษฐกิจแบบดั้งเดิม
  • แอปพลิเคชัน跨เชน: การสร้างแอปพลิเคชันที่ข้ามเชนโดยใช้ข้อมูลจากหลายเชน

โปรแกรมนักซื้อขาย VIP สำหรับ DEXs:

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

ด้วย zk coprocessors, dexs สามารถ:

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

การเพิ่มข้อมูลสำหรับสัญญาอัจฉริยะ:

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

  • เข้าถึงและประมวลข้อมูลประวัติศาสตร์จำนวนมาก
  • ดำเนินการคำนวณซับซ้อนนอกเชน
  • นำเอาส่วนตรงกลุ่มธุรกิจที่ใช้เทคโนโลยีขั้นสูงมากขึ้น

เทคโนโลยีสะพานครอสเชน:

บางเทคโนโลยีสะพาน跨ลำดับที่ใช้ zk เช่น herodotus และ lagrange ยังสามารถถือเป็นการประยุกต์ของ zk coprocessors ได้ เทคโนโลยีเหล่านี้เน้นโดยส่วนใหญ่ที่การสกัดข้อมูลและการตรวจสอบ โดยให้มูลฐานข้อมูลที่เชื่อถือได้สำหรับการสื่อสาร跨ลำดับ

1.4 zk coprocessors are not perfect

แม้ว่าคุณสมบัติหลายอย่างของ zk coprocessors จะมีข้อดีมากมาย แต่ในขณะนี้ยังไม่สมบูรณ์และเผชิญกับปัญหาหลายประการ ฉันได้สรุปข้อดังต่อไปนี้:

  1. การพัฒนา: แนวคิดของ zk เป็นสิ่งที่ยากต่อนักพัฒนาหลายคนที่จะเข้าใจได้ การพัฒนาต้องใช้ความรู้ทางด้านการเข้ารหัสลับและความเชี่ยวชาญในภาษาและเครื่องมือในการพัฒนาที่เฉพาะเจาะจง
  2. ต้นทุนฮาร์ดแวร์สูง: ฮาร์ดแวร์ ZK ที่ใช้สําหรับการคํานวณนอกเครือข่ายจะต้องเป็นภาระของโครงการเอง ฮาร์ดแวร์ ZK มีราคาแพงและมีการพัฒนาอย่างรวดเร็วทําให้มีแนวโน้มที่จะล้าสมัยได้ตลอดเวลา สิ่งนี้สามารถสร้างลูปเชิงพาณิชย์แบบปิดได้หรือไม่เป็นคําถามที่ควรค่าแก่การพิจารณา
  3. สนามที่แออัด: ทางเทคนิคแล้วจะไม่มีความแตกต่างมากในการนำไปใช้งาน และผลลัพธ์ท้ายสุดอาจคล้ายกับทัศนคติ Layer2 ปัจจุบันที่มีโครงการที่โดดเด่นขึ้นในขณะที่ส่วนเกินส่วนใหญ่ถูกละเลยไป
  4. วงจร zk: การดำเนินการคำนวณนอกเส้นช่วงใน zk coprocessors ต้องการแปลงโปรแกรมคอมพิวเตอร์แบบดั้งเดิมเป็นวงจร zk การเขียนวงจรที่กำหนดเองสำหรับแต่ละแอปพลิเคชันซับซ้อนและการใช้ zkvms ในเครื่องเสมือนเพื่อเขียนวงจรนั้นมีค่าใช้จ่ายในด้านความสามารถในการคำนวณที่แตกต่างกันอย่างมาก

ii. ชิ้นสำคัญสำหรับการใช้งานแบบมวลกว่า

(ส่วนนี้มีองค์ประกอบที่มีลักษณะส่วนบุคคลและแสดงเพียงความคิดเห็นส่วนบุคคลของผู้เขียนเท่านั้น)

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

เหตุผลพื้นฐานสําหรับการขาดการเล่าเรื่องใหม่คือโครงสร้างพื้นฐานแบบแยกส่วนในปัจจุบันไม่เพียงพอที่จะรองรับแอปพลิเคชันขั้นสูงโดยเฉพาะอย่างยิ่งการขาดข้อกําหนดเบื้องต้นบางอย่าง (การทํางานร่วมกันข้ามสายโซ่อุปสรรคของผู้ใช้ ฯลฯ ) ซึ่งนําไปสู่การกระจายตัวที่สําคัญที่สุดในประวัติศาสตร์บล็อกเชน Rollups เป็นแกนหลักของยุคโมดูลาร์ได้เร่งสิ่งต่าง ๆ แต่พวกเขายังได้นําปัญหามากมายเช่นการกระจายตัวของสภาพคล่องการกระจายตัวของผู้ใช้และข้อ จํากัด ที่กําหนดโดยห่วงโซ่หรือเครื่องเสมือนเองเกี่ยวกับนวัตกรรมแอปพลิเคชัน นอกจากนี้ "ผู้เล่นหลัก" อีกคนในการแยกส่วน Celestia ได้บุกเบิกเส้นทางของ DA ไม่จําเป็นต้องอยู่บน Ethereum ทําให้การกระจายตัวรุนแรงขึ้น ไม่ว่าจะขับเคลื่อนด้วยอุดมการณ์หรือต้นทุน DA ผลลัพธ์ก็คือ BTC ถูกบังคับให้กลายเป็น DA และเครือข่ายสาธารณะอื่น ๆ มีจุดมุ่งหมายเพื่อให้โซลูชัน DA ที่คุ้มค่ามากขึ้น สถานการณ์ปัจจุบันคือแต่ละเครือข่ายสาธารณะมีโครงการเลเยอร์ 2 อย่างน้อยหนึ่งโครงการหากไม่ใช่หลายสิบโครงการ นอกจากนี้โครงการโครงสร้างพื้นฐานและระบบนิเวศทั้งหมดได้เรียนรู้อย่างลึกซึ้งถึงกลยุทธ์การปักหลักโทเค็นที่บุกเบิกโดย Blur ซึ่งเรียกร้องให้ผู้ใช้เดิมพันโทเค็นภายในโครงการ โหมดนี้ซึ่งเป็นประโยชน์ต่อปลาวาฬในสามวิธี (ดอกเบี้ยการแข็งค่า ETH หรือ BTC และโทเค็นฟรี) จะบีบอัดสภาพคล่องแบบ on-chain เพิ่มเติม

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

ดังนั้นจุดสนใจในปัจจุบันของฉันคือวิธีการส่งเสริมสภาพคล่องที่รวมตัวกันในทุกห่วงโซ่และสนับสนุนการเกิดขึ้นของรูปแบบการเล่นใหม่และแอปพลิเคชันที่ยอดเยี่ยม ในภาคการทํางานร่วมกันข้ามสายโซ่โครงการชั้นนําแบบดั้งเดิมมีประสิทธิภาพต่ํากว่าอย่างต่อเนื่องซึ่งยังคงคล้ายกับสะพานข้ามโซ่แบบดั้งเดิม โซลูชันการทํางานร่วมกันใหม่ที่เรากล่าวถึงในรายงานก่อนหน้านี้มีจุดมุ่งหมายหลักเพื่อรวมหลายเชนให้เป็นเชนเดียว ตัวอย่างเช่น agglayer, superchain, elastic chain, jam ฯลฯ ซึ่งจะไม่อธิบายอย่างละเอียดที่นี่ โดยสรุปการรวมข้ามสายโซ่เป็นอุปสรรคที่จําเป็นในโครงสร้างพื้นฐานแบบแยกส่วน แต่จะใช้เวลานานในการเอาชนะ

zk coprocessors เป็นส่วนสำคัญในขั้นตอนปัจจุบัน พวกเขาสามารถเสริมสร้างเลเยอร์ 2 และเสริมสร้างเลเยอร์ 1 ได้ มีวิธีใดบ้างที่จะเอาชนะปัญหา cross-chain และปัญหา trilemma ชั่วคราว เพื่อให้เราสามารถประสานแอปพลิเคชันยุคปัจจุบันบางส่วนบนเลเยอร์ 1 หรือเลเยอร์ 2 ที่มี Likuiditi มาก หลังจากทั้งหมดนี้ แอปพลิเคชันบล็อกเชนขาดการบรรยายใหม่ นอกจากนี้ยังสามารถเปิดใช้งานสไตล์เล่นที่หลากหลาย ควบคุมแก๊ส ใช้ในอะพลิเคชันขนาดใหญ่ สามารถใช้งาน cross-chain และลดข้อจำกัดของผู้ใช้ผ่านการแก้ปัญหาร่วมกันของ coprocessor อินทิเกรตเรท อาจเป็นทางเลือกที่ดีกว่าการพึ่งพากลาง

iii. ภาพรวมของโครงการ

สาขาโปรเซสเซอร์ร่วม ZK เกิดขึ้นประมาณปี 2023 และค่อนข้างเป็นผู้ใหญ่ในขั้นตอนนี้ ตามการจําแนกประเภทของ Messari ปัจจุบันสาขานี้ครอบคลุมโดเมนแนวตั้งที่สําคัญสามโดเมน (คอมพิวเตอร์ทั่วไปการทํางานร่วมกันและข้ามสายโซ่ AI และการฝึกอบรมเครื่องจักร) ด้วย 18 โครงการ โครงการเหล่านี้ส่วนใหญ่ได้รับการสนับสนุนจาก VCs ชั้นนํา ด้านล่างนี้เราจะอธิบายหลายโครงการจากโดเมนแนวตั้งที่แตกต่างกัน

3.1 กิซา

giza เป็นโปรโตคอล zkml (zero-knowledge machine learning) ที่ถูกปรับใช้บน starknet ซึ่งได้รับการสนับสนุนอย่างเป็นทางการจาก starkware เน้นในการทำให้โมเดล AI สามารถใช้งานได้ในสัญญาอัจฉริยะบล็อกเชน นักพัฒนาสามารถปรับใช้โมเดล AI บนเครือข่าย giza ซึ่งจากนั้นจะตรวจสอบความถูกต้องของการอนุมานโมเดลผ่านพิสูจน์โดยไม่เปิดเผยข้อมูลและให้ผลลัพธ์ให้กับสัญญาอัจฉริยะอย่างเป็นทางการ นี่ช่วยให้นักพัฒนาสามารถสร้างแอปพลิเคชันบนเชื่อมต่อโซนที่รวมความสามารถของ AI พร้อมรักษาความเผยแพร่และความถูกต้องของบล็อกเชนได้

giza สิ้นสุดการทำงานผ่านขั้นตอนสามขั้นตอนต่อไปนี้:

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

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

3.2 risc zero

RISC Zero เป็นโครงการประมวลผลร่วมชั้นนําที่ได้รับการสนับสนุนจาก VCs ชั้นนําหลายตัว มันมุ่งเน้นไปที่การเปิดใช้งานการคํานวณใด ๆ ที่สามารถดําเนินการตรวจสอบได้ในสัญญาอัจฉริยะของบล็อกเชน นักพัฒนาสามารถเขียนโปรแกรมใน Rust และปรับใช้บนเครือข่าย RISC Zero จากนั้น RISC Zero จะตรวจสอบความถูกต้องของการดําเนินการโปรแกรมผ่านการพิสูจน์ความรู้เป็นศูนย์และให้ผลลัพธ์แก่สัญญาอัจฉริยะในลักษณะที่ไม่น่าเชื่อถือ สิ่งนี้ช่วยให้นักพัฒนาสามารถสร้างแอปพลิเคชันแบบ on-chain ที่ซับซ้อนในขณะที่ยังคงการกระจายอํานาจและตรวจสอบได้ของบล็อกเชน

เรากล่าวถึงการปรับใช้และเวิร์กโฟลว์ก่อนหน้านี้โดยสังเขป ที่นี่เรามีรายละเอียดสององค์ประกอบหลัก:

  • บอนไซ: บอนไซเป็นส่วนประกอบโปรเซสเซอร์ร่วมภายใน RISC Zero ซึ่งรวมเข้ากับ ZKVM ของสถาปัตยกรรมชุดคําสั่ง RISC-V ได้อย่างราบรื่น ช่วยให้นักพัฒนาสามารถรวมการพิสูจน์ความรู้เป็นศูนย์ประสิทธิภาพสูงเข้ากับ Ethereum, L1 Blockchains, Cosmos Application Chains, L2 Rollups และ Dapps ได้อย่างรวดเร็วภายในไม่กี่วัน มีการเรียกสัญญาอัจฉริยะโดยตรงการคํานวณนอกสายโซ่ที่ตรวจสอบได้การทํางานร่วมกันข้ามสายโซ่และฟังก์ชันการรวบรวมทั่วไปทั้งหมดนี้ในขณะที่ใช้สถาปัตยกรรมแบบกระจายอํานาจก่อน การรวมการพิสูจน์ซ้ําคอมไพเลอร์วงจรที่กําหนดเองความต่อเนื่องของรัฐและการปรับปรุงอัลกอริธึมการพิสูจน์อย่างต่อเนื่องทําให้ทุกคนสามารถสร้างหลักฐานที่ไม่มีความรู้ประสิทธิภาพสูงสําหรับการใช้งานที่หลากหลาย
  • ZKVM: ZKVM เป็นคอมพิวเตอร์ที่ตรวจสอบได้ซึ่งทํางานคล้ายกับไมโครโปรเซสเซอร์ RISC-V ในตัวจริง จากสถาปัตยกรรมชุดคําสั่ง RISC-V ช่วยให้นักพัฒนาสามารถเขียนโปรแกรมในภาษาการเขียนโปรแกรมระดับสูงเช่น Rust, C ++, Solidity, Go และอื่น ๆ ที่สามารถสร้างหลักฐานที่ไม่มีความรู้ รองรับลังสนิมยอดนิยมมากกว่า 70% มันผสมผสานการประมวลผลทั่วไปและการพิสูจน์ความรู้เป็นศูนย์ได้อย่างราบรื่นสามารถสร้างการพิสูจน์ความรู้เป็นศูนย์ที่มีประสิทธิภาพสําหรับการคํานวณความซับซ้อนใด ๆ ในขณะที่รักษาความเป็นส่วนตัวของกระบวนการคํานวณและการตรวจสอบความถูกต้องของผลลัพธ์ ZKVM ใช้เทคโนโลยี ZK รวมถึง Stark และ Snark และบรรลุการสร้างหลักฐานและการตรวจสอบที่มีประสิทธิภาพผ่านส่วนประกอบต่างๆเช่น Recursion Proover และ Stark-to-SNARK Prover รองรับการดําเนินการนอกเครือข่ายและการตรวจสอบแบบ on-chain

RISC Zero ได้รวมเข้ากับโซลูชัน ETH Layer2 หลายตัวและสาธิตกรณีการใช้งานต่างๆ สําหรับบอนไซ ตัวอย่างหนึ่งที่น่าสนใจคือบอนไซจ่าย การสาธิตนี้ใช้บริการ ZKVM และ Bonsai Proof ของ RISC Zero ทําให้ผู้ใช้สามารถส่งหรือถอน ETH และโทเค็นบน Ethereum โดยใช้บัญชี Google ของตนได้ แสดงให้เห็นว่า RISC Zero สามารถผสานรวมแอปพลิเคชันแบบ on-chain เข้ากับ OAuth2.0 (มาตรฐานที่ใช้โดยผู้ให้บริการข้อมูลประจําตัวรายใหญ่เช่น Google) ได้อย่างไร โดยให้กรณีการใช้งานที่ช่วยลดอุปสรรคของผู้ใช้ Web3 ผ่านแอปพลิเคชัน Web2 แบบดั้งเดิม ตัวอย่างอื่น ๆ ได้แก่ แอปพลิเคชันที่ใช้ DAOS

3.3 =nil;

=ศูนย์; เป็นโครงการลงทุนที่ได้รับการสนับสนุนจากหน่วยงานที่มีชื่อเสียงเช่น Mina, Polychain, Starkware และ Blockchain Capital โดยเฉพาะอย่างยิ่งผู้บุกเบิกเทคโนโลยี ZK เช่น Mina และ Starkware เป็นหนึ่งในผู้สนับสนุนซึ่งบ่งบอกถึงการยอมรับทางเทคนิคสูงสําหรับโครงการ =ศูนย์; นอกจากนี้ยังกล่าวถึงในรายงานของเรา "ตลาดพลังการประมวลผล" โดยเน้นที่ตลาดหลักฐาน (ตลาดการสร้างหลักฐานแบบกระจายอํานาจ) นอกจากนี้ = ศูนย์; มีผลิตภัณฑ์ย่อยอื่นที่เรียกว่า ZKLLVM

zkllvm พัฒนาโดย =nil; Foundation เป็นคอมไพเลอร์วงจรที่เป็นนวัตกรรมใหม่ที่แปลงรหัสแอปพลิเคชันที่เขียนในภาษาการเขียนโปรแกรมกระแสหลักเช่น C ++ และ Rust เป็นวงจรที่มีประสิทธิภาพและพิสูจน์ได้สําหรับ Ethereum โดยไม่ต้องใช้ภาษาเฉพาะโดเมนที่ไม่มีความรู้เฉพาะ (DSL) สิ่งนี้ช่วยลดความยุ่งยากในกระบวนการพัฒนาลดอุปสรรคในการเข้าและปรับปรุงประสิทธิภาพโดยหลีกเลี่ยง ZKVM รองรับการเร่งฮาร์ดแวร์เพื่อเพิ่มความเร็วในการสร้างหลักฐานทําให้เหมาะสําหรับสถานการณ์แอปพลิเคชัน ZK ต่างๆเช่น Rollups, Cross-Chain Bridges, Oracles, Machine Learning และ Gaming มันถูกรวมเข้าด้วยกันอย่างใกล้ชิดกับ = nil; ตลาดหลักฐานของมูลนิธิให้การสนับสนุนนักพัฒนาแบบ end-to-end ตั้งแต่การสร้างวงจรไปจนถึงการสร้างหลักฐาน

3.4 brevis

brevis เป็นโครงการย่อยของเคลอร์เน็ตเวิร์คและเป็นสมาร์ทซีโร่โศภิถา (zk) สำหรับบล็อกเชน ที่ทำให้ dapps สามารถเข้าถึง คำนวณ และใช้ข้อมูลที่ไม่จำกัดได้ที่เกี่ยวข้องกับบล็อกเชนหลายรายการในลักษณะที่เชื่อถือได้อย่างแท้จริง เหมือนกับ coprocessors อื่น ๆ brevis มีกรณีใช้งานที่หลากหลาย เช่น defi ขับเคลื่อนด้วยข้อมูล zkbridges การรับสมัครผู้ใช้ on-chain zkdid และการสรุปบัญชีสังคม

สถาปัตยกรรม brevis ประกอบด้วยองค์ประกอบหลักสามอย่าง:

  • zkfabric: zkfabric เป็นส่วนประกอบของระบบ brevis architecture ที่ใช้สำหรับสะสมและซิงโครไนซ์ข้อมูลบล็อกเฮดเดอร์จากทุกๆ บล็อกเชนที่เชื่อมต่อและสร้างหลักฐานความเห็นชอบสำหรับแต่ละบล็อกเฮดเดอร์ที่ถูกสะสมผ่านวงจร zk light client
  • zkquerynet: zkquerynet เป็นตลาดเครื่องมือค้นหา zk ที่เปิดเผยที่สามารถรับคำถามข้อมูลได้โดยตรงจากสัญญาอัจฉริยะบนเชื่อมโยงและสร้างผลลัพธ์คำถามและพิสูจน์คำถามที่เกี่ยวข้องผ่านวงจรเครื่องมือค้นหา zk พวกนี้ครอบคลุมตั้งแต่เครื่องมือที่พิเศษมาก (เช่น การคำนวณปริมาณการซื้อขายของเหรียญในระยะเวลาที่ระบุ) ถึงความคล่องแคล่วและภาษาคำถามข้อมูลยากลำบากสู่การตอบสนองความต้องการของแอปพลิเคชันต่าง ๆ
  • zkaggregatorrollup: ทําหน้าที่เป็นเลเยอร์การรวมและการจัดเก็บสําหรับ zkfabric และ zkquerynet มันตรวจสอบการพิสูจน์ขององค์ประกอบทั้งสองนี้จัดเก็บข้อมูลที่พิสูจน์แล้วและส่งรากสถานะของการพิสูจน์ ZK ของพวกเขาไปยังบล็อกเชนที่เชื่อมต่อทั้งหมดทําให้ dapps สามารถเข้าถึงผลลัพธ์การสืบค้นที่พิสูจน์แล้วได้โดยตรงในตรรกะทางธุรกิจสัญญาอัจฉริยะแบบ on-chain

ด้วยโครงสร้างแบบโมดูลนี้ เบรวิสสามารถให้บริการสัญญาอัจฉริยะบล็อกเชนสาธารณะที่รองรับทั้งหมดด้วยวิธีการเข้าถึงที่ไม่มีการเชื่อมต่อ เชื่อถือ มีประสิทธิภาพและยืดหยุ่น โดย uni เวอร์ชัน 4 ยังใช้โครงการนี้และรวมมันกับ hooks (ระบบสำหรับการรวมตัวของตรรกะที่กำหนดเองของผู้ใช้ต่าง ๆ) เพื่อสะดวกในการอ่านข้อมูลบล็อกเชนที่เก่า ลดค่าธรรมเนียมการใช้ก๊าซในขณะที่ยังรักษาความกระจายแบบกระจาย นี่เป็นตัวอย่างของ zk coprocessor ที่สนับสนุนการโปรโมต dex

3.5 lagrange

Lagrange เป็นโปรโตคอลโปรเซสเซอร์ร่วม ZK ที่ทํางานร่วมกันซึ่งนําโดย 1KX และ Founders Fund โดยมีเป้าหมายหลักเพื่อให้การทํางานร่วมกันข้ามสายโซ่ที่เชื่อถือได้และสนับสนุนแอปพลิเคชันที่ต้องการการคํานวณข้อมูลที่ซับซ้อนขนาดใหญ่ ซึ่งแตกต่างจากสะพานโหนดแบบดั้งเดิมการทํางานร่วมกันข้ามสายโซ่ของ Lagrange ส่วนใหญ่ทําได้ผ่านนวัตกรรม ZK Big Data และกลไกคณะกรรมการของรัฐ

  • ZK Big Data: นี่คือผลิตภัณฑ์หลักของ Lagrange ซึ่งรับผิดชอบในการประมวลผลและตรวจสอบข้อมูลข้ามสายโซ่และสร้างหลักฐาน ZK ที่เกี่ยวข้อง ส่วนประกอบนี้ประกอบด้วยโปรเซสเซอร์ร่วม ZK แบบขนานสูงสําหรับการดําเนินการคํานวณนอกเครือข่ายที่ซับซ้อนและสร้างการพิสูจน์ความรู้เป็นศูนย์ฐานข้อมูลที่ตรวจสอบได้ที่ออกแบบมาเป็นพิเศษซึ่งรองรับช่องเก็บข้อมูลไม่ จํากัด และการสืบค้น SQL โดยตรงจากสัญญาอัจฉริยะกลไกการอัปเดตแบบไดนามิกที่อัปเดตเฉพาะจุดข้อมูลที่เปลี่ยนแปลงเพื่อลดเวลาพิสูจน์และฟังก์ชันรวมที่ช่วยให้นักพัฒนาสามารถใช้การสืบค้น SQL ได้โดยตรงจากสัญญาอัจฉริยะเพื่อเข้าถึงข้อมูลในอดีตโดยไม่ต้องเขียนที่ซับซ้อน วงจร พวกเขาร่วมกันสร้างระบบประมวลผลและตรวจสอบข้อมูลบล็อกเชนขนาดใหญ่
  • คณะกรรมการของรัฐ: ส่วนประกอบนี้เป็นเครือข่ายการตรวจสอบแบบกระจายอํานาจซึ่งประกอบด้วยโหนดอิสระหลายโหนดแต่ละโหนดปักหลัก ETH เป็นหลักประกัน โหนดเหล่านี้ทําหน้าที่เป็นไคลเอนต์ ZK Light เพื่อตรวจสอบสถานะของค่าสะสมที่ปรับให้เหมาะสมโดยเฉพาะ คณะกรรมการของรัฐทํางานร่วมกับ AVS ของ Eigenlayer โดยใช้ประโยชน์จากกลไกการปักหลักใหม่เพื่อเพิ่มความปลอดภัยสนับสนุนโหนดที่เข้าร่วมไม่ จํากัด จํานวนเพื่อให้บรรลุการเติบโตของความปลอดภัยแบบ superlinear นอกจากนี้ยังมี "โหมดเร็ว" ช่วยให้ผู้ใช้สามารถดําเนินการข้ามสายโซ่ได้โดยไม่ต้องรอหน้าต่างความท้าทายซึ่งช่วยปรับปรุงประสบการณ์ของผู้ใช้ได้อย่างมาก การรวมกันของเทคโนโลยีทั้งสองนี้ช่วยให้ Lagrange สามารถประมวลผลข้อมูลขนาดใหญ่ได้อย่างมีประสิทธิภาพดําเนินการคํานวณที่ซับซ้อนและส่งและตรวจสอบผลลัพธ์อย่างปลอดภัยในบล็อกเชนที่แตกต่างกันสนับสนุนการพัฒนาแอปพลิเคชันข้ามสายโซ่ที่ซับซ้อน

Lagrange ได้รวมตัวกับ Eigenlayer, Mantle, Base, Frax, Polymer, Layerzero, Omni, Altlayer, และอื่น ๆ แล้วและจะเป็น zk avs แรกที่เชื่อมโยงภายในระบบนิเวศอีเธอร์เรียม

เกี่ยวกับ ybb

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

เว็บไซต์ | Twi: @ybbcapital

references:

1. abcde: การศึกษาลึกใน zk coprocessor และอนาคตของมัน:https://medium.com/ABCDE.com/th-abcde-การศึกษาลึกลงใน zk coprocessor และอนาคตของมัน-1d1b3f33f946

2. "zk" คือทุกอย่างที่คุณต้องการ:https://medium.com/gate_ventures/zk-is-all-you-need-238886062c52

3.risc ศูนย์:https://www.risczero.com/bonsai

4.lagrange:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis

5.axiomblog:https://blog.axiom.xyz/

6.การเร่งความเร็วของไนโตรเจน! วิธีการที่ zk coprocessor ทำลายอุปสรรคข้อมูลสัญญาอัจฉริยะ:https://foresightnews.pro/article/detail/48239

คำประกาศความยินยอม:

  1. บทความนี้พิมพ์ซ้ําจาก [ปานกลาง], ส่งต่อชื่อเรื่องเดิม 'the gpu of blockchain: การวิเคราะห์อย่างครอบคลุมของ zk coprocessors', ลิขสิทธิ์ทั้งหมดเป็นของผู้เขียนต้นฉบับ [นักวิจัย zeke ของ ybb capital] หากมีข้อขัดข้องในการเผยแพร่นี้ โปรดติดต่อ เกต์เรียน ทีมและพวกเขาจะจัดการกับมันทันที

  2. คำปฏิเสธความรับผิด: มุมมองและความคิดเห็นที่แสดงในบทความนี้เป็นเพียงของผู้เขียนเท่านั้นและไม่เป็นที่เกิดจากการให้คำแนะนำในการลงทุนใด ๆ

  3. การแปลบทความเป็นภาษาอื่น ๆ โดยทีม Gate Learn ถูกดำเนินการ ยกเว้นที่ระบุไว้ การคัดลอก การกระจาย หรือการลอกเลียนแบบบทความที่แปลนั้นถูกห้าม

GPU ของบล็อกเชน: การวิเคราะห์อย่างครอบคลุมของ ZK Coprocessors

ขั้นสูง7/24/2024, 11:15:15 AM
โปรเซสเซอร์ร่วม ZK ถือได้ว่าเป็นปลั๊กอินคอมพิวเตอร์นอกสายโซ่ที่ได้มาจากแนวคิดแบบแยกส่วน ฟังก์ชั่นของมันคล้ายกับ GPU ในคอมพิวเตอร์แบบดั้งเดิมของเราที่แชร์งานคอมพิวเตอร์กราฟิกสําหรับ CPU นั่นคือโปรเซสเซอร์ที่แชร์งานคอมพิวเตอร์ในสถานการณ์เฉพาะ . ภายใต้สถาปัตยกรรมการออกแบบนี้ข้อมูลหนักและงานตรรกะการคํานวณที่ซับซ้อนซึ่งโซ่สาธารณะไม่เก่งสามารถคํานวณผ่านโปรเซสเซอร์ร่วม ZK ห่วงโซ่จะต้องได้รับผลการคํานวณที่ส่งคืนเท่านั้นและความถูกต้องของมันจะถูกกําหนดโดยการรับประกันการพิสูจน์ของ ZK และในที่สุดก็ช่วยให้สามารถคํานวณงานที่ซับซ้อนนอกเครือข่ายที่เชื่อถือได้

tldr

  • zk coprocessors สามารถถูกมองเป็นปลั๊กอินการคำนวณ off-chain ที่ได้รับมาจากแนวความคิดแบบโมดูลเดียวกับ gpus ในคอมพิวเตอร์ทั่วไปที่โอนหน้าที่การคำนวณกราฟิกออกจาก cpu และจัดการงานการคำนวณเฉพาะ
  • พวกเขาสามารถใช้งานเพื่อจัดการการคำนวณที่ซับซ้อนและข้อมูลที่หนัก ลดค่าแก๊สและเพิ่มความสามารถของสัญญาอัจฉริยะได้
  • ไม่เหมือน rollups, zk coprocessors เป็น stateless, สามารถใช้งานได้ทั่วทั้ง chains, และเหมาะสำหรับสถานการณ์การคำนวณที่ซับซ้อน
  • การพัฒนาโปรเซสเซอร์ร่วม ZK เป็นสิ่งที่ท้าทายด้วยต้นทุนประสิทธิภาพสูงและการขาดมาตรฐาน ค่าใช้จ่ายฮาร์ดแวร์ก็มีความสําคัญเช่นกัน แม้ว่าสนามจะเติบโตอย่างมีนัยสําคัญเมื่อเทียบกับปีที่แล้ว แต่ก็ยังอยู่ในช่วงเริ่มต้น
  • เมื่อยุคโมดูลาร์เดิมเข้าสู่การเลื่อนระดับที่เป็นฟรักทัล บล็อกเชนเผชิญกับปัญหาเช่นขาดแคลน Likudity ผู้ใช้ที่กระจายอยู่ ขาดความสามารถในการนวัตกรรม และปัญหาความสามารถในการทำงานข้ามเชน ที่สร้างสรรค์พระพุทธเล็กน้อยกับเชนสเกล L1 พันธมิตร สามารถใช้เพื่อต้านทานปัญหาเหล่านี้ ให้การสนับสนุนทั้งในแอปพลิเคชันที่มีอยู่และกำลังปรากฏขึ้น และนำเสนอนิเวศใหม่ในช่องว่างของบล็อกเชน

i. สาขาอีกแห่งของโครงสร้างโมดูลาร์: zk coprocessors

1.1 ภาพรวมของ zk coprocessors

โปรเซสเซอร์ร่วม ZK ถือได้ว่าเป็นปลั๊กอินการประมวลผลแบบ off-chain ที่ได้มาจากแนวคิดแบบแยกส่วน คล้ายกับวิธีที่ GPU ออฟโหลดงานคอมพิวเตอร์กราฟิกจากซีพียูในคอมพิวเตอร์แบบดั้งเดิม ในกรอบการออกแบบนี้งานที่โซ่สาธารณะไม่เชี่ยวชาญเช่น "ข้อมูลหนัก" และ "ตรรกะการคํานวณที่ซับซ้อน" สามารถคํานวณได้โดยโปรเซสเซอร์ร่วม ZK โดยห่วงโซ่จะได้รับผลการคํานวณที่ส่งคืนเท่านั้น ความถูกต้องของพวกเขารับประกันโดยหลักฐาน ZK ในที่สุดก็บรรลุการคํานวณนอกเครือข่ายที่เชื่อถือได้สําหรับงานที่ซับซ้อน

ปัจจุบันแอปพลิเคชันยอดนิยมเช่น AI, SocialFi, DeX และ GameFi มีความต้องการเร่งด่วนสําหรับประสิทธิภาพสูงและการควบคุมต้นทุน ในโซลูชันแบบดั้งเดิม "แอปพลิเคชันหนัก" เหล่านี้ที่ต้องการประสิทธิภาพสูงมักเลือกใช้โมเดลแอปพลิเคชันแบบ on-chain + off-chain ของสินทรัพย์หรือออกแบบห่วงโซ่แอปพลิเคชันแยกต่างหาก อย่างไรก็ตามทั้งสองวิธีมีปัญหาโดยธรรมชาติ: อดีตมี "กล่องดํา" และหลังต้องเผชิญกับต้นทุนการพัฒนาสูงการแยกออกจากระบบนิเวศโซ่เดิมและสภาพคล่องที่กระจัดกระจาย นอกจากนี้เครื่องเสมือนโซ่หลักยังกําหนดข้อ จํากัด ที่สําคัญในการพัฒนาและการทํางานของแอปพลิเคชันดังกล่าว (เช่นการขาดมาตรฐานเลเยอร์แอปพลิเคชันภาษาการพัฒนาที่ซับซ้อน)

โปรเซสเซอร์ร่วม ZK มีจุดมุ่งหมายเพื่อแก้ปัญหาเหล่านี้ เพื่อให้ตัวอย่างที่ละเอียดยิ่งขึ้นเราสามารถคิดว่าบล็อกเชนเป็นเทอร์มินัล (เช่นโทรศัพท์หรือคอมพิวเตอร์) ที่ไม่สามารถเชื่อมต่ออินเทอร์เน็ตได้ ในสถานการณ์สมมตินี้เราสามารถเรียกใช้แอปพลิเคชันที่ค่อนข้างง่ายเช่น Uniswap หรือแอปพลิเคชัน DeFi อื่น ๆ แบบ on-chain อย่างสมบูรณ์ แต่เมื่อแอปพลิเคชันที่ซับซ้อนมากขึ้นปรากฏขึ้นเช่นการเรียกใช้แอปพลิเคชันที่มีลักษณะคล้าย chatgpt ประสิทธิภาพและการจัดเก็บของห่วงโซ่สาธารณะจะไม่เพียงพออย่างสมบูรณ์ซึ่งนําไปสู่การระเบิดของก๊าซ ในสถานการณ์ Web2 เมื่อเราเรียกใช้ Chatgpt เทอร์มินัลทั่วไปของเราเองไม่สามารถจัดการกับโมเดลภาษาขนาดใหญ่ GPT-4O ได้ เราจําเป็นต้องเชื่อมต่อกับเซิร์ฟเวอร์ของ OpenAI เพื่อถ่ายทอดคําถามและหลังจากเซิร์ฟเวอร์คํานวณและสรุปผลลัพธ์แล้วเราจะได้รับคําตอบโดยตรง โปรเซสเซอร์ร่วม ZK เป็นเหมือนเซิร์ฟเวอร์ระยะไกลของบล็อกเชน แม้ว่าโครงการตัวประมวลผลร่วมที่แตกต่างกันอาจมีความแตกต่างในการออกแบบเล็กน้อยขึ้นอยู่กับประเภทโครงการ แต่ตรรกะพื้นฐานยังคงคล้ายกันในวงกว้าง — การคํานวณนอกเครือข่าย + การพิสูจน์ ZK หรือหลักฐานการจัดเก็บสําหรับการตรวจสอบความถูกต้อง

การนำการติดตั้ง bonsai ของ rise zero ขึ้นเป็นตัวอย่าง สถาปัตยกรรมนี้เป็นเรื่องง่ายอย่างมาก โครงการนี้ผสานเข้ากับ zkvm ของ rise zero ได้อย่างราบรื่น และนักพัฒนาเพียงแค่ต้องทำสองขั้นตอนง่ายๆ เพื่อใช้ bonsai เป็นตัวประมวลผลร่วม

  • เขียนโปรแกรม zkvm เพื่อจัดการตรรกะของแอปพลิเคชัน
  • เขียนสัญญา solidity เพื่อกำหนดให้ bonsai ใช้งานแอปพลิเคชัน zkvm ของคุณและจัดการกับผลลัพธ์

1.2 ความแตกต่างจากรอลลัพ

จากคําจํากัดความข้างต้นอาจปรากฏว่า rollups และ ZK coprocessors มีตรรกะและเป้าหมายการใช้งานที่ทับซ้อนกันอย่างมาก อย่างไรก็ตามการโรลอัพเป็นเหมือนการขยายแบบมัลติคอร์ของห่วงโซ่หลักโดยมีความแตกต่างเฉพาะระหว่างทั้งสองดังนี้:

1.วัตถุประสงค์หลัก:

  • rollups: เพิ่มประสิทธิภาพในการทำธุรกรรมบล็อกเชนและลดค่าธุรกรรม
  • zk coprocessors: ขยายความสามารถในการคำนวณสัญญาอัจฉริยะเพื่อจัดการตรรกะที่复杂กว่าและปริมาณข้อมูลที่ใหญ่กว่า

2. หลักการทำงาน:

  • rollups: รวมรวมธุรกรรม on-chain และส่งพวกเขาไปยังโซ่หลักด้วยการพิสูจน์การโกงหรือการพิสูจน์ zk
  • zk coprocessors: คล้ายกับ zk rollups แต่ออกแบบสำหรับสถานการณ์การใช้งานที่แตกต่าง zk rollups เนื่องจากข้อจำกัดและกฎเฉพาะต่อเชน ไม่เหมาะสำหรับงาน coprocessor

3.การจัดการสถานะ:

  • rollups: รักษาสถานะของพวกเขาและซิงค์เป็นระยะ ๆ กับเครือข่ายหลัก
  • zk coprocessors: แบบปลอดสถานะ แต่ละการคำนวณเป็นแบบปลอดสถานะ

4. สถานการณ์การใช้งาน:

  • rollups: ให้บริการแก่ผู้ใช้งานหลักอย่างสมบูรณ์แบบ เหมาะสำหรับธุรกรรมความถี่สูง
  • โปรเซสเซอร์ร่วม ZK: ให้บริการธุรกิจเป็นหลักเหมาะสําหรับสถานการณ์ที่ต้องใช้การคํานวณที่ซับซ้อนเช่นแบบจําลองทางการเงินขั้นสูงและการวิเคราะห์ข้อมูลขนาดใหญ่

5. ความสัมพันธ์กับโซ่หลัก:

  • rollups: มองเป็นส่วนขยายของโซ่หลักที่โดยทั่วไปเน้นไปที่เครือข่ายบล็อกเชนที่เฉพาะเจาะจง
  • zk coprocessors: สามารถให้บริการกับบล็อกเชนหลายรายการ ไม่จำกัดกับเชนหลักที่เฉพาะเจาะจง และยังสามารถให้บริการ rollups ได้ด้วย

ดังนั้น สองสิ่งนี้ไม่ได้เป็นสิ่งที่ขัดแย้งกัน แต่เป็นสิ่งที่เสริมกัน แม้ว่าการ rollup จะมีอยู่ในรูปแบบของ application chain coprocessors zk ก็ยังสามารถให้บริการได้อยู่

1.3 กรณีใช้งาน

โดยทฤษฎีแล้ว, ขอบเขตในการใช้งานของ zk coprocessors มีขอบเขตที่กว้าง การใช้งานครอบคลุมโครงการต่าง ๆ ในกลุ่มส่วนต่าง ๆ ของ blockchain zk coprocessors ทำให้ dapps สามารถมีฟังก์ชันที่ใกล้เคียงกับของแอปพลิเคชัน web2 ของฝั่งกลาง ตัวอย่างการใช้งานบางรายการที่เก็บไว้จากแหล่งออนไลน์

การพัฒนา dapp ที่ขับเคลื่อนด้วยข้อมูล:

zk coprocessors ช่วยให้นักพัฒนาสามารถสร้าง dapps ที่ใช้ข้อมูลบนเชนที่เต็มรูปแบบสำหรับการคำนวณที่ซับซ้อนโดยไม่ต้องสมมติเพิ่มเติม เรื่องนี้เปิดโอกาสที่ไม่เคยมีมาก่อนสำหรับการพัฒนา dapp เช่น:

  • การวิเคราะห์ข้อมูลขั้นสูง: ฟังก์ชั่นการวิเคราะห์ข้อมูลบนเชนที่คล้ายกับการวิเคราะห์ข้อมูลดูนอน
  • โลจิกธุรกิจที่ซับซ้อน: การนำเอาอัลกอริทึมที่ซับซ้อนและโลจิกธุรกิจที่พบในแอปพลิเคชันที่มีการควบคุมที่เศรษฐกิจแบบดั้งเดิม
  • แอปพลิเคชัน跨เชน: การสร้างแอปพลิเคชันที่ข้ามเชนโดยใช้ข้อมูลจากหลายเชน

โปรแกรมนักซื้อขาย VIP สำหรับ DEXs:

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

ด้วย zk coprocessors, dexs สามารถ:

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

การเพิ่มข้อมูลสำหรับสัญญาอัจฉริยะ:

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

  • เข้าถึงและประมวลข้อมูลประวัติศาสตร์จำนวนมาก
  • ดำเนินการคำนวณซับซ้อนนอกเชน
  • นำเอาส่วนตรงกลุ่มธุรกิจที่ใช้เทคโนโลยีขั้นสูงมากขึ้น

เทคโนโลยีสะพานครอสเชน:

บางเทคโนโลยีสะพาน跨ลำดับที่ใช้ zk เช่น herodotus และ lagrange ยังสามารถถือเป็นการประยุกต์ของ zk coprocessors ได้ เทคโนโลยีเหล่านี้เน้นโดยส่วนใหญ่ที่การสกัดข้อมูลและการตรวจสอบ โดยให้มูลฐานข้อมูลที่เชื่อถือได้สำหรับการสื่อสาร跨ลำดับ

1.4 zk coprocessors are not perfect

แม้ว่าคุณสมบัติหลายอย่างของ zk coprocessors จะมีข้อดีมากมาย แต่ในขณะนี้ยังไม่สมบูรณ์และเผชิญกับปัญหาหลายประการ ฉันได้สรุปข้อดังต่อไปนี้:

  1. การพัฒนา: แนวคิดของ zk เป็นสิ่งที่ยากต่อนักพัฒนาหลายคนที่จะเข้าใจได้ การพัฒนาต้องใช้ความรู้ทางด้านการเข้ารหัสลับและความเชี่ยวชาญในภาษาและเครื่องมือในการพัฒนาที่เฉพาะเจาะจง
  2. ต้นทุนฮาร์ดแวร์สูง: ฮาร์ดแวร์ ZK ที่ใช้สําหรับการคํานวณนอกเครือข่ายจะต้องเป็นภาระของโครงการเอง ฮาร์ดแวร์ ZK มีราคาแพงและมีการพัฒนาอย่างรวดเร็วทําให้มีแนวโน้มที่จะล้าสมัยได้ตลอดเวลา สิ่งนี้สามารถสร้างลูปเชิงพาณิชย์แบบปิดได้หรือไม่เป็นคําถามที่ควรค่าแก่การพิจารณา
  3. สนามที่แออัด: ทางเทคนิคแล้วจะไม่มีความแตกต่างมากในการนำไปใช้งาน และผลลัพธ์ท้ายสุดอาจคล้ายกับทัศนคติ Layer2 ปัจจุบันที่มีโครงการที่โดดเด่นขึ้นในขณะที่ส่วนเกินส่วนใหญ่ถูกละเลยไป
  4. วงจร zk: การดำเนินการคำนวณนอกเส้นช่วงใน zk coprocessors ต้องการแปลงโปรแกรมคอมพิวเตอร์แบบดั้งเดิมเป็นวงจร zk การเขียนวงจรที่กำหนดเองสำหรับแต่ละแอปพลิเคชันซับซ้อนและการใช้ zkvms ในเครื่องเสมือนเพื่อเขียนวงจรนั้นมีค่าใช้จ่ายในด้านความสามารถในการคำนวณที่แตกต่างกันอย่างมาก

ii. ชิ้นสำคัญสำหรับการใช้งานแบบมวลกว่า

(ส่วนนี้มีองค์ประกอบที่มีลักษณะส่วนบุคคลและแสดงเพียงความคิดเห็นส่วนบุคคลของผู้เขียนเท่านั้น)

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

เหตุผลพื้นฐานสําหรับการขาดการเล่าเรื่องใหม่คือโครงสร้างพื้นฐานแบบแยกส่วนในปัจจุบันไม่เพียงพอที่จะรองรับแอปพลิเคชันขั้นสูงโดยเฉพาะอย่างยิ่งการขาดข้อกําหนดเบื้องต้นบางอย่าง (การทํางานร่วมกันข้ามสายโซ่อุปสรรคของผู้ใช้ ฯลฯ ) ซึ่งนําไปสู่การกระจายตัวที่สําคัญที่สุดในประวัติศาสตร์บล็อกเชน Rollups เป็นแกนหลักของยุคโมดูลาร์ได้เร่งสิ่งต่าง ๆ แต่พวกเขายังได้นําปัญหามากมายเช่นการกระจายตัวของสภาพคล่องการกระจายตัวของผู้ใช้และข้อ จํากัด ที่กําหนดโดยห่วงโซ่หรือเครื่องเสมือนเองเกี่ยวกับนวัตกรรมแอปพลิเคชัน นอกจากนี้ "ผู้เล่นหลัก" อีกคนในการแยกส่วน Celestia ได้บุกเบิกเส้นทางของ DA ไม่จําเป็นต้องอยู่บน Ethereum ทําให้การกระจายตัวรุนแรงขึ้น ไม่ว่าจะขับเคลื่อนด้วยอุดมการณ์หรือต้นทุน DA ผลลัพธ์ก็คือ BTC ถูกบังคับให้กลายเป็น DA และเครือข่ายสาธารณะอื่น ๆ มีจุดมุ่งหมายเพื่อให้โซลูชัน DA ที่คุ้มค่ามากขึ้น สถานการณ์ปัจจุบันคือแต่ละเครือข่ายสาธารณะมีโครงการเลเยอร์ 2 อย่างน้อยหนึ่งโครงการหากไม่ใช่หลายสิบโครงการ นอกจากนี้โครงการโครงสร้างพื้นฐานและระบบนิเวศทั้งหมดได้เรียนรู้อย่างลึกซึ้งถึงกลยุทธ์การปักหลักโทเค็นที่บุกเบิกโดย Blur ซึ่งเรียกร้องให้ผู้ใช้เดิมพันโทเค็นภายในโครงการ โหมดนี้ซึ่งเป็นประโยชน์ต่อปลาวาฬในสามวิธี (ดอกเบี้ยการแข็งค่า ETH หรือ BTC และโทเค็นฟรี) จะบีบอัดสภาพคล่องแบบ on-chain เพิ่มเติม

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

ดังนั้นจุดสนใจในปัจจุบันของฉันคือวิธีการส่งเสริมสภาพคล่องที่รวมตัวกันในทุกห่วงโซ่และสนับสนุนการเกิดขึ้นของรูปแบบการเล่นใหม่และแอปพลิเคชันที่ยอดเยี่ยม ในภาคการทํางานร่วมกันข้ามสายโซ่โครงการชั้นนําแบบดั้งเดิมมีประสิทธิภาพต่ํากว่าอย่างต่อเนื่องซึ่งยังคงคล้ายกับสะพานข้ามโซ่แบบดั้งเดิม โซลูชันการทํางานร่วมกันใหม่ที่เรากล่าวถึงในรายงานก่อนหน้านี้มีจุดมุ่งหมายหลักเพื่อรวมหลายเชนให้เป็นเชนเดียว ตัวอย่างเช่น agglayer, superchain, elastic chain, jam ฯลฯ ซึ่งจะไม่อธิบายอย่างละเอียดที่นี่ โดยสรุปการรวมข้ามสายโซ่เป็นอุปสรรคที่จําเป็นในโครงสร้างพื้นฐานแบบแยกส่วน แต่จะใช้เวลานานในการเอาชนะ

zk coprocessors เป็นส่วนสำคัญในขั้นตอนปัจจุบัน พวกเขาสามารถเสริมสร้างเลเยอร์ 2 และเสริมสร้างเลเยอร์ 1 ได้ มีวิธีใดบ้างที่จะเอาชนะปัญหา cross-chain และปัญหา trilemma ชั่วคราว เพื่อให้เราสามารถประสานแอปพลิเคชันยุคปัจจุบันบางส่วนบนเลเยอร์ 1 หรือเลเยอร์ 2 ที่มี Likuiditi มาก หลังจากทั้งหมดนี้ แอปพลิเคชันบล็อกเชนขาดการบรรยายใหม่ นอกจากนี้ยังสามารถเปิดใช้งานสไตล์เล่นที่หลากหลาย ควบคุมแก๊ส ใช้ในอะพลิเคชันขนาดใหญ่ สามารถใช้งาน cross-chain และลดข้อจำกัดของผู้ใช้ผ่านการแก้ปัญหาร่วมกันของ coprocessor อินทิเกรตเรท อาจเป็นทางเลือกที่ดีกว่าการพึ่งพากลาง

iii. ภาพรวมของโครงการ

สาขาโปรเซสเซอร์ร่วม ZK เกิดขึ้นประมาณปี 2023 และค่อนข้างเป็นผู้ใหญ่ในขั้นตอนนี้ ตามการจําแนกประเภทของ Messari ปัจจุบันสาขานี้ครอบคลุมโดเมนแนวตั้งที่สําคัญสามโดเมน (คอมพิวเตอร์ทั่วไปการทํางานร่วมกันและข้ามสายโซ่ AI และการฝึกอบรมเครื่องจักร) ด้วย 18 โครงการ โครงการเหล่านี้ส่วนใหญ่ได้รับการสนับสนุนจาก VCs ชั้นนํา ด้านล่างนี้เราจะอธิบายหลายโครงการจากโดเมนแนวตั้งที่แตกต่างกัน

3.1 กิซา

giza เป็นโปรโตคอล zkml (zero-knowledge machine learning) ที่ถูกปรับใช้บน starknet ซึ่งได้รับการสนับสนุนอย่างเป็นทางการจาก starkware เน้นในการทำให้โมเดล AI สามารถใช้งานได้ในสัญญาอัจฉริยะบล็อกเชน นักพัฒนาสามารถปรับใช้โมเดล AI บนเครือข่าย giza ซึ่งจากนั้นจะตรวจสอบความถูกต้องของการอนุมานโมเดลผ่านพิสูจน์โดยไม่เปิดเผยข้อมูลและให้ผลลัพธ์ให้กับสัญญาอัจฉริยะอย่างเป็นทางการ นี่ช่วยให้นักพัฒนาสามารถสร้างแอปพลิเคชันบนเชื่อมต่อโซนที่รวมความสามารถของ AI พร้อมรักษาความเผยแพร่และความถูกต้องของบล็อกเชนได้

giza สิ้นสุดการทำงานผ่านขั้นตอนสามขั้นตอนต่อไปนี้:

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

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

3.2 risc zero

RISC Zero เป็นโครงการประมวลผลร่วมชั้นนําที่ได้รับการสนับสนุนจาก VCs ชั้นนําหลายตัว มันมุ่งเน้นไปที่การเปิดใช้งานการคํานวณใด ๆ ที่สามารถดําเนินการตรวจสอบได้ในสัญญาอัจฉริยะของบล็อกเชน นักพัฒนาสามารถเขียนโปรแกรมใน Rust และปรับใช้บนเครือข่าย RISC Zero จากนั้น RISC Zero จะตรวจสอบความถูกต้องของการดําเนินการโปรแกรมผ่านการพิสูจน์ความรู้เป็นศูนย์และให้ผลลัพธ์แก่สัญญาอัจฉริยะในลักษณะที่ไม่น่าเชื่อถือ สิ่งนี้ช่วยให้นักพัฒนาสามารถสร้างแอปพลิเคชันแบบ on-chain ที่ซับซ้อนในขณะที่ยังคงการกระจายอํานาจและตรวจสอบได้ของบล็อกเชน

เรากล่าวถึงการปรับใช้และเวิร์กโฟลว์ก่อนหน้านี้โดยสังเขป ที่นี่เรามีรายละเอียดสององค์ประกอบหลัก:

  • บอนไซ: บอนไซเป็นส่วนประกอบโปรเซสเซอร์ร่วมภายใน RISC Zero ซึ่งรวมเข้ากับ ZKVM ของสถาปัตยกรรมชุดคําสั่ง RISC-V ได้อย่างราบรื่น ช่วยให้นักพัฒนาสามารถรวมการพิสูจน์ความรู้เป็นศูนย์ประสิทธิภาพสูงเข้ากับ Ethereum, L1 Blockchains, Cosmos Application Chains, L2 Rollups และ Dapps ได้อย่างรวดเร็วภายในไม่กี่วัน มีการเรียกสัญญาอัจฉริยะโดยตรงการคํานวณนอกสายโซ่ที่ตรวจสอบได้การทํางานร่วมกันข้ามสายโซ่และฟังก์ชันการรวบรวมทั่วไปทั้งหมดนี้ในขณะที่ใช้สถาปัตยกรรมแบบกระจายอํานาจก่อน การรวมการพิสูจน์ซ้ําคอมไพเลอร์วงจรที่กําหนดเองความต่อเนื่องของรัฐและการปรับปรุงอัลกอริธึมการพิสูจน์อย่างต่อเนื่องทําให้ทุกคนสามารถสร้างหลักฐานที่ไม่มีความรู้ประสิทธิภาพสูงสําหรับการใช้งานที่หลากหลาย
  • ZKVM: ZKVM เป็นคอมพิวเตอร์ที่ตรวจสอบได้ซึ่งทํางานคล้ายกับไมโครโปรเซสเซอร์ RISC-V ในตัวจริง จากสถาปัตยกรรมชุดคําสั่ง RISC-V ช่วยให้นักพัฒนาสามารถเขียนโปรแกรมในภาษาการเขียนโปรแกรมระดับสูงเช่น Rust, C ++, Solidity, Go และอื่น ๆ ที่สามารถสร้างหลักฐานที่ไม่มีความรู้ รองรับลังสนิมยอดนิยมมากกว่า 70% มันผสมผสานการประมวลผลทั่วไปและการพิสูจน์ความรู้เป็นศูนย์ได้อย่างราบรื่นสามารถสร้างการพิสูจน์ความรู้เป็นศูนย์ที่มีประสิทธิภาพสําหรับการคํานวณความซับซ้อนใด ๆ ในขณะที่รักษาความเป็นส่วนตัวของกระบวนการคํานวณและการตรวจสอบความถูกต้องของผลลัพธ์ ZKVM ใช้เทคโนโลยี ZK รวมถึง Stark และ Snark และบรรลุการสร้างหลักฐานและการตรวจสอบที่มีประสิทธิภาพผ่านส่วนประกอบต่างๆเช่น Recursion Proover และ Stark-to-SNARK Prover รองรับการดําเนินการนอกเครือข่ายและการตรวจสอบแบบ on-chain

RISC Zero ได้รวมเข้ากับโซลูชัน ETH Layer2 หลายตัวและสาธิตกรณีการใช้งานต่างๆ สําหรับบอนไซ ตัวอย่างหนึ่งที่น่าสนใจคือบอนไซจ่าย การสาธิตนี้ใช้บริการ ZKVM และ Bonsai Proof ของ RISC Zero ทําให้ผู้ใช้สามารถส่งหรือถอน ETH และโทเค็นบน Ethereum โดยใช้บัญชี Google ของตนได้ แสดงให้เห็นว่า RISC Zero สามารถผสานรวมแอปพลิเคชันแบบ on-chain เข้ากับ OAuth2.0 (มาตรฐานที่ใช้โดยผู้ให้บริการข้อมูลประจําตัวรายใหญ่เช่น Google) ได้อย่างไร โดยให้กรณีการใช้งานที่ช่วยลดอุปสรรคของผู้ใช้ Web3 ผ่านแอปพลิเคชัน Web2 แบบดั้งเดิม ตัวอย่างอื่น ๆ ได้แก่ แอปพลิเคชันที่ใช้ DAOS

3.3 =nil;

=ศูนย์; เป็นโครงการลงทุนที่ได้รับการสนับสนุนจากหน่วยงานที่มีชื่อเสียงเช่น Mina, Polychain, Starkware และ Blockchain Capital โดยเฉพาะอย่างยิ่งผู้บุกเบิกเทคโนโลยี ZK เช่น Mina และ Starkware เป็นหนึ่งในผู้สนับสนุนซึ่งบ่งบอกถึงการยอมรับทางเทคนิคสูงสําหรับโครงการ =ศูนย์; นอกจากนี้ยังกล่าวถึงในรายงานของเรา "ตลาดพลังการประมวลผล" โดยเน้นที่ตลาดหลักฐาน (ตลาดการสร้างหลักฐานแบบกระจายอํานาจ) นอกจากนี้ = ศูนย์; มีผลิตภัณฑ์ย่อยอื่นที่เรียกว่า ZKLLVM

zkllvm พัฒนาโดย =nil; Foundation เป็นคอมไพเลอร์วงจรที่เป็นนวัตกรรมใหม่ที่แปลงรหัสแอปพลิเคชันที่เขียนในภาษาการเขียนโปรแกรมกระแสหลักเช่น C ++ และ Rust เป็นวงจรที่มีประสิทธิภาพและพิสูจน์ได้สําหรับ Ethereum โดยไม่ต้องใช้ภาษาเฉพาะโดเมนที่ไม่มีความรู้เฉพาะ (DSL) สิ่งนี้ช่วยลดความยุ่งยากในกระบวนการพัฒนาลดอุปสรรคในการเข้าและปรับปรุงประสิทธิภาพโดยหลีกเลี่ยง ZKVM รองรับการเร่งฮาร์ดแวร์เพื่อเพิ่มความเร็วในการสร้างหลักฐานทําให้เหมาะสําหรับสถานการณ์แอปพลิเคชัน ZK ต่างๆเช่น Rollups, Cross-Chain Bridges, Oracles, Machine Learning และ Gaming มันถูกรวมเข้าด้วยกันอย่างใกล้ชิดกับ = nil; ตลาดหลักฐานของมูลนิธิให้การสนับสนุนนักพัฒนาแบบ end-to-end ตั้งแต่การสร้างวงจรไปจนถึงการสร้างหลักฐาน

3.4 brevis

brevis เป็นโครงการย่อยของเคลอร์เน็ตเวิร์คและเป็นสมาร์ทซีโร่โศภิถา (zk) สำหรับบล็อกเชน ที่ทำให้ dapps สามารถเข้าถึง คำนวณ และใช้ข้อมูลที่ไม่จำกัดได้ที่เกี่ยวข้องกับบล็อกเชนหลายรายการในลักษณะที่เชื่อถือได้อย่างแท้จริง เหมือนกับ coprocessors อื่น ๆ brevis มีกรณีใช้งานที่หลากหลาย เช่น defi ขับเคลื่อนด้วยข้อมูล zkbridges การรับสมัครผู้ใช้ on-chain zkdid และการสรุปบัญชีสังคม

สถาปัตยกรรม brevis ประกอบด้วยองค์ประกอบหลักสามอย่าง:

  • zkfabric: zkfabric เป็นส่วนประกอบของระบบ brevis architecture ที่ใช้สำหรับสะสมและซิงโครไนซ์ข้อมูลบล็อกเฮดเดอร์จากทุกๆ บล็อกเชนที่เชื่อมต่อและสร้างหลักฐานความเห็นชอบสำหรับแต่ละบล็อกเฮดเดอร์ที่ถูกสะสมผ่านวงจร zk light client
  • zkquerynet: zkquerynet เป็นตลาดเครื่องมือค้นหา zk ที่เปิดเผยที่สามารถรับคำถามข้อมูลได้โดยตรงจากสัญญาอัจฉริยะบนเชื่อมโยงและสร้างผลลัพธ์คำถามและพิสูจน์คำถามที่เกี่ยวข้องผ่านวงจรเครื่องมือค้นหา zk พวกนี้ครอบคลุมตั้งแต่เครื่องมือที่พิเศษมาก (เช่น การคำนวณปริมาณการซื้อขายของเหรียญในระยะเวลาที่ระบุ) ถึงความคล่องแคล่วและภาษาคำถามข้อมูลยากลำบากสู่การตอบสนองความต้องการของแอปพลิเคชันต่าง ๆ
  • zkaggregatorrollup: ทําหน้าที่เป็นเลเยอร์การรวมและการจัดเก็บสําหรับ zkfabric และ zkquerynet มันตรวจสอบการพิสูจน์ขององค์ประกอบทั้งสองนี้จัดเก็บข้อมูลที่พิสูจน์แล้วและส่งรากสถานะของการพิสูจน์ ZK ของพวกเขาไปยังบล็อกเชนที่เชื่อมต่อทั้งหมดทําให้ dapps สามารถเข้าถึงผลลัพธ์การสืบค้นที่พิสูจน์แล้วได้โดยตรงในตรรกะทางธุรกิจสัญญาอัจฉริยะแบบ on-chain

ด้วยโครงสร้างแบบโมดูลนี้ เบรวิสสามารถให้บริการสัญญาอัจฉริยะบล็อกเชนสาธารณะที่รองรับทั้งหมดด้วยวิธีการเข้าถึงที่ไม่มีการเชื่อมต่อ เชื่อถือ มีประสิทธิภาพและยืดหยุ่น โดย uni เวอร์ชัน 4 ยังใช้โครงการนี้และรวมมันกับ hooks (ระบบสำหรับการรวมตัวของตรรกะที่กำหนดเองของผู้ใช้ต่าง ๆ) เพื่อสะดวกในการอ่านข้อมูลบล็อกเชนที่เก่า ลดค่าธรรมเนียมการใช้ก๊าซในขณะที่ยังรักษาความกระจายแบบกระจาย นี่เป็นตัวอย่างของ zk coprocessor ที่สนับสนุนการโปรโมต dex

3.5 lagrange

Lagrange เป็นโปรโตคอลโปรเซสเซอร์ร่วม ZK ที่ทํางานร่วมกันซึ่งนําโดย 1KX และ Founders Fund โดยมีเป้าหมายหลักเพื่อให้การทํางานร่วมกันข้ามสายโซ่ที่เชื่อถือได้และสนับสนุนแอปพลิเคชันที่ต้องการการคํานวณข้อมูลที่ซับซ้อนขนาดใหญ่ ซึ่งแตกต่างจากสะพานโหนดแบบดั้งเดิมการทํางานร่วมกันข้ามสายโซ่ของ Lagrange ส่วนใหญ่ทําได้ผ่านนวัตกรรม ZK Big Data และกลไกคณะกรรมการของรัฐ

  • ZK Big Data: นี่คือผลิตภัณฑ์หลักของ Lagrange ซึ่งรับผิดชอบในการประมวลผลและตรวจสอบข้อมูลข้ามสายโซ่และสร้างหลักฐาน ZK ที่เกี่ยวข้อง ส่วนประกอบนี้ประกอบด้วยโปรเซสเซอร์ร่วม ZK แบบขนานสูงสําหรับการดําเนินการคํานวณนอกเครือข่ายที่ซับซ้อนและสร้างการพิสูจน์ความรู้เป็นศูนย์ฐานข้อมูลที่ตรวจสอบได้ที่ออกแบบมาเป็นพิเศษซึ่งรองรับช่องเก็บข้อมูลไม่ จํากัด และการสืบค้น SQL โดยตรงจากสัญญาอัจฉริยะกลไกการอัปเดตแบบไดนามิกที่อัปเดตเฉพาะจุดข้อมูลที่เปลี่ยนแปลงเพื่อลดเวลาพิสูจน์และฟังก์ชันรวมที่ช่วยให้นักพัฒนาสามารถใช้การสืบค้น SQL ได้โดยตรงจากสัญญาอัจฉริยะเพื่อเข้าถึงข้อมูลในอดีตโดยไม่ต้องเขียนที่ซับซ้อน วงจร พวกเขาร่วมกันสร้างระบบประมวลผลและตรวจสอบข้อมูลบล็อกเชนขนาดใหญ่
  • คณะกรรมการของรัฐ: ส่วนประกอบนี้เป็นเครือข่ายการตรวจสอบแบบกระจายอํานาจซึ่งประกอบด้วยโหนดอิสระหลายโหนดแต่ละโหนดปักหลัก ETH เป็นหลักประกัน โหนดเหล่านี้ทําหน้าที่เป็นไคลเอนต์ ZK Light เพื่อตรวจสอบสถานะของค่าสะสมที่ปรับให้เหมาะสมโดยเฉพาะ คณะกรรมการของรัฐทํางานร่วมกับ AVS ของ Eigenlayer โดยใช้ประโยชน์จากกลไกการปักหลักใหม่เพื่อเพิ่มความปลอดภัยสนับสนุนโหนดที่เข้าร่วมไม่ จํากัด จํานวนเพื่อให้บรรลุการเติบโตของความปลอดภัยแบบ superlinear นอกจากนี้ยังมี "โหมดเร็ว" ช่วยให้ผู้ใช้สามารถดําเนินการข้ามสายโซ่ได้โดยไม่ต้องรอหน้าต่างความท้าทายซึ่งช่วยปรับปรุงประสบการณ์ของผู้ใช้ได้อย่างมาก การรวมกันของเทคโนโลยีทั้งสองนี้ช่วยให้ Lagrange สามารถประมวลผลข้อมูลขนาดใหญ่ได้อย่างมีประสิทธิภาพดําเนินการคํานวณที่ซับซ้อนและส่งและตรวจสอบผลลัพธ์อย่างปลอดภัยในบล็อกเชนที่แตกต่างกันสนับสนุนการพัฒนาแอปพลิเคชันข้ามสายโซ่ที่ซับซ้อน

Lagrange ได้รวมตัวกับ Eigenlayer, Mantle, Base, Frax, Polymer, Layerzero, Omni, Altlayer, และอื่น ๆ แล้วและจะเป็น zk avs แรกที่เชื่อมโยงภายในระบบนิเวศอีเธอร์เรียม

เกี่ยวกับ ybb

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

เว็บไซต์ | Twi: @ybbcapital

references:

1. abcde: การศึกษาลึกใน zk coprocessor และอนาคตของมัน:https://medium.com/ABCDE.com/th-abcde-การศึกษาลึกลงใน zk coprocessor และอนาคตของมัน-1d1b3f33f946

2. "zk" คือทุกอย่างที่คุณต้องการ:https://medium.com/gate_ventures/zk-is-all-you-need-238886062c52

3.risc ศูนย์:https://www.risczero.com/bonsai

4.lagrange:https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis

5.axiomblog:https://blog.axiom.xyz/

6.การเร่งความเร็วของไนโตรเจน! วิธีการที่ zk coprocessor ทำลายอุปสรรคข้อมูลสัญญาอัจฉริยะ:https://foresightnews.pro/article/detail/48239

คำประกาศความยินยอม:

  1. บทความนี้พิมพ์ซ้ําจาก [ปานกลาง], ส่งต่อชื่อเรื่องเดิม 'the gpu of blockchain: การวิเคราะห์อย่างครอบคลุมของ zk coprocessors', ลิขสิทธิ์ทั้งหมดเป็นของผู้เขียนต้นฉบับ [นักวิจัย zeke ของ ybb capital] หากมีข้อขัดข้องในการเผยแพร่นี้ โปรดติดต่อ เกต์เรียน ทีมและพวกเขาจะจัดการกับมันทันที

  2. คำปฏิเสธความรับผิด: มุมมองและความคิดเห็นที่แสดงในบทความนี้เป็นเพียงของผู้เขียนเท่านั้นและไม่เป็นที่เกิดจากการให้คำแนะนำในการลงทุนใด ๆ

  3. การแปลบทความเป็นภาษาอื่น ๆ โดยทีม Gate Learn ถูกดำเนินการ ยกเว้นที่ระบุไว้ การคัดลอก การกระจาย หรือการลอกเลียนแบบบทความที่แปลนั้นถูกห้าม

เริ่มตอนนี้
สมัครและรับรางวัล
$100