一文了解ZK協處理器：概念、工作原理及前沿項目

原文作者：E

由於區塊鍊為了保護安全，而施加了計算限制，ZK協處理器(Coprocessors)正逐漸成為一個備受關注的話題。它能夠增強計算能力，同時保持強大的安全性。在本文中，Galaxy Digital 研究員E 將探討ZK協處理器的概念、作用以及正在構建的一些項目。

**一般來說，協處理器是一種專門的組件，它協助CPU，通過更熟練地處理某些任務來提高計算機系統的整體效率和速度。 **

ZK協處理器是一個互操作層，它執行任意計算並提供一個“收據”，這是確認計算正確執行的數學有效證明。

每個收據都包括一個加密標識符，表示執行了哪個計算，並記錄計算的任何公共輸出。

有了這些收據，機器可以明確地“證明”計算發生了。這不僅僅是說明計算發生了，還提供了一個可驗證的軌跡。這就像一個無需信任的、安全的計算審計！

**為什麼我們需要ZK協處理器？ **

區塊鏈對計算能力施加了限制，將L1/L2上的操作限制在一小部分固有安全操作中以確保安全。 **ZK協處理器增強了計算能力，使得在保持強大安全性的同時能夠執行更廣泛的操作。 **

**正在構建的zk協處理器的協議有哪些？ **

Axiom 是以太坊的ZK 協處理器，它為智能合約提供了對所有鏈上數據的無需信任的訪問以及對其進行任意表達式計算的能力。

Axiom對於任何協議或去中心化應用（dapp）都有用，只要其中涉及歷史鏈上數據或表達式計算，包括無需信任的會計、動態DeFi、無需信任的鏈下治理以及無需信任的鏈上預言機等。

Axiom的使命是使零知識證明的功能在鏈上應用中盡可能地易於訪問和使用，從而解鎖一波更豐富、更具表現力的信任最小化去中心化應用的新浪潮。

Tanuki 利用Axiom為基於歷史鏈上數據的錢包評分計算提供了一個無需信任、透明的系統。這些數據可以用於信用評分協議，如Karma3labs，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協處理器的未來，開啟無盡的可能性。