以太坊2030年的愿景把工作交给密码学证明，谁来验证结果？

Vitalik Buterin 9月27日提出的愿景描述了以太坊如何从一种“每个验证者都重复大量工作”的系统，转向一种可以抽样数据、并用紧凑证明检查执行结果的系统。其中一部分 PeerDAS 已经上线。更大范围的执行层转变仍在开发中。证明可以证明某项计算遵循了既定规则，但用户仍然需要数据、提交交易的方式，以及决定谁的结果最终生效的协议。

• Vitalik Buterin 于 2026 年 9 月 27 日发布了《The cryptographic world computer》。
• 以太坊在 2025 年 12 月的 Fusaka 升级中把 PeerDAS 带到了主网。
• PeerDAS 将扩展后的 blob 数据拆分为 128 列，供网络分发和抽样。
• 按照以太坊的说明，普通节点至少订阅 8 个列子网。
• 以太坊拟议中的 2030 年底层执行证明仍是未来工作，与现有 rollup 证明不同。

标题中的问题有两个答案。证明者生成密码学证明；验证者——可能是运行相关软件的任何验证节点——根据规则和公开输入检查该证明。以太坊底层 zkEVM 路线图显示，验证应该比重新执行每一笔交易便宜得多。但判断一份证明是否可靠，并不能单独解决交易数据是否可用，或者某个运营方是否会扣留用户交易的问题。

Buterin 9月27日的文章《The cryptographic world computer》把目标描绘为区块链、密码学隐私与验证，以及去中心化链下组件的组合。他对比了旧式的“下载并重新执行”模式与一种节点抽样数据并验证证明的模式。他还描述了共识和区块构建的其他可能变化。这是个人技术愿景，不是已经获得所有以太坊客户端团队批准的最终升级规范。

区分“已经存在的东西”和“设想中的东西”非常重要。根据以太坊基金会 2026 年 2 月的协议更新，PeerDAS 已随 2025 年 12 月的 Fusaka 上线。基金会表示，验证者现在抽样 blob 数据，而不是把全部数据都下载下来。至于在底层区块中网络范围内切换到验证简洁执行证明，目前并没有被描述为已经部署。听到“以太坊将在 2030 年验证证明”时，读者应当追问：是哪一种证明、覆盖哪部分计算、以及哪些参与方可以独立测试它。

PeerDAS 检查的是数据可用性，不是每一项计算

已经部署的部分是 PeerDAS，即点对点数据可用性抽样。Rollup 会把交易数据放入以太坊的 blob 空间，供其他参与者提取足够信息来重建状态，并约束运营方遵守规则。过去让每个节点下载每个 blob 的方式，会让更大的数据量对普通验证者来说成本过高。抽样则要求节点把小块数据与密码学承诺进行比对，同时网络分发足够多的编码片段以便重建。

以太坊的说明称，扩展后的 blob 数据被分成 128 列。普通节点加入至少 8 个随机选择的列子网。8 除以 128 等于扩展数据的十六分之一。由于编码增加了冗余，按照文档的描述，这一数量大约对应原始数据量的八分之一。这里的数字指的是默认节点的数据工作量，而不是说单个节点能以八分之一的成本亲自保存所有 rollup 的全部历史。

类似 Reed-Solomon 的编码会生成冗余数据片段，密码学承诺则帮助节点检查抽样到的片段是否属于已公布的数据。抽样为参与节点提供了一种概率性的可用性保证，但它不能替代执行验证。即便一批交易完全可用，也可能包含无效的状态转换。同样，一份关于状态转换的有效证明，也不足以让用户在数据被可用性保证之外扣留时重建账户状态。

以太坊基金会表示，Fusaka 使理论上的 blob 容量提高了八倍。这里的“理论上”很重要：实际持续吞吐量取决于计划中的参数上调、网络状况以及 rollup 的使用情况。Crypto.news 曾解释 rollup 如何使用以太坊的数据层。Buterin 的新文章把 PeerDAS 视为朝着“更多验证、减少重复”系统迈出的第一个可见步骤；它不应被改写成最终的执行证明升级。

证明者承担重活；独立节点负责检查

在基于证明的执行模型中，仍然需要有人执行交易并构造关于结果的证据。这个角色可能使用昂贵的专用硬件和软件。简洁证明让验证者能够以低得多的成本检查所声称的状态变化是否遵循了程序以及协议规则下承诺的输入。数学检查并不要求验证者因为证明是某家公司生成的，就必须信任这家公司。

