原文作者: YBB Capital Researcher Zeke
TLDR
ZK 協處理器(ZK Coprocessor)可視為從模組化概念衍生出的一種鏈下計算插件，其作用類似於我們傳統電腦中為CPU 分擔圖形計算任務的GPU，即針對特定場景下分擔計算任務的處理器；
可用於處理複雜計算和重數據，降低 Gas 費，擴展智慧合約功能；
與 Rollup 的差異：ZK 協處理器無狀態，可跨鏈使用，適用於複雜計算場景；
ZK 協處理器的開發難度高，效能開銷大，標準化不足。而硬體方面又需要大量成本，該賽道雖然較一年前已經成熟了許多，但仍處於較早；
基建邁入分形擴充的模組化時代後，區塊鏈陷入流動性匱乏、用戶分散、缺乏創新與跨鏈互通性等多種問題，又與垂直擴容的L1之間形成悖論。 ZK 協處理器未來或許能為兩者提供良好的補強，讓兩者跳出困境，並為舊應用及新興重應用提供效能支撐，帶來更多新鮮敘事。
一.模組化基建的另一個分支，ZK 協處理器
1.1 ZK 協處理器概述
ZK 協處理器(ZK Coprocessor)可視為從模組化概念衍生出的一種鏈下計算插件，其作用類似於我們傳統電腦中為CPU 分擔圖形計算任務的GPU，即針對特定場景下分擔計算任務的處理器。在這種設計框架下，公鏈所不擅長的「重數據」以及「複雜計算邏輯「任務可透過ZK 協處理器去運算，鏈上只需收到返回的計算結果即可，其正確性則由ZK proof 保證，最終實現對複雜任務的可信鏈下計算。
當下AI、SocialFi、DEX、GameFi 等熱門應用程式對於高效能和成本控制有著迫切需求，在傳統方案中，這些需要高效能的「重應用」往往會選擇資產上鍊+鏈下應用的形式，或者，單獨為應用設計一條應用鏈。但兩者都存在一些固有問題，例如前者存在黑盒子，後者存在開發成本高、脫離原鏈生態、流動性割裂等問題。除此之外，主鏈虛擬機器對於這類應用的開發及運作限制也很大（例如缺乏應用層標準、開發語言複雜）。
ZK 協處理器的存在就是為了解決這類問題，再舉一個更詳細的例子，我們可以把區塊鏈視為一個無法連網的終端（手機、電腦等），在這種情況下我們可以運行一些較簡單的應用，例如Uniswap 等DeFi 應用就可以在完全鏈上的情況下運作。但當更複雜的應用出現時，例如運行一個類似 ChatGPT 的應用，此時公鏈的效能與儲存就會完全不足，並且 Gas 爆炸。在Web2的情況下，我們執行ChatGPT 時也是如此，常用終端機本身並不能處理GPT-4 o 這個大語言模型，我們需要透過連網將問題傳達給OpenAI 的伺服器，在經過伺服器運算推理結果後，我們會直接收到答案。 ZK 協處理器就類似區塊鏈的遠端伺服器，只不過在針對不同類型專案的情況下，不同協處理器專案的設計上可能會有些許偏差，但底層的邏輯並不會有太大差別，都是透過鏈下計算+ZK proof 或Storage proofs 進行驗證的方式。我們以Rise Zero 的Bonsai 部署為例，就能明白這種架構的邏輯很簡潔，該專案無縫整合於Rise Zero 自身的zkVM 中，開發者要將Bonsai 作為協處理器只需很簡單的兩個步驟：
編寫一個zkVM 應用程式來處理應用邏輯；
寫一個Solidity 合約，要求Bonsai 運行你的zkVM 應用程序，並處理結果。
1.2 與 Rollup 的差別是？
在上文的定義中，我們會發現 Rollup 無論實現邏輯或目標，似乎都與 ZK 協處理器有著高度重合的情況。但事實上 Rollup 更像是主鏈的多核心化，兩者的具體差異如下：
1.主要目的：
Rollup：提高區塊鏈的交易吞吐量和降低交易費用。
ZK 協處理器：擴展智慧合約的運算能力，使其能夠處理更複雜的邏輯和更大量的資料。
2.工作原理：
Rollup：在匯總鏈上交易提至主鏈，透過詐欺證明或 ZK 證明。
ZK 協處理器：與 ZK Rollup 相似，只不過兩者應用場景不同，ZK Rollup 受限於鏈的形態與規則並不適合做 ZK 協處理器的工作。
3.狀態管理：
Rollup：需要維護自己的狀態，定期與主鏈同步。
ZK 協處理器：不維護持久狀態，每次計算都是無狀態的。
4.應用場景：
Rollup：主要面向 C 端，適用於高頻交易。
ZK 協處理器：主要面向 B 端，適用於需要複雜運算的場景，如高階金融模型、大數據分析等。
5.與主鏈的關係：
Rollup：可以看作是主鏈的擴展，通常專注於特定的區塊鏈網路。
ZK 協處理器：可以為多個區塊鏈提供服務，不限於特定的主鏈，所以同樣可以為 Rollup 提供服務。
所以兩者本質上並不相斥，甚至是互補的關係，即使某個 Rollup 以應用鏈的形式存在，ZK 協處理器依舊可以提供服務。
1.3 用例
理論上來說 ZK 協處理器的應用範圍非常廣闊，基本上可以涵蓋區塊鏈各賽道的專案。 ZK 協處理器的存在能使 Dapp 的功能更接近Web2中心化 app 的功能，以下是從網路上收集的一些示範用例：
數據驅動的 DApp 開發
ZK 協處理器使開發者能夠創建利用全鏈歷史資料的資料驅動型 DApp,並執行複雜計算,而無需額外的信任假設。這為 DApp 開發帶來了前所未有的可能性,例如:
進階資料分析:類似 Dune Analytics 的鏈上資料分析功能。
複雜業務邏輯:實現傳統中心化應用中的複雜演算法和業務邏輯。
跨鏈應用:基於多鏈資料建立跨鏈 DApp。
DEX 的 VIP 交易員計劃
一個典型的應用場景是在去中心化交易所(DEX)中實現基於交易量的費用優惠計劃，即VIP 交易員忠誠度計劃。這類計劃在中心化交易所(CEX)中很常見，但在 DEX 中卻很少見。
使用 ZK 協處理器，DEX 可以:
追蹤用戶的歷史交易量
計算使用者的 VIP 等級
根據等級動態調整交易費用
這種功能可以幫助 DEX 提高用戶留存率，增加流動性，並最終提升收入。
智能合約的資料增強
ZK 協處理器可以作為強大的中間件，為智慧合約提供資料擷取、運算和驗證服務，從而降低成本並提高效率。這使得智能合約能夠:
存取和處理大量歷史數據
執行複雜的鏈下計算
實現更高階的業務邏輯
跨鏈橋技術
一些基於 ZK 的跨鏈橋技術，如 Herodotus 和 Lagrange，也可被視為 ZK 協處理器的一種應用。這些技術主要關注資料擷取和驗證,為跨鏈通訊提供了可信的資料基礎。
1.4 ZK 協處理器並不完美
雖然我們羅列了許多優點，但目前階段的 ZK 協處理器並不完美，還需要面臨許多問題。我個人總結瞭如下幾點：
1.開發：ZK 這個概念對許多開發者來說較難理解，開發還需要相關的密碼學知識以及掌握特定的開發語言和工具等；
2.硬體成本高昂：鏈下運算所使用的 ZK 硬體需要完全由專案方本身完全承擔，ZK 硬體昂貴且還在快速的發展迭代之中，硬體很可能隨時淘汰。這是否能形成商業邏輯上的閉環也是一個值得思考的問題；
3.賽道擁擠: 技術實現上其實都不會有特別大的差別，最後很可能與當前 Layer 2 的格局相似，有幾個突出項目，但大部分都無人問津；
4.zk 電路：在zk 協處理器中執行鏈下計算需要將傳統計算機程式轉換為zk 電路，為每個應用編寫定制電路非常繁雜，而使用zkvm 在虛擬機器中編寫電路又存在計算模型不同造成開銷較大的問題。
二.通往大規模應用的關鍵拼圖
（本章節主觀性較強，僅代表作者個人觀點）
這輪是以模組化基建為主導的周期，如果說模組化這條路徑是正確的，那麼這個週期也許將是通往大規模應用的最後一步。不過在目前階段我們都會有個共同的感受，為什麼只能看到一些老酒新裝的應用，為什麼鏈比應用還多得多，為什麼銘文等新代幣標準就能被稱為本輪最大的創新？
之所以如此缺乏新鮮敘事，本質上還是當前的模組化基建不足以撐出超級應用，尤其是缺乏一些先決條件（全鏈互通性、用戶門檻等），所以變相促成了區塊鏈歷史上最大的割裂。 Rollup 作為模組化時代的核心，速度上是快了，但相應的帶來的問題也很多，也就是我們上文反覆強調的流動性割裂、用戶分散、鍊或者說虛擬機本身依舊限制了應用創新。另一方面，模組化的另一個「關鍵先生」Celestia 開創了 DA 不必在以太坊上的先河，這個想法使得割裂進一步加劇。無論是始於意識形態或 DA 成本，結果就是 BTC 被迫做 DA，其它公鏈要做更具性價比的 DA，現狀就是每條公鏈上少則一個，多則數十個的 Layer 2 項目。最後再加上所有基建與生態項目方都深度學習了Blur（鐵順）開創的積分屠龍（OpenSea）玩法，要求用戶將Token 質押在項目內，這種對於鯨魚一箭三雕（利息、ETH或BTC 的上漲、白嫖的Token）的模式，進一步壓縮了鏈上流動性。
曾經的多頭市場裡，資金只會在數到十幾條公鏈內流轉，甚至可以說只集中在以太坊。而如今的資金分散在數百條公鏈，質押在數千個大差不差的項目之中，鏈上繁榮不再，連以太坊都沒有鏈上活動。那麼東方玩家在 BTC 生態裡 PVP，西方玩家在 Solana 中 PVP 也是無奈之舉。所以我個人目前最關注的是如何促進全鏈流動性聚合，如何支撐新玩法與超級應用的誕生。在全鏈互通性賽道中，傳統的幾個頭部項目，其實一直表現不佳，它們依舊更像傳統跨鏈橋。而新式互通性方案在我們之前的研報也談過，主要是透過聚合多鏈為單鏈的方式，目前在做的有 AggLayer、Superchain、Elastic Chain、JAM 等，此處就不再展開。
總而言之，聚合全鍊是模組化結構下所必須邁過的一道坎，但這道坎還需要邁很久。而ZK 協處理器，是屬於當前階段中更為關鍵的拼圖，除了能加強Layer 2 ，它也能補強Layer 1 ，那是否有可以暫時跳出全鍊和三角悖論這兩個問題，未來能在部分具備廣泛流動性的Layer 1 或Layer 2 上先實現一些符合當下的應用？畢竟目前的區塊鏈應用敘事實在匱乏。另一方面，實現玩法的多樣化，Gas 的控制、大規模應用的出現、甚至是跨鏈、降低用戶門檻，透過整合協處理器方案也會是比投靠中心化更為理想的方案。
三.專案一覽
ZK 協處理器賽道，基本上是在 23 年左右湧現，在當前階段已經較成熟。依據 Messari 的分類，該賽道目前已有的項目可分為三個大垂直領域（通用計算、互通性和跨鏈、AI 和機器訓練）， 18 個項目。其中大部分項目都由頭部 VC 支持，我們在下文中選取不同垂直領域的部分項目進行描述。
3.1 Giza
Giza 是部署在 Starknet 由 StarkWare 官方支援的 zkML（零知識機器學習）協議，專注於使人工智慧模型能夠在區塊鏈智慧合約中可驗證地使用。開發者可以將AI 模型部署到Giza 網絡，Giza 隨後透過零知識證明驗證模型推理的正確性，並以無需信任的方式將結果提供給智慧合約使用。這使得開發者能夠建立結合AI 能力的鏈上應用，同時保持區塊鏈的去中心化和可驗證性。
Giza 透過執行以下三個步驟完成工作流程：
模型轉換：Giza 將常用的ONNX 格式AI 模型轉換為可在零知識證明系統中運作的格式。這允許開發者使用熟悉的工具訓練模型，然後將其部署到Giza 網路。
鏈下推理：當智能合約請求AI 模型推理時，Giza 在鏈下執行實際的計算。這避免了在區塊鏈上直接運行複雜AI 模型的高昂成本。
零知識驗證：Giza 為每次模型推理產生 ZK proof，證明計算是正確執行的。這些證明在鏈上驗證，確保推理結果的正確性，而無需在鏈上重複整個計算過程。
Giza 的方法使得AI 模型可以作為智能合約的可信輸入來源，而不需要依賴中心化的預言機或可信執行環境。這為區塊鏈應用開啟了新的可能性，例如基於AI 的資產管理、詐欺檢測、動態定價。是目前Web3 x AI 中少數邏輯閉環的項目之一，也是協處理在 AI 領域中的一次妙用。
3.2 Risc Zero
Risc Zero 是由多名頭部 VC 支援的協處理器項目，屬於該賽道中的佼佼者。該專案專注於使任意計算能夠在區塊鏈智能合約中可驗證地執行。開發者可以使用Rust 編寫程式並將其部署到RISC Zero 網絡，RISC Zero 隨後透過零知識證明驗證程式執行的正確性，並以無需信任的方式將結果提供給智慧合約使用。這使得開發者能夠建立複雜的鏈上應用，同時保持區塊鏈的去中心化和可驗證性。
我們在上文中已經簡單說過部署與工作的流程，這裡再詳細說說，兩個關鍵元件：
Bonsai：RISC Zero 的Bonsai 是專案中的協處理器元件，它無縫整合於RISC-V 指令集架構的zkVM，允許開發者在幾天內快速將高效能的零知識證明整合到以太坊、L1區塊鏈、Cosmos 應用鏈、L2 rollups 和dApps 中，提供智慧合約直接呼叫、可驗證的鏈下運算、跨鏈互通性和通用rollup 功能，同時採用去中心化優先的分散式架構設計，結合了遞歸證明、客製化電路編譯器、狀態延續和持續改進的證明演算法，使任何人都能為各種應用產生高效能的零知識證明。
zKVM：zkVM 是一個可驗證的計算機，其運作方式類似於真實的嵌入式RISC-V 微處理器。該虛擬機基於RISC-V 指令集架構，允許開發者使用Rust、C++、Solidity、Go 等高級程式語言等多種程式語言，編寫可產生零知識證明的程序，支援超過70% 的熱門Rust crates，實現了通用計算與零知識證明的無縫結合，能夠為任意複雜度的計算生成高效的零知識證明，同時保持計算過程的隱私性和結果的可驗證性，zkVM 採用了包括STARK 和SNARK 在內的ZK 技術，透過Recursion Prover 和STARK-to-SNARK Prover 等組件實現高效的證明產生和驗證，支援鏈下執行和鏈上驗證的模式。
Risc Zero 已經與多個 ETH 系列 Layer 2 集成，並且演示了多個 Bonsai 的用例，其中較有趣的是 Bonsai Pay 。該演示使用RISC Zero 的zkVM 和Bonsai 證明服務於發，允許用戶使用Google 帳戶在以太坊上發送或提取ETH 和代幣。它展示了RISC Zero 如何將鏈上應用程式與OAuth 2.0 （Google 等主要身分提供者使用的標準）無縫集成，這是透過傳統Web2應用程式降低Web3用戶門檻的一次集成用例，除此之外還有基於DAO 等應用的範例。
3.3 =nil;
=nil; 由 Mina、Polychain、Starkware、Blockchain Capital 等知名專案與機構投資，值得注意的是 Mina 與 Starkware 這類 zk 技術前沿的專案方也在其中，說明對專案的技術認可還是較高的。 =nil; 也是曾在我們研報「算力市場」中提及的項目。當時主要集中在=nil; 的 Proof Market（去中心化證明生成市場），該項目其實還有個子產品，zkLLVM。
zkLLVM 是由=nil; Foundation 開發的創新電路編譯器，它能夠將C++、Rust 等主流開發語言編寫的應用程式程式碼自動轉換為以太坊上高效的可證明電路，無需使用專門的零知識領域特定語言（DSL），從而大幅簡化開發流程，降低開發門檻，同時透過不涉及zkVM（零知識虛擬機）的方式提高了效能，支援硬體加速以加快證明產生速度，適用於Rollups、跨鏈橋、預言機、機器學習和遊戲等多種ZK 應用場景，並與=nil; Foundation 的Proof Market 緊密整合，為開發者提供從電路創建到證明生成的端到端支援。
3.4 Brevis
該項目為Celer Network 的子項目，Bervis 是一種用於區塊鏈的智慧零知識(ZK)協處理器，它使dApp 能夠以完全無信任的方式跨多個區塊鏈存取、計算和利用任意數據。同其它協處理一樣，Brevis 同樣擁有廣泛的用例，例如資料驅動的DeFi、zkBridges、鏈上用戶獲取、zkDID、社交帳戶抽象化。
Brevis 的架構主要由三個部分構成：
zkFabric：zkFabric 是 Brevis 架構的中繼器。它的主要任務是收集並同步來自所有連接區塊鏈的區塊頭信息，最後透過 ZK 輕客戶端電路為每個收集的區塊頭生成共識證明。
zkQueryNet：zkQueryNet 是一個開放的ZK 查詢引擎市場，可以直接接受來自鏈上智慧合約的資料查詢，也能夠透過ZK 查詢引擎電路產生查詢結果和對應的ZK 查詢證明。這些引擎範圍從高度專業化（例如計算特定時間內DEX 的交易量）到高度通用的資料索引抽象和進階查詢語言，可滿足各種應用程式需求。
zkAggregatorRollup：充當zkFabric 和zkQueryNet 的聚合和儲存層。它驗證這兩個組件的證明，存儲經過證明的數據，並將其ZK 證明的狀態根提交給所有連接的區塊鏈，從而允許dApp 直接在其鏈上智能合約的業務邏輯中訪問經過證明的查詢結果。
透過這套模組化架構，Brevis 可以為所有支援的公鏈鏈上智慧合約，提供無需信任、高效且靈活的存取方式。在UNI 的V4版本中也採用了該項目，並與協議中的Hooks(一個為各種用戶集成定制邏輯的系統)進行集成，以方便讀取歷史區塊鏈數據，降低Gas fee，同時確保去中心化屬性。這是 zk 協處理器推動 DEX 的一個例子。
3.5 Lagrange
Lagrange 是由1kx及 Founders fund 領投的互通性 zk 協處理器協議，該協議的主要目的為提供無需信任的跨鏈互通性和需要大數據複雜計算的應用程式的創新提供支撐。與傳統的節點橋不同，Lagrange 的跨鏈互通性主要透過其創新的 ZK Big Data 和State Committee 機制來實現。
ZK Big Data：本產品為 Langrange 的核心，主要負責處理和驗證跨鏈資料,產生相關的 ZK 證明。此元件包含了高度並行的ZK Coprocessor 用於執行複雜鏈下運算和產生零知識證明，專門設計的可驗證資料庫支援無限儲存槽和智慧合約直接SQL 查詢，動態更新機制僅更新變更的資料點以減少證明時間，以及允許開發者直接從智慧合約使用SQL 查詢存取歷史資料而無需編寫複雜電路的整合功能，共同構成了一個大規模區塊鏈資料處理和驗證系統。
State Committee：此元件為一個去中心化的驗證網絡，由多個獨立節點組成，每個節點質押 ETH 作為抵押。這些節點作為 ZK 輕客戶端，專門驗證特定最佳化 rollup 的狀態。 State Committee 與 EigenLayer 的 AVS 集成，利用重質押機制增強安全性,支援無限數量節點參與，實現超線性安全性成長。它還提供“快速模式”，允許用戶在不等待挑戰視窗的情況下進行跨鏈操作，大大提高了用戶體驗。這兩種技術的結合使 Lagrange 能夠高效處理大規模數據，執行複雜計算，並在不同區塊鏈間安全傳遞和驗證結果，為開發複雜跨鏈應用提供了支撐。
Lagrange 在目前已經與EigenLayer、Mantle、Base、Frax、Polymer、LayerZero、Omni、AltLayer 等集成，也將作為第一個 ZK AVS 在以太坊生態中進行連結。
參考資料
1.ABCDE：A Deep Dive into ZK Coprocessor and Its Future： https://medium.com/@ABCDE.com/en-abcde-a-deep-dive-into-zk-coprocessor-and-its-future-1d1b3f33f946
2. “ZK” Is All You Need： https://medium.com/@gate_ventures/zk-is-all-you-need-238886062c 52
3.Risc zero： 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 協處理器如何打破智慧合約資料障礙： https://foresightnews.pro/article/detail/48239
