（1）从 L2 提现到 L1(快速取款)

该用例中有两位角色，其中 Alice 需要把 1 ETH 从 L2 提现到 L1，流动性提供者 (Liquidity Provider, LP) 在 L1 上有一定的资金。首先，Alice 向 LP 发起一笔条件交易，承诺在 L2 上支付 1 ETH 给 LP 的地址，条件是 LP 在 L1 上支付 1 ETH 给 Alice 的地址。接着，Alice 在 L1 收到 1 ETH 后，这笔条件交易的条件就得到满足了。此时，LP 把这笔条件交易发送给 L2 的 Operator，等待它被打包到下一证明的交易批次中。当条件交易的证明被提交到 L1 验证通过之后，LP 在 L2 的地址将增加 1 ETH，即从 Alice 处获得的资金。(通过这种方式进行快速取款，Alice 需要给 LP 支付一定的手续费)

因为在提供提现服务的时候，LP 在 L1 的资金持续减少，在 L2 的资金持续增加，所以 LP 需要定期地从 L2 提现到 L1，进行资金的再平衡。

（2） L2_1 与 L2_2 之间转账

用例 2 的解决思路与用例 1 类似，即：Alice 向 LP 发起一笔已签名的条件交易，承诺在 L2_1 上支付 1 ETH 给 LP 的地址，条件是 LP 在 L2_2 上支付 1 ETH 给 Alice 的地址。(Alice 和 LP 同样需要分别支付手续费和进行资金再平衡)

在用例 2 的基础上进行延申，无论是使用有效性证明的系统 (zkRollup)，还是使用欺诈证明的系统 (Optimistic Rollup) 都可采用条件交易。当然相较提现确认快的 zkRollup 而言，Optimistic Rollup 上 LP 的资金效率会存在劣势。

在任一 L2 方案中从 L2 提现资金到 L1，需要最终确定 L2 的状态更新 (在这次更新中包含提现的那笔交易)。在有效性证明的 L2 方案中，一般至少需要等待 10 分钟。在欺诈证明的系统中可能需要等待数天。而采用基于条件交易的快速取款则可以使提现摆脱对 L2 状态更新的依赖，实现在「区块链时间」级别 (blockchain-time) 完成资金的转移。

StarkEx 提出条件交易来实现 L2 的互操作性，思路跟 Rollup 很类似。即每个用户提现的多笔费用，转化为 LP 在进行资金再平衡时从 L2 提现到 L1 的单笔费用。对比高昂的 gas 费，用户支付给 LP 的少量手续费显然更加划算。

Loopring

路印融合了其现有工具包的组件，提出了跨 L1、L2 和 CEX 的网桥产品 Ethport。

关于 L1 和 L2 之间的交互，路印的方案是将多笔 L1 的交易进行批处理，以此来分摊 L1 的 gas 成本。与上述思路近似，路印在 L2 上同样设置了流动性提供者的角色。但考虑到流动性提供者的资金效率问题，路印提出了单相转换器 (Single Phase Converter)。 (责任编辑：admin)