ARK:以太坊L2互操作 需经历3个重要阶段

摘要

L2互操作性意味着用户可以以尽可能小的L1摩擦在L2系统之间转移资金。

本文所提议的L2互操作性解决方案基于我们此前建议使用的条件式交易密码学基元。

StarkEx2.0将使用链上条件式交易,提供L2-L1之间的互操作性。

StarkEx3.0(于2021年2月推出),将使用链下条件式交易,提供在StarkEx系统之间的L2-L2互操作性。

背景

Layer-2扩容解决方案发展迅速。以太坊主网上已经有多种有效性证明系统,还有一些欺诈证明系统也推出了测试网。L2解决方案虽然提供扩容性,但会带来一定的代价:我们完全在L1上操作所具有的一些优势可能会遭受损害。

我们并不希望某个L2解决方案一家独大:不同的App对扩容性的需求各不同,因此可以根据自身需求选择适合的L2解决方案。

接下来,让我们给大家解释两个重要的术语:

以太坊质押协议Swell Network推出质押与流动性激励计划Voyage:5月26日消息,据官方消息,以太坊质押协议 Swell Network 发布Voyage激励计划。用户可以通过持有流动性质押 Token Swell ETH(swETH)和在 Balancer、Aura、Uniswap v3、Maverick 和 Bunni 中提供 swETH 流动性来收集珍珠(pearls)。

通过收集珍珠,用户可以在未来获得 Swell DAO 的治理权。Swell 官方 Discord 相关角色持有者和 Gitcoin 捐赠者将在 Voyage 结束时收到对应珍珠。珍珠数量将在 UTC 时间每周三 02:00 在 Voyage 仪表板上更新。[2023/5/26 9:44:43]

互操作性(Interoperability):允许用户在app1(初始环境)和app2(目标环境)之间高效地转移资金。

可组合性(Composability):能够将app1、app2...appn包含的操作组合成一次交易以发送。注意:可组合性将在之后的一篇文章中详细讨论。

金色财经CEO安鑫鑫:以太坊的核心问题在于C端成本过高,B端盈利与公链无关:金色财经现场报道,4月25日,2021新基建区块链峰会在成都举办。在分布式存储新时代分会场上,金色财经CEO安鑫鑫以《换个角度 看待区块链挖矿产业》为题进行分享。他指出,比特币是全球每个人都可以参与共建、共同治理的一个记账程序。而以太坊的目的是让全球共同参与共建一个完全去中心化的操作系统。但以太坊的设计并不完美,因为它没有把链上的项目和公链设计得更加相得益彰。现阶段,以太坊最核心的问题在于C端成本过高,而B端盈利与公链无关。另外,POS共识算法下的公链,容易形成单边倒的问题,不利于新人入场,代币越来越集中,无法生态共建。[2021/4/25 20:55:57]

除了上面所提到的定义之外,我们还需要着重解释什么是“条件式交易(Conditional-Tx)”,这一重要基元让互操作性成为可能。

条件式交易

条件式交易是一个由密码构建成的区块(我们在某篇文章中首次讨论过这一概念),旨在为无需许可的区块链实现互操作性。条件式交易指某笔交易生效与否,取决于某些事件是否发生(如支付有无发生,状态有无改变)。从概念上来讲,我们首先在初始环境设定一个条件式交易,一旦特定的条件在另一个环境(即目标环境)中得到满足,该交易便生效。

以太坊未确认交易为171,288笔:金色财经消息,据OKLink数据显示,以太坊未确认交易171,288笔,当前全网算力为490.35TH/s,全网难度为6.51P,当前持币地址为57,694,461个,同比增加209,376个,24h链上交易量为2,577,110.37ETH,当前平均出块时间为13s。[2021/4/10 20:06:23]

循序渐进

尽管目前没有一个更好的方案,用户总是能够将资金从初始L2上转移至L1上,再从L1上转移至目标L2上。这个简单粗暴的方法既慢又贵,并且随着用户对互操作性的需求增加会越来越慢,越来越贵。

我们需要做得更好,为此,我们特地做了以下计划,循序渐进地实现L2互操作性。

阶段I?

StarkEx(L2)→Ethereum(L1)—快速提款

“快速提款”(FastWithdrawals)可以解决用户需要快速地从L2系统StarkEx中提款至L1的问题。通过快速提款,用户不仅可以将资金转到自己的L1地址上,还可以转到L1的任意目标地址中,比如Compound、Aave等。重要的是,这允许用户在进行提款时以“区块时间”来衡量,而与StarkEx对批量交易进行证明的频率无关。

