穩定幣:研究報告：理解算法穩定幣的不穩定性_比特幣

摘?要：

算法穩定幣是一種由計算機代碼控制的加密貨幣，旨在動態降低其相對特定資產價格的波動性。但隨著算法穩定幣近幾年來的迅速發展，它們的波動性遠遠超過人們的預期。在本文中，我們深入研究了算法穩定幣的核心，并回答了兩個基礎問題，即:算法穩定幣是否從設計上就存在波動性?它們在實踐中能否保持穩定性?具體來說，我們首先對三種流行的算法穩定幣進行了深入研究，并建立了一個建模框架對它們的核心協議進行了形式化。通過形式化驗證，該框架可以鑒別出穩定幣可能變得不穩定的臨界條件。其次，我們對BasisCash的實際交易過程進行了系統性實證分析，將理論可能性與市場觀測值聯系起來。最后，我們還對算法穩定幣未來發展的設計決策提出了幾點建議。

1.引言

眾所周知，加密貨幣的價格有非常大的波動性，幣價經常快速波動。因此，將加密數字貨幣價值與外部資產掛鉤的穩定幣應運而生。與非穩定幣相比，穩定幣嘗試用各種機制來降低其相對錨定資產的價格波動性。其中，最常見的是有抵押資產背書的穩定幣，即其價值由商品、法定貨幣或其它加密貨幣等外部資產作為抵押品來支撐。例如，同美元錨定的USDC穩定幣。與背書穩定幣不同，算法穩定幣通常沒有其他資產支撐，但它通過算法穩定價格，不會降低過多的資本效率，因此近年來越來越受到關注。一般來說，算法穩定幣是通過算法控制通證供應量從而實現價格穩定，這一點類似于中央銀行發行和回購貨幣。在本文中，我們主要關注算法穩定幣，后文中也會簡稱為穩定幣(背書穩定幣不是本文主要討論對象)。

假設有一種與美元錨定的算法穩定幣，其中設計了可以動態調整其供應量的智能合約，并可以以此來降低它本身的價格波動性。我們先簡單解釋一下這個算法邏輯，后面再詳細討論更深入的內容。當穩定幣價格超過1美元時，智能合約“生產”并向市場投放更多通證。這樣一來，穩定幣供應量增加、價格下降，逐漸趨近錨定價格；當穩定幣價格低于1美元時，會降低貨幣供給，逐漸將穩定幣價格拉回到1美元。在實踐中，不同算法穩定幣模型會基于前述思想用不同的模型來實現對自身穩定幣的價格控制。雖然有很多有意思的研究在嘗試創造這類模型，但研究它們是否真正發揮作用的工作并不多。

在本文中，我們從理論和實踐兩方面對算法穩定幣的波動性進行了基本分析，并嘗試回答以下兩個問題：1.算法穩定幣是否從設計上就存在波動性?2.算法穩定幣是否能在實踐中保持穩定性?

本文分析目標在于為算法穩定幣的設計及實現方案提供一個更為全面的解讀，并著重分析它們的波動性。我們相信，波動性的研究對于現存算法穩定幣的優化和未來設計都至關重要。本文主要貢獻如下：

1.對三種流行的算法穩定幣進行案例分析，并建立了一個通用的形式化建模及驗證框架，該框架可用于識別穩定幣可能變得不穩定的具體條件；

高盛為其機構客戶免費提供The Block數字資產研究報告:10月30日消息，高盛已經開始向其機構交易客戶提供來自加密新聞和數據公司The Block的研究報告。根據CNBC收到的一封電子郵件，對沖基金和其他客戶周四開始通過該投資銀行的Marquee數字平臺收到這些報告。向高盛客戶提供的第一份報告是對以太坊網絡上DeFi協議的概述。該銀行在郵件中稱，“為了提供相關的數字資產內容和研究，GS Digital Assets現在提供The Block Research精選報告的獨家訪問權，雖然這些通常需要付費訂閱，但客戶可以使用Marquee賬戶免費訪問它們。”

高盛發言人證實了客戶郵件的真實性，并拒絕進一步置評。據悉，其Marquee平臺每月有5萬名活躍用戶。（CNBC）[2021/10/30 6:21:12]

