原文作者：IOSG Ventures
感谢 Celer Network 和 Brevis 的 Mo Dong 老师关于 ZK 协处理器核心概念和用例的深入讨论，这些思考激发了本系列文章的创作灵感。
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 个区块的区块头哈希值。这些区块头囊括了区块链上截至当前区块的所有活动，并通过默克尔树和 Keccak 哈希值浓缩成 32 字节的哈希值。
压缩过的东西可以解压缩...只是并不容易
