撰文：Emperor、0xkrane

编译：Lynn，火星财经

区块链是全球分布的账本，可以就全球状态达成共识。一些区块链配备了图灵完备的执行环境，可以在此全局状态之上实现可编程性。针对区块链执行环境的程序称为智能合约，底层区块链称为智能合约平台。以太坊、Solana 和 Avalanche 是最广为人知的智能合约平台。我们可以将智能合约平台视为分布式计算机，执行环境（或虚拟机）充当 CPU，状态充当存储角色。

这种将区块链视为计算机的框架对于解释为什么协处理器 / 链下计算是不可避免的非常重要，特别是在区块链的背景下。在传统计算中，协处理器起源于微架构，旨在提高性能。同样，以太坊上的协处理器承诺访问历史数据和高性能离线计算，以增强基础层协议的功能和设计空间。请参阅这篇关于协处理器的介绍性文章以了解更多信息。

本文从基本原理出发探讨协处理器，旨在阐明它们的重要性和元属性。然后，我们将它们与 rollup 进行比较，展示这两个概念虽然不同，但却密切相关。我们还提供了何时可以将 rollup 和协处理器结合使用的示例。例如，即使是全能的 rollup 或 L1 也可能需要协处理器来执行繁重的任务。

我们通过观察区块链正在走向计算集中但验证仍然分散的未来来结束本文。Rollup、协处理器和任何其他形式的可验证链下计算只是这个未来的不同实例。

我们是如何到达这里的：

Vitalik 在《区块链可扩展性的限制》中提到，对于区块链去中心化来说，普通用户可以运行节点非常重要。

如前所述，以太坊在很多方面都可以被概念化为去中心化的全球计算机。它是运行软件的节点网络，为执行智能合约提供计算资源。以太坊区块链存储状态信息和代码，类似于计算机的存储和内存。以太坊虚拟机（EVM）运行在每个节点上，像 CPU 一样处理交易并执行代码。然而，以太坊是无需许可和去中心化的，使用不可信节点之间的共识。如果某些节点离线，网络将继续运行。为了确保 EVM 操作的正确性，以太坊等权益证明 (PoS) 网络上的验证器必须执行所有状态转换来验证它们。这限制了 PoS 网络最慢节点的速度，限制了应用程序开发人员可用的计算量。

与普通计算机不同，以太坊限制计算和存储以防止网络滥用。每次操作都会收取费用，因此无限循环在经济上不切实际。这种方法降低了进入门槛，允许像 Raspberry Pi 这样的日常硬件运行网络节点。这些限制使得包容性系统成为可能，任何人都可以帮助操作去中心化的以太坊网络。

由于以太坊节点的这些计算限制，机器学习模型、游戏或科学计算应用程序等复杂应用程序目前无法直接在以太坊上运行。

为了使以太坊能够广泛访问、安全且可持续地作为基本应用程序的基础，这是一种权衡。但不可避免的是，相对于计算不受限制的计算机而言，存在一些限制。即使与像 Pentium 5 这样的古老处理器相比，它也有局限性：

最终，有限的存储和计算限制了应用程序可用的自由度（这些限制因区块链而异，但它们始终存在）。人们将区块链与 1970 年代至 1980 年代的计算受限环境进行比较，但我们认为两者之间存在一些很大的差异：

所有这一切都表明，这些年来，CPU 得到了改进，我们在每台设备上获得了更多的 CPU 核心，使我们能够执行逐渐复杂的任务。如果我们认为区块链计算机的速度不会像传统计算一样快（由于基准节点要求），那么尝试寻找替代计算源是有意义的。这里有一个有趣的类比，传统计算中的 CPU 并不擅长图形处理任务，导致几乎每台计算机中 GPU 的兴起。同样，由于区块链专注于成为启用简单计算电池的安全状态存储，因此链下计算显然有机会扩展应用程序设计空间。如今，区块链仅对需要开放访问、自我主权、审查阻力和可组合性等属性的低计算应用程序有意义。为了将更多种类的应用程序放到链上，我们需要解除对应用程序开发人员的限制。我们这么说的前提是，这些限制也有利于实验。例如，由于计算限制，CLOB 无法在以太坊上有效运行，因此采用了 AMM，其交易量已达到一万亿美元。

有两种常见方法可以为区块链应用程序提供更多计算能力：