2.進一步地，我們基于以太坊真實交易，對BasisCash項目進行了實證研究，并成功將理論可能性(穩定幣可能波動)與2020年12月至2021年1月間的實際市場表現(預期外的波動結果)聯系起來。

2.背景

我們將算法穩定幣分為三類，即Rebase類、鑄幣權份額類及部分抵押類。在本節中，我們以一些熱門項目為例來分別簡要介紹這三種算法穩定幣的關鍵設計。

2.1以Ampleforth為代表的Rebase類

一般的ERC20代幣價格都是彈性的，Rebase類的算法穩定幣通過一些常規性調整機制，例如調整穩定幣的總供應量，來管理彈性的價格。更具體的說，這種自適應調整是通過“rebase”過程自動實現的。在代幣供應變化過程中，目標穩定幣價格會逐漸穩定至原先錨定的價格上，比如1美元。我們以Ampleforth為例進行說明。

按照Ampleforth的設計機制，智能合約在每天UTC凌晨2點對Ampleforth進行一次代幣供量調整。當Ampleforth價格高于錨定價格時，系統會同時增加所有用戶地址中的AMPL余額，但整個過程用戶持有的AMPL在總供應量中的占比并不會發生變化。假設Ampleforth最初錨定價格為1美元，價格上漲20%，即1.2美元。那么一個擁有100枚AMPL的賬戶，在經過系統重調后，系統余額就會變為120枚AMPL(實際情況中，是通過多次調整完成)。反之，當Ampleforth價格低于錨定價格時，所有用戶持有的AMPL余額會同時按比例減少。

2.2以BasisCash為代表的鑄幣權份額類?

算法穩定幣的鑄幣權份額代幣類模型通常會引入了兩種加密貨幣，即穩定幣和權益代幣。原則上說，權益代幣是被用來在穩定幣價格高于原先錨定價格時增加貨幣供給的。除了這兩種代幣，鑄幣權份額類算法穩定幣通常還會發行可贖回債券，以便在穩定幣價格低于錨定價格時形成激勵機制回拉價格。以BasisCash為例做進一步解釋。該協議共包含三種代幣：

研究報告：灰度BTC信托缺乏贖回機制且增持不可持續:12月9日，BitMEX Research發布研究報告指出，灰度BTC信托缺乏贖回機制，且增持比特幣的情況是不可持續的。報告指出，截至2020年12月，灰度比特幣信托資產規模已增長至105億美元。這代表其管理著超過550,000比特幣，而這占比特幣最終總供應量的2.6％。盡管該信托取得了成功，但它仍然存在許多重大問題和缺陷。比如，其目前沒有贖回機制，即信托機構中的任何投資者（無論是否獲得認可）都無法將其資金單位兌換成比特幣。由于信托在一個方向上運作，某些投資者可以在一級市場上認購單位，然后信托購買比特幣，但是??并沒有贖回權。因此，信托可以繼續積累比特幣，而不必出售任何比特幣。因此這被很多人認為是對比特幣價格有利的。但與此同時，沒有贖回機制，以及缺乏競爭會導致溢價。而且也不能保證該信托永遠增加資產，若需求減弱，以及來自其他交易所的比特幣產品競爭加劇，則該信托可能會進行折扣交易。雖然由于信托的性質不會導致比特幣被立刻出售，但也會存在為了支付信托管理費而導致拋售比特幣的情況。因此灰度增持比特幣這種情況不可持續。[2020/12/9 14:43:18]

?BAC穩定幣。BAC是BasisCash發行的穩定幣，錨定價格1美元。

?BAS權益代幣。BAS是指BasisShare，它是一種ERC20代幣，并在通脹時為持幣用戶提供BAC的通脹收益。BAS的設計目的是通過動態增加BAC的供給來防止BAC價格過高。目前，BAS可以通過參與去中心化金融平臺上的流動性挖礦來獲得，例如Uniswap。

?BAB債券。BAB是指BasisBond，其價格等于BAC當前價格的平方，即。BAB的設計為參與者提供了一個折扣獲取BAB的方式。其設計目的是當BAC價格脫錨時，重新將價格拉回至1美元。