动态 | ConsenSys推出以太坊生态激励计划:据ambcrypto消息,区块链公司ConsenSys的首席营销官Amanda Gutterman最近在Twitter上发布该公司宣布Devcon4的拨款计划。Joseph Lubin宣布,如果他们在以太坊生态系统内开发的项目,如基础设施,可用性,互操作性,研究等,那么将获得50万美元的奖励。[2018/11/3]

用例:Alice想要从她在L2上的dYdX账户转移1个ETH至她的L1地址上。

参与者:

Alice(在L2上持有ETH的用户)

?LP(在L1上持有资金的流动性提供者)

?在初始环境中的StarkEx运营者(在上述的例子中即dYdX)

图1:快速提款流程

流程:

(1)Alice给LP发送一笔价值为1ETH的条件式交易(还要加上给LP的手续费),条件为LP需向Alice的L1地址上转1ETH;

行情 | 目前以太坊网络极为拥堵:根据公开数据显示,目前以太坊的网络未确认交易笔数为80615笔,网络极为拥堵。[2018/8/10]

(2)LP在L1上转了给Alice之后,条件式交易生效,然后?

(3)LP将该条件式交易提交给运营者,随后被打包进下一批等待被证明的交易中;

(4)等到这些证明被提交至L1并得到验证后,LP在L2的账户便收到了Alice的转款。

定期再平衡:LP需要定期地拿出他们在L2账户中逐渐积累的资金,补充他们在L1账户中逐渐消耗的资金。

阶段II

StarkEx(L2)→StarkEx(L2)

最初的StarkEx部署将各自托管一个应用程序。在本阶段,我们希望用户能够在这些不同的应用程序之间快速地转移资金。这很像快速提款,我们希望最小化用户的链上成本,以及省去他们等待下一批交易打包证明的时间。

用例:Alice想要从她的dYdX账户(L2_1)向她的DeversiFi账户(L2_2)转1个ETH。

参与者:

Alice(在L2_1上持有ETH的用户)

LP(在L2_2上持有资金的流动性提供者)

初始环境上的StarkEx运营者(在上述的例子中即dYdX)

图2:链下条件式交易流程

流程:

(1)Alice在L2_1上给LP发送一笔已签名的价值为1ETH的条件式交易(还要加上给LP的手续费),条件为LP需向Alice的L2_2账号转1ETH;

(2)LP向Alice的L2_2账号上转钱之后;

(3)该笔支付被打包进一批交易中,随后被L2_2的运营者证明,并在L1上被验证。这批交易发布在L1上并被接受后,Alice发送的条件式交易便生效;

(4)LP将该笔条件式交易提交至L2_1的运营者中,打包进下一批等待被证明的交易中;

(5)一旦这批在L2_1上交易被证明且提交至L1得到验证之后,该LP在L2_1上的账户便收到了Alice的转款。

定期再平衡:LP需要根据L2_1和L2_2这两个系统之间的资金流向,定期地再平衡两者之间的资金。

在这一阶段,支持互操作性的主要成本将是给LP们支付的资本成本;需要注意的是,他们的资本成本经过非常有限的一段时间便回笼,也就是从向用户提供流动性到运营者打包处理下一批交易这个时间。我们预测这个时间开始时需要几个小时(大部分时候),然后随着(所有StarkEx应用中的)吞吐量不断增加,这个时间会减少至证明生成时间(几分钟)。

阶段III

L2→L2

在阶段2的基础上进行扩展,允许资金在任意的L2解决方案之间转移,无论是有效证明系统还是欺诈证明系统(如OptimisticRollup、Plasma)。这里需要提醒的是,OptimisticRollup在使用LP来支持互操作性时,会面临其本身固有的资本效率低下的劣势。

信任模式

现在归纳一下我们所依赖的信任模式。

对用户来说

完全去信任的。

对LP来说

LP需要信任运营者(初始环境中的),即相信其会打包他们的有效条件式交易,也就是说在处理过程中不会审查他们。这种信任可以通过几种方式进行消除。

如果运营者没有及时处理LP的条件式交易,LP可以:

抗审查:提交被审查的条件式交易到链上的运营者的智能合约中,这会冻结运营者,使其之后提交的证明都无法得到处理。

安全抵押:提交被审查的条件式交易到链上的一个安全抵押智能合约中,从该合约中直接接收资金。

发展路线图

阶段1将在2020年11月发布于以太坊主网(即StarkEx2.0),阶段2将于2021年第一季度发布(即StarkEx3.0)。已经有一批LP排着队等待提供服务了。

阶段3将紧随其后。我们预测不同的L2解决方案上的应用之间也会有进行互操作的需求,并且渴望与其他L2解决方案讨论互操作性的实现。

原文链接:https://medium.com/starkware/the-road-to-l2-interoperability-718ff69ec822

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

地球链

[0:15ms0-1:7ms