Advertisement

On and Off-Blockchain Enforcement of Smart Contracts

  • Carlos Molina-Jimenez
  • Ellis SolaimanEmail author
  • Ioannis Sfyrakis
  • Irene Ng
  • Jon Crowcroft
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11339)

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.

Keywords

Smart contracts Blockchain Monitoring Enforcement On chain Off chain IoT Privacy Trust 

Notes

Acknowledgements

Carlos Molina-Jimenez is collaborating with the HAT Community Foundation under support of Grant RG90413 NRAG/536. Ioannis Sfykaris was partly supported by the EU Horizon 2020 project PrismaCloud (https://prismacloud.eu) under GA No. 644962.

References

  1. 1.
    Hat: Hub-of-all-things. http://hubofallthings.com/home/. Accessed 10 Feb 2016
  2. 2.
    Antonopoulos, A.: Mastering Bitcoin. O’Reilly, second edn. (2017)Google Scholar
  3. 3.
    Bailis, P., Ghodsi, A.: Eventual consistency today: limitations, extensions, and beyond. ACM Queue 11(3), 20 (2013)CrossRefGoogle Scholar
  4. 4.
    Bartoletti, M., Pompianu, L.: An empirical analysis of smart contracts: platforms, applications, and design patterns (2017). https://arxiv.org/pdf/1703.06322.pdfCrossRefGoogle Scholar
  5. 5.
    bitinfocharts: Cryptocurrency statistics (2018). https://bitinfocharts.com
  6. 6.
    Cheng, R., et al.: Ekiden: a platform for confidentiality-preserving, trustworthy, and performant smart contract execution. arXiv:1804.05141 [cs.CR] (2018)
  7. 7.
    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)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Eberhardt, J., Tai, S.: On or off the blockchain? insights on off-chaining computation and data. In: (ESOCC 2017) (2017)CrossRefGoogle Scholar
  10. 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. 11.
    Ethereum: Decentralized apps (dapps) (2018). https://github.com/ethereum/wiki/wiki/Decentralized-apps-(dapps)
  12. 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)Google Scholar
  13. 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)Google Scholar
  14. 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_11CrossRefGoogle Scholar
  15. 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_7CrossRefGoogle Scholar
  16. 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)Google Scholar
  17. 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)Google Scholar
  18. 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)Google Scholar
  19. 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. 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)Google Scholar
  21. 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)CrossRefGoogle Scholar
  22. 22.
    Molina-Jimenez, C., Shrivastava, S., Strano, M.: A model for checking contractual compliance of business interactions. IEEE Trans. Serv. Comput. PP(99) (2011)Google Scholar
  23. 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. 24.
    Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008). http://nakamotoinstitute.org/bitcoin/. Accessed 13 Nov 2017
  25. 25.
    O’Hara, K.: Smart contracts-dumb idea. IEEE Internet Comput. 21(2), 101 (2017)MathSciNetGoogle Scholar
  26. 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)Google Scholar
  27. 27.
    Poon, J., Dryja, T.: The bitcoin lightning network: scalable off-chain instant payments, January 2016. https://lightning.network/lightning-network-paper.pdf
  28. 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. 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. 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_21CrossRefGoogle Scholar
  31. 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_11CrossRefGoogle Scholar
  32. 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)Google Scholar
  33. 33.
    Szabo, N.: Smart contracts: formalizing and securing relationships on public networks. First Monday 2(9), September 1997Google Scholar
  34. 34.
    The Linux Foundation: Hyperledger (2017). www.hyperledger.org. Accessed Nov 2017
  35. 35.
    HATDex: Rumpel Platform (2018). http://www.hatdex.org/rumpel-platform/
  36. 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_9CrossRefGoogle Scholar
  37. 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)Google Scholar
  38. 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

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Carlos Molina-Jimenez
    • 1
  • Ellis Solaiman
    • 2
    Email author
  • Ioannis Sfyrakis
    • 2
  • Irene Ng
    • 3
  • Jon Crowcroft
    • 1
  1. 1.Computer LaboratoryUniversity of CambridgeCambridgeUK
  2. 2.School of ComputingNewcastle UniversityNewcastle upon TyneUK
  3. 3.Hat Community FoundationCambridgeUK

Personalised recommendations