264 - Blockchains und Smart Contracts

omega tau science & engineering podcast

Gast: Florian Matthes, Uli Gallersdörfer Host: Markus Völter Shownoter: Jochen Spalding

Blockchains und Smart Contracts sind in aller Munde. Sie versprechen verteilte, dezentrale Datenhaltung und zuverlässige Programmausführung. In dieser Episode sprechen wir mit Prof. Dr. Florian Matthes und seinem Masteranden Uli Gallersdörfer über die Grundlagen (teilweise auf Basis von Uli’s Masterarbeit). Zur Sprache kommt das Funktionsprinzip von Blockchains, deren Historische Entwicklung, Einsatzszenarien und Grenzen der Technologie, allgemeine Smart Contracts und deren Abgrenzung zu Kryptowährungen, sowie einige Spezifika zu Ethereum. Details zu Ethereum folgen in der nächsten Episode.

Vorstellung der Gäste

00:02:20

Prof. Dr. Florian Matthes | TU München | Software Engineering for Business Information Systems (sebis) | coremedia | Risikokapital (Venture capital) | Ulrich Gallersdörfer | Master's Thesis Ulrich Gallersdörfer

Definition Blockchain

00:03:24

Blockchain | Bitcoin | Block | Distributed ledger | Non repudiability | Accountability | Determiniertheit (White Paper von Satoshi Nakamoto - Bitcoin: A Peer-to-Peer Electronic Cash System)

Technische Buildingblocks

00:16:01

Hashfunktion | Kollisionssicherheit | File verification | Asymmetrisches Kryptosystem | Genesis Block | P2P Netzwerk | Hash-Baum (Merkle tree) | Block Header | Block Version | Block Validation | Bitcoin Nodes | Vermaschtes Netz (Mesh Netzwerk) | Spieltheorie | Mining | Controlled supply | Proof of Work | Chain fork | Orphaned Blocks | Orphaned Blocks im Bitcoin Netzwerk | Speicherpool (Memory Pool) | Lightweight Node (Simplified Payment Verification) | SHA-2 | Mining Difficulty | Coinbase | Block Halving | Bitcoin Block Reward Halving Countdown | Deflation | Mooresches Gesetz | Field Programmable Gate Array (FPGA) | Anwendungsspezifische integrierte Schaltung (ASIC) | Etherium | Business Model Canvas | Alex Osterwalder | Ponzi scheme | Smart contract | Tim Bernes-Lee | Bitcoin script | Turing-Vollständigkeit (Turing completeness) | Transaktionsgebühren | Momentane Transaktionen nach Gebühren im Bitcoin Netzwerk | Inputs | Unspent Transaction Output (UTXO) | Immutable object | Proof-of-stake | Pruning | Hard Fork | Soft Fork | Alle Nodes im Bitcoin Netzwerk (Mining Farms in China - Bilder (https://www.google.de/search?q=china+mining+farms&client=safari&rls=en&dcr=0&tbm=isch&tbo=u&source=univ&sa=X&ved=0ahUKEwir-PChooTWAhUJ7RQKHVoPC8MQsAQIJw&biw=1460&bih=835)) | Automatisierte/formale Verifikation | Vitalik Buterin | Vitalik Buterin: Ethereum’s “Scalability Sucks” | Selfish mining | 51% Attack (Majority attack) | Return address (From address) | Cipher Block Chaining Mode | Adam Back | Hashcash | Kollisionssicherheit

Smart Contracts

01:25:33

Pi-Kalkül | Domänenspezifische Sprache (DSL) | Multisignature | Imperative Programmierung | Closure | Lisp | Scheme | Solidity | Laufzeitumgebung | Ethereum "Gas" | Mainframe computer | Endlicher Automat (State machine) | Aktienbuch | Micropayment | Daniel Suarez (Daniel Suarez - Daemon | Daniel Suarez - Daemon) | Ethereum Oracles | Testnet | Prof. Dr. Dirk Heckmann | Ransomware | Bitcoin mixer | Modellgetriebene Architektur (Model-driven architecture) | Liquid democracy | Fallrecht (Case law) | The DAO | Maas schlägt digitales Antidiskriminierungsgesetz vor

Wo Werden Uns Blockchains Enttäuschen?

02:19:39

Sidechains | RAID | Decentralized & Encrypted | Prof. Dr. Hans Christoph Grigoleit | Stanford online "Bitcoin and Crypto Currencies"