穩定幣:研究報告：理解算法穩定幣的不穩定性_coinbase下載錢包

摘?要：

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

1.引言

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

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

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

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

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

中幣（ZB）市場研究報告：比特幣多頭需突破目前的小阻力位:據中幣（ZB）市場研究報告顯示，目前多頭捍衛了47404美元的水平支撐位，但9日均線起到了動態阻力位的作用。如果多頭突破9日均線和49705美元的小阻力位，比特幣價格將重新測試昨天的高點51693美元。然而，RSI指數下降至50的中性水平，顯示下跌趨勢。如果未來一天熊市壓力增加，比特幣價格跌破目前的主要支撐位，則或將跌至43247美元的低點。此外該報告還對LINK和TRX做出了技術分析，更多詳情請查閱中幣（ZB）官方發布的研究報告。[2021/3/5 18:18:02]

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為例做進一步解釋。該協議共包含三種代幣：

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

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

?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的價格太過低于錨定價格。

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

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

分析 | 比特幣研究報告：央行正加強數字貨幣研發 預計私有加密貨幣的發展將受到限制:經濟學家任澤平今日在微信公眾號“澤平宏觀”上發表《比特幣研究報告》。報告提到，投機需求是主導比特幣價格瘋漲的內在原因，包括變相換匯、ICO融資等交易活動。此外，比特幣在普遍接受性和價值穩定兩方面尚不能媲美黃金等實物貨幣，但可以滿足價值均勻可分性，在輕便和易攜帶性上具備實物貨幣難以比擬的優勢。而美國等發達經濟體對比特幣相對寬松的監管態度是比特幣的資產泡沫持續膨脹的重要外部因素。在認可比特幣技術創新的同時，應注意其自身運行機制而產生的風險。我國政府對比特幣交易活動的監管逐步趨嚴，預計私有加密貨幣的發展將受到限制。同時中國央行正加強對數字貨幣的研發。在認識到虛擬貨幣本身風險的同時，我們不能否定區塊鏈技術的創新性和發展潛力。[2019/10/28]

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為等待重置的時鐘集。

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

動態 | 研究報告：數字貨幣的技術前景很廣闊 但其穩定性受到“硬分叉”的威脅:據Eurekalert消息，Springer期刊研究人員Benjamin Trump及其團隊通過查看800多個開源的硬分叉、軟分叉山寨幣的源代碼來審查數字貨幣目前的狀態。Trump表示，盡管數字貨幣的技術前景很廣闊，但其穩定性受到“硬分叉”的威脅。以這種方式破壞數字貨幣和區塊鏈會導致人們失去對它的信任。如果數字貨幣特別是比特幣要在國際范圍內成為全球公認的、可靠的、可預測的交易媒介，那么比特幣網絡中的礦工、錢包開發商、交易所運營商和其他利益相關者需要更好的治理方式以使其具備更大的穩定性。[2018/9/13]

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反常波動示例

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

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

動態 | 研究報告稱Telegram Passport 易受暴力攻擊:據Cointelegraph報道，根據加密軟件和服務開發商Virgil Security的報告，最近由Telegram推出的APP Telegram Passport易遭受暴力攻擊。Telegram Passport，旨在加密用戶的個人身份信息，并讓用戶與第三方共享身份證數據。根據Virgil Security的報告，Telegram使用SHA-512算法，這種算法容易遭受暴力攻擊。[2018/8/2]

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：穩定幣BACBASASH港元穩定幣BACKcoinbase下載錢包kcash幣還有價值嗎

比特幣最新價格