BasisCash整個協議是通過兩種機制，即通證的擴張和緊縮來自適應調整BAC的供應從而穩定BAC的價格。下面我們簡單介紹這兩個過程。

擴張。擴張的機制的目的在于，BAC價格高于錨定價格時增加BAC的供應量。按照BasisCash的設計，擴張會在兩種情況下被觸發。第一種情況，BAC將作為獎勵鑄造并發放給BAS持有者。也就是說，對任何擁有一定數量BAS的人來說，擴張過程都會按比例將新的BAC進行分配；另一種情況，在價格高于錨定時，BAB持有者可以按照1：1的價格贖回BAC，從而增加BAC的數量。通過這兩種方式，BAC的供應量均會有所增加，BAC的價格也會被預期逐漸降低。

緊縮。緊縮的機制旨在減少BAC的供應量。即，當BAC價格低于1美元時，用戶可以銷毀BAC來低價購買的BAB，若價格再次高于1美元，用戶可以用BAB債券1：1贖回穩定幣BAC，形成一個套利空間，激勵用戶購買并銷毀BAC。從設計上說，緊縮供應期望能夠防止BAC的價格太過低于錨定價格。

動態 | 中證協公布優秀重點課題研究報告評選結果 兩篇與區塊鏈相關:中證協2019年組織開展了主題為“深化金融供給側結構性改革，推動證券業實現高質量發展”的重點課題研究工作。本年度中證協重點課題研究共收到158項課題申報，立項88個課題，最終由專家評選出21篇優秀課題報告。優秀課題報告包括探索金融科技、監管科技在證券行業應用，深刻理解金融科技對金融生態的深遠影響，推動金融科技在證券行業的融合應用發展研究，包括《區塊鏈在場外衍生品市場組織中的應用研究》《區塊鏈在數據生態建設的應用及價值研究》《場外交易中的零知識認證研究》《基于機器學習模型的財務報告欺詐風險識別方法研究》《證券業數字財富管理發展模式研究》《智能投顧在證券公司財富管理業務中的應用研究》《證券公司數字化財富管理的發展模式與路徑研究》等。（中國證券業協會）[2019/12/20]

2.3以Frax為代表的部分抵押類

相對于前兩種算法穩定幣，一種在其基礎上，增加了使用部分穩定幣作為抵押資產的穩定幣登上舞臺。一方面，與DAI等現有的抵押式穩定幣相比，部分抵押類穩定幣可以降低代幣的托管風險，并避免超額抵押的出現；另一方面，相對于完全由算法控制的穩定幣而言，這類穩定幣的價格穩定性更高。下面我們將以FRAX為例進行介紹。

FRAX是首個部分抵押的算法穩定幣項目，系統中有兩種代幣，分別為錨定價值1美元的穩定幣FRAX和治理代幣FXS。其中，為抵押率，根據系統算法每小時調整一次，每次調整0.25%，以此來維持FRAX價格的穩定。初始時，抵押率為1。當抵押率為0.5時，鑄造一枚新的FRAX需要價值0.5美元的其它穩定幣作為抵押；當抵押率為1時，需要全額抵押來鑄造FRAX；當抵押率為0時，FRAX是純算法穩定幣。

原則上，鑄造n個FRAX需要價值的抵押物并燃燒價值的FXS。當FRAX價格高于1美元時，會存在套利機會使用戶用1美元的價值鑄造高于1美元的FRAX，從而激勵用戶鑄造更多的FRAX，降低FRAX的價格；當FRAX價格低于1美元時，用戶可以銷毀1枚FRAX換取價值1美元的代幣組合，該組合主要是質押代幣和FXS。這種措施會激勵用戶更多地購買FRAX、減少FRAX供應量來提高FRAX的價格。

3.建模及驗證

3.1穩定幣建模

在本節中，我們重點提出了一個由六種時間自動機組成的形式化框架M?〈P，E，?，S，B，X〉，并且每種都包含一組元組Q?〈S，s_0，X，A，T，I，S_n〉。其中，S為有限的狀態集，s_0∈S為初始狀態，X為一組非負實數的時鐘變量，S_n?S為各種接受狀態集，A為動作集，I為狀態的不變式集合。假定?為約束函數，則T?S×?(X)×2^X×A×S就是狀態變遷的集合，其中每一個變遷是〈s，a，g，R，s^'〉，s和s^'分別為源狀態和目標狀態，a為動作，g是轉換條件，R為等待重置的時鐘集。

