coprocessor คืออะไร?

โม ดง, ผู้ร่วมก่อตั้งของ Celer Network และ Brevis เชื่อว่าโดยพื้นฐานแล้ว coprocessor เป็นเครื่องมือที่“ให้สัญญาอัจฉริยะความสามารถของ Dune Analytics.”

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

เกี่ยวกับโปรโตคอลการจัดการ Likwiditi การประเมินผลการดำเนินงานในอดีตของพูลทดสอบที่มีอยู่หรือพูลผู้ใช้ยังต้องใช้ API ของบริการดัชนีซึ่งโฮสต์บนเชน ข้อมูลเหล่านี้จึงถูกคำนวณด้วย Excel อย่างดิ้นทาง มีบริการใดที่สามารถทำให้กระบวนการนี้ง่ายขึ้นโดยให้สัญญาเชิงธุรกิจ dapp มีความสามารถในการรวม.io, กรอง และวิเคราะห์ข้อมูลเหล่านี้โดยตรงหรือไม่? Coprocessors ถูกออกแบบเพื่อแก้ปัญหานี้

ทำไมมันถึงเรียกว่า coprocessor ครับ?

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

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

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

การทำงานของคอ-โปรเซสเซอร์ทั่วไปมีอย่างไรบ้าง?

โดยทั่วไป ขั้นตอนการทำงานหลักของ coprocessor ที่ยืนยันข้อมูล Ethereum คือ ดังนี้:

1. คิวรี่ข้อมูลประวัติและดำเนินการคำนวณที่เกี่ยวข้องในสภาพแวดล้อมออฟเชนผ่านบริการ;

2. บริการจะสร้างประเภทหนึ่งของพิสูจน์เพื่อพิสูจน์ว่าการดำเนินการของมันเชื่อถือได้;

3. Dapp ของนักพัฒนาจะทำการโต้ตอบกับสัญญา coprocessor ที่ถูกติดตั้งบน Ethereum เพื่อทำการตรวจสอบพิสูจน์;

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

โครงการในพื้นที่ Coprocessor หรือ Broad Verifiable Computation Space

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

Axiom

Axiom เป็นผู้บุกเบิกในพื้นที่ coprocessor โดยกำลังสร้างโครงสร้างพื้นฐานข้อมูล on-chain เพื่อความสะดวกในการโต้ตอบกับข้อมูล on-chain ในสมาร์ทคอนแทรค นอกจากนี้ยังมีเครดิตจากการนำเสนอแนวคิด coprocessors เราจะศึกษาลึกลงถึงวิธีการทำงานของ coprocessor ของพวกเขาในบทความนี้โดยใช้ Axiom เป็นตัวอย่าง

ลาแกรง

Lagrange เน้นการพิสูจน์สถานะครอสเชนและเทคนิคการประมวลผลแบบขนานกัน พวกพวกพิสูจน์ของพวกเขาสามารถบรรลุการยืนยันครอสเชนโดยไม่ขึ้นอยู่กับโปรโตคอลการส่งข้อความข้ามเชน เช่น zkBridge หรือ IBC พิสูจน์ของ Lagrange’s Parallel Prover เหมาะสำหรับผลิตภัณฑ์ที่เกี่ยวข้องกับการ Re-staking ทำให้ตำแหน่งของพวกเขาสมบูรณ์ในระบบ RaaS (Rollup as a Service)

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

หนึ่งในกรณีใช้จริงคือการใช้แอปลิเคชันของ Lagrange บน AltLayer AltLayer предлага услуги поยืนยันทำงานอย่างใจจริงสำหรับ Restaked Rollup โดยช่วยให้นักพัฒนาสามารถนำการเรียงลำดับแบบกระจายและยืนยันความถูกต้องของสถานะ Rollup ได้อย่างมีประสิทธิภาพ ในเดือนมีนาคม 2024 Lagrange ได้เข้าพันธ์กับ AltLayer เพื่อใช้ตัวพิสูจน์แบบขนานสำหรับการประมวลผลร่วมของ Rollup นี้ นี้ ทำให้มั่นใจได้และไม่มีความเชื่อถือในข้อมูลและผลการคำนวณบนโซน AltLayer's RaaS

