Skip to main content

2016 | OriginalPaper | Buchkapitel

Evaluation of Logic-Based Smart Contracts for Blockchain Systems

verfasst von : Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor

Erschienen in: Rule Technologies. Research, Tools, and Applications

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

While procedural languages are commonly used to program smart contracts in blockchain systems, logic-based languages may be interesting alternatives. In this paper, we inspect what are the possible legal and technical (dis)advantages of logic-based smart contracts in light of common activities featuring ordinary contracts, then we provide insights on how to use such logic-based smart contracts in combination with blockchain systems. These insights lead us to emphasize a fundamental challenge - algorithms for logic approaches have to be efficient, but they also need to be literally cheap as measured within the environment where they are deployed and according to its economic rules. We illustrate this with different algorithms from defeasible logic-based frameworks.

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!

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!

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!

Fußnoten
2
While encouragement is not enforcement in all meanings of the word, it is either a precursor or a part of it.
 
3
This comparison was conducted by writing the basic solidity code for the requisite modus ponens inference and then comparing the ‘gas’ cost as estimated by the official solidity compiler.
 
Literatur
1.
Zurück zum Zitat Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2), 255–287 (2001)MathSciNetCrossRefMATH Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Trans. Comput. Log. 2(2), 255–287 (2001)MathSciNetCrossRefMATH
2.
Zurück zum Zitat Athan, T., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: LegalRuleML: design principles and foundations. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 151–188. Springer, Heidelberg (2015)CrossRef Athan, T., Governatori, G., Palmirani, M., Paschke, A., Wyner, A.: LegalRuleML: design principles and foundations. In: Faber, W., Paschke, A. (eds.) Reasoning Web 2015. LNCS, vol. 9203, pp. 151–188. Springer, Heidelberg (2015)CrossRef
3.
Zurück zum Zitat d’Avila Garcez, A.S., Gabbay, D.M., Lamb, L.C.: A neural cognitive model of argumentation with application to legal inference and decision making. J. Appl. Log. 12(2), 109–127 (2014)MathSciNetCrossRefMATH d’Avila Garcez, A.S., Gabbay, D.M., Lamb, L.C.: A neural cognitive model of argumentation with application to legal inference and decision making. J. Appl. Log. 12(2), 109–127 (2014)MathSciNetCrossRefMATH
4.
Zurück zum Zitat Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–358 (1995)MathSciNetCrossRefMATH Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–358 (1995)MathSciNetCrossRefMATH
5.
Zurück zum Zitat Ethereum Foundation. Ethereum’s white paper Ethereum Foundation. Ethereum’s white paper
6.
Zurück zum Zitat Governatori, G.: Representing business contracts in RuleML. Int. J. Coop. Inf. Syst. 14(2–3), 181–216 (2005)CrossRef Governatori, G.: Representing business contracts in RuleML. Int. J. Coop. Inf. Syst. 14(2–3), 181–216 (2005)CrossRef
7.
Zurück zum Zitat Governatori, G.: Thou shalt is not you will. In: Atkinson, K., (ed.) Proceedings of the Fifteenth International Conference on Artificial Intelligence and Law, pp. 63–68. ACM, New York (2015) Governatori, G.: Thou shalt is not you will. In: Atkinson, K., (ed.) Proceedings of the Fifteenth International Conference on Artificial Intelligence and Law, pp. 63–68. ACM, New York (2015)
8.
Zurück zum Zitat Governatori, G., Pham, D.H.: DR-CONTRACT: an architecture for e-contracts in defeasible logic. Inter. J. Bus. Process Integr. Manag. 5(3), 187–199 (2009)CrossRef Governatori, G., Pham, D.H.: DR-CONTRACT: an architecture for e-contracts in defeasible logic. Inter. J. Bus. Process Integr. Manag. 5(3), 187–199 (2009)CrossRef
9.
Zurück zum Zitat Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., Sartor, G.: Variants of temporal defeasible logics for modelling norm modifications. In: Proceedings of the 11th International Conference on Artificial Intelligence and Law, Stanford, California, USA, pp. 155–159. ACM (2007) Governatori, G., Rotolo, A., Riveret, R., Palmirani, M., Sartor, G.: Variants of temporal defeasible logics for modelling norm modifications. In: Proceedings of the 11th International Conference on Artificial Intelligence and Law, Stanford, California, USA, pp. 155–159. ACM (2007)
10.
Zurück zum Zitat Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 315–322. Springer, Heidelberg (2009)CrossRef Lam, H.-P., Governatori, G.: The making of SPINdle. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858, pp. 315–322. Springer, Heidelberg (2009)CrossRef
11.
12.
Zurück zum Zitat Modgil, S., Caminada, M.: Proof theories and algorithms for abstract argumentation frameworks. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 105–129. Springer, Heidelberg (2009)CrossRef Modgil, S., Caminada, M.: Proof theories and algorithms for abstract argumentation frameworks. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 105–129. Springer, Heidelberg (2009)CrossRef
13.
Zurück zum Zitat Nakamoto, S.: Bitcoin: A Peer-to-Peer Electronic Cash System (2008). (The Nakamoto paper) Nakamoto, S.: Bitcoin: A Peer-to-Peer Electronic Cash System (2008). (The Nakamoto paper)
14.
Zurück zum Zitat Prakken, H., Sartor, G.: A dialectical model of assessing conflicting arguments in legal reasoning. Artif. Intell. Law 4(3–4), 331–368 (1996)CrossRef Prakken, H., Sartor, G.: A dialectical model of assessing conflicting arguments in legal reasoning. Artif. Intell. Law 4(3–4), 331–368 (1996)CrossRef
15.
Zurück zum Zitat Riveret, R., Rotolo, A., Sartor, G.: Probabilistic rule-based argumentation for norm-governed learning agents. Artif. Intell. Law 20(4), 383–420 (2012)CrossRefMATH Riveret, R., Rotolo, A., Sartor, G.: Probabilistic rule-based argumentation for norm-governed learning agents. Artif. Intell. Law 20(4), 383–420 (2012)CrossRefMATH
16.
Zurück zum Zitat Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, Heidelberg (2005) Sartor, G.: Legal Reasoning: A Cognitive Approach to the Law. Springer, Heidelberg (2005)
17.
Zurück zum Zitat Szabo, N.: The idea of smart contracts (1997) Szabo, N.: The idea of smart contracts (1997)
18.
Zurück zum Zitat Wood, G.: Ethereum: a secure decentralised generalised transaction ledger (2014) Wood, G.: Ethereum: a secure decentralised generalised transaction ledger (2014)
19.
Zurück zum Zitat Wright, A., De Filippi, P.: Decentralized Blockchain Technology and the Rise of Lex Cryptographia. SSRN Scholarly Paper ID 2580664, Social Science Research Network, Rochester, NY, March 2015 Wright, A., De Filippi, P.: Decentralized Blockchain Technology and the Rise of Lex Cryptographia. SSRN Scholarly Paper ID 2580664, Social Science Research Network, Rochester, NY, March 2015
Metadaten
Titel
Evaluation of Logic-Based Smart Contracts for Blockchain Systems
verfasst von
Florian Idelberger
Guido Governatori
Régis Riveret
Giovanni Sartor
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-42019-6_11

Premium Partner