ARK:引介 | 通往 Layer-2 互操作性的道路

作者:?TomBrand?&?UriKolodny

翻译:?阿剑

四句话总结

Layer-2互操作性的意思使用户可以在Layer-2系统间迁移资金,并且在Layer-1上的摩擦力是尽可能小的。

本文所提及的Layer-2互操作性解决方案都基于我们之前建议使用的“条件性交易密码学元件”。

StarkEx2.0将使用?链上?的条件性交易来提供Layer-2toLayer-1的互操作性。

StarkEx3.0将使用?链下?的条件性交易来提供Layer-2toLayer-2的互操作性。

背景

Layer-2可扩展方案进步迅猛。以太坊主网上已经有很多个有效性证明系统了,也有不少欺诈证明系统已经推出测试网。L2方案提供了可扩展性,但也有所牺牲:使用了L2方案,完全运行在L1上所能获得的一些好处就会被打破,或至少有所减损。我们不认为有某个L2解决方案能完美解决所有需要:不同应用对吞吐量扩展的需要大不相同。应用们自己会在丰富的L2设计库里面挑选自己合用的。

HT短线上涨,1小时涨幅超8%:金色财经报道,行情显示,HT短线上涨,1小时涨幅超8%,现报2.94美元,最高达2.96美元,日内由跌转涨。行情波动较大,请做好风险控制。金色财经此前报道,孙宇晨今日发文称李林弟弟李伟多次通过不正常手段大量获取零成本HT并抛售,李林回应称,希望火必提供证据,如果确认属实个人赔付10倍的HT给火必公司。[2023/5/16 15:06:36]

在进一步介绍以前,我们先对两个重要的术语下一个定义:

互操作性:能让用户在应用1和应用2之间高效转移资金

可组合性:能在一笔交易中操作app_1、app_2、···、app_n。

除了这些松散的定义,我们还需要一个增强版的条件性交易。这种重要的元件是产生互操作性的关键。

条件性交易:

这是一种密码学元件,可用来在免信任的区块链上实现互操作性。条件性交易,就是依赖于一些事件的发生或不发生,来决定自身生不生效的交易。给个基本的概念就是,我们可以在初始环境中定义一笔条件性交易,然后等它指明的条件在另一个环境中得到满足,它再生效。

ChatGPT承认在马斯克的推文与狗狗币之间的联系在2021年9月是可靠的:金色财经报道,ChatGPT回复如何看待狗狗币与备受争议的埃隆马斯克的关系。ChatGPT回应称其数据截止日期为 2021 年 9 月。它还承认埃隆马斯克的推文与狗狗币之间的联系在那个时间点是可靠的。但是,它无法直接回答相关性在撰写本文时是否相同。[2023/4/10 13:53:50]

循序渐进

在更好的解决方案缺位之时,至少,用户总能够把资金从初始L2迁回L1上,再转而投入目标L2。这种粗暴的方式既慢又贵,而且随着需求量的增加会变得越来越慢、越来越贵。

所以我们要做得更好才行。实际上,我们计划按照下列步骤,循序渐进地实现更好的方案。

PhaseI:StarkEx(L2)→Ethereum(L1)—快速取款

“快速取款”可以解决用户需要快速从StarkEx系统中取出资金到L1上的问题。它不仅仅能把资金发送到用户自己的L1地址上,也可以把资金发送到L1的任意目标地址上,比如Compound、Aave,等等,都行。重要的是,用户取款的时延将以“区块时间”来衡量,与StarkEx为批交易生成证明的频率无关。

Meta内部信强制要求员工使用其元宇宙产品Horizon Worlds:10月8日消息,Meta内部流出的一份备忘录显示,Meta的VR社交网络Horizon Worlds存在太多质量问题,甚至连其开发团队也并未经常使用它。

Meta 元宇宙副总裁 Vishal Shah 在发给员工的一份备忘录中表示,Meta正在制定一项计划,让各经理负责自己管理的团队每周至少使用一次Horizon,组织中的每个人都应该以爱上Horizon Worlds为使命,如果不使用它,就无法做到这一点。进到那里去,安排时间与你的同事或朋友一起在内部和公共版本中与我们的社区互动。(The Verge)[2022/10/8 12:49:42]

使用场景:Alice希望把自己在L2的dYdX账户里的1eth发送到自己在L1的地址上。

参与者:

Alice

LP

初始环境中的StarkEx运营者