Herodotus

เชื่อมโยงอย่างใกล้ชิดกับระบบนิยมของ Starkware/Starknet, Herodotus ร่วมงานกับโครงการเช่น Snapshot พวกเขาเรียกระบบ coprocessor ของตนว่า "Storage Proof" ซึ่งสามารถรวมกับพิสูจน์ ZK เพื่อเปิดให้เป็นไปได้ในการเข้าถึงข้อมูลระหว่างชั้นที่แตกต่างกันของ Ethereum

แหล่งที่มา: เว็บไซต์เฮโรโดตัส

ระบบพิสูจน์การเก็บรักษาประกอบด้วยสามส่วน:

1. Inclusion Proofs: ยืนยันว่าข้อมูลมีอยู่จริงภายในโครงสร้างข้อมูลของ Ethereum
2. Proofs of Computation: ตรวจสอบความถูกต้องของขั้นตอนการทำงานหลายขั้นตอนโดยเฉพาะอย่างยิ่งเมื่อเกี่ยวข้องกับการแปลงข้อมูลหรือการดำเนินการอื่น ๆ
3. ZK Proofs: ช่วยให้สมาร์ทคอนแทรคต์สามารถยืนยันความถูกต้องของพิสูจน์โดยไม่ต้องประมวลผลข้อมูลที่อยู่ด้านล่างทั้งหมด ข้อมูลใดที่อยู่ในเชนสามารถพิสูจน์ได้ด้วยระบบพิสูจน์จัดเก็บ

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

Brevis

พัฒนาโดย Celer Network, Brevis เป็นโครงสร้างพื้นฐานสำหรับการสร้างบริการข้อมูล on-chain ต่าง ๆ รวมถึง ZK coprocessors Celer Network โปรโตคอลสำหรับการทำงานร่วมกันที่ถูกก่อตั้งขึ้นโดย Mo Dong และ Qingkai Liang ได้ระดมทุนได้ 4 ล้านเหรียญใน IEO (Initial Exchange Offering) ในปี 2019

Celer Network ได้นำเสนอสัญญาสั้นon-chain. สัญญานี้ยืนยันพิสูจน์จากคำขอ coprocessor และส่งผลลัพธ์กลับไปยังสัญญา dapp ผ่านฟังก์ชัน callback นั่นเอง นักพัฒนาสามารถใช้ Brevis SDK เพื่อเปิดให้ dapps สามารถเข้าถึงข้อมูลประวัติ on-chain ได้อย่างง่ายดาย SDK นี้ทำให้วงจรซับซ้อนหายไปโดยไม่ต้องให้นักพัฒนาทราบความรู้พื้นฐานเกี่ยวกับ ZK proofs โดย Brevis SDK ถูกสร้างบนโครงสร้าง gnark ที่พัฒนาโดยทีม Consensys Linea นอกจากนี้ Brevis ยังรองรับ Ethereum’s ZK light client ซึ่งทำให้สามารถทำงานกับข้อมูล on-chain จากบล็อกเชน Ethereum EVM-compatible ใดก็ได้

แหล่งที่มา: เอกสารสรุป

Celer Network กำลังพัฒนาอยู่coChain, บล็อกเชนที่เน้นที่ระบบ RaaS โดยใช้ Brevis เป็นพื้นฐาน coChain เป็นบล็อกเชนที่ใช้วิธีการยืนยันแบบ Proof-of-Stake (PoS) และสามารถให้บริการ Ethereum staking และ slashing Slashing หมายถึงกระบวนการลงโทษผู้ตรวจสอบที่ละเมิดกฎในระบบ Ethereum PoS ซึ่งรวมถึงการปรับปรุงและการเปลี่ยนแปลงสถานะ ในประวัติศาสตร์ อัตราการลงโทษในระบบ Ethereum staking มีระดับต่ำมาก ด้วยข้อมูลที่แสดงให้เห็นว่ามีเพียงประมาณ 0.04% ของผู้ตรวจสอบถูกตัดสิงห์

