以太坊计划在2026年实现基于零知识的区块验证
基于证明的区块验证可以降低验证者成本，并使单人质押更容易，而无需取代现有的验证方法。
以太坊的区块验证正朝着重大重构方向发展。目前的研究重点是协议层面验证区块，而不是添加新的用户功能。目标是降低验证者的硬件要求，同时保持安全性。如果成功，这种方法可以支持更高的网络活动，同时让更多小型运营者参与。
以太坊测试基于证明的区块验证以简化节点要求
目前，以太坊通过让每个节点重新运行区块中的每笔交易来验证区块。所有节点都执行相同的工作，以独立验证结果。随着交易量的增加，所需的计算能力、存储空间和互联网带宽也在增加。运行完整节点变得越来越困难。
https://t.co/TwylcccdzB
— ladislaus.eth (@ladislaus0x) 2026年2月9日
借助零知识EVM证明，节点无需重复工作。它们只需验证一个加密证明，确认区块已正确处理。验证证明速度快，无论区块中有多少交易，所需时间都相同，这大大简化了扩展性。
此外，零知识执行证明已经存在一段时间，但以太坊现在正致力于将其直接集成到核心系统中。协议计划允许部分验证者验证加密证明，以确认工作已正确完成。通过证明进行验证将与现有方法并存，而不是完全取代它们。
新路线图旨在通过证明验证降低验证者成本
为此，以太坊基金会的zkEVM团队制定了一份面向2026年的路线图。根据计划，执行客户端将所有验证区块所需的数据打包成一个称为执行见证（execution witness）的单一包。
_图片来源：X/_ladislaus.eth
可以将其理解为一个紧凑的包，包含检查区块所需的所有内容，而无需存储以太坊的完整状态。一个专用程序验证这些数据，零知识虚拟机生成证明，证明区块已正确处理。无需重新运行交易，共识层（CL）客户端可以验证该证明以确认区块。
根据EIP-8025，节点无需改变其操作方式。重新执行仍然可用，也不需要硬分叉。选择基于证明验证的验证者被称为zkAttesters。这些CL客户端验证zkEVM证明，而不是运行完整的EL客户端。
依赖证明的验证者将不再需要存储以太坊的执行数据或同步完整链。相反，链同步可以意味着在每个最终检查点后下载最新的证明。这一变化大大降低了硬件要求，使单人质押和家庭运营者的验证变得更容易。
此外，无状态证明允许个人在本地验证以太坊历史，无需大量存储空间。在消费者硬件上自我验证变得更加现实。
证明生成速度依赖于另一项升级——内嵌的提议者-构建者分离（ePBS）。没有它，就没有足够的时间在区块槽内生成证明。ePBS引入区块流水线，为证明者提供每个槽数秒时间，从而使实时生成证明成为可能。
分布式证明成为协议研究的关键焦点
执行客户端团队变得更加重要，因为每个客户端都成为证明源。zkVM提供商也从共享接口中受益。像ZisK、OpenVM和RISC Zero这样的zkVM项目也能生成以太坊证明，为其提供明确的目标。
关于谁来生成证明的问题仍未解决。一个诚实的证明者就足以维持链的运行，但依赖大型构建者可能会集中权力。研究仍在进行中，旨在实现分布式证明和在较小硬件上运行的方案。
与此同时，EIP-8025已成为协议共识规范工作的一部分。研究内容包括见证设计、zkVM标准、共识变更、安全性检查和性能测试。首次公开工作会议定于2026年2月11日，为这一长期努力迈出了早期步伐。
相关文章