深度解析：自動做市商（AMM）算法的數學原理及其未來發展_ANC

作者：LeoLiu,GuangwuXie

翻譯：VanessaCao

校對：LeoLiu,GuangwuXie

排版：JaneHu

感謝：FangyuanZhao,ShowenPeng,DW,LianxuanLi,DaveWhite,DanRobinson,VanessaCao,JaneHu

本文由星際密探和DachaleResearch戰略合作伙伴BTXCapital獨家授權星際密探發布，在本文中，我們將首先回顧由Bancor、Uniswap、Balancer和Curve協議實現的四種自動做市商(AMM)算法。還將討論AMM算法的最新發展、可能的改進和未來。

由于本論文過長，本文總共分為上、中、下篇闡述自動做市商算法、現狀及未來迭代的思考。。

目錄

BancorNetwork的聯合曲線概念和交易公式

Uniswap的無常損失計算?

當價格變動在2ρ之間時的正向收益

流動性分布、流動性注入、UniswapV3范圍訂單

Balancer的做市函數和交易公式

智能訂單路由算法

......

BancorNetwork的聯合曲線概念和交易公式:

Bancor1利用聯合曲線的概念來確定價格。聯合曲線是代幣價格與其總供應量之間的關系。

Bancor1?

BancorProtocolContinuousLiquidityforCryptographicTokensthroughtheirSmartContracts

https://storage.googleapis.com/website-bancor/2018/04/01ba8253-bancor_protocol_whitepaper_en.pdf

江蘇省農科院將區塊鏈應用于農產品質量安全的深度溯源:最近，江蘇省農業科學院農業區塊鏈產業研究院將區塊鏈技術嫁接到農業上，保證農產品的質量安全控制與追溯。該院院長卞立平表示，區塊鏈平臺能夠為每個參與農業產供銷的企業或個人提供一份日志，每人都可以自由記錄信息。相較于傳統的生產管理和追溯系統，數據上鏈以后是不可以篡改的，可以大大提高數據的真實性、可靠性和安全性。此外，江蘇省農科院將區塊鏈技術應用到農產品質量安全的深度溯源上，大大提高了數據的可信度，已獲得了2020數字江蘇建設優秀實踐項目。（揚子晚報）[2021/4/3 19:42:23]

聯合曲線BondingCurve：

聯合曲線模型可以理解為描述“代幣買賣價格”與“代幣發行總量”之間的函數關系，可以由智能合約以去中心化的方式自動執行。

https://medium.com/linum-labs/intro-to-bonding-curves-and-shapes-bf326bc4e11a

BancorNetwork選擇的不變量是F，稱為連接權重。在第一個表達式中R是指流動性池中的儲備代幣數量，S是流動性池外的BNT總供應量，P是BNT和儲備代幣的相對價格。我們可以代入P的方程，對兩邊積分2得到P和S之間的關系。這是一個指數表達式，其中指數α與連接權重F有關。F越小，α越大，這意味著價格相對于BNT的總供應量變化得更快。

兩邊積分2

FormulasforBancorsystem

https://drive.google.com/file/d/0B3HPNP-GDn7aRkVaV3dkVl9NS2M/view?resourcekey=0-mbIgrdd0B9H8dPNRaeB_TA

使用這個表達式和簡單的積分，我們可以導出T和E之間的關系，其中R0，S0是R和S的當前值。

如果我們想在代幣A和代幣B之間交換，則將代幣A出售給代幣B。我們首先需要使用代幣A從池A購買BNT代幣。接下來，我們需要使用BNT從池B購買代幣B。下面是計算我們將收到多少代幣所需的精確公式。代幣A和代幣B之間的相對價格可以用BNT代幣和代幣A/B之間的相對價格表示。

BMEX與土豆社區達成深度戰略合作關系:據官方消息，目前BMEX與土豆社區達成深度戰略合作關系，旨在為合約交易者普及更多行業知識，提升區塊鏈交易生態整體質量。

土豆社區是一家專注于資本市場交易領域的服務機構，擁有一套完整的交易體系，從交易前到盈利后，任何一個操作指令在發出前都會經過系統的分析，同時通過沉淀區塊鏈知識普及、數字金融行情分析、策略指導等知識，為旗下團隊給到系統化運作賦能支持。

BMEX是一家數字資產綜合服務平臺，致力于為用戶提供安全、信賴的數字資產交易及資產管理服務。[2021/3/25 19:17:33]

