|通往 Layer-2 互操作性的道路( 二 )

Phase II：StarkEx (L2) → StarkEx (L2)
最开始的 StarkEx 是每个实例托管一个应用。到了这个阶段，我们希望用户能够在这些不同的应用之间快速地迁移资金。很像快速取款，我们也希望能帮用户尽可能降低链上的开销，并且不用等待自己的取款交易在 L2 上打包和证明。使用场景：Aliece 想把自己在 L2_1 的 dYdX 账户上的 1eth 转移到她在 L2_2 上的 DeversiFi 账户上。参与者：

Alice（一名在 L2_1 上有存款的用户）
LP（一名在 L2_2 上有资金的流动性提供者）
初始环境中的 StarkEx 运营者（在上述例子中就是 dYdX）

本文插图

- 图 2：链下条件性交易流程 -
流程：（1）Alice 向 LP 传递一笔签过名的条件性交易，承诺在 L2_1 上支付支付 1eth（加上 LP 的手续费），条件是 LP 把 1eth 打到 Alice 的 L2_2 的账户上；（2）该 LP 在 L2_2 上给 Alice 支付；（3）该笔支付交易由 L2_2 的运营者打包进某个批次并提交证明，该证明在 L1 上验证；待该批次交易发布在 L1 上之后，该笔条件性交易就可以生效了；（4）该 LP 把该笔条件性交易提交给 L2_1 的运营者，由后者将它打包进自己要证明的下一个批次中；（5）等 L2_1 的下一批交易发布到 L1 上、且其证明经过了合约的验证之后，该 LP 在 L2_1 上的账户余额更新，反映 TA 从 Alice 处得到的数额。定期再平衡：LP 需要定期平衡 L2_1 和 L2_2 中的资金，就看两个系统中的资金流向如何。在此阶段，支持互操作性的主要成本将是 LP 的资金成本；要注意的是，他们的资金成本要经过一段时间才能回笼，也就是从向用户提供流动性、到运营者打包处理条件性交易这段时间。我们预计这个时间一开始会是几个小时（大部分时候是），然后随着（所有 StarkEx 应用中）吞吐量的增加而下降到证明的生成时间（几分钟）。
Phase III：L2→ L2
Phase II 基础上的延伸，让资金能够在任意 L2 之间迁移，无论是使用有效性证明的系统，还是使用欺诈证明的系统（Optimistic Rollup、Plasma）。这里要提醒的是，（相比于 zkRollup）Optimistic Rollup 在使用 LP 来实现互操作性时，资金效率会有一些劣势，这是不可避免的（见此处）（中文译本）
信任模型
现在我们来归纳一下所需的信任模型。
对用户来说
完全是免信任的。
对 LP 来说
LP 需要信任（初始环境中的）运营者，相信后者会处理他们的有效条件交易，也就是不会审查他们。这种信任需要可以用几种方式来消除。如果 LP 的条件交易没有得到运营者的及时处理， LP 可以：

反审查：提交被审查的条件交易到链上的 “运营者” 智能合约中，让后者冻结运营者，使该运营者所提交的证明都不能得到处理。
安全押金：提交被审查的条件交易到链上的一个安全押金智能合约中，从该合约处直接接收资金。

计划

Phase I 将在2020 年 11 月登陆以太坊主网（即 StarkEx 2.0），而 Phase II 将在2021 年第一季度到来（即 StarkEx 3.0）。
Phase III 也将紧随其后。我们预计 L2 上的不同应用会有与其他 L2 上的应用互操作的需求，也渴望与其他 L2 方案提供者讨论解决方案。

（完）
原文链接:
https://medium.com/starkware/the-road-to-l2-interoperability-718ff69ec822
作者:Tom Brand & Uri Kolodny
【|通往 Layer-2 互操作性的道路】翻译:阿剑