赵文奇;李慧;袁玉明 了解算法稳定币的波动性：建模、验证和实证分析。 （英语） Zbl 1492.91463号 Bernhard，Matthew（编辑）等人，《金融加密和数据安全》。FC 2021国际研讨会。Codecfin、DeFi、VOTING和WTSC，虚拟活动，2021年3月5日。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。12676, 97-108 (2021). 摘要：算法stablecoin是一种由算法管理的加密货币(即（智能合约）动态地将其价格相对于特定形式资产的波动性降至最低，例如，美元。随着近年来算法稳定点的快速增长，它们的波动性比预期的要大得多。在本文中，我们深入研究了算法稳定的核心，并分享了我们对两个基本研究问题的答案，即算法稳定元在设计上是不稳定的吗？它们在实践中是不稳定的吗？具体来说，我们对三种流行的算法稳定点进行了深入研究，并开发了一个建模框架来形式化它们的关键设计协议。通过形式验证，该框架可以确定稳定素可能发生波动的关键条件。此外，我们对基本现金稳定币将理论可能性与市场观察联系起来。最后，我们强调了算法稳定块未来开发的关键设计决策。关于整个系列，请参见[Zbl 1487.94006号]. MSC公司： 91G99型 精算科学和数学金融 94A60 密码学 关键词：马蹄金;建模框架;实证分析 软件：Uppaal公司 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhao}等人，Lect。注释计算。科学。12676，97-108（2021；Zbl 1492.91463） 全文： 内政部 arXiv公司 参考文献： [1] 安普福思。https://www.amplefort.org/ (2021) [2] 基准现金。https://basis.cash网址/ (2021) [3] 沙丘分析。https://dounanalytics.com/ (2021) [4] 弗雷克斯。https://frax.finance网站/ (2021) [5] 系绳。http://系绳.to (2021) [6] Uniswap。网址：http://uniswap.io (2021) [7] 阿鲁尔（Alur，R.）。；Dill，DL，《时间自动机理论》，Theor。计算。科学。，126, 2, 183-235 (1994) ·Zbl 0803.68071号 ·doi:10.1016/0304-3975（94）90010-8 [8] Ametrano，F.M.：哈耶克货币：加密货币价格稳定解决方案。SSRN 2425270（2016）提供 [9] Bullmann，D.，Klemm，J.，Pinna，A.：寻找隐式灰烬的稳定性：稳定蛋白是解决方案吗？欧洲央行临时文件（230）（2019） [10] Caginalp，C.：加密货币稳定性的动态系统方法。arXiv预印arXiv:1805.03143（2018） [11] 卡金纳普，C。；Caginalp，G.，《意见：加密货币的估值、流动性价格和稳定性》，Proc。美国国家科学院。科学。，115, 6, 1131-1134 (2018) ·doi:10.1073/编号172203115 [12] Clark，J.、Demirag，D.、Moosavi，S.：《SoK：解开马蹄金的神秘面纱》。可在SSRN 34666371（2019）购买 [13] 希勒曼（Hileman，G.）：《马厩饲养场现状》（State of stablecoins）（2019年）。在SSRN（2019）上提供 [14] 岩村M.、北村Y.、松本T.、斋藤K.：我们能稳定加密货币的价格吗了解比特币的设计及其与央行货币竞争的潜力。一桥经济。60, 41-60 (2019) [15] Klages-Mundt，A.、Harz，D.、Gudgeon，L.、Liu，J.Y.、Minca，A.：Stablecoins 2.0：经济基础和基于风险的模型。摘自：第二届ACM金融技术进步会议记录，第59-79页（2020年） [16] Larsen，K.G.，Pettersson，P.，Yi，W.：简而言之，Uppaal。国际期刊软件。技术工具。Transf公司。1(1-2), 134-152 (1997) ·Zbl 1060.68577号 [17] Mita，M.，Ito，K.，Ohsawa，S.，Tanaka，H.：什么是stablecoin？：关于分散支付系统价格稳定机制的调查。2019年第八届国际先进应用信息学大会（IIAI-AAI），第60-66页。IEEE（2019） [18] Moin，A.，Sekniqi，K.，Sirer，E.G.：SoK：牛栏设计的分类框架。In：金融加密（2020） [19] Nakamoto，S.，比特币：点对点电子现金系统（2019），Manubot：技术代表，Manubet [20] Pernice，I.G.，Henningsen，S.，Proskalovich，R.，Florian，M.，Elendner，H.，Scheuermann，B.：加密货币设计方法中的货币稳定和公开问题。2019年加密谷区块链技术会议（CVCBT），第47-59页。IEEE（2019） [21] 普努利：程序的时序逻辑。摘自：第18届计算机科学基础年度研讨会（sfcs 1977），第46-57页。IEEE（1977） [22] 齐藤，K。；Iwamura，M.，《如何在区块链上制造稳定的数字货币，未来一代》。计算。系统。，100, 58-69 (2019) ·doi:10.1016/j.future.2019.05.019 [23] Sams，R.：关于加密货币稳定的说明：铸币税股份。《勇敢的新币》，第1-8页（2015年） [24] Wood，G.，《以太坊：一个安全的分散通用交易分类账》，以太坊项目。黄色巴普。，151, 2014, 1-32 (2014) 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。