不过这句话有前提。验证者必须运行正确的证明系统，使用正确的验证密钥、公开输入和约定的执行规则。错误的电路也可能完美地证明错误的命题。客户端实现中的漏洞可能接受本应拒绝的证明。一个可以在没有稳健控制的情况下修改验证代码的升级密钥，也可能削弱这种保证。在活跃协议中，独立实现和审查与快速生成证明同样重要。

以太坊 L1 zkEVM 路线图页面描述了这样一种未来：节点验证区块执行证明，而不是重复每一笔交易。其目标是降低验证的资源成本。如果证明验证在普通硬件上仍然可行，这将让更多人更容易检查区块。但这并不意味着每个家庭都能生成区块证明，也不意味着证明生产会均匀分布。

Crypto.news 曾报道围绕证明生成的硬件竞争。真正有用的区分是：谁能在链要求的时间内生成证明，谁又能以低成本验证证明。证明生成可能会集中在拥有专用硬件的公司手中，但这并不会自动让这些公司伪造有效状态转换。它仍可能带来活性依赖：如果能及时生成证明的参与方太少，即使证明系统在数学上仍然可靠，区块或最终性也可能放慢。这与无效证明被接受是不同的风险。

因此，验证问题既有数学答案，也有人类答案。开发者设定电路，研究人员审计电路，客户端团队实现电路，节点运营者运行验证器，参与者决定是否接受协议升级。Buterin 可以提出方向，但他不能单凭自己让未来的验证器对网络来说既安全又强制。

“证明”这个词里常常混着三种承诺

设想一个用户通过 rollup 发送一笔支付。交易必须被纳入一个有序批次。该批次的数据必须按照 rollup 选择的模型保持可用。最后，产生的状态变化必须符合规则。排序、可用性和正确性是三种不同的承诺。正确性证明只针对特定计算中的最后一项。PeerDAS 解决的是以太坊 blob 数据的可用性。排序器或区块构建机制则影响哪些交易被纳入以及以什么顺序纳入。

Crypto.news 曾把排序器作为一个独立的控制点进行分析。即便证明完全有效，也只能证明某个批次按规则处理完成，不能说明其运营方没有排除某位客户的交易。用户可能拥有逃生或强制纳入路径，具体取决于该 rollup 的设计，但证明本身并不会强制公平访问。排序器也可以在仍然生成有效状态转换的同时重排交易。被证明的命题不应被误认为用户想要的所有市场属性。

数据层面同样容易被混淆。以太坊关于 validium 的文档描述了这样一种系统：它使用有效性证明，但不把交易数据发布到以太坊主网。它的执行可能对验证者来说是正确的，但数据可用性故障会阻止用户重建状态或按预期提款。把交易数据足量发布到以太坊上的 rollup，拥有不同的可用性模型。把两者都简单称为“ZK”，会掩盖用户在没有运营方帮助时恢复账户状态的关键差异。

最简单的检验方法是一个三列表格式的思维清单。问谁把交易放进批次。问重建余额所需的数据可以从哪里取回。问哪个合约或节点验证状态正确性的证明。如果一个项目只回答了第三个问题，它就没有回答前两个问题。这也是为什么 Buterin 的文章会把区块构建和网络数据分发与密码学放在一起讨论，而不是用一个魔法证明替代整个系统。

底层不能从现有 rollup 那里借来所有属性

ZK rollup 已经按照各自的合约和规则向以太坊提交有效性证明。以太坊关于 ZK rollup 的文档描述了运营方为一个批次生成证明，而验证器合约只有在验证通过后才接受新的状态根。这为证明计算提供了有用的先例，但并不意味着以太坊底层已经把所有执行验证都转移到了这类证明上。

范围不同。Rollup 证明的是自己虚拟机和合约下的状态转换，而以太坊底层验证器必须以客户端团队接受的方式检查协议的区块执行。rollup 的自定义逻辑与以太坊主网执行规则之间的差异，不是一个更快的证明者就能抹平的细节。证明系统还必须在协议升级、新交易类型和对抗性输入下保持稳健。

应用可以把算术外包给协处理器，并提供带证明的结果，但底层链仍然决定是否接受公开输入、存储承诺并结算最终状态。应用也许可以自己选择证明者设计；底层规则则需要客户端和验证者之间更广泛的协调。Buterin 所说的“密码学世界计算机”更适合作为架构方向，而不是某个单一证明服务将运行整个以太坊的承诺。