優點：Bancor允許在某些池中進行單邊流動性的注入，這由Bancor治理決定。可以存入多少單邊流動性是有限制的，這也是由Bancor治理決定的。在限額內，當用戶以其他代幣的形式存入單邊流動性時，Bancor將補充等值的BNT代幣。這使得用戶提供的有效流動性加倍。如果達到限額，如果人們想要存單邊流動性，就得等有人提取單邊流動性，或者有人把BNT做為單邊流動性注入。

Bancor協議以BNT部分賺取的手續費補償用戶在存入單邊流動性時的無常損失。如果交易費用不能完全補償無常損失，Bancor將鑄造BNT以確保無常損失為零。因此，流動性提供者如果將流動性存入一定的時間，就可以享受穩定的收入。

缺點：如上所述，所有交易都需要BNT代幣作為中介。因此，我們將經歷兩次滑點。由于相同的原因，所有流動性池都由BNT和另一個代幣組成，因此缺乏多樣性。BNT代幣價格也可能受到影響，因為需要彈性供應才能實現無常損失補償和單邊流動性存款。

Bancor引入了連接代幣BNT的概念，它連接到所有具有不同連接權重的代幣，對應不同決定價格的聯合曲線。

Uniswap的無常損失計算:

Uniswap使用恒定乘積做市商(CPMM)來決定價格。在我們深入研究UniswapV2和V3使用的算法之前，讓我們先了解什么是無常損失(IL)以及如何計算它。

聲音 | 湖南婁底市市長：推動區塊鏈和實體經濟深度融合:1月8日上午，湖南婁底市市委副書記、市長楊懿文在區塊鏈技術應用有關工作專題會議上強調，要向創新要動力，向創新要發展，推動區塊鏈和實體經濟深度融合，助力婁底高質量發展。楊懿文在會上指出，要構建區塊鏈產業良好的生態，全面提速、高位推動，全市各級各部門要用更加寬容、開放、協同的態度去理解、推動區塊鏈技術應用，破除信息壁壘，打通信息孤島。（婁底新聞網）[2020/1/8]

恒定乘積做市商(CPMM)

ConstantProductMarketMaker

強制要求兩種資產儲備量的乘積必須始終保持不變x*y=k

https://ethresear.ch/t/improving-front-running-resistance-of-x-y-k-market-makers/1281

無常損失

ImpermanentLoss

是指資金在流動性池中面臨的損失。

https://finematics.com/impermanent-loss-explained/

如果AMM函數是凸的，那么沒有交易費用補償的單筆交易總是會導致流動性提供者賠錢。假設一筆交易導致AMM函數從點1移動到點2。點1和點2的現貨價格是P1和P2。P3為實際交易價格。由于凸函數的性質，P1>P3>P2。無常損失定義為交易后池中流動性提供者代幣的當前價值與流動性提供者的代幣當前價值之間的差值，如果他只是持有他的代幣而不將它們用于流動性提供，則表示為V和Vheld。為方便起見，無常損失和價格將以代幣Y表示。經過一些簡單的推導，很容易證明無常損失總是小于零。

Uniswap3V2使用一個簡單但功能強大的公式來確定交易。池代幣儲備數量的乘積是一個常數。與Bancor相比，它擺脫了連接代幣的依賴。交易完全由流動性池中的代幣數量決定。

Uniswap3

動態 | 華為（西安）物聯網產業創新發展中心項目一期深度融合區塊鏈技術:據西安新聞網報道，在第三屆西商大會上，現場簽約13個項目。其中包括華為（西安）物聯網產業創新發展中心項目一期，華為公司擬在灞橋區建設的物聯網產業創新發展中心將依托華為在5G傳輸、芯片研發、邊緣計算等領域的跨代引領優勢，通過構建“云+AI+物聯網”數字底座、深度融合區塊鏈技術，實現新一代信息技術應用加速突破，撬動整個物聯網產業目標。[2019/12/29]

UniswapV2Core

https://uniswap.org/whitepaper.pdf

由于此函數的性質，池中兩個代幣的價值將始終相同。

使用相同的邏輯，不難計算UniswapV2中單筆無手續費的無常損失。假設交易將價格從P更改為Pk。以百分比衡量的無常損失可以單獨表示為k的函數。

