V神提出以太坊新路线图，以增强L2安全性和最终性

以太坊联合创始人Vitalik Buterin提出了一种新的第 2 层 (L2) 汇总安全框架，该框架可以为以太坊的扩展生态系统带来更快的终结性和更强的信任保证。

在最近的一项提案中，Buterin 概述了围绕混合证明架构构建的路线图，该架构结合了零知识证明、乐观汇总和可信执行环境 (TEE)，同时避免过度依赖任何单一系统。

随着以太坊的L2 架构日趋成熟，该提案也应运而生。以太坊扩展路线图上的多个 rollup 已进入第一阶段，而即将推出的升级（如 Pectra 和 Fusaka）预计将显著扩展 rollup 使用的数据块的可用性。

Buterin 表示，现在的重点是将这些汇总推向第二阶段，这需要更高程度的免信任性和更快的交易最终性。从短期来看，他认为最可靠的方法是三方证明系统，其中三种机制中的两种必须验证汇总的状态根才能实现最终性。

在这个模型下，如果 ZK 证明者和 TEE 证明者都认可状态根，结果就会立即确定。如果只有一个人认可，系统就会回到乐观模型，需要七天的挑战期。

乐观层充当最终仲裁者，防止半信任系统在更多不信任系统意见不一致时推翻决策。该架构是经过精心设计的，以满足第二阶段汇总所概述的特定安全性和去中心化目标。

它在正常操作中提供快速的最终性，确保最小化信任的证明系统不会被半信任的组件覆盖，并减少对当前一代 ZK 系统的依赖，因为当前一代 ZK 系统仍然容易受到错误和共享代码攻击。

他还引入了安全委员会机制作为保障。一旦出现故障，该委员会将能够立即升级 TEE 逻辑，并对 ZK 或乐观系统进行延迟更改。

在极少数情况下——例如证明者产生矛盾的结果——委员会有权立即进行干预，以维护系统的完整性。

根据 Buterin 的说法，这种组合（一个 ZK 证明器、一个乐观证明器和一个 TEE）是在不牺牲速度或安全性的情况下实现以太坊第 2 阶段目标的唯一可行方法。

ZK 和 OP 系统基于完全不同的数学假设，因此出现共享漏洞的可能性极低。因此，将它们与 TEE 配对可以达到一种实用的平衡，不太可能同时失效。

除了证明架构之外，Buterin 还谈到了以太坊不断发展的数据层。他指出，Pectra 升级预计将在几周内完成，这将使每个区块的 blob 空间增加到 6 个单位。

后续升级 Fusaka 可以将该数字提升至 72，从而大幅扩展汇总可用的数据带宽。更多的 blob 空间可以减少拥塞，并使 L2 交易更便宜且更具可扩展性。

该路线图还呼吁关注以太坊基础设施中缺失的一个部分：一个标准化的、生态系统范围的证明聚合层。Buterin 认为，以太坊堆栈中的应用程序（从汇总和隐私协议到钱包恢复工具）不应该提交单独的零知识证明。

相反，共享聚合机制将允许所有此类应用程序将其输出合并为一个统一的证明。这将通过将大约 500,000 gas 的证明提交负担分摊给所有参与者来大幅降低 gas 成本。

Buterin 指出，以太坊社区已经准备好生产能够在单个时隙内生成证明的 ZK-EVM，即使在最坏的情况下也是如此。

随着这些系统的成熟和关键错误的消除，TEE 最终可能会被彻底淘汰。在这种情况下，以太坊汇总将实现完全无需信任，具有即时确定性，并且对半信任组件没有任何依赖。