算法穩定幣的波動性：建模、驗證和實證分析_BAC

也許加密世界正在嘗試掙脫物理世界的束縛，變得越來越“空氣”了。不但以太坊要脫離PoW全面迎接PoS, 而穩定幣也有不想錨定任何資產，嘗試僅憑算法創造出資本使用效率更高穩定成本更低的穩定幣。 市場對不錨定法幣，也不抵押資產的算法穩定幣，有很多懷疑，在鏈聞對FTX CEO Sam的專訪中，Sam更是具體地指出，算法調節只能做到方向明確但價格模糊，也就是「大概率穩定」，或者「穩定在一定范圍」，而是絕對的穩定, 而我們很多的現實場景卻需要1 美元穩定幣正好等于 1 美元。

本文出自火幣研究院的論文，從已有的數據中實證了算法穩定幣設計中存在一些不穩定的因素，如在算法執行穩定幣擴張時出現市場出現破裂，穩定幣市場價格不漲反跌，算法收縮時市場中斷沒反應，達不到算法調節穩定的效果。

我們當然希望算法穩定幣能實現，畢竟大大提升了資本的使用效率。就像穩定前向的時間一樣，是各種“力”的作用而成一樣，我們也希望穩定幣，也能通過多力博奕，達到穩定。至于這種力需不需要聯系或錨定物理世界的資產，從更宏觀的角度來看，如果我們相信物質，能量，信息之間是能相互轉化的話，我們就也能理解，這種用僅使用比特維持穩定的穩定幣也能反映物理世界。

Author(s):Wenqi Zhao, Hui Li, Yuming Yuan

URL:http://arxiv.org/abs/2101.08423

算法穩定幣是一種由算法（即智能合約）管理的加密貨幣，用于動態最小化其價格相對于特定形式資產（如美元）的波動。由于近年來算法穩定性的快速增長，它們變得比預期的更不穩定。在本文中，我們深入研究了算法穩定幣的核心，并分享了我們對兩個基本研究問題的答案，即算法穩定幣的易變是否是由于設計造成的？它們在實踐中是否穩定？具體地說，我們對三種流行的算法穩定幣進行了深入的研究，并開發了一個建模框架來形式化它們的關鍵設計協議。通過形式化驗證，該框架可以識別穩定幣中可能變得不穩定的關鍵條件。此外，我們對Basis Cash的實際交易活動進行了系統的實證分析，將理論可能性與市場觀察聯系起來。最后，我們強調了算法穩定性未來發展的關鍵設計決策。

孫宇晨發布《關于發行波場去中心化算法穩定幣USDD致社區的公開信》:據官方消息，波場TRON創始人孫宇晨發布《關于發行波場去中心化算法穩定幣USDD致社區的公開信》。

公開信中表示：波場DAO將聯合區塊鏈行業的主流機構推出USDD，Decentralized USD，人類歷史上最為去中心化的穩定幣，以數學與算法實現人類的金融自由，不依賴任何中心化實體而永恒存在。波場USDD將于2022年5月5日去中心化正式發行，進入流通，也將通過BTTC跨鏈協議，進入以太坊與BSC進行流通。[2022/4/21 14:39:48]

眾所周知加密貨幣是不穩定的，即其價格經常快速波動，因此穩定幣的方案是將其價值與一些外部資產掛鉤，例如美元。與“不穩定”的加密貨幣（如比特幣、以太坊）不同，穩定幣能夠基于不同的機制將其價格相對于掛鉤資產的波動最小化。最常見的一種穩定貨幣是有抵押擔保的穩定幣，即穩定幣的價值由外部資產支持，例如商品、法定貨幣或加密貨幣作為抵押品。例如，USDC穩定幣由美元支持。與有錨定支撐穩定幣不同，算法穩定幣（通常不錨定其他資產）近年來越來越受歡迎，因為它能夠通過去中心化的算法（即智能合約）來穩定價格，而不會降低太多的資本效率。一般來說，這是通過控制算法來穩定貨幣的供應量來實現價格穩定，這類似于中央銀行印刷和銷毀貨幣。在本論文中，我們主要關注算法穩定幣，并將與“穩定幣”互換使用（有錨定資產的穩定幣不是本文的主要目標）。

