概要：

在考慮用於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的設計空間。