概要:

在考虑用于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)。

链上

L2 AMM智能合约

该合约提供了一个标准的AMM接口,并进行了两个主要修改:

只有运营商才能在L1上与此合约进行交易。提款需遵守AMM冷却期(ACP)。

为什么需要ACP?

回想一下,在链下,运营商为Alice提供了报价。按照此报价,如果L1 AMM的流动性增加,则价格会提高;相反,如果AMM的流动性下降,价格就会恶化。因此,存款可以是即时的,但一定不能在未结批次结束之前为提款服务。

StarkEx:一种智能合约,将AMM的逻辑与链下StarkEx可扩展性引擎相连接。

有什么新的特点?批量闪电贷

如前所述,StarkEx将很快添加两个新功能:L1限价单和批量闪电贷。我们已经在DeFi Pooling帖子中描述了L1限价单。让我们介绍一下批量闪电贷。

批量闪电贷是一种不限于单笔交易的闪电贷;它扩展了一个批次的时间。只要这些代币在批处理结束时已被销毁,它就可以为运营商提供在L2上铸造代币的能力。

这样可以提高运营商作为中间人的效率,简化将多个限价单合并为一个限价单或在L2内进行交易的路线。

基本操作

L2交易

Alice/Bob要求/批准运营商的报价运营商将报价与其自身进行匹配。

为避免持有流动性,运营商可以采用批次闪电贷(根据定义,该贷款将在批次结束时偿还)。

由于运营商遵守AMM公式,因此他们可以:

从AMM生成L1限价单将净差额(相当于批次闪电贷)与L1限价单匹配证明批量/发送证明更新状态

L1 LP

对于LP而言,L1和L2之间没有任何区别。它们通过其L1智能合约与AMM进行交互,而无需了解其链下内部工作情况。让我们看一下LP的两个基本操作——存款和取款:

存款

存款是一项原子操作:Carol将她的资金存入L1并收到她的LP代币。运营商监控链上活动,以将新的存款包括在报价中。

提款

提款包括三步操作

Carol锁定了她的LP代币,从而触发了AMM冷却期(ACP)运营商必须在ACP结束之前满足此请求如果运营商拒绝Carol的服务,则在ACP之后,她可以直接从AMM智能合约中以最新的已知AMM比率退出。

结论

为了恢复DeFi的金融普惠性主要目标,我们需要降低交易成本,并避免不惜一切代价避免流动性碎片化。

Caspian这种L2 AMM就是朝这个方向迈出的一步。它使L2逻辑最小化,同时提供了更好的资本效率,使L2流动性可用作超流动抵押品,即既可以用作抵押品又可以产生回报。我们将继续积极探索和研究围绕Caspian的设计空间。