理解算法稳定币的波动性：建模、验证与实证分析
密码学与安全
2021-01-22 v1 计算机科学与博弈论
摘要
算法稳定币是一种由算法（即智能合约）管理的加密货币，用于动态最小化其价格相对于特定形式资产（例如美元）的波动性。随着算法稳定币近年来快速增长，它们变得比预期波动大得多。在本文中，我们深入探究算法稳定币的核心，并分享对两个基本研究问题的回答，即：算法稳定币在设计上就是波动的吗？它们在实践中是波动的吗？具体而言，我们对三种流行类型的算法稳定币进行了深入研究，并开发了一个建模框架来形式化其关键设计协议。通过形式化验证，该框架可识别稳定币可能变得波动的关键条件。此外，我们对Basis Cash稳定币的真实交易活动进行了系统性实证分析，以将理论可能性与市场观测联系起来。最后，我们强调了未来算法稳定币开发的关键设计决策。
引用
@article{arxiv.2101.08423,
title = {Understand Volatility of Algorithmic Stablecoin: Modeling, Verification and Empirical Analysis},
author = {Wenqi Zhao and Hui Li and Yuming Yuan},
journal= {arXiv preprint arXiv:2101.08423},
year = {2021}
}