Abstract
The developments of cryptocurrencies push central banks of many countries to consider their own digital fiat currencies. As banks are usually taken as a trusted third party, it is unnecessary to rebuild a blockchain system to rebuild trust. However, cryptocurrencies provide many interesting features except the basic financial functions. It is naturally to absorb the interesting parts of cryptocurrencies to the centralized bank system. We here extract a stateful authentication mechanism from the practice of Ethereum and show how to run puzzle and payment channel templates in a centralized system, based on which we may build a fiat currency lighting network to support direct exchanges of users.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Boyd, C., Hale, B., Mjølsnes, S.F., Stebila, D.: From stateless to stateful: generic authentication and authenticated encryption constructions with application to TLS. In: Sako, K. (ed.) CT-RSA 2016. LNCS, vol. 9610, pp. 55–71. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-29485-8_4
Delmolino, K., Arnett, M., Kosba, A., Miller, A., Shi, E.: Step by step towards creating a safe smart contract: lessons and insights from a cryptocurrency lab. In: Clark, J., Meiklejohn, S., Ryan, P.Y.A., Wallach, D., Brenner, M., Rohloff, K. (eds.) FC 2016. LNCS, vol. 9604, pp. 79–94. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-53357-4_6
Danezis, G., Meiklejohn, S.: Centrally banked cryptocurrencies. In: Network and Distributed System Security Symposium 2016, NDSS 2016, pp. 1–14. ACM (2016)
Han, X., Liu, Y., Xu, H.: A user-friendly centrally banked cryptocurrency. In: Liu, J.K., Samarati, P. (eds.) ISPEC 2017. LNCS, vol. 10701, pp. 25–42. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-72359-4_2
Meaning, J., Dyson, B., Barker, J., Clayton, E.: Broadening narrow money: monetary policy with a central bank digital currency (2018). https://www.bankofengland.co.uk/working-paper/2018/. Accessed 12 Aug 2018
Poon, J., Dryja, T.: The bitcoin lightning network: scalable off-chain instant payments (2016). http://lightning.network/lightning-network-paper.pdf
Luu, L., Chu, D.-H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, CCS 2016, New York, NY, USA, pp. 254–269. ACM (2016)
Bordo, M.D., Levin, A.T.: Central bank digital currency and the future of monetary policy (2017). https://www.hoover.org/sites/default/files/bordo-levin_bullets_for_hoover_may2017.pdf. Accessed 12 Aug 2018
Hearn, M.: Corda: a distributed ledger (2016)
Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008). https://bitcoin.org/bitcoin.pdf. Accessed 4 Aug 2017
Nikolic, I., Kolluri, A., Sergey, I., Saxena, P., Hobor, A.: Finding the greedy, prodigal, and suicidal contracts at scale (2018). https://arxiv.org/abs/1802.06038. Accessed 1 July 2019
Bank of Canada: Staff working papers (2018). https://www.bankofcanada.ca/research/browse/?content_type[]=31. Accessed 12 Aug 2018
Bank of England: Staff working papers (2018). https://www.bankofengland.co.uk/news/publications. Accessed 12 Aug 2018
Quorum: Welcome to the quorum wiki! (2016). https://github.com/jpmorganchase/quorum/wiki. Accessed 12 Aug 2018
Riksbank, S.: The Riksbank’s e-krona project (2018). https://www.riksbank.se/globalassets/media/rapporter/e-krona/2017/handlingsplan_ekrona_171221_eng.pdf. Accessed 12 Aug 2018
Szabo, N.: Formalizing and securing relationships on public networks. First Monday 2(9), 1 (1997)
M. Team. Mythril (2018). https://github.com/ConsenSys/mythril. Accessed 1 July 2019
R. N. Team: Raiden network 0.100.3 documentation (2019). https://raiden-network.readthedocs.io/en/latest
Tian, H., Chen, X., Ding, Y., Zhu, X., Zhang, F.: AFCoin: a framework for digital fiat currency of central banks based on account model. In: Guo, F., Huang, X., Yung, M. (eds.) Inscrypt 2018. LNCS, vol. 11449, pp. 70–85. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-14234-6_4
Tsankov, P.: Security analysis of smart contracts in datalog. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11247, pp. 316–322. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03427-6_24
Wood, D.G.: Ethereum: a secure decentralised generalised transaction ledger homestead (2014). http://gavwood.com/paper.pdf. Accessed 4 Aug 2017
Yao, Q.: A systematic framework to understand central bank digital currency. Sci. China Inf. Sci. 61(3), 033101 (2018)
Mersch, Y.: Digital base money: an assessment from the ECB’s perspective (2017). http://www.ecb.europa.eu/press/key/date/2017/html/sp170116.en.html. Accessed 12 Aug 2018
Zhang, F., Zhang, F., Wang, Y.: Fair electronic cash systems with multiple banks. In: Qing, S., Eloff, J.H.P. (eds.) SEC 2000. ITIFIP, vol. 47, pp. 461–470. Springer, Boston, MA (2000). https://doi.org/10.1007/978-0-387-35515-3_47
Acknowledgment
This work is supported by the National Key R&D Program of China (2017YFB0802500), Guangxi Key Laboratory of Cryptography and Information Security (No. GCIS201711), Natural Science Foundation of China (61672550), Fundamental Research Funds for the Central Universities (No. 17lgjc45). Natural Science Foundation of Guangdong Province of China (2018A0303 130133).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Tian, H., Luo, P., Su, Y. (2019). A Centralized Digital Currency System with Rich Functions. In: Steinfeld, R., Yuen, T. (eds) Provable Security. ProvSec 2019. Lecture Notes in Computer Science(), vol 11821. Springer, Cham. https://doi.org/10.1007/978-3-030-31919-9_17
Download citation
DOI: https://doi.org/10.1007/978-3-030-31919-9_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-31918-2
Online ISBN: 978-3-030-31919-9
eBook Packages: Computer ScienceComputer Science (R0)