以太坊研究员 ladislaus.eth 上周发布了一份演示说明,解释以太坊计划如何从重新执行每笔交易转向验证零知识证明-以太坊研究员 ladislaus.eth 上周发布了一份演示说明,解释以太坊计划如何从重新执行每笔交易转向验证零知识证明-

以太坊希望家庭验证者验证证明,但12个GPU的现实引发新威胁

2026/02/10 21:20
阅读时长 19 分钟

Ethereum 研究员 ladislaus.eth 上周发布了一份详细说明,解释 Ethereum 计划如何从重新执行每笔交易转变为验证零知识证明。

该帖子将其描述为"安静但根本性的转变",这个框架是准确的。不是因为工作是秘密的,而是因为其影响波及 Ethereum 的整个架构,直到各个部分连接起来之前,这些影响都不会显而易见。

这不是 Ethereum "添加 ZK" 作为功能。Ethereum 正在原型设计一种替代验证路径,其中一些验证者可以通过验证紧凑的执行证明来证明区块,而不是重新运行每笔交易。

如果成功,Ethereum 的第一层角色将从"rollup 的结算和数据可用性"转向"执行高吞吐量,其验证成本足够低廉,适合家庭验证者"。

实际正在构建的内容

EIP-8025,标题为"可选执行证明",以草案形式落地并规定了机制。
执行证明通过专用主题在共识层点对点网络中共享。验证者可以在两种新模式下运行:生成证明或无状态验证。

该提案明确指出"不需要硬分叉"并保持向后兼容,而节点仍然可以像今天一样重新执行。

Ethereum Foundation 的 zkEVM 团队于 1 月 26 日发布了 2026 年的具体路线图,概述了六个子主题:执行见证和访客程序标准化、zkVM-访客 API 标准化、共识层集成、证明者基础设施、基准测试和指标,以及形式化验证的安全性。

首次 L1-zkEVM 分组讨论会议定于 2 月 11 日 15:00 UTC 举行。

端到端管道的工作方式如下:执行层客户端生成 ExecutionWitness,这是一个独立的包,包含验证区块所需的所有数据,而无需保存完整状态。

标准化的访客程序使用该见证并验证状态转换。zkVM 执行此程序,证明者生成正确执行的证明。然后共识层客户端验证该证明,而不是调用执行层客户端重新执行。

关键依赖项是 ePBS(内置提议者-构建者分离),目标是即将到来的 Glamsterdam 硬分叉。没有 ePBS,证明窗口大约为一到两秒,对于实时证明来说太紧张了。通过 ePBS 提供的区块流水线,窗口延长到六到九秒。

Proving breakdown图表显示 ePBS 将 Ethereum 的证明窗口从 1-2 秒延长到 6-9 秒,使实时证明生成变得可行,相比当前需要 12 个 GPU 的平均七秒证明时间。

去中心化权衡

如果可选证明和见证格式成熟,更多家庭验证者可以参与,而无需维护完整的执行层状态。

提高 gas 限制在政治和经济上变得更容易,因为验证成本与执行复杂性脱钩。验证工作不再与链上活动呈线性扩展。

然而,证明带有自身的中心化风险。2 月 2 日的 Ethereum Research 帖子报告称,证明一个完整的 Ethereum 区块目前需要大约 12 个 GPU,平均需要 7 秒。

作者标记了对中心化的担忧,并指出限制仍然难以预测。如果证明仍然是 GPU 密集型并集中在构建者或证明者网络中,Ethereum 可能会用"少数证明,多数验证"来交换"每个人都重新执行"。

该设计旨在通过在证明层引入客户端多样性来解决这个问题。EIP-8025 的工作假设是五分之三阈值,这意味着证明者在验证了来自不同执行层客户端实现的五个独立证明中的三个后,接受区块的执行为有效。

这在协议级别保留了客户端多样性,但没有解决硬件访问问题。

最诚实的框架是 Ethereum 正在转移去中心化战场。今天的限制是"你能负担得起运行执行层客户端吗?"明天可能是"你能访问 GPU 集群或证明者网络吗?"

赌注是证明验证比状态存储和重新执行更容易商品化,但硬件问题仍然悬而未决。

