對於資料的查詢與計算，鏈上計算所花費的成本可能是鏈下計算的好幾倍，這也導致許多 web2 功能無法在 web3 上完全釋放，而 ZK 協處理器或許能解決這一難題。
（前情提要：從Type1到Type4，各類型ZK-EVM的差異在哪？ ）
（背景補充：DeFi也行！零知識+AI機器學習「ZKML」的優勢和挑戰 ）
ZK 協處理器是區塊鏈領域一項激動人心的創新。它由 Brevis、Axiom、Lagrange 和 Herodotus 等專案率先推出，有望徹底革新我們在區塊鏈上開發應用的方式。有了 ZK 協處理器，開發人員可以建立資料驅動的 dApps，可以利用 omnichain 資料的歷史記錄來執行復雜的計算，而不需要依賴任何額外的信任假設。更為重要的是，它引領了一種新的開發模式：非同步應用架構，這為 Web 3.0 軟體框架帶來了前所未有的效率和可擴容性。
在本系列文章中，我們將揭示 ZK 協處理器的神祕面紗。無論您是對其理念、實際應用、基礎機制、面臨的挑戰，還是市場策略感興趣，或是想要比較不同的專案，我們希望這些文章都能給您帶來新的啟發。
DEX 上缺少 VIP 交易員計劃的案例
要理解 ZK 協處理器的基本思想，我們需要從現實世界中的激勵性例項開始。
中心化交易所（CEX）和去中心化交易所（DEX）之間的一個明顯區別是存在基於交易量的收費標準，也就是通常所說的「VIP 交易員忠誠度計劃」。這些計劃是留住交易者、提高流動性並最終增加交易所收入的有力工具。
有趣的是，雖然每個 CEX 都擁有至少一個這樣的專案，但 DEX 卻完全沒有。為什麼呢？
這是因為在 DEX 中實現這一功能要比在 CEX 中更具挑戰性，成本也更高。
在 CEX 中，實施忠誠度專案需要：
- 在中心化資料庫中記錄所有使用者的交易歷史 —— 這是一項 便於降低未來查詢成本 的任務。
- 每月在高效能的中心化資料庫中執行一次 直接查詢 ，根據歷史資料確定每個使用者的交易量和費用等級。
然而，DEX 在嘗試遵循相同步驟時面臨著重大挑戰：
- 由於區塊鏈的 儲存成本過高 ，在智慧合約中直接儲存每個使用者的交易歷史並不可行。實施這種邏輯意味著使用者每筆交易的手續費 要高出 4 倍 。
- 即使我們進行了交易記錄的資料儲存，但對這些資料進行統計查詢和計算的成本更高。例如，計算單個使用者 10K 筆交易的交易量資料將花費 156M Gas（對！我們計算過）。
你可能會說「等等，你到底在說什麼？在區塊鏈上，每個使用者的每筆交易都已自動儲存（因為它是區塊鏈！）。」在區塊鏈上土生土長的智慧合約，應該可以隨時訪問所有這些資料，對吧？
很遺憾，不對！
區塊鏈儲存的資料 和 區塊鏈虛擬機器內智慧合約可訪問的資料 完全是兩碼事。
對於區塊鏈的完整 / 存檔節點來說，它們儲存了區塊鏈歷史上的大量資料。通過這些節點，您可以輕鬆訪問：
- 歷史上任何給定時間內整個區塊鏈的狀態（例如，誰是 Cryptopunk 的第一個所有者）。
- 歷史上任何給定時間內的交易和因交易而產生的事件（例如，Charlie 將 $1,000 兌換成 0.5 ETH）。
事實上，流行的 鏈外資料索引或分析工具 （如 Nansen 和 Dune Analytics）可利用這一廣泛的資料集進行深入分析。
然而，對於嵌入區塊鏈虛擬機器的智慧合約來說， 資料訪問的限制要大得多 。它們不能使用鏈外索引解決方案生成的資料，因為這會給這些外部且通常是中心化的索引解決方案帶來額外的信任問題。
事實上，智慧合約只能輕鬆且無需信任地訪問以下資料:
- 虛擬機器狀態中儲存的資料（不包括交易或事件資料）。
- 最新區塊中的資料（歷史資料訪問是受限的）。
- 通過「檢視」功能公開的其他智慧合約的資料（不包括私有或內部合約資料）。
上述說法的一個關鍵細微差別在於「輕鬆」一詞。
智慧合約並非完全不知道區塊鏈上的全部資料。在 EVM 中，智慧合約可以訪問最新 256 個區塊的區塊頭hash值。這些區塊頭囊括了區塊鏈上截至當前區塊的所有活動，並通過默克爾樹和 Keccak hash值濃縮成 32 位元組的hash值。
壓縮過的東西可以解壓縮… 只是並不容易 😂
試想一下，如果想利用最近的區塊頭，無需信任地訪問上一個區塊中的特定資料。這種方法包括從存檔節點獲取鏈外資料，然後構建默克爾樹和區塊有效性證明，以確定資料在區塊鏈中的真實性。然後，EVM 對有效性證明進行處理，以進行驗證和解釋。這樣的操作既繁瑣又艱鉅，僅僅為了檢索過去的幾個代幣餘額，就可能消耗數千萬 Gas。
這一挑戰的根源在於，區塊鏈虛擬機器本身不具備處理資料量大和密集型計算（如上述解壓縮任務）的能力。
如果有一種魔法， 能讓區塊鏈委託進行這種資料密集型的繁瑣計算 ， 並以低成本迅速獲得結果 ， 而且不需要任何額外的信任假設，那就再理想不過了 。
朋友，這正是 ZK 協處理器的用途所在 。
「協處理器」 這一名稱的靈感來源於電腦架構的發展史。例如，GPU 作為 CPU 的協處理器被引入，是因為 CPU 必須將某些昂貴且自身難以執行的重要計算任務（如圖形計算或人工智慧訓練）下放給「輔助處理器」，即 GPU。
但是，ZK 協處理器中的「ZK」又是什麼意思呢？在深入探討複雜的技術細節之前，讓我們先來了解一下這項創新技術的廣泛意義和潛力。
延伸閱讀：觀點投書》區塊鏈的第三大技術革新 — ZK零知識證明應用
我們需在 Web 3.0 中資料驅動的 dApps
交易費返還就是一個很好的例子。按照這一思路，有了 ZK 協處理器，就可以在眾多 DeFi 協議中無縫引入各種忠誠度計劃。
然而，這遠不止 DeFi 忠誠度計劃。您現在也許可以看到，Web 3.0 的其他領域也存在同樣的問題。仔細想想，所有現代 Web 2.0 應用程式都是資料驅動的，而 Web 3.0 應用程式卻無一例外。要想打造「殺手級應用」，讓使用者體驗與傳統網際網路應用相媲美，這種資料驅動方法是不可或缺的。
讓我們看看 DeFi 領域的另一個例子 ：通過重新設計流動性挖礦獎勵機制來提高流動性效率。
目前，AMM DEX 上的流動性激勵機制採用「現收現付」模式。在這種模式下，當 LP 貢獻流動性時，Farming 獎勵即刻分配給 LP。然而，這種模式遠非最佳。專業 Farmer 在感覺到市場波動時，可以迅速撤回流動資金，以避免無常損失。這樣一來，他們為協議提供的價值微乎其微，但仍能獲得可觀的回報。
理想的 AMM 流動性激勵機制會對 LP 的堅定性進行追溯評估，尤其是在市場大幅波動期間。那些在這種情況下始終支援資金池的人應該獲得最高獎勵。然而，獲取對這一模型至關重要的 LP 歷史行為資料，在今天仍然是不可行的。
延伸閱讀：破解加密貨幣 AMM 自動做市的財富密碼
要做到這一點，你需要 ZK 協處理器。
在 DeFi 領域，我們可以舉出很多類似的例子，無論是使用預定演算法和規則進行主動 LP 部位管理，使用非代幣流動性部位建立信貸額度，還是根據過去的還款行為確定貸款的動態清算偏好。
然而，ZK 協處理器的潛力不僅限於 DeFi。
利用 ZK 協處理器打造具有出色使用者體驗的鏈上游戲
當你進入一款新安裝的 Web 2.0 遊戲時，你的一舉一動都會被詳細記錄下來。這些資料不會被閒置，而是會很大程度影響你的遊戲之旅。它決定何時為你提供遊戲內購買選項，何時推出獎勵遊戲，何時向你傳送措辭經過精心設計的推送通知，以及與你匹配的對手等等。這些都是遊戲行業所說的即時運營（LiveOps）的組成部分，是提高玩家參與度和收入流的基石。
要使完全鏈上游戲的使用者體驗與 Web 2.0 經典遊戲相媲美，就需要這些 LiveOps 功能。這些功能應基於玩家與遊戲智慧合約的歷史互動和交易。
遺憾的是，在區塊鏈遊戲中，這類功能要麼完全缺失，要麼仍由中心化解決方案驅動。原因與 DEX 的例子如出一轍：難以在區塊鏈上挖掘和計算歷史遊戲資料。
是的，同樣，你需要 ZK 協處理器來實現這一點。
Web 3.0 社交和身份識別應用是另一個沒有 ZK 協處理器支援就無法執行的領域。
延伸閱讀：ZK+DID：ZKID展開隱私安全賦能數位身份的新篇章
在區塊鏈世界中，您的數位身份是由您過去的行為編織而成的一張網。
- 想證明自己是 NFT OG？你得證明你是 Cryptopunk 的原始礦工之一。
- 吹噓自己是個大交易員？向我證明你在 DEX 上支付了超過 100 萬美元的交易費。
- 和 Vitalik 關係密切？向我證明他的地址向你的地址傳送過資金。
鏈下系統，無論是人類還是 Web 2.0 應用程式，都可以輕鬆生成這種證明，因為就像交易量的例子一樣，它們可以訪問包含所有這些資料的存檔節點。
基於這種直接資料訪問的身份證明需要強大的錢包地址關聯，因此也需要承擔其 犧牲隱私 的缺點，但它確是可行的。
然而，就像在交易量的例子中一樣，如果你想 讓智慧合約相信你的 OG 身份 ，並在不引入額外信任證明的情況下搶先體驗一些新玩意，其實根本就沒有什麼好辦法。
有了 ZK 協處理器，您就可以編織出一個可靠的身份證明，一個您過去行為的證明，一個任何智慧合約都會毫無疑問地接受的證明。您在不同應用程式甚至不同區塊鏈上的互動都可以巧妙地合併起來，形成這一證明。
更吸引人的是 ZK 固有的隱私性。您的錢包地址不必與您的身份公開關聯。例如，你可以證明自己擁有 Cryptopunk NFT，而無需透露具體的錢包地址。或者，你可以證明在 Uniswap 上執行過 10,000 次交易，但不透露具體數位。
ZK 協處理器為資料驅動的 dApp 構建開闢了一個全新的領域，但它的意義遠不止於此。
超越資料驅動正規化：用 ZK 協處理器開創 Web 3.0 非同步模式
資料驅動的 dApp 模式雖然很吸引人，但只是冰山一角。
ZK 協處理器的出現將徹底改變我們對區塊鏈計算的看法，開創一個非同步處理成為 Web 3.0 標準的時代。這種轉變重新定義了任務的處理方式，專門的處理器可以獨立執行，從而提高效率。
讓我們先來了解一下什麼是非同步處理。
想像一下，在一家 同步餐廳 裡，一個人同時扮演廚師和服務員的角色。你點了菜，他就開始準備，讓你等著。他只能在為您上完菜後，再去招呼另一位客人。雖然這種設定可能會滿足你的需求，但對其他人來說卻很難提高效率。
相比之下，在 非同步餐廳 中，不同的廚師和不同的服務員協同工作。服務員在接受您的訂單後，會迅速將訂單轉交給廚師，同時為其他顧客提供服務。菜餚完成後，廚師向服務員發出訊號，服務員隨即為您上菜。
在電腦系統中：
- 同步架構 就像第一家餐廳一樣，一個人等待每項任務完成後再繼續。這種架構簡單明瞭，但速度可能較慢，因為它一次只處理一項任務。而且，這個人可能是個好服務員，但不是個好廚師。
- 非同步架構 就像第二家餐廳，其中有一些解耦和專門的系統元件，它們相互發送資訊和任務，作為一種協調方式。這允許每個元件同時管理自己的任務線。雖然可能需要更復雜的管理方法，但這種架構速度更快，效率更高。
每一個現代網際網路應用程式都是基於非同步架構構建的，以提高效率和可擴容性，我們認為 Web 3.0 也應如此。
ZK 協處理器將成為這一變革的先驅。對於 dApp 開發者來說，區塊鏈就像我們非同步餐廳裡的服務員。它主要處理直接改變區塊鏈狀態的計算，如或有資產所有權變更。所有其他計算都應交由穩健的 ZK 協處理器處理，它們就像精通廚藝的廚師一樣，通過非同步處理的強大功能，高效地烹飪出結果併發送給服務員。
具體來說，如果區塊鏈應用中的計算符合以下兩個「 可行條件」 之一，就應考慮使用 ZK 協處理器。
ZK 協處理器可執行條件：
- 鏈上計算成本 >（鏈外 ZK 協處理器計算（包括證明生成）+ 鏈上驗證成本）
- 鏈上計算延遲 > （鏈外 ZK 協處理器計算（包括證明生成）+ 鏈上驗證延遲）
即使它們只符合其中之一，也值得考慮！
現在你就可以看到，它不僅僅是資料驅動的 dApps！它是一種將 ML 等高水準通用計算引入區塊鏈的全新方式，但更重要的是，它引入了改變模式的非同步架構來構建 dApp，這在以前是根本不可能實現的。
下一篇章….
如果我們已經成功地讓您相信 ZK 協處理器是一個將產生深遠影響的想法，那麼現在也許是時候談談它們是如何工作的了。在下一篇部落格中，我們將探討 ZK 協處理器的關鍵架構，並討論該領域仍然存在的最大技術挑戰。
📍相關報導📍
zkSync提出「鏈上法院」，能解決Layer2潛在的中心化風險嗎？
