探索5大头部L2的去中心化之路

作者：Jack Inabinet，Bankless分析师；翻译：金色财经xiaozou

都说以太坊L2继承了以太坊的“安全性”，但这究竟是什么意思？不同的rollup，可能会带来不同的答案！

虽然每个rollup都渴望实现完全的无需信任，但以太坊的所有optimistic和零知识扩展解决方案目前都依赖于某种形式的training wheels（辅助轮）。

V神提供了一个优秀的框架来帮助rollup用户了解他们对中心化主体或透明代码的信任程度。在这个框架分类中，Stage 2是rollup安全性最高的阶段，它需要完全移除V神称之为“training wheels”的中心化依赖关系——下面的L2Beat图表对此进行了很好的说明。

几乎还没有rollup拥有Stage 2的殊荣，但Arbitrum正在朝此目标大步迈进，欲成为第一个备受瞩目的Stage 2 rollup！8月初，Offchain Labs（Arbitrum研发团队）宣布了一种新的区块链无需许可的验证方案——Bounded Liquidity Delay（BOLD），该方案强化了其争议解决协议，以抵御一种被称为“延迟攻击”的拒绝服务攻击。

然而，每个L2都在以不同的节奏卸下自己的training wheels，今天，我们就来探索以太坊前五大通用L2的未来之路，它们正在努力消除rollup的中心化风险因素，以追求难以触碰的Stage 2殊荣！

1、Arbitrum One

风险阶段：1

类型：Optimistic

TVL： 54.1亿美元

Arbitrum One在这五大链里比任何其他链都更成功地大大减少了中心化风险！如果ArbitrumDAO在One上采用BOLD，那么该链将把状态验证阶段变为绿色（如上图），但要进入Stage 2，则需要整个风险图都变为绿色。

升级需要进行两个更新。首先，治理启动的升级的实施延迟必须从12天延长到30天。其次，在没有可证明bug的情况下，任何参与者都不能立即升级Arbitrum代码。

终极training wheel，即Arbitrum的安全委员会，由DAO直接选举产生，并有能力绕过治理立即实施升级。尽管Arbitrum One尽了最大的努力来减轻中心化风险，但你的链上资产的安全性取决于这个全能的9 / 12多重签名的诚实！

鉴于rollup的运营风险，安全委员会被认为对Arbitrum生态系统具有纯粹积极的影响，但要成为Stage 2 rollup，Arbitrum还需要将其限制为仅响应链上可证明bug。

这将进一步为用户确保Arbitrum One的安全，并确保（在没有bug的情况下）参与者不能发布覆盖rollup证明系统的状态根。

2、Optimism

风险阶段：0

类型：Optimistic

TVL： 26.7亿美元

随便一个加密货币观察者通常都会认为Arbitrum和Optimism的安全保证是类似的，因为两者都属于optimistic rollup。具有安全意识的用户知道这与事实相去甚远！

在Optimism上，欺诈证明是用于挑战链排序器向以太坊发布的不正确信息的工具，是不可操作的。针对不正确的状态根没有争议处理方式，用户必须盲目地相信区块提议者提交的是正确的状态根！

此外，只有被列入白名单的提议者才被允许发布状态根，这意味着如果提议者失败，则不可能从Optimism退出到以太坊L1。

虽然欺诈证明目前正在积极开发中，但它们的部署没有明确的时间表，然而它们对任何optimistic rollup的去中心化来说都是必不可少的，并且是当前的Optimism超越Stage 0所必需的。

或者，通过实施有效性证明，Optimism可以选择成为零知识rollup。就在上个月，Optimism基金会与两个团队签约，为OP Stack开发零知识证明模块。

Optimism基金会计划在2024年将多重签名的控制权移交给由社区成员组成的安全委员会，这将有助于分散对链密钥的控制权。

除了实施欺诈证明外，Optimism还需要至少7天的升级时间锁才能成为一个Stage 1 rollup。

3、Sync Era

风险阶段：0

类型：零知识

TVL： 3.99亿美元

零知识证明确保发布到以太坊的每个状态根都是正确的，并允许状态验证阶段是绿色的，但zkSync用户仍然面临排序器或提议者失败的风险。

zkSync为在L1上提交的交易建立一个队列，排序器需要处理该队列以降低审查风险。虽然这并不能保证交易包含，但它确实意味着，如果排序器对某个用户进行审查或关机，则对所有用户都关机。

在未来，zkSync将更新系统，除了努力提高排序器的去中心化程度以外，还会强制排序器处理L1交易队列。这些努力将有助于降低与恶意排序器或排序器关机相关的风险。

零知识rollup状态的每次更新都伴随着一个零知识证明（ZKP），该证明保证了新状态的正确性；这是ZKP的神奇之处，但这意味着包含交易的唯一方法是将其包含在生成的证明中！提高zkSync的去中心化程度将要求任何人都可以创建证明，而无需通过中心化rollup操作。

与其optimistic同伴Arbitrum和Optimism类似，zkSync将需要在多重签名上部署升级时间锁和限制，以降低升级带来的风险。

4、Base

风险阶段：0

类型：Optimistic

TVL： 2.46亿美元

注意到Optimism和Base的风险图看起来是一样的吗？

这是因为它们都是由相同的区块链乐高构建的：OP Stack！Coinbase没有建设一个定制的解决方案，而是选择在Optimism的模块化rollup框架之上开发他们的L2。

去中心化发展之路将使Coinbase能够加强对用户的安全保证，这意味着Base可能会遵循与Optimism类似的安全路径，在可行的时候实施OP Stack创新（如欺诈证明或零知识证明）。

5、Starknet

风险阶段：0

类型：零知识

TVL： 1.1亿美元

零知识rollup所面临的挑战与optimistic rollup所面临的挑战不同。虽然ZKP确保发布到以太坊的每个状态根都是正确的，并允许状态验证阶段是绿色的，但零知识rollup在降低排序器或提议者失败方面面临着自己的难题。

为用户提供“escape hatches”（逃生舱口）对于增强Starknet的无信任特性至关重要，并且可以通过允许用户在排序器或prover失败的情况下强制交易或提款到L1来实现。目前，Starknet没有启用逃生舱口，但哪怕只启用一个逃生舱口都将大大降低用户对中心化rollup运营商的依赖。

如果恶意攻击者强制网络尝试接受无效交易，那么强制网络接受交易就为拒绝服务攻击打开了大门。部署将首先要求可以在不需要通过StarkWare prover的情况下生成证明，并且Starknet上的所有交易都可以被证明。

另外，Starknet可以选择桥接解决方案，称为“应用逃生舱口”。这个解决方案可以在今天实施，但会以网络的简单性为代价，因为它需要实现以太坊到Starknet的账户注册，以及将L2中的资产控制权交给rollup的L1智能合约的机制。

与上述所有链一样，Starknet将需要对多重签名部署升级时间锁和限制，以降低升级带来的风险。

Starknet将在8月31日之前完全开放其prover源代码，该团队表示，允许用户提交自己的证明，将有助于减轻排序器或提议者失败的风险。