毫不奇怪，這個函數總是小于或等于零，正如我們從上面沒有費用的無常損失圖中可以看出的。如果在對數空間中繪制橫軸，則IL(k)將是對稱的。結論是：相對價格變化越大，無常損失就越大。這可以解釋為流動性提供者的更有價值的代幣從池中被買出，留給他們更多價值較低的代幣。

當價格變動在2ρ之間時的正向收益:

接下來，讓我們看看如果我們添加交易費用，IL(k)會如何表現：

導出的無常損失函數IL(k,ρ)看起來與無費用的無常損失函數非常相似。我們可以通過將ρ設置為零來進行合理性驗證，得出相同的結果。典型的UniswapV2費用百分比為ρ=0.3%。在繪制無常損失函數時，我們可以看到在大約k=0.994到1之間有一個高于零的部分。在該地區，無常損失是正的，這意味著流動性提供者實際上獲得了價值。通過引入交易費，當價格在一定范圍內波動時，流動性提供者將獲得正收益。

當價格變動更加波動時，流動性提供者似乎總是會出現虧損。然而，實際情況并非如此。我們知道DaveWhite4等人解決了這個難題。遺憾的是，它超出了這篇介紹性論文的范圍。我們打算在未來進一步研究這個問題。

聲音 | 陳宗建：利用區塊鏈等技術和實體經濟的深度融合:據中國金融商報網3月10日報道，新經濟專家陳宗建在接受美國華文新銳媒體《中美創新時報》灣區經濟專題訪談時表示，相比較粵港澳大灣區和杭州灣大灣區，數字自貿區將是渤海大灣區最大的亮點。他認為，數字自貿區建設尤其是先行示范區的建設一定要以若干科技手段、市場機制、政策機制和法律機制等創新舉措作為推進手段。要以數字科技手段推進數字自貿區建設，充分運用大數據、云計算、物聯網、人工智能、區塊鏈等技術和實體經濟的深度融合。[2019/3/10]

DaveWhite4

Uniswap’sFinancialAlchemy

https://research.paradigm.xyz/uniswaps-alchemy

至于其他流行的AMM算法的無常損失推導，我們向讀者推薦JiahuaXu?等人的這篇論文。這些推導將是下一次的主題。

JiahuaXu?

SoK:DecentralizedExchanges(DEX)withAutomatedMarketMaker(AMM)protocols

https://arxiv.org/abs/2103.12732

優點：第一個用池中代幣數量的凸函數來確定價格。

缺點：流動性供應均勻分布于所有價格范圍，這意味著資本效率較低。

流動性分布、流動性注入、UniswapV3范圍訂單:

為了提高流動性效用并降低無常損失風險，Uniswap?V3允許用戶僅在特定價格范圍內提供流動性。

Uniswap?

UniswapV3Core

https://uniswap.org/whitepaper-v3.pdf

FromUniswapV3whitepaper

這是通過對UniswapV2函數進行平移來實現的：

FromUniswapV3whitepaper

將函數向下平移a點的y值，向左平移b點的x值，如上圖和等式所示，確保a和b之間的有效交易結果，就像我們使用綠色曲線作為我們的價格決定函數。當價格超出此范圍時，其中一個代幣儲備將被售罄，從而有效地將流動性集中到此價格范圍內。

DanRobinson?發表了一篇關于計算多個AMM的流動性分布的優秀論文。

DanRobinson?

UniswapV3:TheUniversalAMM

https://www.paradigm.xyz/2021/06/uniswap-v3-the-universal-amm/

也可以簡單地證明，兩個流動性提供者在同一價格范圍內的流動性可以簡單地加在一起。

在存入流動性時，如上所示，UniswapV3中每個資產的價值不一定相等。只有當P等于Pa和Pb的幾何平均值時，每個資產的價值才相等。當P小于幾何平均值時，資產X的價值大于資產Y的價值。當P大于幾何平均值時，資產X的價值小于資產Y的價值。

當當前價格完全超出流動性提供者設定的價格區間時，UniswapV3將流動性提供者的輸入算作范圍訂單(RangeOrder)，只允許其存入一種代幣。例如，考慮一個由ETH和Dai組成的流動性池。如果設定的價格區間完全高于ETH的當前價格，則只允許用戶存入ETH。如果價格區間完全低于ETH的當前價格，則只允許用戶存入Dai。當價格完全越過流動性提供者設定的價格區間時，他存入的資產將全部轉換為另一種的代幣。由于用戶只能存入一種代幣，范圍訂單只能實現傳統限價訂單中四分之二的訂單。另一方面，買入止損訂單和止損訂單無法實現。截至目前，我們不知道限制范圍訂單代幣類型的目的是什么。