คุณสมบัติที่เป็นเอกลักษณ์ของ coChain คือการเชื่อมโยงการสร้างผลลัพธ์ของ coprocessor กับรางวัลและการลงโทษของ Ethereum staking นี่คือขั้นตอน:

1. สัญญาอัจฉริยะส่งคำขอ coprocessor และกลไกความเห็น PoS สร้างผลลัพธ์ coprocessor;
2. ผลลัพธ์ที่สร้างจาก PoS ถูกส่งเข้าบล็อกเชนเป็น "ข้อเสนอ" ซึ่งสามารถถูก "เรียกร้อง" ด้วยพิสูจน์ความจริงโดยไม่เปิดเผย (ZK)
3. หากความท้าทายในการพิสูจน์ ZK ประสบความสำเร็จ ซึ่งหมายถึงการละเมิดของผู้ตรวจสอบระหว่างการจำนงเงิน การถือครองของผู้ตรวจสอบที่เกี่ยวข้องจะถูกรีดตัดโดยตรงบนเอเธอเรียม ในทางกลับกัน หากผลลัพธ์ที่สร้างจาก PoS ยังไม่ได้รับการโต้วาที แอปพลิเคชันสามารถใช้ผลลัพธ์ที่ได้จาก coprocessor โดยตรงโดยไม่เสียค่าใช้จ่ายในการพิสูจน์ ZK การเข้าใจในรูปแบบของความท้าทายในการพิสูจน์ที่เชื่อมั่น ที่คล้ายกับ Optimism จะช่วยลดต้นทุนลง

โดยรวมแล้ววิธีการของ coChain รวมระบบกระตุ้นความเชื่อ/การตรวจสอบของ coprocessors กับระบบ Ethereum staking ร่วมกัน ในอนาคต จะรวมระบบกับ EigenLayer เพื่อลดต้นทุนการพิสูจน์ของ ZK coprocessors

Nexus

Nexus zkVM ช่วยให้สามารถยืนยันผลการคำนวณบนโซนได้ คุณสมบัติที่เป็นเอกลักษณ์ของ它คือความสามารถในการตรวจสอบ ZK proofs โดยใช้เทคนิค folding พบในปี 2022, Nexus เป็นผู้เข้าร่วมอีกคู่ในพื้นที่ zkVM ในขณะที่รายละเอียดยังไม่ได้เปิดเผยอย่างกว้างขวาง ผู้ก่อตั้ง ดาเนียล มาริน (จบจากสแตนฟอร์ด มีประสบการณ์ก่อนหน้าที่ Google) ได้เผยแพร่early research papersผ่านสโตนฟอร์ดบล็อกเชนคลับ

เทคโนโลยี ZK folding ถือว่าเป็นสาขาที่มีความเป็นมัสตัวในโซลูชัน zkVM ใน Nexus zkVM รองรับการตรวจสอบทั้งหลักฐานการพับและโครงสร้างการสะสม มีเป้าหมายที่จะเป็น zkVM แบบมีความทรงคุณภาพ โมดูลาร์ และโอเพนซอร์ส สแต็คที่ใช้ทางเทคนิคของพวกเขารวมถึงกลไกการรวมพิสูจน์ขนาดใหญ่แบบพีระมิดที่พื้นฐานอยู่บนการคำนวณที่สามารถยืนยันได้เรื่อยๆ (IVC) และรูปแบบการพับต่างๆ เช่น Nova, CycleFold, SuperNova, และ HyperNova พวกเขากำลังพัฒนาเครือข่าย Nexus Network ซึ่งเป็นเครือข่ายการทำเหมืองพิสูจน์ในขอบเครือข่ายขนาดใหญ่ที่สร้างขึ้นบน Nexus zkVM

