nach oben

Erschienen in:

2019 | OriginalPaper | Buchkapitel

On and Off-Blockchain Enforcement of Smart Contracts

verfasst von : Carlos Molina-Jimenez, Ellis Solaiman, Ioannis Sfyrakis, Irene Ng, Jon Crowcroft

Erschienen in: Euro-Par 2018: Parallel Processing Workshops

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Emerging blockchain technology is a promising platform for implementing smart contracts. But there is a large class of applications, where blockchain is inadequate due to performance, scalability, and consistency requirements, and also due to language expressiveness and cost issues that are hard to solve. In this paper we explain that in some situations a centralised approach that does not rely on blockchain is a better alternative due to its simplicity, scalability, and performance. We suggest that in applications where decentralisation and transparency are essential, developers can advantageously combine the two approaches into hybrid solutions where some operations are enforced by enforcers deployed on–blockchains and the rest by enforcers deployed on trusted third parties.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel A Suite of Tools for the Forensic Analysis of Bitcoin Transactions: Preliminary Report

Nächstes Kapitel MaRSChain: Framework for a Fair Manuscript Review System Based on Permissioned Blockchain

Hat: Hub-of-all-things. http://hubofallthings.com/home/. Accessed 10 Feb 2016

Antonopoulos, A.: Mastering Bitcoin. O’Reilly, second edn. (2017)

Bailis, P., Ghodsi, A.: Eventual consistency today: limitations, extensions, and beyond. ACM Queue 11(3), 20 (2013)CrossRef

Bartoletti, M., Pompianu, L.: An empirical analysis of smart contracts: platforms, applications, and design patterns (2017). https://arxiv.org/pdf/1703.06322.pdfCrossRef

bitinfocharts: Cryptocurrency statistics (2018). https://bitinfocharts.com

Cheng, R., et al.: Ekiden: a platform for confidentiality-preserving, trustworthy, and performant smart contract execution. arXiv:1804.05141 [cs.CR] (2018)

Cook, N., Robinson, P., Shrivastava, S.: Component middleware to support non-repudiable service interactions. In: Proceedings of the IEEE International Conference on Dependable Systems and Networks (DSN 2004) (2004)

Decker, C., Seidel, J., Wattenhofer, R.: Bitcoin meets strong consistency. In: Proceedings of the 17th International Conference on Distributed Computing and Networking (ICDCN 2016) (2016)

Eberhardt, J., Tai, S.: On or off the blockchain? insights on off-chaining computation and data. In: (ESOCC 2017) (2017)CrossRef

10.

Ethereum: A next-generation smart contract and decentralized application platform (2017). https://github.com/ethereum/wiki/wiki/White-Paper. Acceepted 23 Oct 2017

11.

Ethereum: Decentralized apps (dapps) (2018). https://github.com/ethereum/wiki/wiki/Decentralized-apps-(dapps)

12.

Gama, P., Ribeiro, C., Ferreira, P.: Heimdhal: a history-based policy engine for grids. In: Proceedings of the 6th IEEE International Symposium on Cluster Computing and the Grid (CCGRID 2006), pp. 481–488. IEEE CS (2006)

13.

Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), pp. 221–232. IEEE Computer Society (2006)

14.

Idelberger, F., Governatori, G., Riveret, R., Sartor, G.: Evaluation of logic-based smart contracts for blockchain systems. In: Alferes, J.J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 167–183. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42019-6_11CrossRef

15.

Ludwig, H., Stolze, M.: Simple obligation and right model (SORM) – for the runtime management of electronic service contracts. In: Bussler, C.J., Fensel, D., Orlowska, M.E., Yang, J. (eds.) WES 2003. LNCS, vol. 3095, pp. 62–76. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-25982-4_7CrossRef

16.

Marshall, L.F.: Representing management policy using contract objects. In: Proceedings of the IEEE First International Workshop on Systems Management, pp. 27–30 (1993)

17.

Minsky, N.: A model for the governance of federated healthcare information systems. In: IEEE International Symposium on Policies for Distributed Systems and Networks (Policy 2010) (2010)

18.

Minsky, N.H., Lockman, A.D.: Ensuring integrity by adding obligations to privileges. In: Proceedings of the 8th International Conference on Software Engineering, pp. 92–102 (1985)

19.

