基于证明的区块验证可以降低验证者成本,并使单独质押更容易,而无需取代当前的验证方法。
Ethereum上的区块验证正朝着重大重新设计的方向发展。当前的研究重点是在协议层面验证区块,而不是添加新的用户功能。目标是降低验证者的硬件要求,同时保持安全性。如果成功,该方法可以支持更高的网络活动,同时保持较小运营商的参与机会。
Ethereum目前通过让每个节点重新运行其中的每笔交易来验证区块。所有节点执行相同的工作以独立验证结果。随着交易量的增加,需要更多的计算能力、存储空间和互联网带宽。随着使用量的增长,运行完整节点变得更加困难。
通过零知识EVM证明,节点不需要重做工作。他们将验证单个加密证明,证明区块已正确处理。验证证明速度快,无论区块中有多少笔交易,所需时间都相同,这使得扩展变得更加容易。
此外,零知识执行证明已经存在了一段时间,但Ethereum现在正在努力直接在其核心系统中使用它们。该协议计划允许一些验证者验证加密证明,确认工作已正确完成。通过证明进行验证将与当前方法并存,而不是完全取代它们。
为了支持这一点,Ethereum基金会的zkEVM团队已经概述了一个针对2026年的路线图。根据该计划,执行客户端将打包所有数据,这些数据需要验证区块并打包成一个称为执行见证的单一捆绑包。
图片来源:X/ladislaus.eth
可以将其视为一个紧凑的捆绑包,包含检查区块所需的一切,而无需存储Ethereum的完整状态。一个特殊程序验证数据,零知识虚拟机生成证明,证明区块已正确处理。共识层(CL)客户端可以验证证明以确认区块,而不是重新运行交易。
在EIP-8025下,节点不需要改变其操作。重新执行仍然可用,不需要硬分叉。选择基于证明检查的验证者被称为zkAttesters。这些CL客户端验证zkEVM证明,而不是运行完整的EL客户端。
依赖证明的验证者将不再需要存储Ethereum的执行数据或同步完整链。相反,同步可能意味着在每个最终检查点后下载最近的证明。这一变化显著降低了硬件要求,使单独质押者和家庭运营商更容易进行验证。
此外,无状态证明允许个人在本地验证Ethereum历史记录,而无需大量存储要求。在消费级硬件上进行自我验证再次变得更加现实。
证明生成速度取决于另一个称为内置提议者-构建者分离(ePBS)的升级。没有它,在区块槽内创建证明的时间不够。ePBS添加了区块流水线,为证明者每个槽提供几秒钟时间,这使得实时证明生成成为现实。
执行客户端团队获得了新的相关性,因为每个客户端都成为证明来源。zkVM提供商也从共享接口中受益。ZisK、OpenVM和RISC Zero等zkVM项目也生成Ethereum证明,为他们提供了明确的目标。
关于谁生成证明的问题仍然存在。一个诚实的证明者足以保持链的运行,但依赖大型构建者可能会集中权力。分布式证明和在较小硬件上运行的设置的工作仍在继续。
与此同时,EIP-8025现在是协议共识规范工作的一部分。研究涵盖见证设计、zkVM标准、共识变更、安全检查和性能测试。第一次公开工作电话会议定于2026年2月11日举行,标志着这项长期工作的早期步骤。
这篇文章Ethereum在2026年目标实现基于零知识的区块验证首次出现在Live Bitcoin News上。