聲音 | 萊特幣基金會聯合創始人王新喜：IMF去年的研究報告稱LTC為支付代幣:據Bitcoin Exchange Guide消息，萊特幣基金會聯合創始人王新喜近日發推稱，“國際貨幣基金組織（IMF）（的研究報告）正式宣布Litecoin為支付代幣”。據悉，IMF 2018年10月發布的研究報告解釋了支付代幣的定義，提到萊特幣是一種支付方式。 但是，許多來自全球加密社區的人仍對這一聲明持懷疑態度。許多持懷疑態度的人指出，王新喜沒有理由等待近10個月才宣布這一消息。同樣，很多人認為報告中使用的LTC名稱僅僅是一個例子，而不是作為一個單獨的案例。雖然上述IMF報告中提到了LTC，但沒有一位為該組織工作的官員站出來承認這種數字貨幣。[2019/8/12]

另外，M通過四類同步通道Ω?{ω_e，ω_c，ω_x，ω_u}實現通信。其中，ω_e和ω_c是用來觸發代幣供應的擴張和緊縮過程，ω_x用來模擬市場交易活動和更新穩定幣價格，而ω_u則是來同步E，?和X的變化。圖1是我們為BasisCash建立的形式化模型，該模型對其它類型的穩定幣同樣適用。由于篇幅的限制，我們只闡述BAC。

P模擬了核心協議的五種狀態，即初始狀態，預擴張狀態，擴張狀態(價格高于錨定價格時)，預緊縮和緊縮狀態(價格低于錨定價格時)。在擴張和緊縮過程開始前，通道ω_e和ω_c會被激活。

E定義了一個包含時鐘t和三種狀態的過程。當t處于系統規定的供應擴張時間時，只要E接收到P的請求，系統就會開始擴張穩定幣的供應。對BasisCash而言，E為其建立了兩個擴張轉換并通過通道ω_u與X同步。

?抽象了整個供應緊縮過程。類似E，?中也通過更新全局變量來減少穩定幣的整體供應量。不過，這里還模擬了供應量保持不變的情形。

S和B是用來模擬交易中買方和賣方的行為，他們隨機生成交易請求，并通過通道ω_x來完成與其他市場參與方的通信和交互。

X抽象了類似Uniswap等具有自動做市功能的DEX。在X中，所有成交價格都根據AMM及穩定幣池計算。不僅如此，X還定義了出售和購買狀態，來表示究竟處于買方市場還是賣方市場。

3.2形式化驗證

基于上述工作，我們進一步提出了基于時序邏輯來形式化規范定義穩定幣的價格穩定性屬性。具體來說，穩定性被定義為ΑG類型的時序邏輯表達式，即相關屬性應用于整體狀態空間中的所有路徑和路徑里的所有狀態之上。

AG(P.Expanded∧E.Updated)?!X.Buy

AG(P.Contracted∧?.Updated)?!X.Sell

BasisCash反常波動示例

動態 | 研究報告:比特幣作為一種資產變得成熟促使其價格飆升:據彭博社報道，最新數據顯示，比特幣(BTC)的增長可以用其作為一種資產變得成熟來解釋，這種成熟是基于圍繞比特幣的討論。彭博援引了網絡智能平臺Indexica的一份報告，該報告開發了一個基于文本文檔自然語言處理的指數，試圖解釋比特幣最近的飆升。這項研究揭示了推動比特幣增長的三大因素，包括圍繞比特幣的對話、對欺詐的擔憂減少，以及人們對比特幣的看法從過去轉向未來的轉變。研究報告稱，越來越多的金融專家和學者正在對比特幣進行研究，傳統機構也在更加認真地對待它。[2019/5/16]

穩定性屬性。?為了形式化描述價格波動彈性，我們引入了擴張有效性和緊縮有效性。以BasisCash為例，當P處于供應擴張階段且E處于Updated狀態時，X不應為購買狀態，即不處于買方市場。同樣的，當P處于供應緊縮階段且?處于Updated狀態時，X不應為出售狀態，即不處于賣方市場。

