Vitalik Buterin 勾勒以太坊“密码学世界计算机”蓝图

以太坊的下一次升级将是2015年以来的任何人都能认出的最后一次升级，其联合创始人维塔利克·布特林在周六发表的一篇文章中写道。

Hegota，这个计划于明年进行的硬分叉，“很可能是以太坊最后一个‘正常’分叉，”他说。接下来的内容涉及递归STARKs、自动化形式化验证、高度优化的共识机制，以及让这一切实现量子安全。

后Lean时代的以太坊被称为区块链“在很大程度上是出于历史原因，”布特林写道。

他认为，实际上，它是一种“混合构造”，将中本聪的想法与源自50年学术研究的密码学机制融合在一起，而这些机制在2009年“甚至还不存在”。他发推称，这种架构将“实现比单纯区块链强大得多的特性”。

验证、共识与区块构建

三项核心属性正在被彻底替换。验证从下载并重新执行每个区块，转变为使用 PeerDAS 采样数据并检查 SNARK。共识转向一种“优化程度高得多”的权益证明模型。而区块构建则从由单个矿工决定包含哪些内容，转变为由多方共同构建。

最终确定性将在 8 到 32 秒内达成，而如今 12 次确认大约需要 200 秒；时隙将缩短至 4 到 8 秒，运行节点所需的硬件也将大幅减少。抗审查性将来自 FOCIL，这是一种方案：由验证者委员会各自发布一份待处理交易列表，下一个区块必须包含这些交易，并通过分叉选择规则强制执行，从而忽略那些遗漏这些交易的区块。Buterin 将这一结果描述为“有保障的实时交易纳入”。

隐私是零散到来的，通用计算仍然昂贵且只有部分隐私，而专用应用则通过零知识证明和私有账户抽象获得“非常强的隐私”。洋葱路由和混合网络将覆盖网络层，以太坊基金会去年十月启动的专门隐私集群为此投入了资源。

开发者将在 gas 成本上感受到这一转变。Buterin 写道，同样的计算“如果你把它全部塞进一笔难以理解的串行执行交易中”，成本会更高；而如果将其拆分为可以并行化或在交易到达区块之前剥离的依赖项，成本则会更低。

去中心化作为一种优势

Buterin 认为，去中心化正不再纯粹是一种成本。它让数据可以并行存储，计算可以在内存池内并行进行，元数据可以以中心化系统无法管理的方式被隐藏。

他说，那是 2010 年代中期的梦想，当时之所以失败，原因只有一个：无法验证拆分后的工作是否被正确完成。随机抽样的委员会“设立起来既复杂又昂贵”，增加了延迟，并且“如果委员会失败，没有任何追索手段”。现代密码学解决了这个问题，其开销“逐月下降”。

更遥远的是不可区分混淆，Buterin 将其描述为圣杯，因为它将彻底消除隐私与通用性之间的权衡。他明确表示，这篇文章中没有任何内容依赖于它，并且“这篇文章中的所有结论都将在那一切成为可能之前很久就适用”。

更艰难的近期问题相对平凡。他写道，让零知识证明足够快速和安全，是已经在用 AI 工具优化的“封装复杂性”。管理和并行化对极大量状态的访问仍然“更加困难，且系统性地复杂”。

这篇文章读起来像是Strawmap的通俗语言版姊妹篇。Strawmap 是以太坊基金会到 2029 年七次分叉的草案时间表，当 Justin Drake 在二月发布它时，Buterin 称其为“一份非常重要的文件”。Strawmap 逐分叉地列出了依赖关系，而 Buterin 的文章则指出了最终目的地：出块时间从 12 秒降至两秒，最终性从大约 16 分钟降至个位数，整个网络一个组件一个组件地被替换，Buterin 当时称之为“忒修斯之船”式的重建。