了解第2层互操作性的途径

四句话小结

另外，Layer2意味着可以尽可能少地使用Layer2系统。

本文中提到的Layer2互操作性解决方案都是基于我们先前推荐的“条件事务加密元素”

Starkex 2.0（预计于2020年11月推出）将使用链上的条件交易来提供2层到1层的互操作性（快速取款）。

Starkex 3.0（预计于2020年12月推出）将使用链外条件交易来提供Layer2到Layer2的互操作性（快速取款）。

背景

Layer2（L2）可扩展解决方案正在迅速发展。以太坊主网上有很多有效性证明系统，很多防欺诈系统已经在测试网络中投入使用。L2解决方案提供了可伸缩性，但代价是：使用L2解决方案，完全在L1上运行的一些好处将被打破，或者至少会减少。我们不认为有一个单独的L2解决方案可以完美地满足所有需求：不同的应用程序对吞吐量扩展的需求截然不同。应用程序将从丰富的二级设计库中自行选择。

在我们进一步讨论之前，我们将定义两个重要的术语

互操作性：使用户能够在应用程序1（初始环境）和应用程序2（目标环境）之间高效地转移资金

应用程序、应用程序的可组成性。我们下次再谈。）

除了这些松散的定义，我们还需要一个增强版的条件事务。这个重要的组件是互操作性的关键。

条件发送：

这是一种加密元素（这是我们第一次提出这种方案），可用于在无信任区块链上实现互操作性。有条件交易是根据某些事件的发生或不发生（如某种支付或状态的改变）来决定其是否有效的交易。其基本概念是，我们可以在初始环境中定义一个条件事务，然后等待它指定的条件在另一个环境（即目标环境）中得到满足，然后它才会生效。

循序渐进

在没有更好的解决方案的情况下，至少，用户总是能够将资金从最初的L2移回L1，然后再转移到目标L2。这种粗鲁的方式既慢又贵，而且会随着需求的增加而变得越来越慢、越来越贵。

所以我们必须做得更好。事实上，我们计划按照以下步骤一步一步地实现更好的解决方案。

第一阶段：starkex（L2）→以太坊（L1）-快速退出

“快速取款”可以解决用户从starkex系统快速取款到L1的问题。它不仅可以将资金发送到用户自己的L1地址，还可以发送到L1的任何目标地址，如compound、AAVE等。重要的是，无论starkex为批量交易生成证据的频率如何，用户取款的时间延迟将以“阻塞时间”来衡量。

使用场景：Alice想将她在L2的dydx帐户中的第1个发送到L1中的地址。

参与者：

Alice（在L2上有存款的用户）

LP（一家流动性供应商，资金在L1）

初始环境中的Starkex运算符（上例中为dydx）

-图1：快速取款流程-

流程：（1）用户向LP发送一个条件事务，并承诺支付1ETH（加上LP的手续费），前提是LP在L1上呼叫1ETH到Alice的L1地址；（2）LP在L1向Alice支付Alice的钱后，条件事务生效；（3）LP将条件事务发送给操作员并等待打包进入下一批待证明的交易中；（4）下一份证明提交给L1并验证后，LP的L2余额增加，反映了他从Alice收到的资金。

周期性再平衡：LP需要使用L2账户自有资金（逐步积累）补充L1账户资金（逐步消耗）。

第二阶段：StarkEx（L2）→StarkEx（L2）

starkex最托管的实例是每个应用程序的开始。现阶段，我们希望用户能够在这些不同的应用程序之间快速转移资金。与快速取款一样，我们也希望帮助用户尽可能减少链开销，而不必等待他们的取款交易在L2上打包和证明。

使用场景：aliece想把自己放在L2_1的dydx帐户上，然后转到她在2上的devilfi帐户上的L2_u。

参与者：

Alice（二级用户中有1人的存款为1）

LP（二分之一（2）有资金的流动性供应商）

初始环境中的Starkex运算符（上例中为dydx）

-图2：链外条件交易流程-

流程：（1）Alice向LP交付已签名的有条件交易，并承诺以L2_U1;Pay 1 th（加上LP的手续费）作出承诺，条件是LP呼叫1 ETH到Alice的L2_2（2）LP在L2_4（3）由L2_2的操作员打包成批提交证书进行支付，并在L1上验证；批量交易在L1发布后，条件交易才能生效；（4）LP将条件交易提交给L2 U1，后者将其打包到下一批待证明的交易中；（5）待L1发布下一批1的交易，并通过合同验证其证明后，等待L2 UU，LP将为L2，更新1的账户余额，以反映从Alice收到的TA金额。

定期再平衡：LP需要定期平衡L2和L2。两个系统的资本流动取决于两个系统中的资金流动。

在这一阶段，支持互操作性的主要成本将是LP的资本成本；需要注意的是，它们的资本成本需要一段时间才能恢复，即从向运营商提供流动性到打包有条件交易。我们希望这个时间从几个小时（大部分时间）开始，然后随着吞吐量（在所有starkex应用程序中）的增加而下降到验证生成时间（分钟）。

第三阶段：L2→L2

基于第二阶段的扩展使资金能够在任何二级语言之间迁移，无论是使用有效性证明的系统还是使用欺诈证明的系统（最优汇总，plasma）。值得注意的是，当使用LP实现互操作时，最优上卷的资金效率存在一些缺点，这是不可避免的

信任模

现在让我们总结一下所需的信任模。

对于用户

完全不需要信任。

对于LP

LP需要信任运营商（在初始环境中），他们将处理他们的有效条件事务，也就是说，他们不会被审查。这种信任需要从几个方面消除。

如果运营商未及时处理LP的条件交易，LP可以：

反审核：将审核后的条件提交给链中的“操作员”智能合约，由后者冻结操作员，使操作员提交的证书无法处理。

保证金：将审核后的条件提交给链上的保证金智能合约，直接从合约中收取资金。

计划

第一阶段将于2020年11月在以太坊主网络（即starkex 2.0）上进行，而第二阶段将于2021年第一季度（即starkex 3.0）实现。

接下来是第三阶段。我们期望L2上的不同应用程序将需要与其他二级应用程序进行互操作，我们渴望与其他二级解决方案提供商讨论解决方案。