相对频繁地增加基线节点要求。这大致就是 Solana 和 Sui 等集成高性能区块链所采取的路径。节点的高基线使它们能够构建非常快速的区块链，并且还消除了应用程序设计中的一些设计限制。Phoenix 是 Solana 上的限价订单簿 DEX，目前无法在以太坊（或任何 L2）上构建。不断增加的基线要求的另一面是，如果它们不断增长，那么运行节点可能只对专业基础设施提供商可行。历史 RAM 需求很好地展示了 Solana 上的硬件需求如何持续增长：

存档（注意：我们使用 2020 年的 RAM 需求中位数）将计算转移到链下第三方。这是以太坊生态系统采取的策略。这些第三方本身可以是区块链（在汇总的情况下）、链下可验证计算设备（即协处理器）或可信第三方（如 dydx 订单簿等特定于应用程序的链下计算的情况）。

迈向链下计算的统一

最近，关于协处理器的讨论有所增加，它提供链下可验证计算。协处理器可以通过多种方式实现，包括但不限于零知识证明或可信执行环境（TEE）。一些例子是：

同时，在卸载计算方面，以太坊以 rollup 为中心的路线图将计算卸载到以太坊上的各种汇总。在过去的几年里，由于 Rollups 提供了更便宜、更快的交易和激励措施，不断有开发人员和用户迁移到 Rollups。在理想的世界中，rollup 允许以太坊通过链下执行来扩展其整体计算能力，而无需添加信任假设。更多计算不仅仅指执行更多事务，还指对每个事务进行更具表现力的计算。新的事务类型扩展了应用程序可用的设计空间，更高的吞吐量降低了执行这些表达性事务的成本，确保以经济实惠的方式访问更高级别的应用程序。

在进一步讨论之前，让我们简要定义一下汇总和协处理器，以防止混淆：

Rollups： Rollups 维护与其基础 / 主机链不同的持久的分区状态，但仍然通过向其发布数据 / 证明来继承其基础的安全属性。通过将状态移出主机链，汇总可以在将这些状态转换的完整性证明发布到主机之前使用额外的计算来执行状态转换。对于不想支付以太坊高额费用但想要访问以太坊安全属性的用户来说，Rollup 最为有用。

在深入探讨协处理器之前，让我们先了解一下目前以太坊上智能合约开发的局限性。以太坊在其全局状态中具有持久状态存储 - 账户余额、合约数据等。这些数据无限期地保留在区块链上。但是，也有一些限制：

围绕这个问题的解决方案是：

协处理器：协处理器本身不维护任何状态；它们的行为类似于 AWS 上的 lambda 函数，应用程序可以向它们发送计算任务，然后它们返回带有计算证明的结果。协处理器从根本上增加了任何给定事务的可用计算量，但由于协处理器上的证明也是在每个事务的基础上进行的，因此使用它们将比汇总更昂贵。考虑到成本，协处理器可能对想要以可验证的方式执行复杂的一次性任务的协议或用户有用。协处理器的另一个好处是，它们允许使用链外计算的应用程序也可以访问以太坊的完整历史状态，而无需向应用程序本身添加任何信任假设；这在今天的普通智能合约中是不可能的。

为了深入了解汇总和协处理器之间的差异，让我们参考这两种原语的 ZK 风格。ZK rollups 可以访问零知识证明的可验证性和压缩方面，从而从根本上提高生态系统的吞​​吐量。另一方面，协处理器仅访问 zk 证明的可验证性属性，这意味着系统的整体吞吐量保持不变。此外，ZK rollups 需要能够证明任何针对该 rollup 的虚拟机的程序的电路（例如，以太坊上的 rollups 已经为针对 EVM 的合约构建了 zkEVM）。相比之下，ZK 协处理器只需要为它们要执行的任务构建电路。

因此，rollup 和协处理器之间的两个最大区别似乎是：

最近，Booster Rollups 被提出，它执行交易就像直接在主机链上运行一样，可以访问主机的完整状态。然而，Booster Rollups 也有自己的存储，允许它们跨主机和 Rollup 扩展计算和存储。Booster Rollup 提案指出了链外计算设计范围中存在一个频谱，传统的 Rollup 和协处理器位于该频谱的两端。Rollups、Booster Rollups 和 Coprocessors 都提供对更多计算的访问，唯一的区别在于它们保留了从基础 L1 分区的状态量。

在 2023 年模块化峰会上的一次名为「屏蔽交易是 rollup」的演讲中，Henry De Valence 谈到了这个确切的概念，并提出了一个非常简单的图像来定义 rollup：

