„Benutzer:Shannon/Smart Contracts“ – Versionsunterschied

Versionsgeschichte interaktiv durchsuchen
← Zum vorherigen VersionsunterschiedZum nächsten Versionsunterschied →
Inhalt gelöscht Inhalt hinzugefügt
VisuellWikitext
Keine Bearbeitungszusammenfassung
KKeine Bearbeitungszusammenfassung
Zeile 3: Zeile 3:
== Beispiele ==
== Beispiele ==


Smart Contracts können zum Beispiel in der [[Digitalen Rechteverwaltung|Digitale Rechteverwaltung]] Copyright-Lizenzen abbilden. Im Finanzbereich können Smart Contracts Finanztransaktionen abbilden. [[Zugangskontrolle (Informatik)|Zugangskontrolle]],
Smart Contracts können zum Beispiel in der [[Digitale Rechteverwaltung|Digitalen Rechteverwaltung]] Copyright-Lizenzen abbilden. Im Finanzbereich können Smart Contracts Finanztransaktionen abbilden. [[Zugangskontrolle (Informatik)|Zugangskontrolle]], [[Token-Bucket-Algorithmus|Token-Bucket-Algorithmen]] und andere [[quality of service|Quality of service-Mechanismen]] können dazu genutzt werden, [[Service-Level-Agreement|Service Level Agreements]] abzubilden. Einige [[Peer-to-Peer|P2P]]-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.

