Abstract
We study blockchain-based integrity-protected smart contracts as an implementation mechanism for municipal government processes. To this end, we attempted a prototype implementation of such a process in collaboration with a Danish Municipality. We find that such an implementation is possible, despite the obvious confidentiality requirements, and that it does provide benefits: integrity guarantees, verifiability, direct collaboration and payments between the parties. These benefits come at the cost of latency, pr. transactions charges, immutability of errors, and a very concerning single point of failure the municipal government: losing blockchain private keys means losing control over municipal government casework, with no recourse. Our municipal government partner felt that altogether no immediately pressing problem was solved by the implementation, and that the latter risk clearly outweighed any benefits. We note that smart contract implementations of government processes needs to be immutable and outside of the government’s control when running; however, they also need to be updatable when laws change, and provide an “out” for the rare case when errors in the contract implementation result in unlawful behaviour. We propose these conflicting requirements as a foundational research challenge for blockchain to be applicable to governmental processes.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
It is an interesting question whether government institutions ought to process cases anonymously, and how that might be arranged. We leave this for future work.
References
Ankestyrelsens praksisundersøgelse om tabt arbejdsfortjeneste efter servicelovens §42. Investigation 978–87-7811-322-0, Ankestyrelsen, June 2017
Borre, L.H., Krogsbøll, M.: Prototype implementation. https://github.com/magkr/Smart-Contracts-for-Government-Processes-Implementation
Buterin, V., et al.: A next-generation smart contract and decentralized application platform. White paper (2014)
García-Bañuelos, L., Ponomarev, A., Dumas, M., Weber, I.: Optimized execution of business processes on blockchain. In: Carmona, J., Engels, G., Kumar, A. (eds.) BPM 2017. LNCS, vol. 10445, pp. 130–146. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-65000-5_8
Hou, H.: The application of blockchain technology in e-government in China. In: ICCCN 2017, pp. 1–4, July 2017
Jun, M.S.: Blockchain government - a next form of infrastructure for the twenty-first century. J. Open Innov. Technol. Market Complex. 4(1), 1–12 (2018). https://doi.org/10.1186/s40852-018-0086-3
Bekendtgørelse af lov om social service, Børne- og Socialministeriet, August 2017
López-Pintado, O., García-Bañuelos, L., Dumas, M., Weber, I.: Caterpillar: a blockchain-based business process management system. In: BPM Demo Track and BPM Dissertation Award (BPM 2017), 13 September 2017 (2017)
Madsen, M.F., Gaub, M., Høgnason, T., Kirkbro, M.E., Slaats, T., Debois, S.: Collaboration among adversaries: distributed workflow execution on a blockchain. In: 2018 Symposium on Foundations and Applications of Blockchain (2018)
Mavridou, A., Laszka, A.: Designing secure ethereum smart contracts: A finite state machine based approach. arXiv preprint arXiv:1711.09327 (2017)
Mavridou, A., Laszka, A., Stachtiari, E., Dubey, A.: Verisolid: Correct-by-design smart contracts for ethereum. arXiv preprint arXiv:1901.01292 (2019)
Mendling, J., Weber, I., Aalst, W.V.D., et al.: Blockchains for business process management challenges and opportunities. ACM Trans. Manage. Inf. Syst. 9, 4:1–4:16 (2018)
MetaMask. https://metamask.io/
Nakamoto, S., et al.: Bitcoin: A peer-to-peer electronic cash system (2008)
Ølnes, S.: Beyond Bitcoin enabling smart government using blockchain technology. In: Scholl, H.J., et al. (eds.) EGOVIS 2016. LNCS, vol. 9820, pp. 253–264. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-44421-5_20
React - A JavaScript library for building user interfaces. https://reactjs.org/index.html
Swan, M.: Blockchain: Blueprint for a New Economy. O’Reilly Media Inc., Newton (2015)
Szabo, N.: Formalizing and securing relationships on public networks. First Monday 2(9) (1997)
Truffle Suite|Sweet Tools for Smart Contracts. https://truffleframework.com/
Wüst, K., Gervais, A.: Do you need a blockchain? In: 2018 Crypto Valley Conference on Blockchain Technology (CVCBT), pp. 45–54. IEEE (2018)
Wüst, K., Kostiainen, K., Capkun, V., Capkun, S.: Prcash: fast, private and regulated transactions for digital currencies. In: International Conference on Financial Cryptography and Data Security (2019)
Zyskind, G., Nathan, O., et al.: Decentralizing privacy: using blockchain to protect personal data. In: Security and Privacy Workshops, pp. 180–184. IEEE (2015)
Ølnes, S., Ubacht, J., Janssen, M.: Blockchain in government: benefits and implications of distributed ledger technology for information sharing. Gov. Inf. Q. 34(3), 355–364 (2017)
Acknowledgments
We are indebted to Syddjurs Municipality, Denmark, for volunteering time and information without which this paper would not be. We are particularly grateful to Nicklas Pape Healy and Sofie Lykke Sørensen.
Work supported by the Innovation Fund Denmark project EcoKnow (7050-00034A). We gratefully acknowledge Syddjurs Municipality for their contributions to the case study and insightful comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 International Financial Cryptography Association
About this paper
Cite this paper
Krogsbøll, M., Borre, L.H., Slaats, T., Debois, S. (2020). Smart Contracts for Government Processes: Case Study and Prototype Implementation (Short Paper). In: Bonneau, J., Heninger, N. (eds) Financial Cryptography and Data Security. FC 2020. Lecture Notes in Computer Science(), vol 12059. Springer, Cham. https://doi.org/10.1007/978-3-030-51280-4_36
Download citation
DOI: https://doi.org/10.1007/978-3-030-51280-4_36
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-51279-8
Online ISBN: 978-3-030-51280-4
eBook Packages: Computer ScienceComputer Science (R0)