How do scientists uncover phenomena and explain their connections? How do engineers design machines, methods and infrastructure? At omega tau, experts give detailed answers. Over the last ten years, we have produced over 350 episodes in which we dug deeper, until we ran out of questions. Join us on our journey through the world of science and engineering: the closer you look and listen, the more interesting things get.
https://omegataupodcast.net
episode 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
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:08Ether | 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:07Statische 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:35Ethereum Hack | The DAO | The DAO Hack | Reentrancy Attack
Welche weiteren Sprachen gibt es / sind in Arbeit? 01:36:44Viper | Bamboo | Babbage | LabVIEW | The incredible Machine
Skalierbarkeit 01:50:21POW (Proof of Work) | POS (Proof of Stake) | Consensus finding | Sybil-Attacke | Fork | Casper | Sharding | Raiden | Lightning (Bitcoin) | Nonce | Swarm Distributed Storage