以太坊2030愿景将工作转向密码学证明，谁来验证结果？_新闻

免责声明：内容不构成买卖依据，投资有风险，入市需谨慎！

以太坊2030愿景将工作转向密码学证明，谁来验证结果？

2026-09-28 20:43:48

维塔利克·布特林的愿景：以太坊迈向“加密世界计算机”

2026年9月27日，维塔利克·布特林（Vitalik Buterin）发表了题为《加密世界计算机》的文章，描绘了以太坊未来的发展蓝图。其核心愿景是促使以太坊从一种“每个验证者重复大量计算工作”的系统，转变为一种“数据可采样、执行结果可通过紧凑证明进行验证”的系统。

目前，这一宏大转型的一部分——PeerDAS（点对点数据可用性采样）已随2025年12月的Fusaka升级在主网部署。然而，更核心的执行层验证转型仍处于开发阶段。虽然密码学证明可以确立某项计算遵循了既定规则，但用户仍需确保数据的可用性、拥有提交交易的途径，并依赖一套决定最终结果的协议机制。

现状与愿景的区别

理解“已实现的功能”与“设想的愿景”之间的区别至关重要。PeerDAS已在2025年12月随Fusaka升级上线，根据以太坊基金会的更新，验证者现在只需对Blob数据进行采样，而非下载全部数据。这是一种进步，但它仅解决了数据可用性问题，并未解决执行验证问题。

以太坊路线图提出的2030年基础层zkEVM（零知识以太坊虚拟机）验证仍属于未来工作范畴，这与现有的Rollup（层二扩容方案）证明是分开的。当人们听到“以太坊将在2030年验证证明”时，需要明确具体是指哪种证明、覆盖哪些计算以及由哪些参与者独立测试。

PeerDAS：检查数据访问，而非所有计算

PeerDAS将扩展的Blob数据划分为128个列（columns），以便在网络中分发和采样。普通节点至少订阅8个随机选择的列子网。这意味着节点只需获取扩展数据的十六分之一，由于编码冗余的存在，这相当于原始数据量的约八分之一即可重建状态。

这种基于Reed-Solomon风格的编码和密码学承诺，提供了概率性的可用性保证。然而，它并不替代执行验证。即使交易数据完全可用，其中仍可能包含无效的状态转换；反之，即使存在有效的状态转换证明，如果必要的辅助数据被运营商扣留，用户也无法重建账户状态。

证明者与验证者的角色分工

在基于证明的执行模型中，证明者（Prover）承担繁重的工作，他们可能使用昂贵的专业硬件来执行交易并构建证据。验证者（Verifier）则以极低的成本检查证明，确认声称的状态变更符合协议规则和输入。

数学检查不需要验证者盲目信任证明公司，前提是：

验证者运行的是健全且正确的证明系统。
使用了正确的验证密钥、公共输入和约定的执行规则。
客户端实现没有漏洞，且升级流程具备稳健的控制措施。

以太坊L1 zkEVM路线图的目的是降低验证的资源成本，使更多人能在普通硬件上检查区块。但这并不意味着家庭用户可以生产区块证明，也不意味着证明生产过程会均匀分布。如果证明生成集中在少数拥有专用硬件的公司手中，虽然不会自动导致伪造状态，但可能引入“活性依赖”风险：如果足够少的参与者能快速产生证明，区块的最终确定可能会变慢。

三个常被混淆的承诺

用户常将以下三个独立的承诺混为一谈：

排序（Ordering）： 交易如何被纳入有序批次，由顺序器或区块构建机制决定。
可用性（Availability）： 重建状态所需的数据是否公开可得，由PeerDAS等机制保障。
正确性（Correctness）： 状态转换是否符合规则，由有效性证明（Validity Proof）保障。

一个完美的有效性证明只能说明批次内的交易按规则处理了，但不能保证特定用户的交易未被排除或重排序。同样，Validium（有效性卷）虽然使用有效性证明，但若数据未发布在主网上，用户可能面临无法提取资金的风险。因此，不能简单地将所有ZK技术统称为同一类解决方案，它们在数据恢复能力上存在关键差异。

基础层不能直接借用Rollup的属性

现有的ZK Rollup在其各自的合约和规则下向以太坊提交有效性证明。但这并不意味着以太坊基础层已经将所有执行验证转移到了此类证明上。Rollup证明的是其自身虚拟机的状态转换，而基础层验证器必须检查协议层面的区块执行，这需要所有客户端团队的共识和协调。

