Smart Contracts

Smart Contracts sind Computerprotokolle, die Verträge abbilden oder überprüfen oder die Verhandlung oder Abwicklung eines Vertrags technisch unterstützen. Eine schriftliche Fixierung des Vertrages wird damit unter Umständen überflüssig. Smart Contracts haben üblicherweise auch eine Benutzerschnittstelle und bilden die Logik vertraglicher Regelungen technisch ab. Befürworter von Smart Contracts behaupten, dass viele Arten von Vertragsklauseln somit teilweise oder vollständig selbst ausführbar oder selbst durchsetzbar oder beides werden. Smart Contracts versuchen, eine höhere Vertragssicherheit gegenüber traditionellem Vertragsrecht bei gleichzeitiger Reduktion der Transaktionskosten zu erreichen.

Beispiele

Smart Contracts können zum Beispiel in der digitalen Rechteverwaltung Copyright-Lizenzen abbilden oder im Finanzbereich Transaktionen abbilden. Zugangskontrolle, Token-Bucket-Algorithmen und andere Quality-of-Service-Mechanismen können dazu genutzt werden, Service-Level-Agreements abzubilden. Einige Peer-to-Peer-Netzwerke benötigen Mechanismen, um sicherzustellen, dass entfernte Partner in gleichem Maße beitragen wie konsumieren, ohne den Overhead von schriftlich vereinbarten Verträgen zu erzeugen.

Geschichte

In den 1970 bis 80er Jahren wurde der Terminus „Agoric Computing“ geprägt, um die Abbildung von Marktmechanismen wie Auktionen und Ressourcenmanagement in Software abzubilden. Inzwischen hat die Public-Key-Kryptografie die Möglichkeiten hierzu revolutioniert.

Der Begriff „Smart Contract“ wurde etwa 1993 durch den Computerwissenschaftler Nick Szabo geprägt, um die Verbindung von hochentwickeltem Vertragsrecht und verwandten Disziplinen mit dem Design von E-commerce-Protokollen zu betonen. Szabo, der von Forschern wie David Chaum inspiriert wurde, erwartete, dass Spezifikationen auf Basis klarer Logik, Verifikation auf Basis kryptographischer Protokolle und andere digitale Sicherheitsmechanismen eine wesentliche Verbesserung gegenüber dem traditionellen Vertragsrecht bringen könnten, sogar für einige traditionelle Anwendungsbereiche.

Die meisten der oben zitierten Beispiele haben sich jedoch vermutlich unabhängig voneinander und von den oben genannten Entwicklungslinien entwickelt, und in der Tat sehen einige Befürworter Smart Contracts als notwendige Weiterentwicklung vieler unabhängiger Bemühungen, um Transaktionen in verschiedenen Industrien auf Basis digitaler Technologien zu verbessern. Verschiedene formale Sprachen wurden entwickelt oder vorgeschlagen, um Vertragsklauseln in Software abzubilden. Das IEEE hat dazu bereits zwei Workshops über Electronic Contracting abgehalten, die diese Bemühungen unterstützen.

Replizierte Titel und Vertragsausführung

Eine Infrastruktur für Smart Contracts kann durch ein repliziertes Asset-Register und Vertragsausführung über kryptographische Hash-Ketten und fehlertolerante Replikation implementiert werden.

Jeder Knoten in dem Peer-To-Peer-Netzwerk agiert als Register und Treuhänder, der Eigentümerwechsel durchführt und automatisch überprüfbare Regeln über diese Transaktionen abbildet. Alle Transaktionen werden stets von allen anderen Knoten auditiert. Askemos implementierte diesen Ansatz im Jahre 2002 mit Scheme und in späteren Versionen SQL als Vertragsbeschreibungsungssprache. Askemos beschreibt nur ein Konzept zum gegenseitigen Audit einer Menge unabhängiger Register beliebiger Assets (Werte), ohne diese Register an eine geldartige Ressource zu koppeln. Kryptowährungen wie Bitcoin haben Spezialfälle solcher Register implementiert; dort ist das Asset Geld. Bitcoin und viele seiner Ableger enthalten Mechanismen, die die Verwaltung von allgemeineren Vermögensgegenständen und Verträgen ermöglichen. Eine replizierte Domain Name Registry ist in Namecoin implementiert; replizierte Titel für beliebige Vermögensarten sind in den Anwendungen Crypti, Ripple, Mastercoin und Ethereum realisiert. NXT implementiert replizierte Eigentumstitel auf Basis von proof-of-stake in der zugrundeliegenden Währung.

Smart Contracts in der populären Kultur

Permanence (2002) von Karl Schroeder beschreibt eine „Rechteökonomie“, in der alle physischen Objekte mit „Nano-Tag“ versehen sind. Diese Tags enthalten die vertraglichen Regelungen und setzen sie auch durch, so dass sich z. B. eine Militärmission im All laufend über ihr „Cost-Benefit-Verhältnis“ rechtfertigen muss, ansonsten wird das Raumschiff gestoppt.

Siehe auch

• Prozessmanagement
• Code and Other Laws of Cyberspace
• Arbeitsablauf

Externe Links

• The Idea of Smart Contracts
• erights.org: Smart Contracts
• The E Language: Cryptographic Capabilities for Distributed Smart Contracting
• The Digital Path: Smart Contracts and the Third World
• "Late on payments? Device won't let car engine start."
• Open-Transactions: open-source Smart Contracts