一文了解ZK协处理器：概念、工作原理及前沿项目

原文作者：E 

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

此时快讯

【Arca回应Aragon协会：“51%攻击”叙述有误，未试图解散DAO】5月17日消息，针对Aragon协会称“Arca等投资者对其发起的51%攻击”，加密货币对冲基金Arca首席投资官Jeff Dorman在近日的一篇博客文章回应称：“51%攻击的叙述实际上是不正确的，我们是代币持有者，我们想使用我们的代币参与治理。Arca质押代币推动了代币持有者的积极参与。” 
此外针对Aragon协会称Arca等“团伙”破坏了许多DAO及其社区，Arca表示其未试图解散Aragon，且Arca没有投资Invictus、RoOK、Rome或Temple，其中Fei Labs团队自己提出了解散，Rook团队最初提出了分拆“Incubator DAO”，这些都是代币持有者争取最好的结果。 
此前5月10日消息，Aragon协会取消ANT代币持有人投票权，以应对Arca等投资者对其发起的“51%攻击”。