แหล่งที่มา: เอกสาร Nexus, โครงสร้าง Nexus zkVM

ตารางเปรียบเทียบวิธีการทางเทคนิคและข้อได้เปรียบเทียบในเส้นทางคอพรอเซสเซอร์

อย่างที่คุณเห็นโครงการต่าง ๆ ได้เลือกสแต็คทางเทคนิคที่แตกต่างกันตามระบบนิเวศที่แตกต่างกัน (Ethereum EVM, RaaS, cross-chain, Ethereum cross-layer), วิธีการพิสูจน์ที่แตกต่างกัน (Rollup vs ZK) หรือโซลูชันที่แตกต่างกันภายในหลักฐาน ZK (zk-SNARK, หลักฐานการพับ, แผนการสะสม ฯลฯ ) พวกเขาแต่ละคนมีจุดแข็งและจุดอ่อนเกี่ยวกับความได้เปรียบในการแข่งขันและในที่สุดก็นําเสนอรูปแบบผลิตภัณฑ์ที่แตกต่างกัน: สัญญาแบบ on-chain แบบโต้ตอบ SDK และเครือข่ายที่ออกแบบมาเพื่อวัตถุประสงค์ต่างๆเช่นเครือข่ายการตรวจสอบการปักหลักและเครือข่ายการตรวจสอบขนาดใหญ่

แหล่งที่มา: โดยผู้เขียน

การดำเนินการที่เฉพาะเจาะจงของ Coprocessors: กรณีของ Axiom

ทำไมเลือก Axiom?

Axiom เป็น coprocessor ของการพิสูจน์ ZK ที่สร้างขึ้นสำหรับ Ethereum มันช่วยให้สมาร์ทคอนแทรคสามารถเข้าถึงข้อมูล on-chain ในอดีตและรับประกันความเชื่อถือของการคำนวณ off-chain ผ่านเทคโนโลยี ZK proof Axiom ได้ถูกสร้างขึ้นโดย Jonathan Wang และ Yi Sun เมื่อปี 2022 ในวันที่ 25 มกราคม 2024 Axiomประกาศบนทวิตเตอร์ว่าได้รับเงิน 20 ล้านดอลลาร์ในการระดมทุนซีรีย์ A โดยนำโดย Paradigm และสแตนดาร์ดคริปโต นี่เป็นโครงการแรกที่เสนอแนวคิดของ "coprocessor" และยังเป็นหนึ่งในโครงการที่ได้รับการสนับสนุนทุนจากทุนทรัพย์มากที่สุดในวงการ

แหล่งที่มา: Axiom Official X Account

ประวัติศาสตร์ของ Axiom

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

Axiom ใช้เทคโนโลยี ZK Proof อะไร?

Axiom ใช้ระบบพิสูจน์ SNARK ที่ใช้ Halo2 และ KZG และเครื่องมือพิสูจน์ ZK เช่นตารางค้นหา (LUTs) ในปัจจุบัน ในอดีต พิสูจน์ ZK ซับซ้อนและยากต่อการตรวจสอบ ตารางค้นหาคือชุดของค่าที่คำนวณล่วงหน้าซึ่งช่วยให้ prover สามารถพิสูจน์ต่อ verifier ได้อย่างมีประสิทธิภาพว่าค่านั้นมีอยู่

วิธีการทำงานของ Axiom V2

ในเดือนมกราคม พ.ศ. 2567 Axiom V2 ได้เริ่มให้บริการบน Ethereum mainnet โดยรองรับการเข้าถึงธุรกรรม ใบเสร็จ การจัดเก็บสัญญา หัวบล็อก และข้อมูลอื่น ๆ จากสมาร์ทคอนแทรค นี่หมายความว่าตอนนี้มันรองรับการเข้าถึงข้อมูลประวัติทั้งหมดบน Ethereum mainnet แล้ว

