零常识证明研制组织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)。
链上
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的规划空间。
视野开拓
在协同阶段,投资集中于核心国家。。。 这时核心国家的出口来势凶猛,而远方外围地区的经济增长一般是与满足范式所需的投入品的生产联系在一起。。。-《技术革命与金融资本》