L1 扩展解锁

Ethereum 的路线图(最后更新于 2 月 5 日)将"无状态"列为主要升级主题:在不存储大型状态的情况下验证区块。

可选执行证明和见证是使无状态验证变得实用的具体机制。无状态节点只需要共识客户端,并在有效负载处理期间验证证明。

同步减少到下载自上次最终确定检查点以来最近区块的证明。

这对 gas 限制很重要。今天,gas 限制的每次增加都会使运行节点变得更困难。如果验证者可以验证证明而不是重新执行,验证成本就不再随 gas 限制而扩展。执行复杂性和验证成本脱钩。

2026 年路线图中的基准测试和重新定价工作流明确针对将消耗的 gas 映射到证明周期和证明时间的指标。

如果这些指标稳定下来,Ethereum 就会获得以前没有的杠杆:在不按比例增加运行验证者成本的情况下提高吞吐量的能力。

这对第二层区块链意味着什么

Vitalik Buterin 最近的一篇帖子认为,第二层区块链应该在扩展之外进行差异化,并明确将"原生 rollup 预编译"的价值与 Ethereum 扩展第一层所需的内置 zkEVM 证明的需求联系起来。

逻辑很简单:如果所有验证者都验证执行证明,那么相同的证明也可以被 EXECUTE 预编译用于原生 rollup。第一层证明基础设施成为共享基础设施。

这改变了第二层的价值主张。如果第一层可以扩展到高吞吐量,同时保持低验证成本,rollup 就无法仅以"Ethereum 无法处理负载"为由证明自己的合理性。

新的差异化轴是专门的虚拟机、超低延迟、预确认以及像依赖快速证明设计的 rollup 这样的可组合性模型。

第二层保持相关性的场景是角色在专业化和互操作性之间分配。

第一层成为高吞吐量、低验证成本的执行和结算层。第二层成为功能实验室、延迟优化器和可组合性桥梁。

然而,这需要第二层团队阐明新的价值主张,并需要 Ethereum 在证明验证路线图上交付成果。

三条前进道路

未来有三种潜在场景。

第一种场景包括证明优先验证变得普遍。如果可选证明和见证格式成熟,客户端实现围绕标准化接口稳定下来,更多家庭验证者可以参与,而无需运行完整的执行层状态。

Gas 限制增加,因为验证成本不再与执行复杂性一致。这条路径取决于 ExecutionWitness 和访客程序标准化工作流收敛到可移植格式。

场景二是证明者中心化成为新的瓶颈。如果证明仍然是 GPU 密集型并集中在构建者或证明者网络中,那么 Ethereum 将去中心化战场从验证者的硬件转移到证明者市场结构。

协议仍然运作,因为任何地方的一个诚实证明者都可以保持链的活跃,但安全模型发生了变化。

第三种场景是第一层证明验证成为共享基础设施。如果共识层集成加强,ePBS 提供扩展的证明窗口,那么第二层的价值主张将倾向于专门的 VM、超低延迟和新的可组合性模型,而不仅仅是"扩展 Ethereum"。

这条路径需要 ePBS 按计划为 Glamsterdam 交付。