这里有一个看似矛盾但值得澄清的问题：如果节点不再重新执行，谁来发现被证明的计算里是否有漏洞？一种答案是，开发者可以在开发和部署后独立运行完整执行，并将其与证明结果进行比较。另一种答案是采用多种证明实现以及对电路进行形式化检查。以太坊的具体设计尚未最终确定。一个减少所需重新执行的协议，并不禁止人们做额外检查；它改变的是每个普通验证节点为了达成共识必须做什么。

基金会 9 月的协议优先事项更新把 L1 zkEVM 和形式化验证列为主要工作流。这说明工程仍在推进，而不是已经确定上线日期。安全标准之所以很高，是因为底层证明系统一旦出错，会影响其他应用所依赖的基础。

证明可能改善验证，但状态问题也在变大

Buterin 提到，对一个非常大的共享状态的访问，是一个特别棘手且尚未解决的问题。Crypto.news 曾分析他关于基于证明的 mempool 扩容的另一项提案，那针对的是与最终状态执行不同的瓶颈。证明可以证明某项计算，但证明者必须先获得该计算所依赖的信息：余额、合约存储以及其他账户状态。如果很多交易同时触及同一状态，把计算分散到多台机器上就更难。来自一个账户的支付和触及流动性池的兑换，不能基于彼此不一致的快照同时最终确定。

这篇文章暗示，应用可能会把排序和不可交换的状态变化放到链上，而把其他计算在纳入前进行聚合。这是架构上的激励，不是今天对开发者具有约束力的规则。“不可交换”指的是改变顺序就会改变结果。两个人从同一个浅池里买入，先后顺序不同，价格也可能不同。没有任何证明能让这两个顺序在经济上等价。

这对“免费扩容”的简单承诺形成了制衡。任务如果能够安全分离，平行处理就更容易。共享状态会带来依赖。证明者也许能快速执行很多独立计算，但仍可能要等待受争用状态的访问，或者等待区块构建者的排序选择。仅仅提高证明速度，并不能解决数据库争用、审查，或向其他参与者提供足够信息的成本。

在 Buterin 看来，更强的去中心化中间层可以并行处理工作，并在某些情况下保护请求来源的元数据。这类基础设施也许能提升性能或隐私，但它必须明确数据如何分发、谁可以加入，以及哪些故障有逃生路径。用户支付的隐私并不是使用有效性证明的自动结果。除非系统也保护公开输入、钱包活动和网络元数据，否则这些部分仍可能泄露信息。

独立性可以在最终分叉前先测出来

“任何人都可以验证”在实践中有条件。普通节点需要验证器代码、相关公开输入、与链上已接受状态的连接，以及在协议时间限制内完成检查的足够处理能力。如果一份证明在普通机器上只需几秒就能验证，但生成却要在昂贵硬件上花费数小时，那么系统可能实现广泛验证，却只有少数人能生成证明。只要生产方宕机不会永久阻塞结算，这对正确性来说可以是可接受的工程权衡。

实验思路很直接。用不止一个客户端团队的验证器软件对同一份有效区块证明进行运行，确认它们都接受。提供被篡改的公开输入，确认它们拒绝。询问不同的证明团队是否能为同一套规则生成可接受的证明、速度有多快、各自需要什么硬件。在公开测试网的高负载环境下重复这些测试，比实验室里展示一份快速证明更能说明准备程度。以太坊的具体接受标准仍取决于协议工作；这些是可观察的问题，不是官方及格线。

证明生成还有一种失败模式，单靠有效性检查无法捕捉：证明者可能拒绝为提议中的区块生成证明。验证者无法接受一份尚未到达的证明。设计可以通过允许多个独立证明者、设置备用执行路径、调整时序或其他机制来应对。选择哪种方案会影响复杂度、成本和最终性时间。仅仅因为路线图把证明验证列为目标，就不应说以太坊当前的底层规则已经选定了这些未来方案中的某一种。

独立性还意味着，用户能够获得验证自己资产主张所需的信息。一份证明状态根遵循代码的证明很强大，但如果用户无法从自己的账户数据重建到该状态根的路径，那么在实际余额核对中仍要依赖中介。PeerDAS 通过网络分发和抽样，让每个节点对 blob 数据可用性的要求更低，但存放在其他地方的应用数据仍需要各自的可用性保证。链上的证明验证器无法强迫外部运营方公布被扣留的记录。

最后，被验证的程序必须是用户以为的那个程序。验证器代码的公开哈希、文档化的升级流程，以及对电路行为的独立测试，都能让外部人士把宣传中的规则与节点实际执行的规则进行比较。形式化验证可以降低逻辑错误的概率，但它本身也始于人类写下的规范。可检查的结果并不是“密码学解决了信任问题”，而是：当证据无效时，一项明确的主张可以被独立拒绝，而不需要每个节点都承担生成它的全部成本。

