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 ContractsSpecification 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)
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
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
POW (Proof of Work) | POS (Proof of Stake) | Consensus finding | Sybil-Attacke | Fork | Casper | Sharding | Raiden | Lightning (Bitcoin) | Nonce | Swarm Distributed Storage