[[token bucket]] algorithms, and other [[quality of service]] mechanisms help facilitate network [[service level agreement]]s. Some [[Peer-to-peer file sharing|P2P]] networks need mechanisms to ensure that remote strangers contribute as well as consume resources, without requiring the overhead of actual legal contracts. Two examples of such protocols are the storage trading protocol in [[Flud backup|flŭd backup]]<ref>{{cite web|url=http://www.flud.org/wiki/index.php/Fairness|title=Fairness|author=|date=|work=flud.org}}</ref> and the [[Mojo nation#Mojo Economy|Mojo Nation filesharing auction]]. Cryptographic authentication of one product part by another has been used, in lieu of a contract between manufacturer and consumer, to enforce [[tying]] strategies.<ref>http://www.cpppe.umd.edu/rhsmith3/papers/Final_session1_anderson.pdf</ref>


== History ==
== History ==
In den 1970 bis 80er Jahren wurde der Terminus "[[Agora|Agoric Computing]]" geprägt, um die Abbildung von Marktmechanismen wie [[Auktion|Auktionen]] und [[Ressourcenmanagement]] in Software abzubilden. Inzwischen hat die [[Public-Key-Infrastruktur|Public-Key-Kryptografie]] die Möglichkeiten hierzu revolutioniert.
[[Agoric computing]] was a movement in the 1970s and 80s to bring market mechanisms such as [[auctions]] to [[resource (computer science)|computational resource management]]. {{Citation needed|date=December 2009}} Meanwhile [[public key cryptography]] revolutionized what was possible in online security.

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 Forschren 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 wie

Mark Miller und andere haben die


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. Die [[Institute of Electrical and Electronics Engineers|IEEE]] hat dazu bereits zwei Workshops<ref>http://tab.computer.org/tcec/cec04/programWEC.html</ref> über "Electronic Contracting" abgehalten, die diese Bemühungen unterstützen.
The phrase "smart contracts" was coined by computer scientist [[Nick Szabo]], probably around 1993, to emphasize the goal of bringing what he calls the "highly evolved" practices of contract law and related business practices to the design of [[electronic commerce]] protocols between strangers on the Internet. Szabo, inspired by researchers like [[David Chaum]], also had a broader expectation that specification through clear logic, and verification or enforcement through [[cryptographic protocols]] and other digital security mechanisms, might constitute a sharp improvement over traditional contract law, even for some traditional kinds of contractual clauses (such as automobile security interests that provide for repossession) that could be brought under the dominion of computer protocols.<ref>{{cite web|url=http://firstmonday.org/ojs/index.php/fm/article/view/548/469|publisher=First Monday|author=Nick Szabo|title=Formalizing and Securing Relationships on Public Networks}}</ref> [[Mark S. Miller|Mark Miller]] and others have stressed [[Capability-based security|capabilities]]<ref>{{cite web|url=https://research.google.com/pubs/pub40673.html|author=Miller, Van Cutsem, and Tulloh|title=Distributed Electronic Rights in JavaScript|booktitle=ESOP'13 22nd European Symposium on Programming}}</ref> as the security basis of smart contracts, in contrast to Chaum and other researchers in the [[financial cryptography]] community who have emphasized advanced cryptographic protocols to bring security and privacy to digital money, credentials, contract signing, auctions, and other commercial mechanisms. Most of the above-cited examples have, however, probably been developed largely independently of these lines of work, and indeed some proponents see smart contracts as the inevitable outcome of many independent efforts to improve transactions in various industries using digital technology. Several formal languages have been developed or proposed for specifying contractual clauses.<ref>{{cite web|url=http://www.erights.org/|title=Welcome to ERights.Org|author=|date=|work=erights.org}}</ref><ref>{{cite web|url=http://szabo.best.vwh.net/contractlanguage.html|title=A Formal Language for Analyzing Contracts|author=|date=|work=vwh.net}}</ref><ref>[http://research.microsoft.com/~simonpj/Papers/financial-contracts/pj-eber.ps]</ref> The [[IEEE]] has held two workshops on electronic contracting,<ref>http://tab.computer.org/tcec/cec04/programWEC.html</ref> which have furthered this research.


== Replicated titles and contract execution ==
== Replicated titles and contract execution ==
Eine Infrastruktur für Smart Contracts kann durch ein repliziertes Asset-Register und Vertragsausführung über krypographische Hash-Ketten und fehlertolerante Replikation implementiert werden.
A smart contracts infrastructure can be implemented by replicated asset registries<ref>{{ cite web | url=http://szabo.best.vwh.net/securetitle.html | author=Nick Szabo | title=Secure Property Titles with Owner Authority | year=2005 | accessdate=January 12, 2014}}</ref> and contract execution using [[Merkle trees|cryptographic hash chains]] and [[Byzantine fault tolerance|Byzantine fault tolerant]] replication. Each node in the [[peer-to-peer]] network acts as a title registry and escrow, executing changes of ownership and automatically checkable rules governing those transactions, and checks the same work of other nodes. [[Askemos]] implemented this approach in 2002 using [[Scheme_(programming_language) | Scheme]] as contract script language. [[Cryptocurrencies]] such as [[bitcoin]] have implemented special cases of such registries, where the property is money. Bitcoin and many of its spin-offs contain mechanisms to enable more general property titles and contract execution.<ref>{{cite web | title=https://en.bitcoin.it/wiki/Smart_Property | accessdate= 12 January 2014 }}</ref> Code supporting this is a latent part of the bitcoin protocol, based on probabilistic and anonymous ([[proof-of-work]] based) Byzantine replication. One proposal for using bitcoin for replicated asset registration and contract execution is called "colored coins".<ref>{{cite web | url=http://www.newscientist.com/article/dn24620-bitcoin-moves-beyond-mere-money.html | publisher=New Scientist | author= Hal Hodson| title=Bitcoin moves beyond mere money | date=20 November 2013 | accessdate=12 January 2014 }}</ref> A replicated domain name registry is implemented in [[Namecoin]]; replicated titles for potentially arbitrary forms of property, along with replicated contract execution, are implemented in [[Crypti]], [[Ripple (payment protocol)|Ripple]], [[Mastercoin]] and [[Ethereum]].<ref>{{cite web | url=http://ethereum.org/ethereum.html | title=Ethereum: A Next-Generation Generalized Smart Contract and Decentralized Application Platform | date= | accessdate=12 January 2014 }}</ref> NXT<ref>{{cite web | url=http://finance.yahoo.com/news/bitcoin-descendant-nxt-features-100-051500739.html | author= | title=Bitcoin Descendant NXT Features 100% New Code, Green Mining, Decentralized Trading, More | publisher=Yahoo Finance | date=23 December 2013 | accessdate=12 January 2014 }}</ref> implements replicated property titles based on [[proof-of-stake]] in the underlying currency.


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 an alle anderen Knoten repliziert. [[Askemos]] implementierte diesen Ansatz in 2002 mit [[Scheme_(programming_language) | Scheme]] als Vertragsabbildungssprache. [[Kryptowährung|Kryptowährungen]] wie [[bitcoin]] haben Spezialfälle solcher Register implementiert; dort ist das Asset Geld. Bitcoin and viele seiner Ableger enthalten Mechanismen, die die Verwaltung von allgemeinereren Vermögensgegenständen und Verträgen ermöglichen.<ref>{{cite web | title=https://en.bitcoin.it/wiki/Smart_Property | accessdate= 12 January 2014 }}</ref> Eine replizierte Domain Name Registry ist in [[Namecoin]] implementiert; replizierte Titel für beliebige Vermögensarten sind in den Anwendungen [[Crypti]], [[Ripple (payment protocol)|Ripple]], [[Mastercoin]] and [[Ethereum]] realisiert.<ref>{{cite web | url=http://ethereum.org/ethereum.html | title=Ethereum: A Next-Generation Generalized Smart Contract and Decentralized Application Platform | date= | accessdate=12 January 2014 }}</ref> NXT<ref>{{cite web | url=http://finance.yahoo.com/news/bitcoin-descendant-nxt-features-100-051500739.html | author= | title=Bitcoin Descendant NXT Features 100% New Code, Green Mining, Decentralized Trading, More | publisher=Yahoo Finance | date=23 December 2013 | accessdate=12 January 2014 }}</ref> implementiert replizierte Eigentumstitel auf Basis von [[proof-of-stake]] in der zugrundeliegenden Währung.
Applications may include financial instruments such as bonds, shares, and derivatives, [[assurance contracts]], and other instruments and transactions where the nodes can monitor the events on which the smart contract rules are conditioned.


== Smart Contracts in der populären Kultur ==
== In popular culture ==


''[[Permanence (novel)|Permanence]]'' (2002) by [[Karl Schroeder]] features a "rights economy" in which all physical objects are nano-tagged with contractual requirements so that payment may be enforced for all uses of proprietary information, ''e.g.'' a military mission in deep space must continuously justify the cost-benefit ratio of their mission to the ship or it will stop working.
''[[Permanence (novel)|Permanence]]'' (2002) von [[Karl Schroeder]] beschreibt eine "Rechteökonomie", in der alle physischen Objekte mit "Nano-Tags" 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 ihre "Cost-Benefit-Verhältnis" rechtfertigen muss, ansonsten wird das Raumschiff gestoppt.


== See also ==
== Siehe auch ==
* [[Business process management]]
* [[Business Process Management|Business process management]]
* [[Code and Other Laws of Cyberspace]]
* [[Code and Other Laws of Cyberspace]]
* [[Digital credential]]
* [[Digital credential]]
Zeile 30: Zeile 32:
* [[Workflow]]
* [[Workflow]]


== References ==
== Referenzen ==
{{reflist|2}}


== External links ==
== Externe Links ==
* [http://szabo.best.vwh.net/smart_contracts_idea.html The Idea of Smart Contracts]
* [http://szabo.best.vwh.net/smart_contracts_idea.html The Idea of Smart Contracts]
* [http://www.erights.org/smart-contracts/ erights.org: Smart Contracts]
* [http://www.erights.org/smart-contracts/ erights.org: Smart Contracts]

Version vom 28. Dezember 2015, 19:04 Uhr

Smart contracts sind Computerprotokolle, die Verträge abbilden oder überprüfen oder die Verhandlung oder Abwicklung eines Vertrages 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. Im Finanzbereich können Smart Contracts Finanztransaktionen abbilden. Zugangskontrolle, Token-Bucket-Algorithmen und andere Quality of service-Mechanismen können dazu genutzt werden, Service Level Agreements abzubilden. Einige P2P-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.

History

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 Forschren 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 wie

Mark Miller und andere haben die

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. Die IEEE hat dazu bereits zwei Workshops[1] über "Electronic Contracting" abgehalten, die diese Bemühungen unterstützen.

Replicated titles and contract execution

Eine Infrastruktur für Smart Contracts kann durch ein repliziertes Asset-Register und Vertragsausführung über krypographische 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 an alle anderen Knoten repliziert. Askemos implementierte diesen Ansatz in 2002 mit Scheme als Vertragsabbildungssprache. Kryptowährungen wie bitcoin haben Spezialfälle solcher Register implementiert; dort ist das Asset Geld. Bitcoin and viele seiner Ableger enthalten Mechanismen, die die Verwaltung von allgemeinereren Vermögensgegenständen und Verträgen ermöglichen.[2] Eine replizierte Domain Name Registry ist in Namecoin implementiert; replizierte Titel für beliebige Vermögensarten sind in den Anwendungen Crypti, Ripple, Mastercoin and Ethereum realisiert.[3] NXT[4] 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-Tags" 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 ihre "Cost-Benefit-Verhältnis" rechtfertigen muss, ansonsten wird das Raumschiff gestoppt.

Siehe auch

Referenzen

  1. ↑ http://tab.computer.org/tcec/cec04/programWEC.html
  2. ↑ Abgerufen am 12. Januar 2014.
  3. ↑ Ethereum: A Next-Generation Generalized Smart Contract and Decentralized Application Platform. Abgerufen am 12. Januar 2014.
  4. ↑ Bitcoin Descendant NXT Features 100% New Code, Green Mining, Decentralized Trading, More. Yahoo Finance, 23. Dezember 2013, abgerufen am 12. Januar 2014.
Quelle: https://de.wikipedia.org/w/index.php?title=Benutzer:Shannon/Smart_Contracts&diff=prev&oldid=149539448