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

作者：

时间：1900/1/1 0:00:00

作者:?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设计库里面挑选自己合用的。

报告：俄罗斯2022年第四季度比特币矿机销量飙升:金色财经报道，根据俄罗斯一家媒体公司最近发布的报告表示，2022年第四季度，比特币矿机的销量迅速飙升。Chilkoot是该国加密采矿设备的官方经销商之一，其数据显示，该公司第四季度前两个月的销售额超过了整个第三季度。该公司今年的销售额一直在膨胀，今年前9个月的销售额比2021年高出65%。

矿企Xive的联合创始人Didar Bekbauov也在推特上分享了他对挖矿兴趣日益浓厚的看法，由于俄罗斯家庭和企业的廉价的能源电力、廉价的ASIC价格、制裁、较少的投资机会使得比特币挖矿成为俄罗斯非常有吸引力的行业。

据悉，俄罗斯最初计划禁止在该国进行加密货币挖矿，但后来决定改变立场。官员们计划在电力充足的地区使加密货币挖矿合法化，并在能源稀缺的地区禁止挖矿。目前，俄罗斯议会也在制定一项法案，使该国的加密货币挖矿活动合法化。[2022/12/3 21:20:10]

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

瑞士创新中心负责人：DeFi需要灌输更多的信任:金色财经报道，瑞士创新中心负责人Morten Bech在一篇文章中写道，DeFi需要灌输更多的信任。今天，加密货币内部人士正在利用用户的经验不足，即交易员预测销售以操纵价格。

Morten Bech的观点得到了国际证券委员会组织（Iosco）的赞同，该组织由英国金融行为监管局等国家监管机构组成，正在寻求为DeFi制定政策。

Iosco秘书长Martin Moloney称，我们的目标是根据我们的原则和建议制定一个基本的、国际适用的框架，以管理模仿金融产品的加密货币和数字资产活动。到目前为止，加密货币监管往往涉及到适用于例如银行的现有规则，并将其应用于最近的Web3等价物，如加密货币交易平台或钱包提供商。[2022/9/8 13:17:36]

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

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

蹦吧APP内测开启:据官方消息，2022年9月2日，蹦吧APP开启内测。蹦吧是首个平台玩法结合数字收藏品的NAPP，蹦吧以舞蹈、健身为元素，形成基于web3.0的互动视频生态。目前，蹦吧APP已与国内头部数字艺术平台与元宇宙开发平台“沃野”达成合作。此外，预计产品将于2022年冬季开启公测。[2022/9/7 13:14:03]

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

条件性交易：

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

循序渐进

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

CME数据：2022年6月与去年6月相比加密货币ADV增长74%:金色财经报道，美国芝商所CME集团今天公布了其第二季度和2022年6月的市场统计数据，6月平均每日交易量（ADV）合约量增加30%至2400万份。其中，与2021年第二季度相比，2022年第二季度创纪录的季度微型以太期货ADV为21,311份合约，创纪录的季度以太期货日均交易量为6,588份合约，比特币期货ADV增长12%，微型比特币期货ADV增长3%。

此外，与2021年6月相比，2022年6月加密货币ADV增长74%，其中，创纪录的月度以太期货日均交易量为8,988份合约，比特币期货ADV增长54%。[2022/7/5 1:52:38]

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

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

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

Voyager拥有的加密资产及现金约16.5亿美元，对三箭资本的索赔超6.5亿美元:7月4日消息，Voyager官方发推文披露其资金状况，目前该平台上拥有大约13亿美元的加密资产，以及对三箭资本超过6.5亿美元的索赔。Voyager还在大都会商业银行拥有超过3.5亿美元的现金。

此前消息，6月27日，Voyager Digital宣布已向三箭资本，发出违约通知，原因是未能就其先前披露的15,250比特币和3.5亿美元美元的贷款支付必要的款项。Voyager打算从三箭资本中恢复，并正在与公司的顾问讨论可用的法律补救措施。7月2日，Voyager Digital暂停交易和存取款及代币奖励。[2022/7/4 1:48:55]

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

参与者：

Alice

初始环境中的StarkEx运营者

-图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

初始环境中的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可以：

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