以太坊 联合创始人 Vitalik Buterin 已经提出了一个针对第2层(L2)汇总安全性的新框架,该框架可以为以太坊的扩展生态系统带来更快的结局和更强的信任。
在最近的一个 提议,Buterin概述了一个围绕混合型架构构建的路线图,该路线图结合了零知识证明,乐观的汇总和值得信赖的执行环境(TEES),同时避免过度依赖任何单个系统。
该提议作为以太坊的 L2景观成熟。在以太坊的扩展路线图上,有几次汇总已达到第1阶段,即将进行的升级(如Pectra和Fusaka)有望大大扩大数据斑点的可用性用于汇总使用。
布特林说,现在的重点是将这些汇总推向第2阶段,这需要更高的信任度和更快的交易终止。在短期内,他认为最强大的方法是三个透明系统,其中三分之二的机制必须验证滚动状态的根部以实现最终性。
在此模型下,如果ZK供奉献者和TEE宣传员都批准了状态根,则结果立即最终确定。如果只有一个人批准,则该系统将恢复到需要七天挑战期的乐观模型。
乐观的层充当了最终仲裁者,当更无信任的系统不同意时,可以防止半信任的系统推翻决策。
无信任的终结
Buterin强调,该体系结构经过精心设计,以满足第2阶段卷卷所概述的特定安全性和权力下放目标。
它在正常操作中提供了快速的终止性,确保半信任的组件不能覆盖信任最小的证明系统,并减少对当前ZK系统的依赖,这些系统仍然容易受到错误和共享代码利用的影响。
他还引入了安全理事会作为保障措施的机制。在失败的情况下,本委员会将能够立即升级TEE逻辑,并延迟更改ZK或乐观的系统。
在极少数情况下,例如产生矛盾的结果的掠夺 – 理事会将有权立即进行干预,以维护系统的完整性。
根据Buterin的说法,这种组合 – 一个ZK称者,一个乐观的供者和一个T恤 – 代表了实现以太坊2阶段目标而无需牺牲速度或安全的唯一可行方法。
ZK和OP系统基于根本不同的数学假设,这使得共享漏洞的可能性极低。因此,将它们与发球台配对可以实践平衡,这不太可能串联。
用斑点和汇总的证据缩放
除了证明架构之外,Buterin还解决了以太坊不断发展的数据层。他指出了Pectra升级,预计 几个星期,这将使斑点空间增加到每个街区的六个单位。
随后的升级Fusaka可以将该数字提高到多达72,从而大大扩展了可用于汇总的数据带宽。更多的斑点空间可以减少拥堵,并使L2交易更便宜,更可扩展。
该路线图还呼吁注意以太坊基础架构中缺失的作品:标准化的,生态系统范围的证明聚合层。 Buterin认为,从以太坊堆栈中的应用程序(从汇总和隐私协议到钱包恢复工具)不应提交单个零知识证明。
取而代之的是,共享的聚合机制将使所有这些应用程序都可以将其输出合并为一个统一的证明。通过在所有参与者中扩散大约500,000辆证明供应的气体负担,这将大大降低天然气成本。
Buterin指出,以太坊社区已经有望在最坏的情况下,即使在最坏的情况下也会产生能够在单个插槽内生成证明的ZK-EVM。
由于这些系统成熟并消除了关键的错误,因此最终可以完全淘汰T恤。在这种情况下,以太坊的汇总将获得完全无信任性,即时最终终止和零依赖于半信任的组件。