借贷协议Maple:Celsius和3AC从未通过Maple Finance借款:6月22日消息,借贷协议Maple Finance在社交媒体上发文表示,Babel Finance在该平台上加拿大对冲基金Orthogonal Trading的USDC池种有1000万USDC的借贷头寸。自Babel停止提款后,Orthogonal一直与Babel管理层保持联系,并专注于保护贷方的利益。同时,Celsius和3AC从未通过Maple Finance借款。Maple协议的管理机构仍致力于与所有借款人就其资产构成进行积极对话,并对他们在Cesius和3AC中的风险敞口充满信心。

昨日报道,机构借贷协议Maple Finance在6月21日的公告中表示,本周协议资金池可能出现流动性问题,放贷用户(Lenders)可能无法提款,必须等待借款用户(Borrowers)还款。[2022/6/22 4:44:21]

德意志银行:预计美联储将不止一次加息75个基点:6月15日消息,美国国债的抛售仍在继续,美国10年期国债收益率升至3.498%的盘中高点,市场预期美联储将加息75个基点。德意志银行经济学家认为,美联储将跟随市场,大幅加息。由于为应对高企的通胀而必须提前加息,美联储在7月会议上再次加息75个基点看起来是可能的,届时联邦基金利率将达到2.3%。此前我们预计在年底前联邦基金利率将达到3.5%左右,并预计最终联邦基金利率将达到4.1%,但现在预计将提前一个季度达到此利率水平。(金十)[2022/6/15 4:27:31]

-图1:快速取款流程-

流程:用户向LP传递一笔条件性交易,承诺支付1eth,条件是LP在L1上把1eth打给Alice的L1地址;等LP在L1上给Alice打钱之后,该笔条件性交易生效;LP把该笔条件性交易发送给运营者,等待它被打包到下一批待证明的交易中;等下一笔证明被提交到L1并得到验证之后,该LP的L2余额增加,反映他从Alice处得到的资金。

定期再平衡:该LP需要定期拿自己在L2账户中的资金来补充自己L1账户中的资金。

PhaseII:StarkEx(L2)→StarkEx(L2)

最开始的StarkEx是每个实例托管一个应用。到了这个阶段,我们希望用户能够在这些不同的应用之间快速地迁移资金。很像快速取款,我们也希望能帮用户尽可能降低链上的开销,并且不用等待自己的取款交易在L2上打包和证明。

使用场景:Aliece想把自己在L2_1的dYdX账户上的1eth转移到她在L2_2上的DeversiFi账户上。

参与者:

Alice

LP

初始环境中的StarkEx运营者

-图2:链下条件性交易流程-

流程:Alice向LP传递一笔签过名的条件性交易,承诺在L2_1上支付支付1eth,条件是LP把1eth打到Alice的L2_2的账户上;该LP在L2_2上给Alice支付;该笔支付交易由L2_2的运营者打包进某个批次并提交证明,该证明在L1上验证;待该批次交易发布在L1上之后,该笔条件性交易就可以生效了;该LP把该笔条件性交易提交给L2_1的运营者,由后者将它打包进自己要证明的下一个批次中;等L2_1的下一批交易发布到L1上、且其证明经过了合约的验证之后,该LP在L2_1上的账户余额更新,反映TA从Alice处得到的数额。

定期再平衡:LP需要定期平衡L2_1和L2_2中的资金,就看两个系统中的资金流向如何。

在此阶段,支持互操作性的主要成本将是LP的资金成本;要注意的是,他们的资金成本要经过一段时间才能回笼,也就是从向用户提供流动性、到运营者打包处理条件性交易这段时间。我们预计这个时间一开始会是几个小时,然后随着吞吐量的增加而下降到证明的生成时间。

PhaseIII:L2→L2

PhaseII基础上的延伸,让资金能够在任意L2之间迁移,无论是使用有效性证明的系统,还是使用欺诈证明的系统。这里要提醒的是,OptimisticRollup在使用LP来实现互操作性时,资金效率会有一些劣势,这是不可避免的

信任模型

现在我们来归纳一下所需的信任模型。

对用户来说

完全是免信任的。

对LP来说

LP需要信任运营者,相信后者会处理他们的有效条件交易,也就是不会审查他们。这种信任需要可以用几种方式来消除。

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

反审查:提交被审查的条件交易到链上的“运营者”智能合约中,让后者冻结运营者,使该运营者所提交的证明都不能得到处理。

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

计划

PhaseI将在?2020年11月登陆以太坊主网,而PhaseII将在?2021年第一季度到来。

PhaseIII也将紧随其后。我们预计L2上的不同应用会有与其他L2上的应用互操作的需求,也渴望与其他L2方案提供者讨论解决方案。

原文链接:

https://medium.com/starkware/the-road-to-l2-interoperability-718ff69ec822

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

地球链

[0:0ms0-0:899ms