Hegota 是一个标记，不是 2030 年发布保证

Buterin 提到，计划于 2027 年进行的 Hegota 分叉，可能会是最后一个让 2015 年的以太坊观察者感到熟悉的升级。按他的说法，后续工作将涉及递归 STARK、形式化验证、优化后的共识以及量子安全。Crypto.news 曾报道 2029 年的量子目标是一个单独的规划目标。无论是这篇文章还是某个目标日期，都不能证明每个提议中的组件都会按时准备好并被采用。

以太坊升级需要规范、客户端实现、测试网、安全审查以及参与者之间的协调。路线图是研究和候选里程碑的地图，不是链上生效的执行。可以通过查看 Fusaka 发布和当前节点规则来验证 PeerDAS 已经部署；但不能仅凭一篇文章里的蓝色 2030 栏目，就验证未来的通用底层 zkEVM。证据会先以公开规范和测试的形式出现，然后才会是具体的分叉计划和生产环境激活。

Buterin 这一路线的论点很强：如果验证变得便宜，而且数据可以安全抽样，那么更多用户就能独立检查一个更大的系统，而不必购买与其全部计算和数据相称的机器。挑战同样真实：证明栈必须安全、具有竞争性地产生证明，并且足够快以保持系统活跃，同时数据和排序仍然可访问。一个验证成本很低、但只有单一不可或缺的证明者或排序器的网络，仍然可能脆弱。

这篇文章并没有定论谁会构建每一份证明，也没有定论哪种证明系统会胜出。它确实指出了一个对用户很重要的测试：普通独立参与者能否拒绝错误结果、取回知道自己状态所需的数据，并且在任何单一运营方之外仍能提交交易？每个答案都需要单独的机制。密码学检查之所以强大，正是因为它可以由没有承担重活的人重复执行。

值得关注

• L1 zkEVM 规范。关注是否会出现被各客户端接受的具体验证器、公开输入格式和执行规则。
• 证明者多样性。多个独立实现以及可测量的硬件需求，将检验证明生产是否存在单点瓶颈。
• PeerDAS 指标。随着 2025 年 12 月上线后的参数上调，关注 blob 吞吐量和节点带宽。
• Hegota 决策。最终分叉范围比草案路线图中的候选功能更重要。
• 数据与排序保障。检查 rollup 和未来底层设计是否保留独立重建和交易纳入能力。

常见问题

Vitalik Buterin 对以太坊 2030 年提出了什么？

他 9 月 27 日的文章描绘了一个更多使用数据抽样、密码学验证和去中心化链下计算的网络。这是一个愿景，而不是最终确定的协议规范。

PeerDAS 已经在以太坊上线了吗？

是的。以太坊基金会表示，2025 年 12 月的 Fusaka 升级把 PeerDAS 带到了主网，改变了验证者处理 rollup blob 数据的方式。

在 PeerDAS 下，普通节点会接收多少 blob 数据？

以太坊文档称，扩展数据被分成 128 列，普通节点至少加入 8 个列子网。按列数计算，这相当于扩展数据的十六分之一，但要受协议的编码和抽样设计影响。

谁来生成有效性证明？

证明者执行相关计算，并构造所声称结果的证明。具体是谁、以及有多少证明者，取决于某个 rollup 或未来底层设计。

谁来检查证明？

验证器合约或验证节点会根据约定的验证规则和公开输入进行检查。目标是让独立参与方以远低于重复整个计算的成本完成这件事。

有效证明能保证我的交易一定被纳入吗？

不能。证明可以认证已纳入交易的正确执行，但排序器或区块构建者仍可能影响排序和访问。纳入本身需要单独的保障。

ZK 证明能保证我一定能取回资金吗？

不能单靠证明。用户还需要相关状态数据的访问，以及可行的退出机制。validium 可以使用有效性证明，但把数据保留在以太坊之外，从而带来不同的数据可用性风险。

以太坊会在 2030 年把所有验证都切换到证明吗？

在所审阅的来源中，没有一个已被采纳的截止日期来完成这一全面变化。PeerDAS 已经上线，而底层执行证明仍是开发目标。本文仅供教育和信息参考，不构成投资建议。

免责声明：本文仅供信息和教育用途，不构成财务或投资建议。文中数据反映的是撰写时可获得的监管文件和报道，后续会随披露更新而变化。这里的内容不构成对任何证券或资产的买入、卖出或持有建议。请务必自行研究。信息截至 2026 年 9 月 28 日。