ZK Rollup 的不变性和可升级性_比特币:SCAR

Arbitrum、Optimism、PolygonzkEVM、Scroll、Starknet、zkSync这些Rollup通常会有两类情况,一类拥有不变性,一类拥有可升级性,但都是出于安全性角度的不同取舍。

ETHBarcelona活动期间,Scroll的研究员ToghrulMaharramov发表了关于zkRollup不变性和可升级性的演讲。

对于zkRollup而言,不变性和可升级性是安全性的两个不同纬度。Arbitrum,Optimism,PolygonzkEVM,Scroll,Starknet,zkSync这些Rollup通常会有两类情况,一类拥有不变性,一类拥有可升级性,但都是出于安全性角度的不同取舍。

Terra开发者发布重振LUNA生态系统的4年计划:金色财经报道,Terra 开发者发布了一项新提案“Terra Expedition”,该提案是最初在 Terra 区块链启动时定义的开发者挖矿计划和开发者联盟计划的修订版。该计划将由新 Terra 链启动时指定的 LUNA 总供应量的 9.5% 资助,该激励计划将运行 4 年,由社区选举委员会管理,每 12 个月评估一次。修订后的提案旨在更好地协调整个生态系统的激励措施,并专注于吸引开发人员、新用户、以及促进深度流动性。提案中写道:Terra Expedition 是一个为期 4 年的计划,旨在通过一系列具有 3 个主要目标的举措来发展 Terra 生态系统,即:激励开发人员在 Terra 上构建、加深 Terra 上的流动性以及让用户加入 Terra。(coindesk)[2022/10/19 16:30:22]

Web3开发人员:stETH-ETH与UST-LUNA没太多可比性:6月10日消息,Web3开发人员foobar发推称,为什么还有人认为stETH-ETH与UST-LUNA有很大的可比性?建议重返中学,读读《鸡皮疙瘩》,培养个兴趣爱好,比如在公园里坐坐。Crypto不适合你。

官方数据显示,Curve上stETH / ETH流动性池的偏离情况仍在加剧,截至发稿时,池内共有205861 ETH(24.71%)和627402 stETH(75.29%),二者占比跌破“三七”关口。[2022/6/10 4:16:24]

在我们的情况下,我们假设Rollup拥有28天的升级延迟。

Upbit将LUNA列入谨慎投资项目,将进行详细审查以判断是否终止交易支持:5月11日消息,韩国加密交易平台Upbit将LUNA列入谨慎投资项目,后续会进行详细审查,以判断是否延长、解除保留或终止交易支持,目前仍支持LUNA的存取款服务。[2022/5/11 3:07:13]

通常,我们在对Rollup做升级时,我们会在BaseLayer重新部署新版本的跨链桥,新版本的Rollup将直接链接新版本的跨链桥。

有时我们只需要对跨链桥合约做升级,Rollup将直接链接新版本的跨链桥。

以太坊ZK Rollup扩容方案Hermez上线USDT:Hermez Network上线USDT稳定币。通过在Hermez上推出USDT,以太坊上的Gas费压力有望减轻。此前消息,以太坊ZK Rollup扩容方案Hermez Network正式上线。这意味着Hermez的主网已经启动,用户现在可以以更低的Gas成本转账。(Cointelegraph)[2021/4/19 20:36:52]

不变性的优点在于,不需同步假设,没有复杂的退出机制,防止Rug。

但同样也有缺点,在出现漏洞受到攻击时协议较为脆弱,在需要协议升级时没有状态迁移的机制。

V神:ZK rollups是目前为止最好的解决方案:推特网友Toast Of Crypto提问称,为什么要推动或强迫人们远离理想的Layer 2扩容协议?以太坊创始人V神对此回复称,因为ZK rollups是最好的解决方案,直到今年晚些时候与EVM兼容的Optimistic rollups出现,eth2将花费更长的时间。(注:ZK rollups是一种混合扩展方法,通过智能合约和零知识方法将链上安全性和第二层网络结合在一起。)[2020/7/28]

可升级性的优点在于可以处理出现漏洞的脆弱性,可以引入协议升级。

可升级性的缺点在于需要同步假设,有复杂的退出机制,无法防止Rug。

对于zkEVM而言,理想状态下,我们希望zkEVM拥有不变性来保障安全性,但同时,我们希望zkEVM保持兼容性,因此需要有可升级性。

因此现在的一个方案是,在有延迟升级机制下,引入安全委员会来快速通过延迟时间。

这里的安全委员会,是外部的领域专业人士的集合,例如L2Beat。只要他们的投票达到了规定的阈值,他们将可以快速通过延迟,进行升级。

通常情况下,在内部团队3/5的多签钱包发起28天的延迟升级,9/12的安全委员会多签可以发起快速通过延迟。

引入安全委员会也会带来新的问题,例如协调问题,还有潜在的不做验证直接投票快速通过的问题。

另一个方案是EnshrinedValidatingBridge。原理是不再通过跨链桥合约来验证L2的证明,而是通过内嵌在L1协议中,通过社会共识来验证证明。

缺点是影响了L1的中立性,增加了L1的协调负担。

并且增加了L1的升级难度,需要设计同质化的验证跨链桥合约。

所以有完美的解决方案吗,实际上目前并不存在。每一个上文提出的方案都对安全性的其他方面做出了取舍。当然我们期待在未来两年,随着L2协议的完善,会达成共识有一个合理的解决方案。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金宝趣谈

[0:0ms0-3:17ms