EN
StarkWare 通过 StarkEx 3.0 使 L2 用户轻松与 L1 交互以及最新提出的跨 L2 AMM 方案，来探索缓解流动性碎片化和提升与 L1 交互的解决办法。与此同时，StarkWare 还在帮助 Celer 的扩容方案 Layer2.finance 开发基于 ZK Rollup 版本，以此减轻中心化和单点故障的顾虑。
撰文：Karen
伴随着以太坊 Layer2 应用场景逐步展开，流动性割裂导致碎片化、L1 和 L2 的交互体验等问题也逐渐显露出来。
那么，作为以太坊扩容主力研发机构之一的的 StarkWare 是如何解决这些问题的？我们可以从 StarkEx 3.0 主网上线，StarkWare 与 Layer2 交易协议路印（Loopring）合作提出的跨 Layer 2 AMM 方案 dAMM 以及与 Celer 合作将开发 Layer2.finance 的 ZK Rollup 版等一系列近期动向中一窥究竟。
StarkEx 3.0 主网上线使 L2 用户轻松与 L1 交互
7 月底 StarkWare 宣布其二层扩容方案 StarkEx 3.0 主网正式上线，最明显的优势是能够使 L2 用户轻松与 L1 交互，具体特点包括 L1 Vaults 和 SHARP。
其中，L1 Vaults 能够让 L1 上的智能合约在 L2 上交易，允许通过智能合约将资金存入任何任何以太坊地址，发布限价订单以及提取资金。也就是说，以太坊智能合约可以成为 StarkEx 上资产的所有者，并能够通过 L1 Vaults 与 L2 用户交易这些资产。而 L1 Vaults 的潜在用例包括可使用户在其 L2 账户中进行无 Gas 交易的机制 DeFi Pooling 和跨 L2 AMM 方案 dAMM。
简单来说，DeFi Pooling 将存款、取款以及再平衡这些操作搬到 L2 上来提供可扩展性和缓解 Gas 费高昂问题。具体可参考《 三分钟了解 DeFi Pooling：为现有 L1 项目提供可扩展性 》。跨 L2 AMM 方案 dAMM 会在本文第二部分中详细阐述。
批量闪电贷（Batch-Long Flash Loans）也是 StarkWare 3.0 的一个组件，目的是为了提高在 dAMM 流程中运营者的资本效率，简化将多个限价单合并为一个或在 L2 内路由交易的过程，具体来说，不限于单笔交易的闪电贷，还可以批次持续时段内为运营者提供了在 L2 铸造代币的能力，不过需要在批次时段结束前销毁。
StareEx 3.0 的另外一个特点 SHARP （SHARed Prover）则可以从多个 StarkEx 驱动的应用中收集交易后打包成一个证明，以此来提升每笔交易的 Gas 使用率和交易确认速度。
与路印 Loopring 合作提出跨 L2 AMM 方案
在 StarkEx 3.0 中 L1 Vaults 的潜在用例包括 StarkWare 提出的跨 L2 AMM 方案 dAMM，这也是 StarkWare 于今年 4 月份提出的 AMM 方案 Caspian 的优化版本，更名是因为考虑到商标问题。
简单来说，StarkWare 设计的 AMM 首个版本 Caspian 允许将流动性保留在 L1 上，而用户可以在 L2 上交易，本质相当于先将 L2 的交易进行了内部撮合，将剩余无法撮合的部分再交给 L1 的 AMM 处理。具体方案可参考《 速览 StarkWare 的 L2 AMM 流动性聚合方案 Caspian 》。
而优化后的 dAMM 由 StarkWare 和 Loopring 合作发布，核心特性是扩展成了一个跨 L2 AMM，允许跨多个 L2 （如 DeversiFi 和 Loopring 等）异步使用相同的流动性池，还允许将 L1 上的流动性（如 Uniswap 和 SushiSwap 上）用作 dAMM 流动性，如 L1 上的流动性代币可以直接存入 dAMM 上的相应流动性池。这里异步指的是，一个 L2 无需使用相同 AMM L1 流动性池与其他 L2 强制性通信即可处理 dAMM 交易。
如上图所示，dAMM 跨 L2 共享流动性的实现方式是，将 L2 上的流动性池与定价状态解耦（分离开来）后将多个状态放置到同一个流动性池中，然后再为每个 L2 分配自己的 dAMM 状态，从而促进异步跨 L2 AMM。将 L2 上的流动性池和状态解耦的这种设计中，合约会在有足够流动性履行交易的前提下同意状态提供的任何报价。
优化过后的 dAMM 因支持多个在 L1 和 L2 上的独立市场，在很大程度上会吸引大量交易，进而为产生更多的费用，对用户而言，也能获得一个相对更优的价格。
与此同时，dAMM 中流动性提供者也会因为接触的市场数量的增加导致其无常损失风险呈线性增长。不过，StarkWare 表示，dAMM 智能合约将限制流动性提供者可以承受的最大无常损失限额（即参数 AMM Health Factor），来缓解无常损失风险。
将与 Celer 合作开发 Layer2.finance 的 ZK Rollup 版
StarWare 在 7 月份 StarkEx 3.0 主网上线的公告中，还提到目前正在与扩容团队 Celer 构建一个 DeFi Pooling 平台。
事实上 Celer 在今年 4 月份就与 StarkWare 达成了合作关系，将利用 StarkWare 的 StarkEx 网络和 Cairo 编程语言为 Celer 的最新扩容方案 Layer2.finance 开发基于零知识证明 (ZK Rollup) 的版本，具体利用无需许可的去中心化 ZK Rollup 和 Celer 的状态守卫者网络（State Guardian Network）来进行构建，以此减轻中心化和单点故障的顾虑。
而在上个月，Layer2.finance 就推出了 v1.0 测试网，当然目前是运用的 Celer 自行研制的定制化 Optimistic Rollup 解决方案，具体来说是通过迁移用户和流动性到 L2 来实现原地扩容。
不同的是，StarWare 提出的 DeFi pooling 利用 StarkEX 基础设施和 SHARP （共享证明器）服务，将用户的资金分配需求汇总到 DeFi 协议中，通过零知识证明实现快速确定性。
小结
对于 L2 扩容方案和项目而言，除降低成本和高性能等基本要求之外，L2 与 L1 交互性的打通、L2 流动性的聚合以及可在 L2 上可享受与 L1 类似功能的特点也同样重要。
StarkWare 目前正在利用 StarEx 3.0 来提升 L2 与 L1 的交互性，并简化交易操作和提升交易确认速度，还能提供限价订单和批量闪电贷服务，同时将通过与第三方合作来解决流动性碎片化问题，以及帮助其他扩容方案构建 ZK 版本。