假設穩定幣與美元掛鉤，智能合約旨在動態管理其供應，以最小化價格波動。我們簡單地解釋如下算法，稍后將進一步討論。當穩定幣的價格超過一美元時，智能合約將“生產”更多的代幣并將其分發給市場。因此，穩定幣的價格應該相應下降。在穩定幣價格低于1美元的情況下，智能合約會減少穩定幣的供應，以便逐漸將其價格提升回1美元。在實際應用中，上述通用算法可以通過不同的模型來實現對穩定回路的魯棒控制。雖然有許多有趣的研究嘗試模型，但對于他們是否真的有效的研究相對較少，它們真的有效嗎？

本文從理論和實證兩方面對算法穩定幣的波動性進行了基本分析。我們的研究嘗試回答兩個基本的研究問題，分別是：

Celer Network 支持部分抵押算法穩定幣協議 Orcus Finance:3月25日消息，跨鏈跨層通信平臺 Celer Network 支持部分抵押算法穩定幣協議 Orcus Finance。Orcus Finance 正在 Astar Network 上推出部分抵押算法穩定幣，提供雙代幣抵押級別，同時使用 USDC 和 ORU 代幣來鑄造 oUSD 穩定幣，Celer Network 在 Astar Network 上橋接 USDT、USDC、DAI、WETH、BNB、BUSD、WBTC、PKEX、SDN、MATIC、AAVE、CRV 等。Orcus Finance 將與 Celer Network 合作，使 oUSD 成為一種多鏈部分抵押算法穩定幣。[2022/3/25 14:18:11]

研究問題1：算法的穩定性是設計的不穩定性嗎？

研究問題2：算法穩定性在實踐中是不穩定的嗎？

我們在本文中所描述的分析的目的是提供對穩定幣協議（在設計和實現層面）的更全面的理解，并特別關注它們的波動性，我們認為這對于優化現有穩定幣和創建潛在的未來設計是至關重要的。我們的主要貢獻總結如下。

–我們對三種流行的算法穩定幣的設計進行了深入的協議分析。此外，我們還開發了一個穩定幣的通用形式化建模和驗證框架，可以用來識別穩定幣可能變得不穩定的特定隱藏標準。

–我們根據以太坊的實際交易活動，進一步對Basis Cash穩定成本進行了系統的實證研究，并設法將理論可能性（穩定成本可能波動）與2020年12月至2021年1月的市場觀察結果（意外波動價格）聯系起來。

我們將算法穩定幣分為三類，即重置型/rebase-style、鑄幣型/seigniorage和抵押型/partial-collateral。在本節中，我們將以流行的項目為例，簡要說明所有三種類型穩定幣的關鍵設計。

重置型的穩定幣管理價格彈性ERC20代幣，即穩定幣的總供應量是非固定的，并在常規基礎上進行自適應調整。更具體地說，這種調整是通過“Rebase”過程自動實現的，這一過程使目標穩定幣的價格逐漸穩定在一個特定的聯系匯率制度附近，例如一美元。我們以Ampleforth為例進行說明。

算法穩定幣FEI、TRIBE上線MXC抹茶，開放現貨、杠桿、API交易:據官方公告，新一代算法穩定幣FEI，及其治理資產TRIBE已上線MXC抹茶，開放現貨、杠桿、API交易，充值、提現已開啟。現貨交易，開放FEI/USDT、TRIBE/USDT交易對，充值FEI或TRIBE，可瓜分5000 USDT；杠桿交易，FEI/USDT支持10倍杠桿多空雙向交易，TRIBE/USDT支持5倍杠桿多空雙向交易；4月4日9:00—10日9:00，通過API或網格交易FEI、TRIBE，且交易額大于1000USDT，可參與瓜分2萬USDT。

資料顯示，FEI是新一代算法穩定幣，TRIBE是其治理資產。FEI通過直接獎勵與PCV機制，1:1錨定美元價值。[2021/4/4 19:44:53]

按照設計，Ampleforth每天在UTC凌晨2點重新調整。在調整基準時，當Ampleforth的價格高于其緊釘匯率時，新代幣將根據其相應余額按比例鑄造并分配給所有賬戶。鑒于Ampleforth的價格為1.2美元，其聯系匯率為1美元（即20%與聯系匯率有關），一個擁有100枚代幣的賬戶將擁有120枚代幣。另一方面，當價格跌破掛鉤時，持有的代幣可能會自動按比例燒掉。

