基于证明的区块验证可以降低验证者成本,并使单人质押更容易,而无需取代现有的验证方法。
以太坊的区块验证正朝着重大重构方向发展。目前的研究重点是协议层面验证区块,而不是添加新的用户功能。目标是降低验证者的硬件要求,同时保持安全性。如果成功,这种方法可以支持更高的网络活动,同时让更多小型运营者参与。
目前,以太坊通过让每个节点重新运行区块中的每笔交易来验证区块。所有节点都执行相同的工作,以独立验证结果。随着交易量的增加,所需的计算能力、存储空间和互联网带宽也在增加。运行完整节点变得越来越困难。
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日,为这一长期努力迈出了早期步伐。
相关文章
Delphi Digital 分析:比特币、以太坊和 Solana 的五年回报显示:BTC 最差情景为 -13%,ETH 的平均回报为 13 倍