由于区块链为了保护安全，而施加了计算限制，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协处理器的未来，开启无尽的可能性。