โดยใช้เครื่องมือ SDK ที่พัฒนาโดย Axiom นักพัฒนาสามารถเขียนวงจร Axiom ใน Typescript เพื่อออกคำขอข้อมูลและปรับแต่งการคำนวณ Axiom อยู่ข้างหน้าเพราะมันทำให้สัญญาอัจฉริยะสามารถเข้าถึงข้อมูล on-chain ได้อย่างง่าย

1. นักพัฒนาใช้ Axiom Typescript SDK เพื่อเขียนวงจร Axiom และส่งคำขอการคำนวณการยืนยัน ZK สำหรับข้อมูลประวัติ Ethereum;

2. Axiom ดำเนินการคำนวณตามที่ขอและสร้างพิสูจน์ ZK ที่พิสูจน์ถูกต้องของข้อมูลและผลลัพธ์การคำนวณ;

3. นักพัฒนานำฟังก์ชันการโทรกลับมาใช้ในสมาร์ทคอนแทรคเพื่อตรวจสอบและดำเนินการข้อมูลที่ถูกส่งมาจาก Axiom พร้อมกับผลลัพธ์ของ ZK proof;

4. Axiom queries by sending a transaction on-chain, and the returned result is encrypted by ZK proof to ensure its credibility.

อย่างไรก็ตาม, ไม่เหมือน Herodotus, Axiom ในปัจจุบันไม่รองรับการค้นหาข้อมูลทางประวัติศาสตร์จากเครือข่าย Ethereum EVM อื่น หรือเครือข่าย L2 เท่านั้น และให้ความสนใจเฉพาะที่ Ethereum mainnet เท่านั้น การรองรับคุณลักษณะที่เกี่ยวข้องในอนาคตไม่ได้ถูกปฏิเสธ.

การใช้ประโยชน์จาก Axiom V2

ในชั้นแอปพลิเคชั่น Axiom สามารถช่วย dapps ในการนำเสนอฟังก์ชันต่อไปนี้:

• ให้รางวัลและโปรแกรมความภักดิ์ในการให้บริการโดยขึ้นอยู่กับบันทึกกิจกรรม on-chain ของผู้ใช้
• ปรับปรุงความรับผิดชอบตามพฤติกรรมบนเชื่อมโยงข้อมูลของผู้ใช้
• สร้างออรัคเคิลที่สามารถปรับแต่งตามความต้องการของตัวตน การปกครอง และการตกลง

สรุป

ผู้นำในพื้นที่ coprocessor ในปัจจุบัน คือ Axiom มีความสัมพันธ์ที่สมบูรณ์กับโครงการ light node เช่น Succinct ซึ่งพยายามพิสูจน์ Ethereum consensus เอง ในขณะที่ Axiom พิสูจน์ข้อมูลประวัติศาสตร์ on-chain ใดๆ โต้ตอบกับ consensus โดยสมมติว่าผลลัพธ์ consensus ได้รับการยอมรับ

วงจรของ ZK proof กำลังพัฒนาอย่างรวดเร็วด้วยการประดิษฐ์นวัตกรรมเช่นพิสูจน์พับ, โครงสร้างการสะสม, และตารางการค้นหาขนาดใหญ่ การเติบโตนี้ได้ดึงดูดความสนใจไปยังโครงการเช่น Nexus ซึ่งสนับสนุนการก้าวหน้าล่าสุดในเทคโนโลยี ZK proof ในขณะที่ ZK proof เริ่มกลายเป็นแนวโน้มหลักๆ โครงการอื่น ๆ เช่น Lagrange ก็ได้รับการสนใจเนื่องจากการให้พิสูจน์สำหรับ Rollup ผ่านตัวพิสูจน์ขนาดใหญ่, ซึ่งจะช่วยเติมช่องว่างในตลาด

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