算法穩定幣的鑄幣稅股份模型通常引入兩種加密代幣，即作為穩定代幣和作為鑄幣稅所有權的股份代幣。原則上，當一枚代幣的價格高于其預定的釘住匯率時，股票代幣被用來增加穩定代幣的供應。除了這兩種加密代幣之外，鑄幣稅型的穩定代幣通常會發行一種可贖回債券，當價格跌破聯系匯率制度時，作為對買家的激勵。我們使用Basis Cash穩定作進一步解釋。Basis Cash引入了三種加密貨幣：

–BAC。BAC是穩定代幣，以固定匯率1美元的Basis現金發行。

–BAS。BAS代表Basis的股票，這是鑄幣稅ERC20代幣，提供了穩定幣BAC的通貨膨脹收益。股份代幣BAS的設計目的是通過動態增加BAC的供應量來防止BAC的價格過高。目前，BAS可以通過參與流動性挖礦來獲得，即在去中心化的金融平臺（如Uniswap）中存入流動性。

算法穩定幣TSD將在TRON網絡發布TSDv2 此前曾遭遇惡意攻擊:3月18日，算法穩定幣True Seigniorage Dollar宣布，將在TRON網絡發布TSDv2，并在TrueSwap推出交易對。此前消息，算法穩定幣True Seigniorage Dollar（TSD）表示，惡意攻擊者利用TSD DAO在其賬戶中鑄造118億枚TSD代幣，并全部在Pancakeswap出售。[2021/3/18 18:56:11]

–BAB。BAB是指其價格Pbab由BAC-Pbac的價格在數學上確定的基礎債券，即Pbab=（Pbac）^2。特別是，BAB為持有人提供了一種激勵，使他們能夠以一種成本效益高的方式獲得BAB。其背后的設計目的是，當BAC價格跌破1美元時，將其推回到1美元。

Basis Cash協議是通過自適應控制Basis Cash的供給來穩定BAC的價格。這是基于兩個關鍵機制實現的，即擴張和收縮。我們簡單地描述了以下過程。

Expansion/擴張。擴張機制的目的是增加BAC的供應，以穩定其價格時，當它上升超過一美元時。在Basis Cash的設計中，擴張在兩種設置下自動激活。首先，BAC將被鑄造并作為獎勵分發給BAS持有者。也就是說，對于任何擁有特定數量賬戶的人來說，擴張過程會按比例將新鑄造的穩定幣分配給他或她的賬戶。在第二種情況下，BAB的所有者可以用他們的BAB以1:1的價格贖回BAC，這也導致了BAC的數量增長。由于這兩種情況下供應量的增加，預計擴張將使BAC的價格逐漸下降。

Contraction/收縮。與擴張過程相反，收縮旨在收縮BAC的供應。為此，在Basis Cash中引入激勵措施，鼓勵買家在BAC價格低于1美元時用BAC換BAB。在特定情況下，一個BAC保證根據其價格依賴性生成多個BAB，如上所述。此外，Basis Cash協議確保當BAC的價格超過1美元且滿足所需條件時，特定數量的BAB能夠贖回相同數量的BAC。基于收縮的設計，BAC的價格預計不會跌得太遠。

SBF：算法穩定幣的意義需要保留其大部分價值的東西做支撐:1月6日消息，FTX CEO SBF發推闡述自己的“算法穩定幣”哲學：有時算法穩定幣的市值會上升，這很酷。如果沒有你確信的能夠保留其大部分價值的東西做支撐，那么“穩定幣”的概念是沒有意義的。[2021/1/6 16:34:12]

與前兩種算法的穩定性不同，最近提出了一種新的算法協議，稱為分數算法協議/fractional-algorithmic protocol，它是完全抵押和完全算法協議的結合。與現有的全抵押型穩定方案（如DAI）相比，部分抵押品協議引入的保管風險較小，避免了過度抵押。另一方面，它的目的是執行一個相對緊釘與更高水平的穩定性比純粹的算法設計。我們使用下面的Frax項目進行說明。