反例分析。我們利用Uppaal模型檢測工具對BasisCash中的時間自動機進行了驗證。圖2為引起BasisCash違反穩定性屬性的兩個例子，即其發生了不合預期的波動，分別是無效擴張和無效緊縮。在圖2a中，系統處于供應擴張階段，開始鑄造并發放新的穩定幣，但此時BAC的需求量卻出現增加，以致于DEX進入了購買狀態而不是出售狀態，最終導致BAC價格沒有如預期下跌，出現無效擴張；在圖2b中，當BAC價格低于其錨定價格時，系統處于供應緊縮階段，用戶可以將手里的BAC拿來換取BAB。然而，如果交易沒有發生，導致BAC的供應未發生變化，那系統供應緊縮也就失效了。

4.實證分析

在本章，我們將基于上文BasisCash的形式化建模和驗證，在真實市場進行數據觀測的實證分析。其中所有數據及其查詢語句都可以從DuneAnalytics(https://explore.duneanalytics.com/dashboard/winky)平臺上獲取。

正常情況。圖3a和3b分別代表正常的供應擴張和供應緊縮過程。如圖3a所示，隨著新BAC的鑄造，BAC價格開始逐漸降低；類似的，在圖3b中，隨著BAC的銷毀，BAC價格開始慢慢上漲。

無效擴張。圖3c和圖3e表示3.2節中提到的BAC在2020年12月14日至15日的無效擴張過程。從圖3c中我們可以清楚的看見，BAC供應量在14日0點和15日0點分別都有所增加，而價格卻在14日0點后的7小時內從1.35美元上漲至1.56美元，在15日0點后的7小時內從1.62美元漲至1.76美元，漲幅分別為15.72%和8.40%。這種無效擴張可以歸因于圖3e所示的市場需求變化。在圖3e中，由于早期BAC-DAI池流動性挖礦收益率非常高，導致即便當時BAC正處于系統擴張供應階段，整個市場對BAC的需求仍迅速增加。這種對BAC的需求也可以由另一個數據側面觀察到，即這批2020年12月14日新鑄造的BAC中，約92%的BAC在供應擴張后的2小時內迅速流入流動性挖礦池中。

無效緊縮。圖3d和圖3f證實了因無效緊縮而可能對BAC帶來的未預期波動。從2021年1月11日至本文撰寫之時，盡管系統一直處于緊縮供應階段，BAC的價格卻一直維持在其錨定價格以下，如圖3d所示。而導致這種無效緊縮的原因在于用戶參與度過低，即許多投資者擔心若BAC價格一直維持在1美元以下，則無法達到用BAB贖回BAC的條件，因此不愿意銷毀BAC來購買BAB債券，BasisCash的緊縮供應操作失效。正如圖3f所示，BAC的銷毀數量自1月11日后相較前幾日明顯減少。

設計決策。首先，從提高穩定性上來說，貨幣供應緊縮政策的設計比供應擴張政策更加重要。因為加密貨幣的價格通常更容易下跌，如何在穩定幣價格低于錨定價格時讓投資者重拾信心，這一點十分關鍵。開發者在設計之初也可以將協議與更多生態系統結合，以此來豐富穩定幣的應用場景提升需求。此外，算法控制的次數和周期也是穩定幣設計過程中的關鍵因素。

5.相關工作

隨著穩定幣近年來收到越來越多的關注，研究人員持續在做一些為其設計貨幣政策的研究工作。Saito等人提出將需求量波動轉移到供應量波動中，從而來穩定加密貨幣價格；Caginalp等人利用資產流動方程建立了一個有關加密貨幣及其穩定性的模型；Amentrano提出一種供應彈性的加密貨幣，即哈耶克貨幣；Sams則在此基礎上進一步提出了鑄幣權份額模式。除此之外，有關算法穩定幣設計綜述的研究論文和行業報告，，，，，，也不在少數，不僅對不同穩定幣進行了細致分類，還詳細闡述了各個模式的優缺點，不同程度上成為了之后落地應用的理論基礎。

6.結論

本文對算法穩定幣的波動性進行了深入的理論和實證分析。首先，我們為穩定幣建立了一個形式化建模及驗證框架，用來識別穩定幣可能波動的具體條件。然后，我們通過實證分析，驗證了該模型與實際市場表現的一致性。最后，我們展望了穩定幣未來發展的研究方向。本文中使用的各項數據均可在https://explore.duneanalytics.com/dashboard/winky上獲得。

作?者：趙文琦李慧袁煜明

參考文獻

Ampleforth.https://www.ampleforth.org/(2021)

BasisCash.https://basis.cash/(2021)

DuneAnalytics.https://duneanalytics.com/(2021)

Frax.https://frax.finance/(2021)

Tether.http://tether.to(2021)

Uniswap.http://uniswap.io(2021)

Alur,R.,Dill,D.L.:Atheoryoftimedautomata.Theoreticalcomputerscience126(2),183–235(1994)

Ametrano,F.M.:Hayekmoney:Thecryptocurrencypricestabilitysolution.AvailableatSSRN2425270(2016)

Bullmann,D.,Klemm,J.,Pinna,A.:Insearchforstabilityincrypto-assets:arestablecoinsthesolution?ECBOccasionalPaper(230)(2019)

Caginalp,C.:Adynamicalsystemsapproachtocryptocurrencystability.arXivpreprintarXiv:1805.03143(2018)

Caginalp,C.,Caginalp,G.:Opinion:Valuation,liquidityprice,andstabilityofcryptocurrencies.ProceedingsoftheNationalAcademyofSciences115(6),1131–1134(2018)

Clark,J.,Demirag,D.,Moosavi,S.:Sok:Demystifyingstablecoins.AvailableatSSRN3466371(2019)

Hileman,G.:Stateofstablecoins(2019).AvailableatSSRN(2019)

Iwamura,M.,Kitamura,Y.,Matsumoto,T.,Saito,K.:Canwestabilizethepriceofacryptocurrency?:Understandingthedesignofbitcoinanditspotentialtocompetewithcentralbankmoney.HitotsubashiJournalofEconomicspp.41–60(2019)

Klages-Mundt,A.,Harz,D.,Gudgeon,L.,Liu,J.Y.,Minca,A.:Stablecoins2.0:Economicfoundationsandrisk-basedmodels.In:Proceedingsofthe2ndACMConferenceonAdvancesinFinancialTechnologies.pp.59–79(2020)

Larsen,K.G.,Pettersson,P.,Yi,W.:Uppaalinanutshell.Internationaljournalonsoftwaretoolsfortechnologytransfer1(1-2),134–152(1997)

Mita,M.,Ito,K.,Ohsawa,S.,Tanaka,H.:Whatisstablecoin?:Asurveyonpricestabilizationmechanismsfordecentralizedpaymentsystems.In:20198thInternationalCongressonAdvancedAppliedInformatics(IIAI-AAI).pp.60–66.IEEE(2019)

Moin,A.,Sekniqi,K.,Sirer,E.G.:Sok:Aclassificationframeworkforstablecoindesigns.In:FinancialCryptography(2020)

Nakamoto,S.:Bitcoin:Apeer-to-peerelectroniccashsystem.Tech.rep.,Manubot(2019)

Pernice,I.G.,Henningsen,S.,Proskalovich,R.,Florian,M.,Elendner,H.,Scheuermann,B.:Monetarystabilizationincryptocurrencies–designapproachesandopenquestions.In:2019CryptoValleyConferenceonBlockchainTechnology(CVCBT).pp.47–59.IEEE(2019)

Pnueli,A.:Thetemporallogicofprograms.In:18thAnnualSymposiumonFoundationsofComputerScience(sfcs1977).pp.46–57.IEEE(1977)

Saito,K.,Iwamura,M.:Howtomakeadigitalcurrencyonablockchainstable.FutureGenerationComputerSystems100,58–69(2019)

Sams,R.:Anoteoncryptocurrencystabilisation:Seigniorageshares.BraveNewCoinpp.1–8(2015)

Wood,G.,etal.:Ethereum:Asecuredecentralisedgeneralisedtransactionledger.Ethereumprojectyellowpaper151(2014),1–32(2014)

Tags：穩定幣BACBAS比特幣什么是央行穩定幣制度ETHBACK價格中國用戶注冊coinbase比特幣行情走勢k線圖解

Pol幣