Abstract
An algorithmic stablecoin is a type of cryptocurrency managed by algorithms (i.e., smart contracts) to dynamically minimize the volatility of its price relative to a specific form of asset, e.g., US dollar. As algorithmic stablecoins have been growing rapidly in recent years, they become much more volatile than expected. In this paper, we took a deep dive into the core of algorithmic stablecoins and shared our answer to two fundamental research questions, i.e., Are algorithmic stablecoins volatile by design? Are they volatile in practice? Specifically, we introduced an in-depth study on three popular types of algorithmic stablecoins and developed a modeling framework to formalize their key design protocols. Through formal verification, the framework can identify critical conditions under which stablecoins might become volatile. Furthermore, we performed a systematic empirical analysis on real transaction activities of the Basis Cash stablecoin to relate theoretical possibilities to market observations. Lastly, we highlighted key design decisions for future development of algorithmic stablecoins.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Ampleforth. https://www.ampleforth.org/ (2021)
Basis Cash. https://basis.cash/ (2021)
Dune Analytics. https://duneanalytics.com/ (2021)
Frax. https://frax.finance/ (2021)
Tether. http://tether.to (2021)
Uniswap. http://uniswap.io (2021)
Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
Ametrano, F.M.: Hayek money: the cryptocurrency price stability solution. Available at SSRN 2425270 (2016)
Bullmann, D., Klemm, J., Pinna, A.: In search for stability in crypto-assets: are stablecoins the solution? ECB Occasional Paper (230) (2019)
Caginalp, C.: A dynamical systems approach to cryptocurrency stability. ar**v preprint ar**v:1805.03143 (2018)
Caginalp, C., Caginalp, G.: Opinion: Valuation, liquidity price, and stability of cryptocurrencies. Proc. Nat. Acad. Sci. 115(6), 1131–1134 (2018)
Clark, J., Demirag, D., Moosavi, S.: SoK: demystifying stablecoins. Available at SSRN 3466371 (2019)
Hileman, G.: State of stablecoins (2019). Available at SSRN (2019)
Iwamura, M., Kitamura, Y., Matsumoto, T., Saito, K.: Can we stabilize the price of a cryptocurrency?: Understanding the design of bitcoin and its potential to compete with central bank money. Hitotsubashi J. Econ. 60, 41–60 (2019)
Klages-Mundt, A., Harz, D., Gudgeon, L., Liu, J.Y., Minca, A.: Stablecoins 2.0: economic foundations and risk-based models. In: Proceedings of the 2nd ACM Conference on Advances in Financial Technologies, pp. 59–79 (2020)
Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a nutshell. Int. J. Softw. Tools Technol. Transf. 1(1–2), 134–152 (1997)
Mita, M., Ito, K., Ohsawa, S., Tanaka, H.: What is stablecoin?: A survey on price stabilization mechanisms for decentralized payment systems. In: 2019 8th International Congress on Advanced Applied Informatics (IIAI-AAI), pp. 60–66. IEEE (2019)
Moin, A., Sekniqi, K., Sirer, E.G.: SoK: a classification framework for stablecoin designs. In: Financial Cryptography (2020)
Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system. Tech. rep, Manubot (2019)
Pernice, I.G., Henningsen, S., Proskalovich, R., Florian, M., Elendner, H., Scheuermann, B.: Monetary stabilization in cryptocurrencies-design approaches and open questions. In: 2019 Crypto Valley Conference on Blockchain Technology (CVCBT), pp. 47–59. IEEE (2019)
Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp. 46–57. IEEE (1977)
Saito, K., Iwamura, M.: How to make a digital currency on a blockchain stable. Future Gener. Comput. Syst. 100, 58–69 (2019)
Sams, R.: A note on cryptocurrency stabilisation: seigniorage shares. Brave New Coin, pp. 1–8 (2015)
Wood, G., et al.: Ethereum: a secure decentralised generalised transaction ledger. Ethereum Proj. Yellow Pap. 151(2014), 1–32 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 International Financial Cryptography Association
About this paper
Cite this paper
Zhao, W., Li, H., Yuan, Y. (2021). Understand Volatility of Algorithmic Stablecoin: Modeling, Verification and Empirical Analysis. In: Bernhard, M., et al. Financial Cryptography and Data Security. FC 2021 International Workshops. FC 2021. Lecture Notes in Computer Science(), vol 12676. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-63958-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-662-63958-0_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-63957-3
Online ISBN: 978-3-662-63958-0
eBook Packages: Computer ScienceComputer Science (R0)