以太坊每个验证者今天要做的功课里最重的一门,是把区块里的执行层交易从头到尾再跑一遍:账户余额对不对、存储改动合不合法、日志数对不对。全节点都靠这种重放来确认区块有效。EIP-8025 在 2025 年 9 月提出一个折中方案:让执行证明进入信标链网络,验证者可以花固定的一小笔验算代替一整块的重放。提案在仓库里处于草稿状态,规格里明确这是完全可选的机制,不改变共识的有效性规则。
谁生成、谁验证
提案把节点分成两种角色。生成者是利他节点:它们照常重放执行层交易,顺便产出一份执行证明,通过信标链的点对点网络广播。验证者节点则订阅这些证明,收到后核对证明本身,判断区块里的执行载荷是否有效,全程不需要自己重放交易,也不需要维护完整的执行层状态。提案原文特别标注:验证成本相对区块 gas 上限和执行状态规模都是常数级的——这就是它的全部卖点,验证者硬件要求与链上负载从此解耦。
为什么是可选而不是强制
密码学界对生成端的成熟度还没有把握。执行证明的生产方要么依赖刚起步的分布式证明网络,要么需要专门的高配机器,两样都没有经过主网级别的长期考验。强制切换等于把整条链的活性押在一条没跑熟的技术栈上。所以 EIP-8025 的剧本是先并行:规则照常靠重放保证有效,证明作为额外的保险丝跑在生产环境里;等生态养熟了,另一份后续提案再讨论要不要把证明变成强制。提案还坦率地承认自己不解决激励问题——生成者此刻靠的是利他,没有协议报酬。
它和状态证明、 zkEVM 的谱系关系
执行证明不是从零冒出来的概念。以太坊路线图里,状态无状态化长期由 Verkle 树类方案代表;链下执行证明路线则由 rollup 证明了可行性,只是那套证明是给二层结算用的。EIP-8025 走的是第三条路:给一层验证者减负,证明的验证方是信标链客户端。从规格依赖也能看出谱系:它要求先落地 blob 相关、存款与提款请求、有效余额提升等一批已完成或进行中的改动,再在协议字段里安排证明的位置。
读草稿时该盯的三个信号
第一,看生成端的性能曲线:主网级别的区块要在一轮出块间隔内出证明,目前公开实现还远不够快,这决定利他节点数量能不能爬到安全水位。第二,看消息层设计:证明通过信标链 p2p 广播,体积、速率限制和缺失证明时的降级路径都要定义清楚,提案把这些细节摊在共识层与执行层的规格章节里。第三,看社群如何讨论强制化时间表:这也是历史上大多数升级的剧本——可选、共存、观察、再收紧。
一笔对照账
可以这样理解分工的转移:今天每个验证者都在重复做同一道大题,做完只为回答同一个字:对或错。EIP-8025 把大题交给少数专业解题人,验证者只批改解题过程。批改费固定,解题费高昂,两者都由技术生态消化。对普通用户,短期唯一可见的变化可能是运行节点的门槛故事继续分化:全节点重放派不减反增其价值,轻验证派拿到更便宜的入场券,而链的安全性仍然由两派共同撑着。
一句历史注脚
让验证者少重放、多验证明,这个念头在以太坊文献里至少讨论了好几年,此前主要的落点在二层与无状态客户端研究。EIP-8025 的特别之处在于把它做成了主网的可选附件:不改出块流程、不改有效性规则,先让证明在生产环境里自然生长。对想低门槛跑验证者的读者,短期建议仍是老实跑执行层加共识层客户端,把这份提案当作观察方向而非行动信号。
风险提示:本文是对协议草案的科普解读,不构成任何投资建议;提案状态与细节可能随讨论变化,请以提案仓库页面为准。
发表评论
还没有评论,来说两句吧。
评论区为展示样式,提交不会被处理。