Buterin：2030年后以太坊将转向基于证明的验证
他将明年的Hegotá框架定为最后一次“正常”的分叉，并将钱包元数据隐私和更快的最终性列入路线图。
维塔利克·布特林提出了2030年以太坊的愿景，旨在将网络从普遍的重新执行转向基于证明的验证，并将更多计算推向链外。他将明年计划中的Hegotá升级框架设定为在这一以证明为中心的时代成为以太坊主要路线图故事之前的最后一次“正常”分叉。
布特林的“加密世界计算机”将证明置于以太坊2030计划的中心
维塔利克·布特林于9月27日发布了一篇题为“加密世界计算机”的文章，描述了一个以太坊到2030年的最终状态可能仍然被称为区块链，但其功能将有所不同，通过将链与密码学证明和在其外部工作的计算机网络配对。
市场相关的部分是他附加的排序。布特林表示，以太坊的转型将在明年的赫戈塔升级后加速，他将赫戈塔描述为以太坊最后一次“正常”的分叉，采用的技术对于2015年在以太坊工作的人来说将显得熟悉。他写道，之后的升级将越来越依赖于数学证明、检查软件错误的工具，以及旨在抵御未来量子计算机的安全性。
布特林还将后赫戈塔时期框架为以“核心”工作为标准的政权更迭。他写道：“在赫戈塔之后，这一转变将成为以太坊的主要故事”，并将预期结果描述为“比以往时代的技术所能做到的任何事情都要便宜得多、可扩展性更强且更私密的高安全性计算。”
从每个人重新执行到许多人验证：基于证明的验证提案
以太坊当前的安全模型通过重复来获得保障。完全检查以太坊的计算机重复交易背后的计算，验证发送者是否有足够的资金，以及应用程序是否遵循其规则。这种冗余保持了网络的诚实，但也限制了扩展，因为增加更多计算机并不会自动提高吞吐量，因为每台计算机都忙于检查大部分相同的活动。
Buterin 提出的转变是默认情况下使验证比执行更便宜。在他的框架中，一台计算机可以处理交易并生成一个简短的数学证明，证明其遵循了规则，而其他计算机可以比重新运行原始计算更快地检查该证明。他还描述了“独立抽查”，作为一种确保交易记录仍然可供检查的方法，即使不同的机器处理不同的工作并相互交叉检查结果。
他将此视为使早期“分工”理念不切实际的缺失成分。“那时，这不可行的主要原因是：缺失的成分是验证，”布特林写道，指的是以太坊开发者十年前想要做的事情。
关键在于并行性并不能消除排序问题，它只是改变了解决问题的地方。布特林指出，以太坊仍然需要解决排序重要的问题，例如决定两个支付中哪个先使用相同资金，他建议可以在支付之前完成更多的工作，将证明结合起来以减少链上记录的信息。该帖子在概念上描述了这种组合，而没有具体的部署路径。
后赫戈塔优先事项：钱包元数据隐私和8-32秒最终性目标
布特林将隐私与扩展性置于同一层面，并且他将其定义得比私人转账更广泛。他的隐私目标包括隐藏钱包活动元数据，包括可能揭示用户监控哪些地址的余额检查请求，当钱包查询外部服务器时。
在他的例子中，即使支付是私密的，回答余额查询的服务器操作员也可以了解一个人关注哪些账户。布特林设想将这些请求与支付细节和账户用于批准支出的规则一起隐藏，这样企业可以在员工检查余额时保持支付的机密性，而不透露其账户。
在性能方面，布特林的2030年比较设想支付在正常条件下大约在8到32秒内变为最终状态，意味着被网络视为不可逆转。他没有附加实施时间表，只是表示在赫戈塔之后更广泛的转型加速，并列出了仍然是开放工程约束的先决条件：证明需要变得足够高效以供广泛使用，处理不同工作的计算机必须协调对相同余额和应用记录的更新，而不互相干扰。
我的看法：赫戈塔作为一个叙事转折点，而不是一个过时的催化剂
赫戈塔被框架化为一个可以日历化的分叉，但更重要的信号是布特林试图重新标记其后的内容。称其为最后一个“正常”分叉与赫戈塔的EIP集关系不大，因为后者仍未指定，而更多的是告诉市场，证明和形式方法旨在成为未来升级的默认基础，而不是附加的扩展主题。
重要的门槛是证明成本是否下降到足够的程度，以便核心开发者可以可信地将基于证明的验证视为基线安全和扩展路径，以及并行的链下工作模型是否能够协调共享状态而不引入新的故障模式。如果这两个约束在赫戈塔之后开始在具体提案中得到解决，那么这个设置开始看起来是结构性的，而不是叙事驱动的，因为以太坊的吞吐量上限变成了验证成本问题，而不是普遍的重新执行问题。