Molina-Jimenez, C., Sfyrakis, I., Solaiman, E., Ng, I., Wong, M.W., Chun, A., Crowcroft, J.: Implementation of smart contracts using hybrid architectures with on-and off-blockchain components. arXiv:1808.00093 [cs.SE] (2018)

20.

Molina-Jimenez, C., Shrivastava, S., Solaiman, E., Warne, J.: Contract representation for run-time monitoring and enforcement. In: IEEE International Conference on E-Commerce (CEC 2003) (2003)

21.

Molina-Jimenez, C., Shrivastava, S., Solaiman, E., Warne, J.: Run-time monitoring and enforcement of electronic contracts. Electron. Commer. Res. Appl. 3(2), 108–125 (2004)CrossRef

22.

Molina-Jimenez, C., Shrivastava, S., Strano, M.: A model for checking contractual compliance of business interactions. IEEE Trans. Serv. Comput. PP(99) (2011)

23.

Molina-Jimenez, C., Solaiman, E., Sfyrakis, I., Ng, I., Crowcroft, J.: On and off-blockchain enforcement of smart contracts. arXiv preprint arXiv:1805.00626, May 2018

24.

Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008). http://nakamotoinstitute.org/bitcoin/. Accessed 13 Nov 2017

25.

O’Hara, K.: Smart contracts-dumb idea. IEEE Internet Comput. 21(2), 101 (2017)MathSciNet

26.

Perrin, O., Godart, C.: An approach to implement contracts as trusted intermediaries. In: Proceedings of the 1st IEEE International Workshop on Electronic Contracting (WEC 2004), pp. 71–78 (2004)

27.

Poon, J., Dryja, T.: The bitcoin lightning network: scalable off-chain instant payments, January 2016. https://lightning.network/lightning-network-paper.pdf

28.

Sergey, I., Kumar, A., Hobor, A.: Scilla: a smart contract intermediate-level language: automata for smart contract implementation and verification, January 2018. https://arxiv.org/abs/1801.00687

29.

Shrivastava, S.: An overview of the tapas architecture. http://tapas.sourceforge.net/deliverables/D5Extra.pdf, January 2005. supplement Delivery of the TAPAS (Trusted and QoS-Aware Provision of Application Services) IST Project No: IST-2001-34069

30.

Solaiman, E., Molina-Jimenez, C., Shrivastav, S.: Model checking correctness properties of electronic contracts. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 303–318. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-24593-3_21CrossRef

31.

Solaiman, E., Sfyrakis, I., Molina-Jimenez, C.: High level model checker based testing of electronic contracts. In: Helfert, M., Méndez Muñoz, V., Ferguson, D. (eds.) CLOSER 2015. CCIS, vol. 581, pp. 193–215. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-29582-4_11CrossRef

32.

Solaiman, E., Sfyrakis, I., Molina-Jimenez, C.: A state aware model and architecture for the monitoring and enforcement of electronic contracts. In: Proceedings of the IEEE 18th Conference on Business Informatics (CBI 2016) (2016)

33.

Szabo, N.: Smart contracts: formalizing and securing relationships on public networks. First Monday 2(9), September 1997

34.

The Linux Foundation: Hyperledger (2017). www.hyperledger.org. Accessed Nov 2017

35.

HATDex: Rumpel Platform (2018). http://www.hatdex.org/rumpel-platform/

36.

Vukolić, M.: The quest for scalable blockchain fabric: proof-of-work vs. BFT replication. In: Camenisch, J., Kesdoğan, D. (eds.) iNetSec 2015. LNCS, vol. 9591, pp. 112–125. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-39028-4_9CrossRef

37.

Wörner, D., von Bomhard, T.: When your sensor earns money: exchanging data for cash with bitcoin. In: Proceedings of the ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014) (2014)

38.

Zyskind, G., Nathan, O., Pentland, A.S.: Enigma: decentralized computation platform with guaranteed privacy. Tech. Report arXiv:1506.03471v1 [cs.CR], arXiv.org, January 2015

Titel: On and Off-Blockchain Enforcement of Smart Contracts
verfasst von: Carlos Molina-Jimenez
Ellis Solaiman
Ioannis Sfyrakis
Irene Ng
Jon Crowcroft
Verlag: Springer International Publishing
Buch: Euro-Par 2018: Parallel Processing Workshops
Print ISBN: 978-3-030-10548-8

Electronic ISBN: 978-3-030-10549-5

Copyright-Jahr: 2019
DOI: https://doi.org/10.1007/978-3-030-10549-5_27

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner