Top

Published in:

2017 | OriginalPaper | Chapter

Trust in Smart Contracts is a Process, As Well

Authors : Firas Al Khalil, Tom Butler, Leona O’Brien, Marcello Ceci

Published in: Financial Cryptography and Data Security

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

Distributed ledger technologies are rising in popularity, mainly for the host of financial applications they potentially enable, through smart contracts. Several implementations of distributed ledgers have been proposed, and different languages for the development of smart contracts have been suggested. A great deal of attention is given to the practice of development, i.e. programming, of smart contracts. In this position paper, we argue that more attention should be given to the “traditional developers” of contracts, namely the lawyers, and we propose a list of requirements for a human and machine-readable contract authoring language, friendly to lawyers, serving as a common (and a specification) language, for programmers, and the parties to a contract.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now

previous chapter An Empirical Analysis of Smart Contracts: Platforms, Applications, and Design Patterns

next chapter Defining the Ethereum Virtual Machine for Interactive Theorem Provers

https://nxt.org/.

Oraclize: The provably honest oracle service. http://www.oraclize.it/. Accessed 30 Jan 2017

OWL 2 Web Ontology Language Document Overview (Second Edition). https://www.w3.org/TR/2012/REC-owl2-overview-20121211/. Accessed 30 Jan 2017

PriceFeed smart contract. http://feed.ether.camp/. Accessed 30 Jan 2017

Abi-Lahoud, E., O’Brien, L., Butler, T.: On the road to regulatory ontologies. In: Casanovas, P., Pagallo, U., Palmirani, M., Sartor, G. (eds.) AICOL -2013. LNCS, vol. 8929, pp. 188–201. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-45960-7_14

Al Khalil, F., Ceci, M., Yapa, K., O’Brien, L.: SBVR to OWL 2 mapping in the domain of legal rules. In: Alferes, J.J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 258–266. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42019-6_17 CrossRef

Asor, O.: About Tau-Chain. ArXiv e-prints (February 2015)

Brady, E.: Idris, a general-purpose dependently typed programming language: design and implementation. J. Funct. Program. 23(5), 552–593 (2013)MathSciNetCrossRefMATH

Ceci, M., Al Khalil, F., O’Brien, L.: Making sense of regulations with SBVR. In: RuleML 2016 Challenge, Doctoral Consortium and Industry Track hosted by the 10th International Web Rule Symposium (RuleML 2016) (2016)

Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: essential requirements and design options. ArXiv e-prints (August 2016). https://arxiv.org/abs/1608.00771v2

10.

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 CrossRef

11.

Lerner, S.D.: Rootstock. bitcoin powered smart contracts. white paper (November 2015). https://uploads.strikinglycdn.com/files/90847694-70f0-4668-ba7f-dd0c6b0b00a1/RootstockWhitePaperv9-Overview.pdf

12.

Lerner, S.D.: Drivechains, sidechains, and 2-way hybrid peg designs (January 2016). https://uploads.strikinglycdn.com/files/27311e59-0832-49b5-ab0e-2b0a73899561/Drivechains_Sidechains_and_Hybrid_2-way_peg_Designs_R9.pdf

13.

English, M., Auer, S., Domingue, J.: Block chain technologies and the semantic web: a framework for symbiotic development. Technical report, University of Bonn, Germany (2016)

14.

Frantz, C.K., Nowostawski, M.: From institutions to code: towards automated generation of smart contracts. In: 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 210–215 (September 2016)

15.

Frignani, A.: Some Basic Differences between the Common Law and the Civil Law Approach. http://www.jus.unitn.it/CARDOZO/Review/Comparative/Frignani-1997/Washingt.htm (1996). Accessed 02 Feb 2017

16.

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 CrossRef

17.

Grigg, I.: The Ricardian contract. In: Proceedings of 2004 First IEEE International Workshop on Electronic Contracting, pp. 25–31 (July 2004)

18.

Grigg, I.: On the intersection of Ricardian and Smart Contracts. http://iang.org/papers/intersection_ricardian_smart.html (February 2017). Accessed 30 Jan 2017

19.

Hull, R., Batra, V.S., Chen, Y.-M., Deutsch, A., Heath III, F.F.T., Vianu, V.: Towards a shared ledger business collaboration language based on data-aware processes. In: Sheng, Q.Z., Stroulia, E., Tata, S., Bhiri, S. (eds.) ICSOC 2016. LNCS, vol. 9936, pp. 18–36. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46295-0_2 CrossRef

20.

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_11 CrossRef

21.

Luu, L., Chu, D.H., Olickel, H., Saxena, P., Hobor, A.: Making smart contracts smarter. In: CCS 2016 Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 254–269. ACM, New York, NY, USA (2016). http://doi.acm.org/10.1145/2976749.2978309

22.

Nakamoto, S.: Bitcoin: a peer-to-peer electronic cash system (2008)

23.

Pettersson, J., Edström, R.: Safer smart contracts through type-driven development. Ph.D. thesis, Master’s thesis, Department of CS and E, Chalmers University of Technology and University of Gothenburg, Sweden (2015)

24.

Reijers, W., O’Brolcháin, F., Haynes, P.: Governance in blockchain technologies and social contract theories. Ledger 1, 134–151 (2016). http://www.ledgerjournal.org/ojs/index.php/ledger/article/view/62

25.

Seijas, P.L., Thompson, S., McAdams, D.: Scripting smart contracts for distributed ledger technology. Cryptology ePrint Archive, Report 2016/1156 (2016). http://eprint.iacr.org/2016/1156

26.

Semantics of Business Vocabulary and Business Rules (SBVR) Version 1.3, May 2015. http://www.omg.org/spec/SBVR/1.3/PDF

27.

Swan, M.: Blockchain temporality: smart contract time specifiability with blocktime. In: Alferes, J.J.J., Bertossi, L., Governatori, G., Fodor, P., Roman, D. (eds.) RuleML 2016. LNCS, vol. 9718, pp. 184–196. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-42019-6_12 CrossRef

28.

Szabo, N.: Formalizing and Securing Relationships on Public Networks. https://web.archive.org/web/20050217172626/. http://www.firstmonday.dk/ISSUES/issue2_9/szabo/index.html (1997). Accessed 25 Jan 2017

29.

Szabo, N.: The Idea of Smart Contracts. https://web.archive.org/web/20160831070942/. http://szabo.best.vwh.net/smart_contracts_idea.html (1997). Accessed 25 Jan 2017

30.

Tschorsch, F., Scheuermann, B.: Bitcoin and beyond: a technical survey on decentralized digital currencies. IEEE Commun. Surv. Tutor. 18(3), 2084–2123 (2016). http://dx.doi.org/10.1109/COMST.2016.2535718

31.

Wood, G.: Ethereum: a secure decentralised generalised transaction ledger. Ethereum Project Yellow Paper 151 (2014)

32.

Zhang, F., Cecchetti, E., Croman, K., Juels, A., Shi, E.: Town crier: an authenticated data feed for smart contracts. In: CCS 2016 Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, pp. 270–282. ACM, New York, NY, USA (2016). http://doi.acm.org/10.1145/2976749.2978326

Title: Trust in Smart Contracts is a Process, As Well
Authors: Firas Al Khalil
Tom Butler
Leona O’Brien
Marcello Ceci
Publisher: Springer International Publishing
Book: Financial Cryptography and Data Security
Print ISBN: 978-3-319-70277-3

Electronic ISBN: 978-3-319-70278-0

Copyright Year: 2017
DOI: https://doi.org/10.1007/978-3-319-70278-0_32

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner