265 - Ethereum und Solidity

Gast: Christian Reitwiessner    Host: Markus Völter    Shownoter: Jochen Spalding

Nach der Einführung in Blockchains und Smart Contracts in der letzten Episode betrachten wir nun eine konkrete Blockchain-Technologie im Detail: Ethereum, sowie die darauf meistgenutze Programmiersprache Solidity. Unser Gast ist Christian Reitwiessner, der Lead Developer von Solidity. Wir besprechen die Grundlagen von Ethereum, wie die Blockvalidierung funktioniert, die Ethereum Virtual Machine und Gas, die Grundlagen von Solidity, einige Ideen wie sich Solidity weiterentwickeln könnte, sowie alternative Sprachen wie bspw. Viper. Wir betrachten auch einige der Exploits und diskutieren, was man daraus lernen kann bzw. gelernt hat.

Thematisch verwandte Episoden als Hintergrund:

• Blockchains und Smart Contracts
• Specification and Proof
• (Domänenspezifische) Programmiersprachen

Vorstellung des Gastes Christian Reitwießner 00:01:48

Dr. Christian Reitwießner | Dr. Christian Reitwießner auf Twitter | Julius-Maximilians-Universität Würzburg | P-NP-Problem | Ethereum | Dezentrale P2P Netzwerke | Turing-Vollständigkeit | Solidity | Ethereum Project | Ethereum Foundation | Vitalik Buterin | 2014 Token sale Ethereum | ICO

Wie Funktioniert Ethereum? 00:06:08

Ether | Bitcoin | Nick Szabo | Atomare Operation | Ethereum Virtual Machine | WebAssembly | Merkle Tree | Key Value Store | Gas | Block Gas Limit | Multisig | General Purpose Language | Special Purpose Language (DSL)

Solidity 00:39:07

Statische Typisierung | For-Schleife | While-Schleife | Zuweisung | Type conversion | Singleton | TX Origin & MSG Sender | COMEFROM Statement | SHA256 | Require & Assert | Automatisierte/formale Verifikation | Z3 | Arithmetischer Überlauf | OP code | OP Codes im Ethereum Netzwerk | Bytecode | Composite pattern | CBMC | Coq | Lem-Ethereum | Lem | IDE | Unit Testing | Testnets im Ethereum Netzwerk | Von-Neumann-Architektur | CALL, CALLCODE and DELEGATECALL | Serpent

The Exploits 01:18:35

Ethereum Hack | The DAO | The DAO Hack | Reentrancy Attack

Welche weiteren Sprachen gibt es / sind in Arbeit? 01:36:44

Viper | Bamboo | Babbage | LabVIEW | The incredible Machine

Skalierbarkeit 01:50:21

POW (Proof of Work) | POS (Proof of Stake) | Consensus finding | Sybil-Attacke | Fork | Casper | Sharding | Raiden | Lightning (Bitcoin) | Nonce | Swarm Distributed Storage