如果节点停止重复执行交易，如何发现计算中的错误？答案是开发者可以通过独立的全量执行与证明结果进行对比，并使用多种证明实现和形式化检查。减少重复执行并不意味着禁止额外的检查，而是改变了普通验证节点达成共识所需的工作量。

共享状态带来的挑战

布特林指出，访问巨大的共享状态是一个未解决的难题。并行处理在任务可安全分离时更容易，而共享状态（如流动性池）会产生依赖关系。改变订单顺序可能导致不同结果（非交换性）。提高证明速度本身并不能解决数据库争用、审查或数据可用性问题。

一个强大的去中心化中间层可能在某些情况下保护请求来源元数据，但这需要明确数据分布、加入机制和故障逃逸路径。隐私并非有效性证明的自动产物，除非系统专门保护公共输入、钱包活动和网络元数据。

Hegota分叉：路标而非2030年的发布保证

布特林提到的Hegota分叉计划于2027年实施，可能是最后一个让2015年以太坊观察者感到熟悉的升级。后续工作涉及递归STARKs、形式化验证、优化的共识和量子安全性。然而，路线图只是研究地图和候选里程碑，并非链上的执行保证。以太坊升级需要规范、客户端实现、测试网和安全审查。

我们可以验证PeerDAS是否已部署，但无法仅凭一篇文章就验证未来的通用基础层zkEVM。真正的证据将首先出现在公共规范和测试中，然后是具体的分叉计划和生产环境激活。

总结与展望

布特林的方法论具有强大的说服力：如果验证变得廉价且数据可安全采样，更多用户可以独立检查更大的系统。挑战同样真实：证明栈必须安全、竞争充分且快速，同时数据和排序必须保持可访问性。一个验证便宜但依赖单一证明者或顺序器的网络仍然是脆弱的。

文章并未确定谁将构建每一个证明，也未确定哪种证明系统获胜。但它提出了一个对用户至关重要的测试标准：普通独立参与者能否拒绝错误结果？能否恢复了解自身状态所需的数据？能否在任一运营商阻碍的情况下提交交易？这些答案需要各自独立的机制。密码学检查的强大之处，恰恰在于它可以由未从事繁重工作的人重复执行。

关键观察点 (What to Watch)

L1 zkEVM 规范： 寻找跨客户端接受的具體验证器、公共输入格式和执行规则。
证明者多样性： 多个独立实现和测量的硬件需求将测试证明生产是否存在单点瓶颈。
PeerDAS 测量： 随着参数增加，检查Blob吞吐量和节点带宽。
Hegota 决策： 最终分叉的范围比草案路线图中的候选功能更重要。
数据与排序保障： 检查Rollup和未来基础层设计是否保留了独立重建能力和交易纳入机制。

常见问题解答 (FAQ)

维塔利克·布特林为2030年的以太坊提出了什么？

他的文章描述了一个使用更多数据采样、密码学验证和去中心化链外计算的network。这是一种愿景，而非最终确定的协议规范。

PeerDAS已经在以太坊上运行了吗？

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

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

以太坊文档指出，扩展数据被分为128列，普通节点至少加入8个列子网。这是按列数计算的扩展数据的十六分之一，受协议编码和采样设计的影响。

谁创建有效性证明？

证明者执行相关计算并构建声称结果的证明。证明者的身份和数量取决于特定的Rollup或未来的基础层设计。

谁检查证明？

验证合约或验证节点根据约定的验证规则和公共输入进行检查。目标是使独立方能够以比重复整个计算更低的成本完成此操作。

有效的证明能保证我的交易被包含吗？

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

ZK证明能保证我可以取回资金吗？

单独不能。用户还需要访问相关的状态数据和可行的退出机制。Validium可以使用有效性证明，同时将数据保留在以太坊之外，从而产生不同的可用性风险。

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

在审查的资料中没有关于这种全面变化的采用截止日期。PeerDAS已上线，而基础层执行证明仍是一个开发目标。

免责声明：

本网站、超链接、相关应用程序、论坛、博客等媒体账户以及其他平台和用户发布的所有内容均来源于第三方平台及平台用户。百亿财经对于网站及其内容不作任何类型的保证，网站所有区块链相关数据以及其他内容资料仅供用户学习及研究之用，不构成任何投资、法律等其他领域的建议和依据。百亿财经用户以及其他第三方平台在本网站发布的任何内容均由其个人负责，与百亿财经无关。百亿财经不对任何因使用本网站信息而导致的任何损失负责。您需谨慎使用相关数据及内容，并自行承担所带来的一切风险。强烈建议您独自对内容进行研究、审查、分析和验证。

展开阅读全文