特別是，Frax是第一次嘗試實施穩定幣的部分附帶協議。它引入了一個雙代幣系統，即FRAX作為一個與1美元掛鉤的穩定幣，FXS作為一個治理代幣。抵押品比率0 ≤ r ≤ 1在協議中每小時以0.25%的步長動態確定，以控制抵押品需要采取何種百分比的peg來穩定FRAX的價格。在r=0.5的情況下，0.5美元必須在其他類型的穩定貨幣中作為抵押品來創造新的遠期利率。當 r = 1.0時，它變成全抵押；當 r = 0 時，它變成純算法穩定幣。

創世的抵押品比率r為1.0。原則上，鑄造一定數量的遠期外匯包括將價值的n × r作為抵押品，并用外匯兌換券燒掉價值的 n ×（1?r）。當價格超過固定匯率時，該協議為投資者創造新的遠期利率提供了動力。因此，預計FRAX供應的增加將逐步促使價格下降。在價格低于掛鉤匯率的情況下，該協議允許投資者將價值1美元的抵押品和FXS的組合與價值低于1美元的單一遠期外匯進行互換。這樣的激勵措施可能會產生遠期外匯購買，并提高其價格。

我們強調了穩定幣的形式化建模框架M，M := < P，E，C，S，B，X >是一個由六種時間自動組成的網絡，每種時間自動機都是一個元組Q := < S，s0，X，a，T，I，Sn >。S是有限狀態集。s0∈S是初始狀態。X是一組非負實數作為時鐘變量。Sn?S是一組接受狀態。A是一組動作，I是一組分配給狀態的不變量。假設Φ是約束函數，T?S×Φ（X）×2X×A×S是狀態轉換< s、A、g、R、s0>的集合，其中S和s0是源狀態和目標狀態，A是動作，g是啟動轉換的條件，R是要重置的時鐘集。

此外，M通過四類同步信道Ω提供通信：={ωe，ωc，ωx，ωu}。特別地，ωe和ωc被設計來觸發擴張和收縮過程。ωx模擬市場交易活動，生成新的穩定成本價格。ωu在E、C和X之間同步更新。特別是，我們在圖1中給出了Basis Cash的正式模型。該框架適用于其他類型的穩定幣。由于頁面限制，我們選擇了Basis Cash，因為它體現了一種典型的模式，是在撰寫本文時最受歡迎的市場之一。

–P 將主協議建模為五種狀態，即初始狀態、擴張前狀態和擴張后狀態（當價格高于掛鉤時）、收縮前狀態和收縮后狀態（當價格低于掛鉤時）。在兩個躍遷上，擴張（ωe）和收縮（ωc）通道被激活，從而實現擴張和收縮過程。

–E 自動機定義了一個具有時鐘 t 和三種狀態的進程。E響應P的擴張請求。執行擴張轉換以增加穩定幣的供應（即全局變量N bac）。如果 t 在擴張點（例如24:00 UTC），則允許轉換。對于Basis Cash，E創建兩個擴張轉換，并通過更新通道（ωu）與X同步。

–C 自動機抽象了收縮過程。與E類似，提供了一個轉換，通過更新一個全局變量來細化供應量的減少，另一個轉換的目的是模擬供應量保持不變（投資者可以選擇不將BAB換成BAC）。

– S和B是用來模擬交易中買賣雙方的行為的。它們通過ωx通道生成隨機交易請求。

–X 引入了一個帶有自動做市（AMM）的去中心化交易所（DEX）抽象模型，例如Uniswap。X定義了“賣出”和“買入”狀態，以表明它是買方市場（即賣方多于買方）還是賣方市場（反之亦然）。新的價格是根據AMM和它的穩定幣庫計算的。

我們進一步強調了重要的形式化規范，用時態邏輯定義穩定幣的穩定性（或非揮發性）。具體地說，穩定性（非揮發性）是通過以下兩個屬性（A和G是量詞，即，對于狀態空間中的所有路徑和路徑的所有狀態）來指定的。

穩定性規范（非揮發性）。在擴張有效性和收縮有效性中規定了兩個屬性，以形式化價格波動彈性（以Basis Cash為例）。根據擴張有效性的形式化，在P處于擴張狀態而E處于驗證狀態的情況下（即，擴張已被強制執行），X不得停留在購買狀態以使價格下跌，即買方市場。同樣地，當P處于收縮狀態，C處于有效狀態時，X不能處于賣出狀態，即賣方市場。