范圍訂單

Range?Orders

本質上并不是真正的訂單，而是LP向資金池某個特定價格點提供的聚合流動性。雖然不是真正的訂單，但「范圍訂單」所表現出的特性，卻很好地模擬了限價單的基本功能。

https://docs.uniswap.org/protocol/concepts/V3-overview/range-orders

優點：UniswapV3引入了流動性分布的概念，允許其用戶在價格范圍內存入流動性。通過集中流動性，提高資本效率。當存入相同價值的資產時，可以獲得更高的流動性和更低的滑點。在某個價格范圍內提供流動性也在某種程度上降低了無常損失的風險。

缺點：用戶在進行范圍訂單時只能存入某些類型的代幣。因此無法實現買入止損訂單和止損訂單。

UniswapV2和V3在其AMM算法中引入了CPMM和流動性分布。提供價格范圍內的流動性本質上使UniswapV3成為一個通用的AMM，能夠通過改變其流動性分布成為任何可能的AMM。

Balancer的做市函數和交易公式:

Balancer?將UniswapV2的雙代幣池擴展到多代幣池。Balancer池中每種資產的價值都持有一個不變的權重，加起來為1。不難證明，這相當于每種資產的儲備數量的冪乘積是一個常數。資產n相對于資產t的價格也可以導出為資產t和n的儲備數量之間的比率，通過它們的權重進行歸一化。

Balancer?

Anon-custodialportfoliomanager,liquidityprovider,andpricesensor

https://balancer.fi/whitepaper.pdf

基于常數不變式，我們可以求導出有不同輸入值的交易公式。在這種記法標準中，資產o始終是買出的資產。資產i是賣出的資產。A和B是打入/接收的代幣和當前的代幣儲備數量。我們還可以根據價格的變化計算打入的代幣或買出的代幣數量。

智能訂單路由算法:

Balancer還引入了智能訂單路由(SOR?)算法。

SOR?

SmartOrderRouterV2

https://docs.balancer.fi/developers/smart-order-router

來源：https://docs.balancer.fi/v/v1/smart-contracts/sor/

該算法的總體思路是將一個訂單分成幾個小塊在不同的Balancer池中進行交易，以獲得更好的交易結果。假設我們要在代幣池1和代幣池2進行交易，如果我們要交易的總金額N低于上圖中的A，我們將只在代幣池1進行交易，因為代幣池1的價格總是比代幣池2價格好。如果總金額超過A，我們將部分訂單在代幣池1中交易，部分在代幣池2中交易。在每個代幣池中交易的數量將使每個池中的價格相等。

很容易證明最優策略總是使每個池中的價格相等的策略。

價格函數，相對于交易量，通常是一個非線性函數。Balancer將價格函數簡化為線性函數。如果有n個代幣池，最優策略可以表示為：

如果存在一個價格函數總是大于或小于范圍(0,N)的其余價格函數，則應從上述計算中刪除該價格函數和相應的池，以確保結果有效。如果價格函數總是較小，那么顯然的最佳策略將是在該池中交換所有代幣。

在這個計算中，不用考慮gas費用。實際上，最優策略應該是在路由收益和gas費用損失之間保持平衡。

SOR算法，我們相信可以在更廣泛的背景下使用。例如，價格函數可以是其他AMM協議池的函數。由于我們目前知識的限制，我們不確定實際的AMM聚合器是否使用相同的邏輯來實現更好的價格。沒有任何價格函數近似的更通用的解決方案將在本文后面討論。

優點：Balancer將2個代幣池推廣到多個代幣池，并引入SOR算法為其用戶實現更好的價格。

缺點：“流動性池的強度取決于其最弱的資產。”一個池中的代幣類型越多，風險就越高。

Balancer是一種多代幣投資組合管理工具，允許靈活的代幣價值分配，具有價格優化算法。

由于本論文過長，Curve的討論及后續內容將于中篇和下篇公布。

Tags：ANCUNIUniswapSWAPanc幣還能漲回來嗎unitteddaoUniswap WalletPeaSwap Token

XMR