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

　　我们并不希望某个L2解决方案一家独大：不同的App对扩容性的需求各不同，因此可以根据自身需求选择适合的L2解决方案。接下来，让我们给大家解释两个重要的术语：

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

　　可组合性 (Composability)：能够将app1…appn包含的操作组合成一次交易以发送。

　　注意：可组合性将在之后的一篇文章中详细讨论。

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

　　条件式交易

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

　　循序渐进

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

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

　　阶段I： StarkEx (L2) → Ethereum (L1) — 快速提款

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

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

　　参与者：

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

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

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

　　流程：(1) Alice给LP发送一笔价值为1 ETH的条件式交易 (还要加上给LP的手续费)，条件为LP需向Alice的L1地址上转1 ETH；(2) LP在L1上转了给Alice之后，条件式交易生效，然后 (3) LP将该条件式交易提交给运营者，随后被打包进下一批等待被证明的交易中； (4) 等到这些证明被提交至L1并得到验证后，LP在L2的账户便收到了Alice的转款。 (责任编辑：admin)