场景必须为真的条件(技术前提)会出现的问题/主要风险会改善的方面(去中心化、gas 限制、同步时间)L1 角色结果(执行吞吐量与验证成本)L2 影响(新的差异化轴)"需要关注"的信号
证明优先验证变得普遍Execution Witness + 访客程序标准收敛;zkVM/访客 API 标准化;CL 证明验证路径稳定;证明在 P2P 上可靠传播;可接受的多证明阈值语义(例如 3/5)证明可用性/延迟成为新的依赖项;验证错误在依赖时变得对共识敏感;客户端/证明者之间不匹配家庭验证者可以在没有 EL 状态的情况下证明;同步时间下降(自最终确定检查点以来的证明);gas 限制增加变得更容易,因为验证成本与执行复杂性脱钩L1 转向更高吞吐量的执行,对许多验证者来说具有相对恒定的验证成本L2 必须证明自己超越"L1 无法扩展":专门的 VM、应用特定执行、自定义费用模型、隐私等规范/测试向量加固;跨客户端的见证/访客可移植性;稳定的证明传播 + 故障处理;基准曲线(gas → 证明周期/时间)
证明者中心化成为瓶颈证明生成保持 GPU 密集型;证明市场整合(构建者/证明者网络);有限的"车库规模"证明;活跃性依赖于一小部分复杂的证明者"少数证明,多数验证"集中权力;审查/MEV 动态加剧;证明者中断造成活跃性/最终性压力;地理/监管集中风险验证者可能仍然可以廉价验证,但去中心化转移:更容易证明,更难证明;一些 gas 限制空间,但受证明者经济学约束L1 在理论上变得可扩展执行,但实际上受证明者容量和市场结构限制L2 可能倾向于基于/预确认设计、替代证明系统或延迟保证——可能增加对特权参与者的依赖证明成本趋势(硬件要求、每个区块的时间);证明者多样性指标;分布式证明的激励措施;故障模式演练(当证明缺失时会发生什么?)
L1 证明验证成为共享基础设施CL 集成"加固";证明被广泛生成/消费;ePBS 交付并提供可行的证明窗口;接口允许重用(例如 EXECUTE 风格的预编译/原生 rollup 钩子)跨域耦合风险:如果 L1 证明基础设施受压,rollup 验证路径也可能受到影响;复杂性/攻击面扩大共享基础设施减少重复的证明工作;改善互操作性;更可预测的验证成本;在不将验证者定价排除在外的情况下,通向更高 L1 吞吐量的更清晰路径L1 演变为证明验证的执行 + 结算层,也可以原生验证 rollupL2 转向延迟(预确认)、专门的执行环境和可组合模型(例如快速证明/同步式设计),而不仅仅是"仅扩展"ePBS / Glamsterdam 进展;端到端管道演示(见证 → 证明 → CL 验证);基准测试 + 可能的 gas 重新定价;最低可行证明分发语义和监控的推出

更大的图景

共识规范集成成熟度将表明"可选证明"是否从主要是待办事项转移到加固的测试向量。

标准化 ExecutionWitness 和访客程序是跨客户端无状态验证可移植性的关键。将消耗的 gas 映射到证明周期和证明时间的基准测试将确定 ZK 友好性的 gas 重新定价是否可行。

ePBS 和 Glamsterdam 的进展将表明六到九秒的证明窗口是否成为现实。分组讨论会议输出将揭示工作组是否在接口和最低可行证明分发语义上收敛。

Ethereum 不会很快切换到基于证明的验证。EIP-8025 明确指出"还不能基于它进行升级",可选框架是有意为之。因此,这是一条可测试的路径,而不是即将激活。

然而,Ethereum Foundation 发布了 2026 年实施路线图、安排了与项目负责人的分组讨论会议,并起草了具有具体点对点传播机制的 EIP,这一事实意味着这项工作已经从研究可行性转移到交付计划。

转变是安静的,因为它不涉及戏剧性的代币经济学变化或面向用户的功能。但它是根本性的,因为它重写了执行复杂性和验证成本之间的关系。

如果 Ethereum 可以将两者脱钩,第一层将不再是迫使所有有趣事物转移到第二层的瓶颈。

如果第一层证明验证成为共享基础设施,整个第二层生态系统需要回答一个更难的问题:你正在构建什么是第一层无法做到的?

帖子 Ethereum 希望家庭验证者验证证明,但 12 个 GPU 的现实引发了新威胁 首次出现在 CryptoSlate 上。

市场机遇
NodeAI 图标
NodeAI实时价格 (GPU)
$0.02826
$0.02826$0.02826
+2.31%
USD
NodeAI (GPU) 实时价格图表
免责声明: 本网站转载的文章均来源于公开平台,仅供参考。这些文章不代表 MEXC 的观点或意见。所有版权归原作者所有。如果您认为任何转载文章侵犯了第三方权利,请联系 [email protected] 以便将其删除。MEXC 不对转载文章的及时性、准确性或完整性作出任何陈述或保证,并且不对基于此类内容所采取的任何行动或决定承担责任。转载材料仅供参考,不构成任何商业、金融、法律和/或税务决策的建议、认可或依据。