ผู้เขียนต้นฉบับ: Zeke นักวิจัย YBB Capital
ทีแอลดีอาร์
ตัวประมวลผลร่วม ZK ถือได้ว่าเป็นปลั๊กอินการประมวลผลแบบออฟไลน์ที่ได้มาจากแนวคิดแบบโมดูลาร์ ฟังก์ชันจะคล้ายกับ GPU ในคอมพิวเตอร์แบบดั้งเดิมของเราที่แชร์งานการประมวลผลกราฟิกสำหรับ CPU กล่าวคือ เพื่อแชร์การประมวลผลในสถานการณ์เฉพาะ ตัวประมวลผลงาน
สามารถใช้ในการประมวลผลการคำนวณที่ซับซ้อนและข้อมูลจำนวนมาก ลดค่าธรรมเนียมก๊าซ และขยายฟังก์ชันสัญญาอัจฉริยะ
ความแตกต่างจาก Rollup: ตัวประมวลผลร่วม ZK ไม่มีสถานะ สามารถใช้งานข้ามเครือข่ายได้ และเหมาะสำหรับสถานการณ์การประมวลผลที่ซับซ้อน
ตัวประมวลผลร่วม ZK นั้นยากต่อการพัฒนา มีค่าใช้จ่ายด้านประสิทธิภาพสูง และขาดมาตรฐาน ฮาร์ดแวร์ต้องใช้ต้นทุนจำนวนมาก แม้ว่าแทร็กจะมีความสมบูรณ์มากกว่าปีที่แล้วมาก แต่ก็ยังอยู่ในช่วงเริ่มต้น
หลังจากที่โครงสร้างพื้นฐานได้เข้าสู่ยุคโมดูลาร์ของการขยายตัวแบบแฟร็กทัล บล็อกเชนก็ประสบปัญหาต่างๆ เช่น การขาดสภาพคล่อง ผู้ใช้กระจัดกระจาย การขาดนวัตกรรม และความสามารถในการทำงานร่วมกันข้ามเครือข่าย และได้สร้างความขัดแย้งกับ L1 ของการขยายตัวในแนวดิ่ง โปรเซสเซอร์ร่วม ZK อาจสามารถเสริมกำลังที่ดีสำหรับทั้งสองได้ในอนาคต ทำให้พวกเขาหมดปัญหา ให้การสนับสนุนด้านประสิทธิภาพสำหรับแอปพลิเคชันเก่าและแอปพลิเคชันใหม่และที่สำคัญ และนำเสนอเรื่องราวที่สดใหม่มากขึ้น
1. โครงสร้างพื้นฐานแบบโมดูลาร์อีกสาขาหนึ่ง นั่นคือตัวประมวลผลร่วม ZK
1.1 ภาพรวมของตัวประมวลผลร่วม ZK
ตัวประมวลผลร่วม ZK ถือได้ว่าเป็นปลั๊กอินการประมวลผลแบบออฟไลน์ที่ได้มาจากแนวคิดแบบโมดูลาร์ ฟังก์ชันจะคล้ายกับ GPU ในคอมพิวเตอร์แบบดั้งเดิมของเราที่แชร์งานการประมวลผลกราฟิกสำหรับ CPU กล่าวคือ เพื่อแชร์การประมวลผลในสถานการณ์เฉพาะ ผู้ประมวลผลของงาน ภายใต้กรอบการออกแบบนี้ งาน ข้อมูลหนัก และ ตรรกะการคำนวณที่ซับซ้อน ที่เชนสาธารณะไม่เก่งสามารถคำนวณได้ผ่านตัวประมวลผลร่วม ZK เท่านั้น เชนต้องการเพียงรับผลการคำนวณที่ส่งคืน และรับประกันความถูกต้องด้วยการพิสูจน์ ZK ในที่สุดการคำนวณนอกห่วงโซ่ที่เชื่อถือได้สำหรับงานที่ซับซ้อนก็เกิดขึ้นจริง
ปัจจุบัน แอปพลิเคชันยอดนิยม เช่น AI, SocialFi, DEX และ GameFi มีความต้องการเร่งด่วนสำหรับประสิทธิภาพสูงและการควบคุมต้นทุน ในโซลูชันแบบดั้งเดิม แอปพลิเคชันหนัก เหล่านี้ที่ต้องการประสิทธิภาพสูงมักจะเลือกรูปแบบของสินทรัพย์แบบออนไลน์และออฟไลน์ แอปพลิเคชัน หรือ ออกแบบสายโซ่แอปพลิเคชันแยกต่างหากสำหรับแอปพลิเคชัน อย่างไรก็ตาม ทั้งสองมีปัญหาโดยธรรมชาติ ตัวอย่างเช่น กล่องแรกมีกล่องดำ และกล่องดำมีปัญหา เช่น ต้นทุนการพัฒนาสูง การแยกตัวจากระบบนิเวศห่วงโซ่เดิม และการกระจายตัวของสภาพคล่อง นอกจากนี้ เครื่องเสมือนลูกโซ่หลักยังมีข้อจำกัดอย่างมากในการพัฒนาและการทำงานของแอปพลิเคชันดังกล่าว (เช่น การขาดมาตรฐานเลเยอร์แอปพลิเคชันและภาษาการพัฒนาที่ซับซ้อน)
การมีอยู่ของโปรเซสเซอร์ร่วม ZK คือการแก้ปัญหาดังกล่าว เพื่อให้เป็นตัวอย่างที่ละเอียดมากขึ้น เราถือว่าบล็อคเชนเป็นเทอร์มินัลที่ไม่สามารถเชื่อมต่อกับอินเทอร์เน็ตได้ (โทรศัพท์มือถือ คอมพิวเตอร์ ฯลฯ) ในกรณีนี้ เราสามารถทำงานได้ แอปพลิเคชันที่เรียบง่ายกว่าบางตัว เช่น แอปพลิเคชัน DeFi เช่น Uniswap สามารถทำงานบนเครือข่ายได้อย่างสมบูรณ์ แต่เมื่อแอปพลิเคชันที่ซับซ้อนมากขึ้นปรากฏขึ้น เช่น การเรียกใช้แอปพลิเคชันเช่น ChatGPT ประสิทธิภาพและการจัดเก็บข้อมูลของห่วงโซ่สาธารณะจะไม่เพียงพออย่างสมบูรณ์ และก๊าซจะระเบิด ในกรณีของ Web2 จะเป็นเช่นนั้นเมื่อเราเรียกใช้ ChatGPT เทอร์มินัลทั่วไปไม่สามารถจัดการ GPT-4 ได้ o โมเดลภาษาขนาดใหญ่นี้ เราจำเป็นต้องสื่อสารปัญหาไปยังเซิร์ฟเวอร์ OpenAI ผ่านทางอินเทอร์เน็ต หลังจากที่เซิร์ฟเวอร์คำนวณผลลัพธ์การอนุมาน เราจะได้รับคำตอบโดยตรง ตัวประมวลผลร่วม ZK นั้นคล้ายคลึงกับเซิร์ฟเวอร์ระยะไกลของบล็อกเชน อย่างไรก็ตาม สำหรับโปรเจ็กต์ประเภทต่างๆ การออกแบบโปรเจ็กต์ตัวประมวลผลร่วมที่แตกต่างกันอาจมีการเบี่ยงเบนเล็กน้อย แต่ตรรกะพื้นฐานจะไม่แตกต่างกันมากนัก ทั้งหมดได้รับการตรวจสอบผ่านออฟไลน์ การคำนวณ + หลักฐาน ZK หรือหลักฐานการจัดเก็บ ยกตัวอย่างการใช้งานบอนไซของ Rise Zero เราจะเห็นได้ว่าตรรกะของสถาปัตยกรรมนี้ง่ายมาก นักพัฒนาซอฟต์แวร์ต้องการเพียงสองขั้นตอนง่ายๆ ในการใช้บอนไซเป็นขั้นตอนการประมวลผลร่วม:
เขียนแอปพลิเคชัน zkVM เพื่อจัดการตรรกะของแอปพลิเคชัน
เขียนสัญญา Solidity ที่ขอให้บอนไซรันแอปพลิเคชัน zkVM ของคุณและประมวลผลผลลัพธ์
อะไรคือความแตกต่างระหว่าง 1.2 และ Rollup?
ในคำจำกัดความข้างต้น เราจะพบว่า Rollup ดูเหมือนว่าจะมีการทับซ้อนในระดับสูงกับตัวประมวลผลร่วม ZK โดยไม่คำนึงถึงตรรกะหรือเป้าหมายการใช้งาน แต่ในความเป็นจริงแล้ว Rollup นั้นเหมือนกับเวอร์ชันมัลติคอร์ของเชนหลักมากกว่า ความแตกต่างเฉพาะระหว่างทั้งสองมีดังนี้:
1.วัตถุประสงค์หลัก:
Rollup: ปรับปรุงปริมาณธุรกรรม blockchain และลดค่าธรรมเนียมการทำธุรกรรม
ตัวประมวลผลร่วม ZK: ขยายพลังการประมวลผลของสัญญาอัจฉริยะ เพื่อให้สามารถจัดการตรรกะที่ซับซ้อนยิ่งขึ้นและข้อมูลจำนวนมากขึ้นได้
2. หลักการทำงาน:
Rollup: สรุปธุรกรรมในห่วงโซ่และโอนไปยังห่วงโซ่หลักผ่านการพิสูจน์การฉ้อโกงหรือหลักฐาน ZK
ตัวประมวลผลร่วม ZK: คล้ายกับ ZK Rollup ยกเว้นว่าสถานการณ์การใช้งานของทั้งสองจะแตกต่างกัน ZK Rollup ถูกจำกัดด้วยรูปร่างและกฎของลูกโซ่ และไม่เหมาะสำหรับการทำงานของตัวประมวลผลร่วม ZK
3. การจัดการสถานะ:
Rollup: จำเป็นต้องรักษาสถานะของตัวเองและซิงโครไนซ์กับเชนหลักอย่างสม่ำเสมอ
ตัวประมวลผลร่วม ZK: ไม่มีการรักษาสถานะถาวร และการคำนวณแต่ละรายการจะไม่เก็บสถานะ
4. สถานการณ์การใช้งาน:
Rollup: ส่วนใหญ่สำหรับฝั่ง C เหมาะสำหรับการซื้อขายที่มีความถี่สูง
ตัวประมวลผลร่วม ZK: ส่วนใหญ่สำหรับฝั่ง B เหมาะสำหรับสถานการณ์ที่ต้องมีการคำนวณที่ซับซ้อน เช่น โมเดลทางการเงินขั้นสูง การวิเคราะห์ข้อมูลขนาดใหญ่ ฯลฯ
5. ความสัมพันธ์กับสายโซ่หลัก:
Rollup: สามารถมองได้ว่าเป็นส่วนขยายของ chain หลัก ซึ่งมักจะเน้นที่เครือข่าย blockchain เฉพาะ
โปรเซสเซอร์ร่วม ZK: สามารถให้บริการสำหรับบล็อกเชนหลายรายการ และไม่จำกัดเพียงเชนหลักเฉพาะ ดังนั้นจึงสามารถให้บริการสำหรับ Rollup ได้ด้วย
ดังนั้นทั้งสองจึงไม่แยกจากกันและเป็นส่วนเสริมแม้ว่าจะมี Rollup อยู่ในรูปแบบของสายโซ่แอปพลิเคชัน แต่ตัวประมวลผลร่วม ZK ยังสามารถให้บริการได้
1.3 กรณีการใช้งาน
ตามทฤษฎีแล้ว ตัวประมวลผลร่วม ZK มีขอบเขตการใช้งานที่กว้างมาก และสามารถครอบคลุมโปรเจ็กต์ในแทร็กบล็อกเชนต่างๆ ได้ การมีอยู่ของโปรเซสเซอร์ร่วม ZK สามารถทำให้ฟังก์ชันของ Dapp ใกล้เคียงกับฟังก์ชันของแอปรวมศูนย์ Web2 ต่อไปนี้คือกรณีการใช้งานสาธิตบางส่วนที่รวบรวมจากอินเทอร์เน็ต:
การพัฒนา DApp ที่ขับเคลื่อนด้วยข้อมูล
โปรเซสเซอร์ร่วม ZK ช่วยให้นักพัฒนาสามารถสร้าง DApps ที่ขับเคลื่อนด้วยข้อมูล ซึ่งใช้ประโยชน์จากข้อมูลในอดีตจากห่วงโซ่ทั้งหมด และดำเนินการคำนวณที่ซับซ้อนโดยไม่ต้องคาดเดาสมมติฐานเพิ่มเติม สิ่งนี้นำความเป็นไปได้ที่ไม่เคยมีมาก่อนมาสู่การพัฒนา DApp เช่น:
การวิเคราะห์ข้อมูลขั้นสูง: ฟังก์ชั่นการวิเคราะห์ข้อมูลแบบออนไลน์คล้ายกับ Dune Analytics
ตรรกะทางธุรกิจที่ซับซ้อน: ใช้อัลกอริธึมที่ซับซ้อนและตรรกะทางธุรกิจในแอปพลิเคชันแบบรวมศูนย์แบบดั้งเดิม
แอปพลิเคชันข้ามสายโซ่: สร้าง DApps ข้ามสายโซ่ตามข้อมูลหลายสายโซ่
โปรแกรมผู้ซื้อขาย VIP ของ DEX
สถานการณ์การใช้งานทั่วไปคือการใช้โปรแกรมส่วนลดค่าธรรมเนียมตามปริมาณการซื้อขายในการแลกเปลี่ยนแบบกระจายอำนาจ (DEX) ซึ่งก็คือ โปรแกรมความภักดีของผู้ซื้อขายวีไอพี รูปแบบประเภทนี้เป็นเรื่องปกติในการแลกเปลี่ยนแบบรวมศูนย์ (CEX) แต่หาได้ยากใน DEX
การใช้โปรเซสเซอร์ร่วม ZK ทำให้ DEX สามารถ:
ติดตามปริมาณธุรกรรมในอดีตของผู้ใช้
คำนวณระดับ VIP ของผู้ใช้
ปรับค่าธรรมเนียมการทำธุรกรรมแบบไดนามิกตามระดับ
ฟีเจอร์นี้สามารถช่วย DEX ปรับปรุงการรักษาผู้ใช้ เพิ่มสภาพคล่อง และเพิ่มรายได้ในที่สุด
การเพิ่มประสิทธิภาพข้อมูลสำหรับสัญญาอัจฉริยะ
โปรเซสเซอร์ร่วม ZK สามารถทำหน้าที่เป็นมิดเดิลแวร์ที่ทรงพลังเพื่อให้บริการบันทึกข้อมูล การคำนวณ และการตรวจสอบสัญญาอัจฉริยะ ซึ่งช่วยลดต้นทุนและปรับปรุงประสิทธิภาพ สิ่งนี้ทำให้สัญญาอัจฉริยะสามารถ:
เข้าถึงและประมวลผลข้อมูลประวัติจำนวนมาก
ทำการคำนวณนอกเครือข่ายที่ซับซ้อน
ใช้ตรรกะทางธุรกิจขั้นสูงเพิ่มเติม
เทคโนโลยีสะพานข้ามโซ่
เทคโนโลยีสะพานข้ามสายโซ่ที่ใช้ ZK บางอย่าง เช่น Herodotus และ Lagrange ยังถือเป็นการประยุกต์ใช้ตัวประมวลผลร่วม ZK ได้อีกด้วย เทคโนโลยีเหล่านี้มุ่งเน้นไปที่การดึงข้อมูลและการตรวจสอบเป็นหลัก ซึ่งเป็นพื้นฐานข้อมูลที่เชื่อถือได้สำหรับการสื่อสารข้ามสายโซ่
1.4 ตัวประมวลผลร่วม ZK ไม่สมบูรณ์แบบ
แม้ว่าเราจะระบุข้อดีหลายประการแล้ว แต่ขั้นตอนปัจจุบันของตัวประมวลผลร่วม ZK ยังไม่สมบูรณ์แบบและยังคงต้องเผชิญกับปัญหามากมาย โดยส่วนตัวแล้วฉันสรุปประเด็นต่อไปนี้:
1. การพัฒนา: แนวคิดของ ZK เป็นเรื่องยากสำหรับนักพัฒนาจำนวนมากที่จะเข้าใจ การพัฒนายังต้องอาศัยความรู้ด้านการเข้ารหัสที่เกี่ยวข้องและความเชี่ยวชาญในภาษาและเครื่องมือในการพัฒนาเฉพาะ
2. ต้นทุนด้านฮาร์ดแวร์สูง: ฮาร์ดแวร์ ZK ที่ใช้สำหรับการประมวลผลนอกเครือข่ายจะต้องรับผิดชอบอย่างเต็มที่จากตัวโครงการเอง ฮาร์ดแวร์ ZK มีราคาแพงและยังอยู่ระหว่างการพัฒนาและทำซ้ำอย่างรวดเร็ว และฮาร์ดแวร์มีแนวโน้มที่จะล้าสมัยเมื่อใดก็ได้ สิ่งนี้สามารถสร้างวงปิดในตรรกะทางธุรกิจได้หรือไม่ก็เป็นคำถามที่ควรพิจารณาเช่นกัน
3. เส้นทางที่มีผู้คนหนาแน่น: จริงๆ แล้ว ในการใช้งานทางเทคนิคจะไม่มีความแตกต่างมากนัก ท้ายที่สุดแล้ว มีแนวโน้มว่าจะคล้ายกับรูปแบบเลเยอร์ 2 ในปัจจุบัน มีโครงการที่โดดเด่นอยู่บ้าง แต่ส่วนใหญ่กลับถูกละเลย ;
วงจร 4.zk: การดำเนินการคำนวณนอกเครือข่ายในตัวประมวลผลร่วม zk จำเป็นต้องแปลงโปรแกรมคอมพิวเตอร์แบบดั้งเดิมให้เป็นวงจร zk การเขียนวงจรแบบกำหนดเองสำหรับแต่ละแอปพลิเคชันนั้นซับซ้อนมาก และการใช้ zkvm เพื่อเขียนวงจรในเครื่องเสมือนก็มีโมเดลการประมวลผลที่แตกต่างกัน .
2. ชิ้นส่วนปริศนาสำคัญที่นำไปสู่การใช้งานขนาดใหญ่
(บทนี้ค่อนข้างเป็นอัตวิสัยและเป็นเพียงความเห็นส่วนตัวของผู้เขียนเท่านั้น)
วงจรนี้ถูกครอบงำโดยโครงสร้างพื้นฐานแบบโมดูลาร์ หากเส้นทางของการทำให้เป็นโมดูลถูกต้อง วงจรนี้อาจเป็นขั้นตอนสุดท้ายสู่แอปพลิเคชันขนาดใหญ่ อย่างไรก็ตาม ในปัจจุบันเราทุกคนมีความรู้สึกร่วมกัน ทำไมเราถึงเห็นแต่ไวน์เก่าๆ ที่มีการประยุกต์ใหม่ๆ เท่านั้น เหตุใดจึงมี chains มากกว่าการใช้งานอื่นๆ มากมาย เหตุใดมาตรฐานโทเค็นใหม่ เช่น คำจารึก จึงเรียกได้ว่าเป็นนวัตกรรมที่ยิ่งใหญ่ที่สุด กลม?
เหตุผลที่ขาดการเล่าเรื่องใหม่ๆ ก็คือโครงสร้างพื้นฐานแบบโมดูลาร์ในปัจจุบันไม่เพียงพอที่จะรองรับแอปพลิเคชันขั้นสูง โดยเฉพาะอย่างยิ่งการขาดข้อกำหนดเบื้องต้นบางประการ (การทำงานร่วมกันแบบ full-chain เกณฑ์ผู้ใช้ ฯลฯ) ซึ่งมีส่วนทำให้ที่ใหญ่ที่สุด การพัฒนาในประวัติศาสตร์ของบล็อกเชนที่แฝงตัวอยู่ในการแยกตัว Rollup ซึ่งเป็นแกนหลักของยุคโมดูลาร์นั้นรวดเร็ว แต่ก็นำมาซึ่งปัญหามากมาย นั่นคือการกระจายตัวของสภาพคล่อง การกระจายตัวของผู้ใช้ ห่วงโซ่หรือเครื่องเสมือนที่เราได้เน้นย้ำข้างต้นยังคงจำกัดนวัตกรรมของแอปพลิเคชัน ในทางกลับกัน Celestia ซึ่งเป็น คนสำคัญ อีกคนหนึ่งของความเป็นโมดูลาร์ ได้เป็นผู้บุกเบิกแนวคิดที่ว่า DA ไม่จำเป็นต้องอยู่บน Ethereum แนวคิดนี้ยิ่งทำให้การกระจายตัวรุนแรงยิ่งขึ้น ไม่ว่าจะเริ่มต้นจากอุดมการณ์หรือต้นทุนของ DA ผลลัพธ์ก็คือ BTC ถูกบังคับให้ทำ DA และ Public Chain อื่นๆ ต้องทำ DA ที่คุ้มค่ากว่า สถานการณ์ปัจจุบันคือแต่ละ Chain สาธารณะมีน้อยเพียงอันเดียวหรือเท่ากับ มีโครงการ Layer 2 มากมายหลายสิบโครงการ ในที่สุด ฝ่ายโครงสร้างพื้นฐานและโครงการระบบนิเวศทั้งหมดได้ศึกษาอย่างลึกซึ้งเกี่ยวกับการเล่นเกมมังกรสังหารคะแนน (OpenSea) ที่บุกเบิกโดย Blur (Tieshun) โดยกำหนดให้ผู้ใช้ต้องจำนำโทเค็นในโครงการ สำหรับวาฬ หรือการเพิ่มขึ้นของ BTC และ Token ฟรี) โมเดลได้บีบอัดสภาพคล่องบนห่วงโซ่เพิ่มเติม
ในตลาดกระทิงที่ผ่านมา เงินทุนจะไหลในเครือข่ายสาธารณะเพียงไม่กี่ถึงสิบโหลเท่านั้น และอาจกล่าวได้ว่ากระจุกตัวอยู่ใน Ethereum เท่านั้น แต่เงินทุนในปัจจุบันกระจัดกระจายไปตามเครือข่ายสาธารณะหลายร้อยแห่ง และให้คำมั่นสัญญากับโครงการหลายพันโครงการที่เหมือนกันหมด ความเจริญรุ่งเรืองบนเครือข่ายไม่ได้อยู่ที่นั่นอีกต่อไป และแม้แต่ Ethereum ก็ยังไม่มีกิจกรรมออนไลน์ ผู้เล่น PVP ฝั่งตะวันออกในระบบนิเวศ BTC และผู้เล่น PVP ฝั่งตะวันตกใน Solana ทำอะไรไม่ถูก ดังนั้นสิ่งที่ฉันกังวลเป็นการส่วนตัวมากที่สุดในตอนนี้คือวิธีการส่งเสริมการรวมตัวของสภาพคล่องในห่วงโซ่และวิธีการสนับสนุนการกำเนิดของเกมเพลย์ใหม่และแอพพลิเคชั่นขั้นสูง ในเส้นทางการทำงานร่วมกันแบบ full-chain โครงการชั้นนำแบบดั้งเดิมหลายโครงการทำงานได้ไม่ดีจริง ๆ พวกเขายังคงเหมือนกับสะพานข้ามโซ่แบบดั้งเดิม โซลูชันการทำงานร่วมกันแบบใหม่นี้ได้มีการพูดคุยกันในรายงานการวิจัยก่อนหน้านี้ของเรา โดยหลักๆ แล้วโดยการรวมหลายเชนเข้าด้วยกันเป็นเชนเดียว ขณะนี้ เรากำลังทำงานกับ AggLayer, Superchain, Elastic Chain, JAM และอื่นๆ ซึ่งจะไม่มีการกล่าวถึงในที่นี้
โดยรวมแล้ว การรวมห่วงโซ่ทั้งหมดเข้าด้วยกันถือเป็นอุปสรรค์ที่ต้องเอาชนะภายใต้โครงสร้างโมดูลาร์ แต่อุปสรรคนี้ยังคงต้องใช้เวลานาน ตัวประมวลผลร่วม ZK ถือเป็นชิ้นส่วนปริศนาที่สำคัญมากขึ้นในระยะปัจจุบัน นอกเหนือจากการเสริมความแข็งแกร่งให้กับเลเยอร์ 2 แล้ว ยังสามารถเสริมความแข็งแกร่งให้กับเลเยอร์ 1 ได้อีกด้วย เป็นไปได้ไหมที่จะหลีกหนีจากปัญหาสองประการของห่วงโซ่เต็มรูปแบบและความขัดแย้งแบบสามเหลี่ยมได้ชั่วคราว ในอนาคตสามารถทำได้ ใช้แอปพลิเคชันปัจจุบันบางอย่างกับเลเยอร์ 1 หรือเลเยอร์ 2 บางตัวที่มีสภาพคล่องในวงกว้างหรือไม่ ท้ายที่สุดแล้ว การบรรยายเกี่ยวกับแอปพลิเคชันบล็อกเชนในปัจจุบันยังขาดอยู่จริงๆ ในทางกลับกัน เพื่อให้เกิดความหลากหลายของการเล่นเกม การควบคุมแก๊ส การเกิดขึ้นของแอปพลิเคชันขนาดใหญ่ และแม้กระทั่งการข้ามสายโซ่ การลดเกณฑ์ผู้ใช้ การบูรณาการโซลูชันโปรเซสเซอร์ร่วมจะเป็นโซลูชันที่เหมาะสมมากกว่าการพึ่งพาการรวมศูนย์
3. รายการโครงการ
โดยทั่วไปแทร็กตัวประมวลผลร่วม ZK เกิดขึ้นประมาณปี 2023 และค่อนข้างจะเติบโตในระยะปัจจุบัน ตามการจัดหมวดหมู่ของ Messari โครงการที่มีอยู่ในปัจจุบันของแทร็กสามารถแบ่งออกเป็นสามส่วนแนวตั้งหลัก ๆ (การประมวลผลทั่วไป การทำงานร่วมกันและข้ามสายโซ่ AI และการฝึกอบรมเครื่องจักร) โดยมี 18 โครงการ โครงการเหล่านี้ส่วนใหญ่ได้รับการสนับสนุนจาก VC ชั้นนำ เราเลือกบางโครงการในสาขาแนวตั้งที่แตกต่างกันสำหรับคำอธิบายด้านล่าง
3.1 กิซ่า
Giza เป็นโปรโตคอล zkML (การเรียนรู้ของเครื่องแบบศูนย์ความรู้) ที่ใช้งานบน Starknet และได้รับการสนับสนุนอย่างเป็นทางการโดย StarkWare โดยมุ่งเน้นที่การทำให้โมเดลปัญญาประดิษฐ์สามารถนำมาใช้ในสัญญาอัจฉริยะของบล็อคเชนได้ นักพัฒนาสามารถปรับใช้โมเดล AI กับเครือข่าย Giza จากนั้น Giza จะตรวจสอบความถูกต้องของการใช้เหตุผลของโมเดลผ่านการพิสูจน์ที่ไม่มีความรู้ และมอบผลลัพธ์ให้กับสัญญาอัจฉริยะในลักษณะที่ไม่น่าเชื่อถือ สิ่งนี้ช่วยให้นักพัฒนาสามารถสร้างแอปพลิเคชันออนไลน์ที่รวมความสามารถของ AI ในขณะที่ยังคงรักษาการกระจายอำนาจและการตรวจสอบความถูกต้องของบล็อกเชน
Giza ดำเนินการขั้นตอนการทำงานให้เสร็จสิ้นโดยดำเนินการสามขั้นตอนต่อไปนี้:
การแปลงโมเดล: Giza แปลงโมเดล AI รูปแบบ ONNX ที่ใช้กันทั่วไปให้เป็นรูปแบบที่สามารถทำงานในระบบพิสูจน์ความรู้เป็นศูนย์ ช่วยให้นักพัฒนาสามารถฝึกโมเดลโดยใช้เครื่องมือที่คุ้นเคยแล้วปรับใช้กับเครือข่าย Giza
การให้เหตุผลแบบออฟไลน์: เมื่อสัญญาอัจฉริยะร้องขอการให้เหตุผลแบบจำลอง AI Giza จะทำการคำนวณแบบออฟไลน์ตามจริง ซึ่งช่วยหลีกเลี่ยงค่าใช้จ่ายสูงในการรันโมเดล AI ที่ซับซ้อนบนบล็อกเชนโดยตรง
การตรวจสอบความรู้แบบศูนย์: Giza สร้างหลักฐาน ZK สำหรับการอนุมานแต่ละรุ่นเพื่อพิสูจน์ว่าการคำนวณดำเนินการอย่างถูกต้อง การพิสูจน์เหล่านี้ได้รับการตรวจสอบแบบออนไลน์ เพื่อให้มั่นใจถึงความถูกต้องของผลการอนุมานโดยไม่ต้องทำซ้ำขั้นตอนการคำนวณแบบออนไลน์ทั้งหมด
แนวทางของ Giza ช่วยให้โมเดล AI ทำหน้าที่เป็นแหล่งอินพุตที่เชื่อถือได้สำหรับสัญญาอัจฉริยะ โดยไม่ต้องอาศัยออราเคิลแบบรวมศูนย์หรือสภาพแวดล้อมการดำเนินการที่เชื่อถือได้ สิ่งนี้เปิดโอกาสใหม่ๆ สำหรับแอปพลิเคชันบล็อกเชน เช่น การจัดการสินทรัพย์ที่ใช้ AI การตรวจจับการฉ้อโกง และราคาแบบไดนามิก เป็นหนึ่งในโปรเจ็กต์วงปิดเชิงลอจิคัลไม่กี่โครงการใน Web3 x AI ปัจจุบัน และยังเป็นการใช้ประโยชน์ที่ยอดเยี่ยมของการประมวลผลร่วมในสาขา AI
3.2 ความเสี่ยงเป็นศูนย์
Risc Zero เป็นโปรเจ็กต์ตัวประมวลผลร่วมที่ได้รับการสนับสนุนจาก VC ชั้นนำหลายราย และเป็นหนึ่งในโปรเจ็กต์ที่ดีที่สุดในสาขานี้ โครงการมุ่งเน้นไปที่การเปิดใช้งานการคำนวณตามอำเภอใจเพื่อดำเนินการตรวจสอบได้ภายในสัญญาอัจฉริยะของบล็อกเชน นักพัฒนาสามารถใช้ Rust เพื่อเขียนโปรแกรมและปรับใช้กับเครือข่าย RISC Zero จากนั้นตรวจสอบความถูกต้องของการทำงานของโปรแกรมผ่านการพิสูจน์ความรู้แบบไม่มีศูนย์ และมอบผลลัพธ์ให้กับสัญญาอัจฉริยะในลักษณะที่ไม่น่าเชื่อถือ สิ่งนี้ช่วยให้นักพัฒนาสามารถสร้างแอปพลิเคชันออนไลน์ที่ซับซ้อนในขณะที่ยังคงรักษาการกระจายอำนาจและการตรวจสอบความถูกต้องของบล็อกเชน
เราได้พูดคุยสั้นๆ เกี่ยวกับการปรับใช้และกระบวนการทำงานข้างต้น และที่นี่เราจะพูดถึงองค์ประกอบหลักสองประการโดยละเอียด:
บอนไซ: บอนไซของ RISC Zero เป็นส่วนประกอบของโปรเซสเซอร์ร่วมในโครงการ มันถูกรวมเข้ากับ zkVM ของสถาปัตยกรรมชุดคำสั่ง RISC-V ได้อย่างราบรื่น ช่วยให้นักพัฒนาสามารถรวมการพิสูจน์ความรู้ที่ไม่มีศูนย์ประสิทธิภาพสูงเข้ากับ Ethereum และ L1 ภายใน ไม่กี่วันใน blockchain, แอปพลิเคชัน Cosmos, L2 rollups และ dApps จะให้การโทรโดยตรงไปยังสัญญาอัจฉริยะ การคำนวณนอกเครือข่ายที่ตรวจสอบได้ การทำงานร่วมกันแบบข้ามเครือข่าย และฟังก์ชันการรวมแบบสากล นอกจากนี้ยังใช้การออกแบบสถาปัตยกรรมแบบกระจายอำนาจครั้งแรก เมื่อรวมกับคุณสมบัติการพิสูจน์แบบเรียกซ้ำ คอมไพเลอร์วงจรแบบกำหนดเอง ความต่อเนื่องของสถานะ และปรับปรุงอัลกอริธึมการพิสูจน์อย่างต่อเนื่อง ทำให้ใครก็ตามสามารถสร้างการพิสูจน์ที่ไม่มีความรู้ประสิทธิภาพสูงสำหรับแอปพลิเคชันที่หลากหลาย
zKVM: zkVM เป็นคอมพิวเตอร์ที่ตรวจสอบได้ซึ่งทำงานเหมือนกับไมโครโปรเซสเซอร์ RISC-V ที่ฝังอยู่จริง เครื่องเสมือนนี้ใช้สถาปัตยกรรมชุดคำสั่ง RISC-V ช่วยให้นักพัฒนาสามารถใช้ภาษาการเขียนโปรแกรมที่หลากหลาย เช่น Rust, C++, Solidity, Go และภาษาการเขียนโปรแกรมระดับสูงอื่น ๆ เพื่อเขียนโปรแกรมที่สามารถสร้างศูนย์ได้ - หลักฐานความรู้ รองรับลัง Rust ยอดนิยมมากกว่า 70% สามารถผสมผสานการประมวลผลทั่วไปและการพิสูจน์ความรู้แบบศูนย์ได้อย่างราบรื่นและสามารถสร้างการพิสูจน์ความรู้แบบศูนย์ที่มีประสิทธิภาพสำหรับการคำนวณความซับซ้อนใด ๆ ในขณะที่ยังคงรักษาความเป็นส่วนตัวของการคำนวณ กระบวนการและการตรวจสอบผลลัพธ์ zkVM ใช้ STARK และ SNARK รวมถึงเทคโนโลยี ZK ที่สร้างหลักฐานและการตรวจสอบที่มีประสิทธิภาพผ่านส่วนประกอบต่างๆ เช่น Recursion Prover และ STARK-to-SNARK Prover ซึ่งสนับสนุนการดำเนินการแบบออฟไลน์และโหมดการตรวจสอบความถูกต้องแบบออนไลน์
Risc Zero ได้รวมเข้ากับเลเยอร์ 2 ที่ใช้ ETH หลายตัว และสาธิตกรณีการใช้งานบอนไซหลายกรณี สิ่งที่น่าสนใจกว่าคือบอนไซเพย์ การสาธิตใช้หลักฐานการให้บริการ zkVM และ Bonsai ของ RISC Zero เพื่อให้ผู้ใช้สามารถส่งหรือถอน ETH และโทเค็นบน Ethereum โดยใช้บัญชี Google โดยแสดงให้เห็นว่า RISC Zero สามารถผสานรวมแอปพลิเคชันออนไลน์เข้ากับ OAuth 2.0 ได้อย่างราบรื่น (มาตรฐานที่ใช้โดยผู้ให้บริการข้อมูลประจำตัวหลัก เช่น Google) ซึ่งเป็นกรณีการใช้งานการผสานรวมที่ช่วยลดอุปสรรคในการเข้าสู่ผู้ใช้ Web3 เหนือแอปพลิเคชัน Web2 แบบดั้งเดิม เหนือสิ่งอื่นใด ตัวอย่างตามแอปพลิเคชันเช่น DAO
3.3 =ไม่มี;
=nil; มีการลงทุนโดยโครงการและสถาบันที่มีชื่อเสียง เช่น Mina, Polychain, Starkware และ Blockchain Capital การรับรู้ทางเทคนิคของโครงการยังอยู่ในระดับสูง =nil; นอกจากนี้ยังเป็นโครงการที่กล่าวถึงในรายงานการวิจัยของเราเรื่อง ตลาดพลังงานคอมพิวเตอร์ ในเวลานั้น มุ่งเน้นไปที่ตลาด Proof Market ของ =nil; (ตลาดการสร้าง Proof แบบกระจายอำนาจ) จริง ๆ แล้วโปรเจ็กต์นี้มีผลิตภัณฑ์ย่อยด้วย นั่นคือ zkLLVM
zkLLVM เป็นวงจรคอมไพเลอร์ที่เป็นนวัตกรรมใหม่ที่พัฒนาโดย =nil; Foundation สามารถแปลงโค้ดแอปพลิเคชันที่เขียนด้วยภาษาการพัฒนากระแสหลัก เช่น C++ และ Rust ให้เป็นวงจรที่มีประสิทธิภาพบน Ethereum ได้โดยอัตโนมัติโดยไม่ต้องใช้ภาษาเฉพาะด้าน (DSL) ทำให้กระบวนการพัฒนาง่ายขึ้นและลดเกณฑ์การพัฒนาลงอย่างมาก ขณะเดียวกันก็ปรับปรุงประสิทธิภาพโดยไม่เกี่ยวข้องกับ zkVM (เครื่องเสมือนที่ไม่มีความรู้) รองรับการเร่งด้วยฮาร์ดแวร์เพื่อเพิ่มความเร็วในการสร้างหลักฐาน Rollups, Cross-chain Bridge, สถานการณ์การใช้งาน ZK ต่างๆ เช่น oracles, การเรียนรู้ของเครื่อง และเกม และบูรณาการอย่างแน่นหนากับ =nil; Proof Market ของ Foundation เพื่อให้นักพัฒนาได้รับการสนับสนุนแบบ end-to-end ตั้งแต่การสร้างวงจรไปจนถึงการสร้างการพิสูจน์
3.4 เบรวิส
โปรเจ็กต์นี้เป็นโปรเจ็กต์ย่อยของ Celer Network Bervis เป็นตัวประมวลผลร่วมอัจฉริยะแบบศูนย์ความรู้ (ZK) สำหรับบล็อกเชนที่ช่วยให้ dApps เข้าถึง คำนวณ และใช้งานข้ามบล็อกเชนหลายรายการในลักษณะที่ไม่น่าเชื่อถือโดยสิ้นเชิง เช่นเดียวกับโปรเซสเซอร์ร่วมอื่นๆ Brevis ยังมีกรณีการใช้งานที่หลากหลาย เช่น DeFi ที่ขับเคลื่อนด้วยข้อมูล, zkBridges, การได้มาซึ่งผู้ใช้แบบออนไลน์, zkDID และการสร้างบัญชีโซเชียล
สถาปัตยกรรมของ Brevis ส่วนใหญ่ประกอบด้วยสามส่วน:
zkFabric: zkFabric เป็นตัวทำซ้ำสำหรับสถาปัตยกรรม Brevis หน้าที่หลักคือการรวบรวมและซิงโครไนซ์ข้อมูลส่วนหัวของบล็อกจากบล็อกเชนที่เชื่อมต่อทั้งหมด และสุดท้ายก็สร้างการพิสูจน์ที่เป็นเอกฉันท์สำหรับส่วนหัวของบล็อกแต่ละส่วนที่รวบรวมผ่านวงจรไคลเอ็นต์ ZK light
zkQueryNet: zkQueryNet เป็นตลาดเอ็นจิ้นการสืบค้น ZK แบบเปิดที่สามารถรับการสืบค้นข้อมูลโดยตรงจากสัญญาอัจฉริยะในห่วงโซ่ และยังสามารถสร้างผลลัพธ์การสืบค้นและใบรับรองการสืบค้น ZK ที่เกี่ยวข้องผ่านวงจรกลไกการสืบค้น ZK เอ็นจิ้นเหล่านี้มีตั้งแต่ความเชี่ยวชาญขั้นสูง (เช่น การคำนวณปริมาณการซื้อขายของ DEX ในช่วงเวลาที่กำหนด) ไปจนถึงบทคัดย่อดัชนีข้อมูลทั่วไปขั้นสูงและภาษาการสืบค้นระดับสูง เพื่อตอบสนองความต้องการการใช้งานที่หลากหลาย
zkAggregatorRollup: ทำหน้าที่เป็นเลเยอร์การรวมและการจัดเก็บสำหรับ zkFabric และ zkQueryNet โดยจะตรวจสอบการพิสูจน์ของทั้งสององค์ประกอบ จัดเก็บข้อมูลที่ได้รับการรับรอง และส่งมอบสถานะการพิสูจน์ ZK ให้กับบล็อกเชนที่เชื่อมต่อทั้งหมด ทำให้ dApps สามารถเข้าถึงข้อมูลที่ได้รับการรับรองในตรรกะทางธุรกิจของผลการค้นหาสัญญาอัจฉริยะแบบออนไลน์ได้โดยตรง
ด้วยสถาปัตยกรรมแบบโมดูลาร์นี้ Brevis สามารถให้การเข้าถึงสัญญาอัจฉริยะที่น่าเชื่อถือ มีประสิทธิภาพ และยืดหยุ่นบนเครือข่ายสาธารณะที่รองรับทั้งหมด โปรเจ็กต์นี้ยังถูกนำมาใช้ใน UNI เวอร์ชัน V4 และรวมเข้ากับ Hooks ในโปรโตคอล (ระบบที่รวมตรรกะที่กำหนดเองสำหรับผู้ใช้ที่หลากหลาย) เพื่ออำนวยความสะดวกในการอ่านข้อมูลบล็อกเชนในอดีต ลดค่าธรรมเนียมก๊าซ และรับประกันคุณสมบัติการกระจายอำนาจ นี่คือตัวอย่างของโปรเซสเซอร์ร่วม zk ที่ขับเคลื่อน DEX
3.5 ลากรองจ์
Lagrange เป็นโปรโตคอลตัวประมวลผลร่วม zk ที่นำโดย 1kx และ Founders Fund วัตถุประสงค์หลักของโปรโตคอลคือการมอบการทำงานร่วมกันแบบข้ามสายโซ่ที่ไว้วางใจได้ และสนับสนุนนวัตกรรมของแอปพลิเคชันที่ต้องมีการคำนวณข้อมูลขนาดใหญ่ที่ซับซ้อน การทำงานร่วมกันแบบข้ามสายโซ่ของ Lagrange ต่างจากโหนดบริดจ์แบบดั้งเดิม โดยส่วนใหญ่ทำได้สำเร็จผ่านกลไก ZK Big Data และ State Committee ที่เป็นนวัตกรรมใหม่
ZK Big Data: ผลิตภัณฑ์นี้เป็นแกนหลักของ Langrange และมีหน้าที่หลักในการประมวลผลและตรวจสอบข้อมูลข้ามสายโซ่ และสร้างใบรับรอง ZK ที่เกี่ยวข้อง ส่วนประกอบนี้ประกอบด้วยตัวประมวลผลร่วม ZK แบบขนานสูงสำหรับการคำนวณนอกเครือข่ายที่ซับซ้อนและสร้างการพิสูจน์ความรู้แบบศูนย์ ฐานข้อมูลที่ตรวจสอบได้ออกแบบมาเป็นพิเศษรองรับสล็อตพื้นที่เก็บข้อมูลไม่จำกัดและการสืบค้น SQL โดยตรงสำหรับสัญญาอัจฉริยะเท่านั้น ใช้เวลาในการพิสูจน์ พร้อมด้วยฟังก์ชันการทำงานแบบผสานรวมที่ช่วยให้นักพัฒนาสามารถเข้าถึงข้อมูลในอดีตโดยใช้คำสั่ง SQL โดยตรงจากสัญญาอัจฉริยะโดยไม่ต้องเขียนวงจรที่ซับซ้อน ร่วมกันสร้างระบบการประมวลผลและการตรวจสอบข้อมูลบล็อกเชนขนาดใหญ่
คณะกรรมการของรัฐ: องค์ประกอบนี้เป็นเครือข่ายการตรวจสอบแบบกระจายอำนาจที่ประกอบด้วยโหนดอิสระหลายโหนด โดยแต่ละโหนดให้คำมั่นสัญญา ETH เป็นหลักประกัน โหนดเหล่านี้ทำหน้าที่เป็นไคลเอ็นต์ ZK light และมีไว้เพื่อตรวจสอบสถานะของการเพิ่มประสิทธิภาพเฉพาะอย่างโดยเฉพาะ State Committee ผสานรวมกับ AVS ของ EigenLayer ใช้กลไกการจำนำอย่างหนักเพื่อเพิ่มความปลอดภัย รองรับการมีส่วนร่วมของโหนดไม่จำกัดจำนวน และบรรลุการเติบโตด้านความปลอดภัยเชิงเส้นตรงขั้นสูง นอกจากนี้ยังมี โหมดด่วน ที่ให้ผู้ใช้สามารถดำเนินการข้ามสายโซ่ได้โดยไม่ต้องรอกรอบเวลาท้าทาย ซึ่งช่วยปรับปรุงประสบการณ์ผู้ใช้ได้อย่างมาก การรวมกันของเทคโนโลยีทั้งสองนี้ช่วยให้ Lagrange สามารถประมวลผลข้อมูลขนาดใหญ่ได้อย่างมีประสิทธิภาพ ทำการคำนวณที่ซับซ้อน และส่งและตรวจสอบผลลัพธ์ระหว่างบล็อกเชนที่แตกต่างกันอย่างปลอดภัย โดยให้การสนับสนุนสำหรับการพัฒนาแอปพลิเคชันข้ามสายโซ่ที่ซับซ้อน
ปัจจุบัน Lagrange ถูกรวมเข้ากับ EigenLayer, Mantle, Base, Frax, Polymer, LayerZero, Omni, AltLayer ฯลฯ และจะเชื่อมโยงในระบบนิเวศ Ethereum ในฐานะ ZK AVS ตัวแรก
อ้างอิง
1.ABCDE: เจาะลึกเข้าไปในตัวประมวลผลร่วม ZK และอนาคต: https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
2. “ZK” คือสิ่งที่คุณต้องการ: https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52
3.Risc ศูนย์: https://www.risczero.com/bonsai
4.ลากรองจ์: https://www.lagrange.dev/blog/interoperability-for-modular-blockchains-the-lagrange-thesis
5.AxiomBlog: https://blog.axiom.xyz/
6. ไนโตรเจนเร่ง! วิธีที่โปรเซสเซอร์ร่วม ZK ทลายกำแพงข้อมูลสัญญาอัจฉริยะ: https://foresightnews.pro/article/detail/48239