反例分析。我們使用時間自動機的Uppaal模型檢查器驗證了Basis Cash模型。圖2顯示了穩定性屬性的兩個反例，即Basis Cash可能變得不穩定的條件。圖2a描述了一個違反擴張有效性的交易場景。具體來說，BAC的需求增長發生在擴張過程開始鑄造和分銷新的穩定幣時。結果，DEX變成了買入而不是賣出的狀態，從而觸發了一個反例。在收縮有效性方面，圖2b顯示了Basis Cash的另一個潛在波動性。當BAC的價格跌破聯系匯率制度時，這種收縮使得投資者可以將BAB與BAC互換。然而，如果互換沒有發生，因此BAC的供應量保持不變，則由于DEX進入賣出狀態而不是預期的買入狀態，因此違反了收縮有效性。

在對Basis Cash進行正式建模和驗證的基礎上，我們現在用實際市場觀察進行了實證分析。可以使用查詢和數據(https://explore.danealytics.com/dashboard/winky)在Dune Analytics平臺上。

正常情況。圖3a和3b顯示了擴張和收縮效果良好的兩種情況。如圖3a所示，隨著新BAC的鑄造，其價格逐漸下降。類似地，在圖3b中，許多BAC因收縮而被燒毀，其價格開始上漲。

擴張破裂。圖3c和3e解釋了2020年12月14日和15日§3.2中推斷的擴張破裂。在圖3c中，擴建于00:00開始，并收集了新鑄造的BAC。然而，它的價格在7小時內從1.35美元上漲到1.56美元（12月14日），從1.62美元上漲到1.76美元（12月15日），增長了15.72%和8.40%。根據圖3e，如圖3e所示，需求的快速增長導致了擴張斷裂式的破裂。由于BAC-DAI在早期非常流行，并導致了極高的產量率，因此即使在擴張點，BAC的需求也會迅速提升。2020年12月14日，新鑄造的BAC有92%的資金在擴建后2小時內進入了流動性挖礦池，這也反映了BAC的受歡迎程度。

收縮中斷。圖3d和3f也證實了由于收縮破裂而導致的潛在波動性。從2021年1月11日到撰寫本報告時，盡管收縮的條目不斷打開，但根據圖3d，BAC的價格一直保持在聯系匯率制度之下。其背后的原因是參與收縮的比例較低，即許多投資者不愿意將BAC換成BAB，因為他們擔心自己可能永遠無法贖回。如圖3f所示，這一時期燃燒的BAC（駝峰）數量比幾天前小得多。

設計決策。首先，收縮比擴張更重要，因為加密貨幣自然更容易下跌而不是上漲。與更多的生態系統連接是一個重要的補充。第二，算法干預的數量和周期是穩定設計的關鍵因素。在這種情況下，人們迫切需要更健壯、更靈活的模型。

近年來，隨著穩定幣的流行，研究人員一直建議為他們制定新的貨幣政策[14,11]。Saito等人提出通過自動控制加密貨幣的供給來吸收正需求和負需求沖擊來穩定加密貨幣。Caginalp等人利用資產流方程來模擬加密貨幣及其穩定性。在算法穩定的背景下，Ametrano描述了哈耶克貨幣通過重新調整貨幣數量來實現穩定。Sams進一步設計鑄幣稅份額，以包括一個彈性供應規則，自適應調整代幣數量。另一方面，一些研究論文和報告[12,18,17,20,9,13,15]也討論了穩定幣的設計審查。根據不同類型的抵押品和干預措施，介紹了穩定幣的分類，并對其利弊進行了說明。

本文對算法穩定幣的波動性進行了深入的理論和實證分析。我們強調了穩定幣的正式建模框架，以確定其可能變得不穩定的重要市場標準。此外，我們還通過進一步的實證分析和實際市場數據，將我們的理論發現與穩定貨幣的交易活動聯系起來。實證結果表明，該模型預測的潛在可能性在實踐中得到了驗證。最后，我們強調了穩定幣未來發展的重要設計決策。

這項工作中使用的所有數據都可以在

https://explore.danealytics.com/dashboard/winky。

Tags：穩定幣BACBASSISDCEP穩定幣ChainbackStonkBaseKinesis

Polygon