原文作者：E
原文編譯：深潮 TechFlow
由於區塊鏈為了保護安全，而施加了計算限制，ZK 協處理器(Coprocessors)正逐漸成為一個備受關注的話題。它能夠增強計算能力，同時保持強大的安全性。在本文中，Galaxy Digital 研究員 E 將探討 ZK 協處理器的概念、作用以及正在構建的一些專案。
一般來說，協處理器是一種專門的元件，它協助 CPU，透過更熟練地處理某些任務來提高計算機系統的整體效率和速度。
ZK 協處理器是一個互操作層，它執行任意計算並提供一個“收據”，這是確認計算正確執行的數學有效證明。
每個收據都包括一個加密識別符號，表示執行了哪個計算，並記錄計算的任何公共輸出。
有了這些收據，機器可以明確地“證明”計算發生了。這不僅僅是說明計算發生了，還提供了一個可驗證的軌跡。這就像一個無需信任的、安全的計算審計！
為什麼我們需要 ZK 協處理器？
區塊鏈對計算能力施加了限制，將L1/L2上的操作限制在一小部分固有安全操作中以確保安全。ZK 協處理器增強了計算能力，使得在保持強大安全性的同時能夠執行更廣泛的操作。
正在構建的 zk 協處理器的協議有哪些？
Axiom 是以太坊的 ZK 協處理器，它為智慧合約提供了對所有鏈上資料的無需信任的訪問以及對其進行任意表示式計算的能力。
Axiom 對於任何協議或去中心化應用（dapp）都有用，只要其中涉及歷史鏈上資料或表示式計算，包括無需信任的會計、動態 DeFi、無需信任的鏈下治理以及無需信任的鏈上預言機等。
Axiom 的使命是使零知識證明的功能在鏈上應用中儘可能地易於訪問和使用，從而解鎖一波更豐富、更具表現力的信任最小化去中心化應用的新浪潮。
Tanuki 利用 Axiom 為基於歷史鏈上資料的錢包評分計算提供了一個無需信任、透明的系統。這些資料可以用於信用評分協議，如 Karma 3 labs，NFT 定價分析，如 SPICYEST 等。
Tanuki 的解決方案是一種去中心化的替代方案，使協議能夠以無需信任的方式計算相關指標，從而促進公平和透明的互動。傳統上，這些計算只能在中心化且不太透明的系統中進行。
Risc Zero 提供了一個可以在任何平臺上執行的 zkVM。它是一個虛擬微控制器/協處理器，為其執行的每個程序生成收據，有點像一個安全的虛擬 Adruino。
RiscZero 的 Bonsai 是一個通用的零知識證明網路。它提供了為區塊鏈智慧合約執行鏈下計算的能力。
Herodotus 旨在為智慧合約提供來自其他以太坊層的同步鏈上資料訪問。他們認為儲存證明可以統一多個 Rollups 的狀態，甚至允許以太坊層之間的同步讀取。
Poseidon ZKP 旨在填補建立 EVM 原生 zkDApps 的空白。它針對以隱私為中心的 zkDApps 開發的兩個主要障礙：由於加密複雜性而使使用 ZKP 的高門檻，以及昂貴的鏈上驗證。
Poseidon ZKP 正在開發的一個功能涉及將可組合的 ZKP 原語作為智慧合約建立。在此基礎上，他們提供了一個 ZK-ZK 聚合器，將一批客戶端生成的證明，併合併為一個證明，顯著降低了攤銷後的 ZKP 驗證成本。
另一個由 Devloper 共同創立且低調的專案 Pluto，正在探索如何為特定於 dApp 的可擴充套件性建立無縫的開發者體驗。
準備好讓您的 dApps 在效率和安全性方面達到新的高度嗎？擁抱 zk 協處理器的未來，開啟無盡的可能性。