该演讲假设基础链卸载给第三方的任何执行都是 rollup。根据他的定义，协处理器也将是 rollup。这与我们在链下可验证计算的旗帜下统一 rollup 和协处理器的观点略有不同，但总体情绪保持不变！

在他的 Endgame 愿景中，Vitalik 讨论了区块生产中心化、区块验证不信任且高度去中心化的未来。我们相信，这大致是思考现在正在发生的事情的正确模型。在 zk-rollup 中，区块生产和状态转换计算是中心化的。然而，证明使得验证变得廉价且去中心化。类似地，zk 协处理器没有区块生产；它仅访问历史数据并计算该数据的状态转换。zk 协处理器上的计算可能总是在中心化机器上执行；尽管如此，随结果一起返回的有效性证明允许任何人在使用结果之前验证它们。也许将 Vitalik 的愿景重述为正确的：「未来计算是中心化的，但中心化计算的验证是去信任的且高度去中心化的。」

相识又有差别

尽管总体上很相似，但 rollup 和协处理器如今服务于截然不同的市场。有人可能会问，「如果我们可以在 ETH L1 上使用协处理器并获得其流动性，为什么我们需要 rollup？」虽然这是一个公平的问题，但我们认为有几个原因可以解释为什么 rollup 仍然有意义（并且提供了比当今协处理器更大的市场机会）：

此外，由于 rollup 提供了在这种单独状态上运行事务的能力，因此它们的行为仍然像区块链（更快、去中心化程度较低的区块链，但仍然是区块链），因此它们对于可以从汇总访问的计算量也有明确的限制本身。在这种情况下，如果用户想要执行任意复杂的事务，则协处理器对于 rollup 非常有用（现在您正在 rollup 上执行可验证的事务，因此您只需遵守 rollup 的物理定律）。

这里需要注意的另一个要点是，目前大部分流动性都驻留在 ETH L1 上，因此对于许多依赖流动性来改进其产品的协议来说，仍然在以太坊主网上启动可能是明智的选择。以太坊主网上的应用程序可以通过在协处理器上间歇性地执行事务来访问更多计算。例如，像 Ambient 或 Uniswap v4 这样的 DEX 可以使用钩子与协处理器来执行复杂的逻辑，以决定如何更改费用，甚至根据市场数据修改流动性曲线的形状。

一个有趣的类比将 rollup 和协处理器之间的相互作用与命令式编程和函数式编程进行了比较。命令式编程侧重于可变状态和副作用，指定逐步执行任务的方式。函数式编程强调不可变数据和纯函数，避免状态变化和副作用。同样，rollup 就像修改它们所持有的状态的命令式程序，而协处理器就像函数式程序，它们不会改变状态，但会生成结果以及计算证明。此外，就像命令式编程和函数编程一样，rollup 和协处理器也有其用武之地，并且应该相应地使用。

基于证据的未来

如果我们最终进入一个计算中心化的世界，但中心化计算的验证是无需信任且高度去中心化的，那么以太坊将走向何方？世界计算机会被简化为一个数据库吗？这是坏事吗？

最终，以太坊的目标是让用户能够访问无需信任的计算和存储。过去，在以太坊上访问免信任计算的唯一方法是由所有节点执行和验证计算。随着证明技术（尤其是零知识证明）的进步，我们可以将验证器节点上发生的大部分计算转移到链外计算，而只让验证器在链上验证结果。这本质上将以太坊变成了世界上不可变的公告板。计算证明使我们能够验证交易是否正确完成，并且通过将它们发布到以太坊，我们可以获得这些证明的时间戳和不可变的历史存储。随着零知识证明在任意计算上变得更加高效，在某些时候，在 ZK 中进行计算的成本可能会大大低于在区块链（甚至可能是 100 个验证者的 CometBFT 链）上进行计算的成本。在这样的世界中，很难想象 ZK 证明不会成为访问去信任计算的主导模式。David Wong 最近也表达了类似的想法：

未来任何计算都可以被证明，这也使我们能够为有用户需求的各种无需信任的应用程序构建基础设施，而不是试图改造以太坊基础层以成为这些应用程序的家园。在理想情况下，定制的基础设施将创造更加无缝的用户体验，并且还将随着构建在其之上的应用程序进行扩展。这有望让 web3 应用程序能够与 web2 应用程序竞争，并迎来密码朋克们一直梦想的去信任的、基于证据的未来。

总而言之，我们相信我们正在朝着以下范式迈进：

Dont Trust, Verify。