{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,3]],"date-time":"2026-08-03T05:52:49Z","timestamp":1785736369398,"version":"3.56.0"},"reference-count":100,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100001459","name":"Singapore Ministry of Education Grant","doi-asserted-by":"publisher","award":["A-8000760-00-00"],"award-info":[{"award-number":["A-8000760-00-00"]}],"id":[{"id":"10.13039\/501100001459","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2023]]},"DOI":"10.1109\/access.2023.3317891","type":"journal-article","created":{"date-parts":[[2023,9,21]],"date-time":"2023-09-21T17:46:18Z","timestamp":1695318378000},"page":"103201-103213","source":"Crossref","is-referenced-by-count":6,"title":["Computer Science Abstractions to Help Reason About Decentralized Stablecoin Design"],"prefix":"10.1109","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4322-4955","authenticated-orcid":false,"given":"Ben","family":"Charoenwong","sequence":"first","affiliation":[{"name":"Finance National University of Singapore, 21 Lower Kent Ridge Rd, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Robert M.","family":"Kirby","sequence":"additional","affiliation":[{"name":"School of Computing, The University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-2962-4266","authenticated-orcid":false,"given":"Jonathan","family":"Reiter","sequence":"additional","affiliation":[{"name":"Data Finnovation, 1 Maritime Square, Singapore"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref57","author":"zahnentferner","year":"2021","journal-title":"Djed A Formally Verified Crypto-Backed Pegged Algorithmic Stablecoin"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.3856569"},{"key":"ref59","author":"menand","year":"2020","journal-title":"Unappropriated dollars The fed’s ad hoc lending facilities and the rules that govern them"},{"key":"ref58","year":"2022","journal-title":"Thorchain Docs"},{"key":"ref53","year":"2017","journal-title":"The dai stablecoin system"},{"key":"ref52","article-title":"Terra money: Stability and adoption","author":"kereiakes","year":"2019"},{"key":"ref55","author":"inami","year":"2021","journal-title":"UXD Protocol"},{"key":"ref54","year":"2021","journal-title":"Hubble Protocol Official Docs"},{"key":"ref51","year":"2021","journal-title":"PAX Dollar (USDP)"},{"key":"ref50","year":"2023","journal-title":"Circles"},{"key":"ref46","author":"trevisan","year":"2011","journal-title":"Cs 261 Optimization Lecture 16 Handout 16"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0619-4"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27820-7_17"},{"key":"ref47","author":"lai","year":"2017","journal-title":"CIS 6331 Homework 9"},{"key":"ref42","volume":"136","author":"savage","year":"1998","journal-title":"Models of Computation"},{"key":"ref41","first-page":"79","author":"jones","year":"2002","journal-title":"Computability and Complexity From a Programming Perspective"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-03521-2"},{"key":"ref43","author":"matos","year":"2020","journal-title":"Direct Proofs of Rice’s Theorem"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/BF01240733"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0022-1996(84)90002-3"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.2307\/1991793"},{"key":"ref9","year":"2021","journal-title":"Annual Report 2020"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-financial-111621-101151"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CVCBT.2019.00011"},{"key":"ref6","article-title":"Speculative attacks and models of balance-of-payments crises","author":"agenor","year":"3919"},{"key":"ref5","year":"2021","journal-title":"Report on Stablecoins"},{"key":"ref100","first-page":"94","article-title":"The demise of overend gurney","volume":"56","author":"sowerbutts","year":"2016","journal-title":"Bank of England Quarterly Bulletin"},{"key":"ref40","author":"moret","year":"1998","journal-title":"Computation Theory"},{"key":"ref35","author":"krugman","year":"1997","journal-title":"International economics Theory and policy"},{"key":"ref34","author":"bagehot","year":"1873","journal-title":"Lombard Street A Description of the Money Market"},{"key":"ref37","first-page":"1387","article-title":"Search costs and the existence of money","volume":"62","author":"wright","year":"1994","journal-title":"Econometrica"},{"key":"ref36","author":"hayek","year":"1976","journal-title":"The Denationalization of Money"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.3386\/w22285"},{"key":"ref30","first-page":"1","article-title":"A peer-to-peer electronic cash system","volume":"21260","author":"nakamoto","year":"2008","journal-title":"Decentralized Bus Rev"},{"key":"ref33","year":"2016","journal-title":"The Single Resolution Mechanism Introduction to Resolution Planning"},{"key":"ref32","year":"2002","journal-title":"Resolution of Failed Institutions"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.2307\/2268280"},{"key":"ref38","author":"goodhart","year":"2000","journal-title":"The Evolution of Money"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511813825"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.2307\/2325486"},{"key":"ref26","author":"mankiw","year":"2011","journal-title":"Principles of Economics"},{"key":"ref25","author":"samuelson","year":"2001","journal-title":"Economics"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.3952045"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/BRAINS55737.2022.9909090"},{"key":"ref21","author":"li","year":"2022","journal-title":"Money Creation in Decentralized Finance A Dynamic Model of Stablecoin and Crypto Shadow Banking"},{"key":"ref28","author":"schwartz","year":"2009","journal-title":"Money in Historical Perspective"},{"key":"ref27","author":"hayek","year":"1976","journal-title":"The Denationalization of Money"},{"key":"ref29","article-title":"A classification framework for stablecoin designs","author":"moin","year":"2019","journal-title":"arXiv 1910 10098"},{"key":"ref13","author":"buterin","year":"2013","journal-title":"Mastercoin A Second-Generation Protocol on the Bitcoin Blockchain"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/BCCA55292.2022.9922204"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3390\/fintech2010003"},{"key":"ref14","author":"willet","year":"2012","journal-title":"Mastercoin Complete Specification"},{"key":"ref97","author":"dowd","year":"2021","journal-title":"How Hertz Went From bankrupt to Buying 100 000 Teslas"},{"key":"ref96","author":"sommer","year":"2020","journal-title":"Hertz And Now for Something Completely Worthless"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain55522.2022.00063"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1016\/j.ribaf.2022.101716"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain53845.2021.00064"},{"key":"ref98","article-title":"SoK: Blockchain decentralization","author":"zhang","year":"2022","journal-title":"arXiv 2205 04256"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.3899499"},{"key":"ref16","article-title":"A note on cryptocurrency stabilisation: Seigniorage shares","author":"sams","year":"2015"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3419614.3423261"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/Blockchain53845.2021.00021"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.4123399"},{"key":"ref92","year":"2020","journal-title":"Serum—White Paper"},{"key":"ref95","author":"rosenthal","year":"2022","journal-title":"Metastablecoins"},{"key":"ref94","author":"buterin","year":"2022","journal-title":"Two Thought Experiments to Evaluate Automated Stablecoins"},{"key":"ref91","author":"bukov","year":"2020","journal-title":"Mooniswap by 1inch exchange"},{"key":"ref90","author":"martinelli","year":"2019","journal-title":"Balance Whitepaper"},{"key":"ref89","first-page":"5","author":"shafer","year":"2019","journal-title":"Borel’s Law of Large Numbers"},{"key":"ref86","author":"siklos","year":"2021","journal-title":"Central Bank Digital Currency and Governance Fit for Purpose?"},{"key":"ref85","author":"ali","year":"2021","journal-title":"The (Near) Future of Central Bank Digital Currencies Risks and Opportunities for the Global Economy and Society"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1162\/asep_a_00843"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfs.2022.100985"},{"key":"ref82","year":"2022","journal-title":"Money and Payments The U S Dollar in the Age of Digital Transformation"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.3975939"},{"key":"ref84","first-page":"7","article-title":"Advantages of CBDCs in cross-border payments","author":"bansal","year":"2021","journal-title":"China’s Digital Yuan An Alternative to the Dollar-Dominated Financial System"},{"key":"ref83","author":"buldas","year":"2021","journal-title":"A unifying theory of electronic money and payment systems"},{"key":"ref80","author":"adams","year":"2020","journal-title":"Uniswap v2 Core"},{"key":"ref79","author":"bullard","year":"2011","journal-title":"President’s Message The Fed’s Emergency Liquidity Facilities Why They Were Necessary"},{"key":"ref78","year":"1945","journal-title":"Bank of Thailand Act"},{"key":"ref75","year":"2020","journal-title":"Emergency Liquidity Assistance"},{"key":"ref74","year":"2010","journal-title":"Bank of Canada Lender-of-Last-Resort Policies"},{"key":"ref77","author":"nyberg","year":"2000","journal-title":"The Infrastructure of Emergency Liquidity Assistance—What is Required in Today’s Financial System?"},{"key":"ref76","year":"2019","journal-title":"Emergency Liquidity Assistance in Singapore"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IIAI-AAI.2019.00023"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1108\/978-1-80455-320-620221007"},{"key":"ref71","author":"duong","year":"2022","journal-title":"Liquid Staking Reconciling the Steth Price Gap"},{"key":"ref70","author":"giove","year":"2022","journal-title":"Zero Degrees Celsius [Lite]"},{"key":"ref73","author":"kearns","year":"2008","journal-title":"Promoting Liquidity Why and How?"},{"key":"ref72","year":"2022","journal-title":"Farmersonly Docs"},{"key":"ref68","year":"2014","journal-title":"Tether Fiat currencies on the Bitcoin blockchain"},{"key":"ref67","author":"egorov","year":"2021","journal-title":"Automatic market-making with dynamic peg"},{"key":"ref69","author":"elliott","year":"2022","journal-title":"Lido Warns Leveraged Traders at Risk of Liquidation as ‘Staked Ethereum’ Loses Peg"},{"key":"ref64","author":"moen","year":"1999","journal-title":"Why didn’t the United States establish a central bank until after the panic of 1907?"},{"key":"ref63","author":"kindleberger","year":"1984","journal-title":"A Financial History of Western Europe"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1093\/rfs\/3.3.469"},{"key":"ref65","author":"hull","year":"2006","journal-title":"Options Futures and Other Derivatives"},{"key":"ref60","year":"2020","journal-title":"Money Market Mutual Fund Liquidity Facility"},{"key":"ref62","author":"donald","year":"2016","journal-title":"Finance and Enterprise in Early America A Study of Stephen Girard’s Bank 1812–1831"},{"key":"ref61","year":"2017","journal-title":"Regulation (EU) 2017\/1131 of the European Parliament and of the Council of 14 June 2017 on Money Market Funds"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/10005208\/10258164.pdf?arnumber=10258164","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,23]],"date-time":"2023-10-23T18:21:36Z","timestamp":1698085296000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10258164\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"references-count":100,"URL":"https:\/\/doi.org\/10.1109\/access.2023.3317891","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]}}}