C1ph4: Die Seite wurde neu angelegt: „'''Solidity''' ist eine objektorientierte, anwendungsspezifische höhere Programmiersprache mit einer JavaScript-ähnlichen Syntax zum Entwickeln von […“

2017-11-09T20:52:06Z

Die Seite wurde neu angelegt: „'''Solidity''' ist eine objektorientierte, anwendungsspezifische höhere Programmiersprache mit einer JavaScript-ähnlichen Syntax zum Entwickeln von […“

Neue Seite

'''Solidity''' ist eine objektorientierte, anwendungsspezifische [[höhere Programmiersprache]] mit einer [[JavaScript]]-ähnlichen Syntax zum Entwickeln von [[Smart Contract|Smart Contracts]] für die [[Ethereum]]-Blockchain-Plattform.<ref name=":0">{{Internetquelle |url=https://solidity.readthedocs.io/en/develop/ |titel=Solidity — Solidity 0.2.0 documentation |werk=solidity.readthedocs.io |zugriff=2016-09-09}}</ref>

== Geschichte ==
Die erste Spezifikation von Solidity wurde im August 2014 von Gavin Wood ausgearbeitet.<ref>{{Internetquelle |url=https://stackedit.io/viewer#!url=https://gist.githubusercontent.com/gavofyork/31b35cd2252a00d0d057/raw/16de06189d2175d2e31b300f1f8531e20c927635/solidity-original |titel=StackEdit Viewer |autor=Benoit Schweblin |werk=stackedit.io |zugriff=2016-09-09}}</ref> Die weitere Entwicklung übernahm die Ethereum Foundation unter Leitung von Christian Reitwiessner. Solidity ist die 4. für die [[Ethereum Virtual Machine]] (EVM) entwickelte Sprache - nach den [[Go (Programmiersprache)|Go]]-ähnlichen Sprache Mutan, LLL - einer [[Lisp]]-artigen Sprache - sowie der [[Python (Programmiersprache)|Python]]-ähnlichen Sprache Serpent. Solidity ist die bedeutendste und am stärksten weiterentwickelte dieser Sprachen. Mutan wurde 2015 zugunsten von Solidity abgesetzt<ref>{{Internetquelle |url=https://forum.ethereum.org/discussion/922/mutan-faq |titel=Mutan FAQ |zugriff=2016-09-11}}</ref> und auch LLL wird wenig verwendet.<ref>{{Internetquelle |url=http://ethereum.stackexchange.com/questions/348/is-lll-still-used-as-language/362#362 |titel=Is LLL still used as language? |werk=ethereum.stackexchange.com |zugriff=2016-09-11}}</ref> Serpent wird weiterentwickelt, könnte aber ebenfalls von Solidity ersetzt werden.<ref>{{Internetquelle |url=https://forum.ethereum.org/discussion/1460/solidity-faq |titel=Solidity FAQ |zugriff=2016-09-11}}</ref>

== Beschreibung ==
Solidity ist eine auf JavaScript basierende [[Statische Typisierung|statisch typisierte]] Programmiersprache, die entwickelt wurde um [[Smart Contract]]s für die Ethereum Virtual Machine (EVM) zu programmieren.<ref name=":0" /> Solidity Contracts können in [[Bytecode]] kompiliert werden, der von der EVM ausgeführt werden kann, um dann (zum Beispiel über die Ethereum-Geth-Konsole) in die Ethereum Blockchain hochgeladen zu werden. Es gibt mehrere Methoden, um Solidity-Code zu kompilieren, zum Beispiel über den Online-Compiler,<ref>{{Internetquelle |url=https://ethereum.github.io/browser-solidity/#version=soljson-v0.4.1+commit.4fc6fc2c.js |titel=Solidity realtime compiler and runtime |werk=ethereum.github.io |zugriff=2016-09-12}}</ref> den Kommandozeilen-Solidity-Compiler solc oder den in die Ethereum-IDE Mix eingebauten Compiler.<ref>{{Internetquelle |url=https://github.com/ethereum/wiki/wiki/Mix:-The-DApp-IDE |titel=Mix IDE |autor= |hrsg= |werk= |datum= |zugriff=2016-09-12}}</ref>

Die Solidity-Syntax ist stark an die [[ECMAScript]]-Syntax angelehnt, um Webentwicklern den Einstieg in die Smart-Contract-Entwicklung zu erleichtern; im Unterschied zu [[ECMAScript]] ist sie aber statisch typisiert, und unterstützt variadische Rückgabewerte. Im Vergleich mit den bestehenden Sprachen (LLL, Serpent, Mutan), unterstützt Solidity komplexe Variablentypen wie hierarchische Mappings und Structs, die auch verschachtelt werden können, sowie [[Vererbung (Programmierung)|Vererbung]] für Contracts. Es wurde auch ein Application Binary Interface (ABI) spezifiziert, um externen Applikationen und Libraries (zum Beispiel [[Web3.js]]) die Interaktion mit Ethereum-Contracts zu ermöglichen.<ref>{{Internetquelle |url=https://github.com/ethereum/wiki/wiki/Ethereum-Contract-ABI |titel=Ethereum Contract ABI |autor= |hrsg= |werk= |datum= |zugriff=2016-09-12}}</ref>

Beispielcode für einen in Solidity geschriebenen Contract:<ref>{{Internetquelle |url=https://solidity.readthedocs.io/en/develop/introduction-to-smart-contracts.html |titel=Introduction to Smart Contracts |autor= |hrsg= |werk= |datum= |zugriff=2016-09-12}}</ref>
<syntaxhighlight lang="javascript">
contract TestCoin {
// Das Schlüsselwort "public" erlaubt es auch anderen Smart Contracts, die Variable auszulesen.
// Diese Variable hat den Typ "address" und steht für die Adresse eines Ethereum Accounts.
address public minter;
mapping (address => uint) public balances;

// Events erlauben es Ethereum-Clients, auf Ereignisse des Contracts zu reagieren.
event Sent(address from, address to, uint amount);

// Die Funktion mit demselben Namen wie der Smart Contract ist der Konstruktor.
// Diese Funktion wird ein einziges Mal bei der Erstellung des Contracts aufgerufen.
function TestCoin() {
minter = msg.sender;
}

// Mit dieser Funktion kann der "minter" Ethereum Account anderen Accounts einen beliebigen
// Betrag des "TestCoin" überweisen.
function mint(address receiver, uint amount) {
if (msg.sender != minter) return;
balances[receiver] += amount;
}

// Diese Funktion erlaubt es Ethereum-Accounts, sich gegenseitig TestCoin zu überweisen.
function send(address receiver, uint amount) {
if (balances[msg.sender] < amount) return;
balances[msg.sender] -= amount;
balances[receiver] += amount;
Sent(msg.sender, receiver, amount);
}
}
</syntaxhighlight>

== Kritik ==

Solidity geriet besonders nach dem medial stark aufgegriffenen Hack von [[The DAO]], aber auch durch das Entdecken weiterer Exploits, in Kritik ernsthafte Sicherheitsprobleme zu haben.<ref>{{Internetquelle |url=https://daohub.org/ |titel=The DAO - Home |autor=The DAO's Community |werk=daohub.org |zugriff=2016-09-12}}</ref><ref>{{Internetquelle |url=https://www.heise.de/newsticker/meldung/Nach-dem-DAO-Hack-Ethereum-glueckt-der-harte-Fork-3273618.html |titel=Nach dem DAO-Hack: Ethereum glückt der harte Fork |autor=heise online |werk=heise online |zugriff=2016-09-12}}</ref> Es wird unter anderem kritisiert, dass Solidity zu permissiv ist, und auf JavaScript-ähnlichen Konzepten basiert, anstatt auf wissenschaftlicher Forschung zum Thema Formale Sprachen für Contracts aufzubauen.<ref>{{Internetquelle |url=https://blog.blockstack.org/solar-storm-a-serious-security-exploit-with-ethereum-not-just-the-dao-a03d797d98fa |titel=Solarstorm: A security exploit with Ethereum’s Solidity language, not just the DAO |autor=Muneeb Ali |werk=Blockstack Blog |datum=2016-06-20 |zugriff=2016-09-12}}</ref><ref>{{Internetquelle |url=https://medium.com/@Hibryda/why-solidity-isnt-solid-3341af77fc1c#.5riebmpgn |titel=Why Solidity isn’t solid |autor= |hrsg= |werk=Blockstack Blog |datum=2016-06-20 |zugriff=2016-09-12}}</ref>

== Externe Links ==
* [[Markus Völter]]: [http://omegataupodcast.net/265-ethereum-and-solidity/ Ethereum und Solidity] [[Omega tau|Omega Tau]] Folge 265 (Interview mit Solidity-Entwickler Christian Reitwiessner, 2017, 2h 20min)

== Einzelnachweise ==
<references />

[[Kategorie:Objektorientierte Programmiersprache]]
[[Kategorie:Funktionale Programmiersprache]]

Solidity - Versionsgeschichte

C1ph4: Die Seite wurde neu angelegt: „'''Solidity''' ist eine objektorientierte, anwendungsspezifische höhere Programmiersprache mit einer JavaScript-ähnlichen Syntax zum Entwickeln von […“