摘?要:
算法稳定币是一种由计算机代码控制的加密货币,旨在动态降低其相对特定资产价格的波动性。但随着算法稳定币近几年来的迅速发展,它们的波动性远远超过人们的预期。在本文中,我们深入研究了算法稳定币的核心,并回答了两个基础问题,即:算法稳定币是否从设计上就存在波动性?它们在实践中能否保持稳定性?具体来说,我们首先对三种流行的算法稳定币进行了深入研究,并建立了一个建模框架对它们的核心协议进行了形式化。通过形式化验证,该框架可以鉴别出稳定币可能变得不稳定的临界条件。其次,我们对BasisCash的实际交易过程进行了系统性实证分析,将理论可能性与市场观测值联系起来。最后,我们还对算法稳定币未来发展的设计决策提出了几点建议。
1.引言
众所周知,加密货币的价格有非常大的波动性,币价经常快速波动。因此,将加密数字货币价值与外部资产挂钩的稳定币应运而生。与非稳定币相比,稳定币尝试用各种机制来降低其相对锚定资产的价格波动性。其中,最常见的是有抵押资产背书的稳定币,即其价值由商品、法定货币或其它加密货币等外部资产作为抵押品来支撑。例如,同美元锚定的USDC稳定币。与背书稳定币不同,算法稳定币通常没有其他资产支撑,但它通过算法稳定价格,不会降低过多的资本效率,因此近年来越来越受到关注。一般来说,算法稳定币是通过算法控制通证供应量从而实现价格稳定,这一点类似于中央银行发行和回购货币。在本文中,我们主要关注算法稳定币,后文中也会简称为稳定币(背书稳定币不是本文主要讨论对象)。
假设有一种与美元锚定的算法稳定币,其中设计了可以动态调整其供应量的智能合约,并可以以此来降低它本身的价格波动性。我们先简单解释一下这个算法逻辑,后面再详细讨论更深入的内容。当稳定币价格超过1美元时,智能合约“生产”并向市场投放更多通证。这样一来,稳定币供应量增加、价格下降,逐渐趋近锚定价格;当稳定币价格低于1美元时,会降低货币供给,逐渐将稳定币价格拉回到1美元。在实践中,不同算法稳定币模型会基于前述思想用不同的模型来实现对自身稳定币的价格控制。虽然有很多有意思的研究在尝试创造这类模型,但研究它们是否真正发挥作用的工作并不多。
在本文中,我们从理论和实践两方面对算法稳定币的波动性进行了基本分析,并尝试回答以下两个问题:1.算法稳定币是否从设计上就存在波动性?2.算法稳定币是否能在实践中保持稳定性?
本文分析目标在于为算法稳定币的设计及实现方案提供一个更为全面的解读,并着重分析它们的波动性。我们相信,波动性的研究对于现存算法稳定币的优化和未来设计都至关重要。本文主要贡献如下:
中币(ZB)市场研究报告:如果机构需求升温 比特币或将持续上涨:据中币(ZB)市场研究报告显示,在11月份,基本面消息刺激了加密市场,带来了新一轮牛市,BTC, ETH, XRP等加密货币分别冲到历史高点。中币市场研究员表示,如果牛市于12月1日以熊市蜡烛收盘,那么意味着目前牛市已疲软;但如果机构需求持续升温,比特币价格将可能在12月第一周创下历史新高。此外,该报告还对ETH做出了日内技术分析。更多详情请查阅中币(ZB)官方发布的研究报告。[2020/12/1 22:43:04]
1.对三种流行的算法稳定币进行案例分析,并建立了一个通用的形式化建模及验证框架,该框架可用于识别稳定币可能变得不稳定的具体条件;
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为例做进一步解释。该协议共包含三种代币:
中币(ZB)市场研究报告:在未来几周,我们可能会看到更多的牛市行情:据中币(ZB)市场研究报告显示,经历了前一周的下跌之后多军重返市场,以此推动比特币价格上升。目前比特币市值占比为60.59%,从3,320亿美元增至3,600亿美元。该报告也指出以太坊走出了W型K线且W型的领口已经过测试并被否定,意味着以太坊很可能将在未来一周出现大规模的牛市行情。此外,报告也分析了瑞波币的K线走势以及未来预测。更多详情请查阅中币(ZB)官方发布的研究报告。[2020/10/12]
?BAC稳定币。BAC是BasisCash发行的稳定币,锚定价格1美元。
?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为例进行介绍。
FRAX是首个部分抵押的算法稳定币项目,系统中有两种代币,分别为锚定价值1美元的稳定币FRAX和治理代币FXS。其中,为抵押率,根据系统算法每小时调整一次,每次调整0.25%,以此来维持FRAX价格的稳定。初始时,抵押率为1。当抵押率为0.5时,铸造一枚新的FRAX需要价值0.5美元的其它稳定币作为抵押;当抵押率为1时,需要全额抵押来铸造FRAX;当抵押率为0时,FRAX是纯算法稳定币。
中币(ZB)市场研究报告:美国白宫提案成刺激比特币价最大因素:据中币(ZB)市场研究报告显示,上周五白宫政府提出的1.8万亿美元的经济刺激方案,变相刺激了比特币市场。报告指出这一提案加大了比特币价格在周六时的上升趋势,使其价格上升至了更接近11500美元的价格点,并达到了自9月2日以来的最高水平。此外,该研究报告还罗列了三个原因来解释为什么这一提案会对比特币造成如此影响。更多详情请查阅中币(ZB)官方发布的研究报告。[2020/10/12]
原则上,铸造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。
P模拟了核心协议的五种状态,即初始状态,预扩张状态,扩张状态(价格高于锚定价格时),预紧缩和紧缩状态(价格低于锚定价格时)。在扩张和紧缩过程开始前,通道ω_e和ω_c会被激活。
E定义了一个包含时钟t和三种状态的过程。当t处于系统规定的供应扩张时间时,只要E接收到P的请求,系统就会开始扩张稳定币的供应。对BasisCash而言,E为其建立了两个扩张转换并通过通道ω_u与X同步。
?抽象了整个供应紧缩过程。类似E,?中也通过更新全局变量来减少稳定币的整体供应量。不过,这里还模拟了供应量保持不变的情形。
火币研究院发布区块链+供应链金融研究报告:2020年4月3日,火币区块链研究院(下称“火币研究院”)携手联动优势,联合发布主题为《区块链下的“普惠”供应链金融》的研究报告(下称“报告“)。
报告阐述了中国供应链金融的现状,探究当前供应链金融行业面临的主要问题,并从区块链结合供应链金融行业的优势、模式探讨、落地难点等方面进行了具体分析,对现有区块链技术在供应链金融行业的应用案例进行梳理,最后,报告对未来区块链供应链金融的发展方向提出思考。
火币研究院院长袁煜明表示,中小企业对中国经济发展有着极大的贡献,但由于缺乏足够的抵押物等问题,长期面临着融资难、融资贵的窘境。尤其当前疫情席卷全球、经济形势不容乐观,中小企业面临很大考验,国家也在资金层面上出台相关政策,扶持中小企业,然而因为种种原因,资金支持难以触达实体经济中的中小企业。
供应链金融正是依托供应链核心企业信用为中小企业解决融资问题。根据中商产业研究院的预测,受益于应收账款数额、存货量及融资租赁市场的不断发展,中国供应链金融市场规模将呈稳健发展态势,从2017年的13万亿增长至2020年的15万亿。
“供应链金融涉及的环节比较多,有可能存在各种各样的问题,通过区块链来保障整个信息流通是可信的、不被篡改的。“袁煜明说道。[2020/4/3]
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的供应未发生变化,那系统供应紧缩也就失效了。
动态 | 研究报告:团餐供应链企业依托大数据和区块链技术完善食品安全溯源体系:近日,2019中国团餐产业变革者峰会在北京举行。团餐行业首个供应链报告《中国团餐行业供应链发展研究报告(2019)》在会上发布。报告表示,在团餐供应链发展趋势上受国外标杆企业的影响,我国团餐供应链企业对先进物流及供应链管理技术的认可度逐渐提升,产业互联网为追溯体系建设夯实了基础,依托大数据及去中心化的区块链技术将进一步完善食品安全溯源体系。(中国质量报)[2019/12/6]
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)
据Acesswire3月12日报道,第二代DeFi智能财务管理平台SIL.Finance宣布获得130万美元私募轮融资.
原标题:比特的投资逻辑本文的投资逻辑与目前市场上大多数分析师的投资逻辑不同,因为本文提到的标的,几乎不涉及经济模型的深究和技术实力的阐述,而是从角度出发,所以叫作“比特”.
拜登政府的1.9万亿经济刺激计划取得了关键性进展。当地时间3月6日,美国国会参议院表决以50票赞成、49票反对的结果通过该项计划.
当人们还在思考用rollup的方式缓解Layer1拥堵的时候,Vitalik已经在考虑rollup之间怎么做交互.
听起来像是陈词滥调,这又是“新的一天,比特币又一次的新高”,在过去几个小时里超过5%的涨幅之后,世界上最大的加密货币比特币突破了人们期待已久的6万美元大关,随着加密领域的发展.
在DeFi生态系统中,保险仍然是利基市场。但是,随着保险领域的成熟以及机构参与者的加入,保险可能会成为DeFi的最大支柱之一.