零知识证明研发机构StarkWare提出可解决二层网络流动性碎片化问题的自动做市商(AMM)方案 Caspian (里海,世界上最大的湖泊),Caspian 支持把流动性保持在 L1 上的同时让用户可在 L2 上进行交易。StarkWare 计划于 2021 年 6 月推出 StarkEx 3.0 包含 L1 限价单和批量闪电贷功能以支持 Caspian。 概要: 在考虑用于DeFi的L2解决方案时,资金效率是一个主要问题。原因:假设流动性将在L1和多个L2解决方案之间分裂。介绍里海:我们提出了一种新的由L2驱动的AMM设计。 该AMM将资产留在L1上,从而导致碎片化的流动性并提高了资本效率。StarkEx 3.0(将于2021年6月推出)将支持里海。它将包括实现里海所需的两个新原语:L1限价单和批量闪电贷。背景 AMM是重要的DeFi工具。 它的核心特质——自治性,可组合性和流动性引导——使AMM成为DeFi乐高的第一个构建块。 自从Bancor和Uniswap开始以来,AMM设计空间已朝多个方向发展:从专门市场(例如Curve),通过一般市场(例如Balancer)到无常损失感知市场(例如Dodo或Bancor V2)。 AMM如何适应快速增长的L2扩展的发展? 到目前为止,L2 AMM设计需要将AMM整体(包括流动性)转移到L2,从而导致L1流动性出现不希望的碎片化。 我们提出了一种由L2驱动的AMM设计,该设计允许流动性保持在L1上,并且用户可以在L2上进行交易。 除了允许基于L1的流动性提供者(LP)参与AMM之外,该设计还允许: 将在其他L1 DeFi协议中存储流动性(由BentoBox和Balancer V2致力于的工作)。 跨L2 AMM(在此介绍)。 什么是Caspian(里海)? 高级概念 Caspian(里海)是一种L2驱动的AMM。 就像Caspian(里海)(世界上最大的湖泊)一样,Caspian AMM可以在L2上架起流动性,而在L1上保持无碎片化。 Caspian有一个链下运营商(Operator),可处理批量的L2交易。 这个运营商是在L1上与 L2 AMM合约进行交易的唯一实体。 它模仿了这个合约的逻辑,并基于交易批次开始时AMM的状态以及批次中包含的后续L2交易提供交易报价。 在批处理结束时,运营商通过对L2 AMM合约执行净差额来结算所有交易。 运营商必须模仿合约的逻辑,并将其应用于正确的帐户状态,以确保L1合约能够用作L2交易的对手方。 参加者 链下 运营商:L1和L2上存在的无风险做市商。运营商充当协调员的角色。 其唯一目的是使每一批次中的交易者进行匹配,并使净差额与L1合约相匹配。 它使用STARK证明结算批量交易。请注意,只有这个运营商可以公平地排序所有交易。 为了消除中心点,可以将运营商本身去中心化。交易者:Alice和Bob是拥有L2资金的交易者。流动资金提供者:Carol是L1的流动性提供者(LP)。 (责任编辑:admin) |