MSTR Cat

Blockchain/Niveau VII · Evolution/7.1 Ethereum: der Weltcomputer/Lektion 1

Ethereum: Die Macht und der Preis der Programmierbarkeit

Die Turing-Falle: Was passiert, wenn ein Ledger jedes Programm ausführen kann

MaterialienEine Kopie von BIP-341 (Taproot)Das Ethereum-Whitepaper (2014)Das BitVM-Paper (2023)

Neugier

  1. Warum vergrößert die Fähigkeit, beliebigen Code auszuführen, unweigerlich die Angriffsfläche für Diebstahl?
  2. Wie hat eine Community ihre eigene Chain geforkt, um einen Hack rückgängig zu machen, und warum lehnte Bitcoin diesen Präzedenzfall ab?
  3. Durch welchen Mechanismus genau verifiziert Bitcoin aufwendige Berechnungen, ohne sie auszuführen?

Erkunden

  1. Ethereum startete im Juli 2015 mit einem anderen Ziel als Bitcoin: allgemeiner Programmierbarkeit. Während Bitcoins Script für spezifische, prüfbare Finanztransaktionen konzipiert war, führte Ethereum eine Turing-vollständige virtuelle Maschine ein (die EVM). Damit konnten Entwickler beliebige Programme direkt auf der Chain schreiben und deployen. Das Ergebnis war eine Explosion von Tokens, dezentralen Finanzprotokollen und Non-Fungible Tokens, die sich in Bitcoins begrenzter Script-Umgebung nicht nachbilden ließen.
  2. Die Macht der allgemeinen Berechnung hatte ihren Preis. Im Juni 2016 ermöglichte ein rekursiver Fehler im Smart Contract von The DAO einem Angreifer, rund ein Drittel der eingesammelten Mittel abzuziehen. Die Ethereum-Community stand vor einer Krise: Sollte sie den Code so ausführen lassen, wie er geschrieben war („Code is Law“), oder eingreifen? Sie entschied sich für das Eingreifen und führte einen Hard Fork durch, der die gestohlenen Mittel per irregulärer Zustandsänderung in einen Refund-Contract verschob. Diese Entscheidung spaltete die Chain in Ethereum und Ethereum Classic und bewies, dass sozialer Konsens unveränderlichen Code außer Kraft setzen kann.
  3. Der DAO-Vorfall machte eine strukturelle Schwachstelle sichtbar: Ausdrucksstärke vergrößert die Angriffsfläche. Die meisten späteren Diebstähle auf programmierbaren Chains gingen nicht auf gebrochene Kryptografie zurück, sondern auf zurückbehaltene Admin-Schlüssel, upgradebare Contract-Logik oder einfache Programmierfehler. Wenn eine Chain beliebige Programme ausführen lässt, bringt jede neue Funktion zusätzliche Komplexität, die ausgenutzt werden kann. Die Last der Sicherheit verlagert sich von den Protokolldesignern auf Tausende einzelner Entwickler, denen möglicherweise rigorose Audits fehlen.
  4. Eine Antwort auf diese Angriffsfläche kam aus der Sprache selbst. Move, bei Facebook für das aufgegebene Projekt Libra (später Diem) entwickelt, behandelt Tokens als Ressourcen: als Wert, den ein Programm laut Typsystem weder kopieren noch stillschweigend verwerfen darf. Ganze Klassen von Fehlern wie Doppelzählungen oder verlorene Gelder scheitern so schon beim Kompilieren statt erst im Produktivbetrieb. Als Diem 2022 eingestellt wurde, brachten ehemalige Diem-Ingenieure Move auf neue Chains. Aptos, gegründet von Avery Ching und Mo Shaikh, startete sein Mainnet am 17. Oktober 2022 mit Block-STM, einer Engine für parallele Ausführung, die Transaktionen optimistisch ausführt, anschließend prüft, welche davon dieselben Daten berührt haben, und nur diese erneut ausführt. Die Technik war auf dem neuesten Stand; der Launch war es nicht. Börsen listeten den APT-Token, bevor seine Verteilung veröffentlicht war; die Zahlen zeigten, dass rund die Hälfte des Angebots an Investoren, Core-Contributors und die Stiftung ging; die frühe On-Chain-Aktivität blieb weit hinter dem beworbenen Durchsatz zurück, und das Team räumte ein, es „hätte besser laufen können“. Sui, entwickelt von einer weiteren Gruppe ehemaliger Diem-Ingenieure, folgte 2023 mit einem eigenen Move-basierten Mainnet. Die Lehre gilt in beide Richtungen: Sicherere Sprachen verkleinern die Angriffsfläche, doch Technologie rettet keinen Launch, in den die Holder keinen Einblick haben.
  5. Bitcoins Reaktion bestand in einer selektiven Übernahme statt einer vollständigen Nachahmung. Anstelle allgemeiner Berechnungsmöglichkeiten hat Bitcoin spezifische, überprüfbare Funktionen integriert. Taproot, das im November 2021 aktiviert wurde, führte Script-Bäume ein, die es ermöglichen, komplexe Ausgabebedingungen zu definieren, während Privatsphäre und Effizienz gewahrt bleiben. Wallets haben PSBT (Partially Signed Bitcoin Transactions) übernommen – ein Standardformat zur Übermittlung von Transaktionen zwischen Unterzeichnern. Diese Ergänzungen verbessern die Funktionalität, ohne eine allgemein nutzbare virtuelle Maschine einzuführen, bei der fehlerhafter Code das gesamte Netzwerk gefährden könnte.
  6. Für aufwendige Berechnungen, die sich nicht mit einfachen Skripten bewältigen lassen, bietet der BitVM-Ansatz einen Weg nach vorn. BitVM, 2023 von Robin Linus vorgeschlagen, hält aufwendige Berechnungen off-chain; nur ein strittiger Schritt wird auf Bitcoin geprüft, und das nur, wenn jemand ihn anfechtet. So bleibt Bitcoins schlanke Basisschicht erhalten, während fortgeschrittene Anwendungen möglich werden; das Kernprotokoll bleibt einfach, überprüfbar und widerstandsfähig gegenüber der Art von Kaskadenausfällen, wie sie in Smart-Contract-Umgebungen für allgemeine Zwecke auftreten.
  7. Der Zielkonflikt ist klar: Ethereum priorisiert Flexibilität auf Kosten von Sicherheitskomplexität und Upgrade-Risiken; Bitcoin priorisiert Stabilität und Explizitheit, indem es Berechnungen einschränkt. Bei jeder neuen Funktion, die einer Chain hinzugefügt wird, lautet der Test, ob sie versteckten Zustand oder Admin-Befugnisse einführt, die missbraucht werden können. Lässt sich eine Fähigkeit nicht durch einfache, transparente Regeln überprüfen, ohne auf vertrauenswürdige Dritte oder komplexe Forks per sozialem Konsens angewiesen zu sein, birgt sie ein inhärentes Risiko. Diese Unterscheidung prägt die derzeitige architektonische Divergenz zwischen den beiden führenden Chains.

Kernfakten

  • Das Ethereum-Mainnet startete im Juli 2015 mit einer Turing-vollständigen virtuellen Maschine.
  • Der DAO-Hack ereignete sich im Juni 2016 und führte zu einem Hard Fork, der die Chain spaltete.
  • Taproot wurde im November 2021 in Bitcoin aktiviert (Block 709.632) und führte Script-Bäume ein.
  • Die meisten Diebstähle bei Smart Contracts gehen auf zurückbehaltene Admin-Schlüssel oder Programmierfehler zurück, nicht auf kryptografisches Versagen.
  • Move (aus Facebooks Libra/Diem-Projekt) modelliert Tokens als Ressourcen, die weder kopiert noch verworfen werden können; Aptos startete sein Move-basiertes Mainnet am 17. Oktober 2022 mit paralleler Ausführung über Block-STM.
  • BitVM ermöglicht Off-Chain-Berechnungen mit On-Chain-Streitbeilegung, um eine schlanke Basisschicht zu erhalten.
  • PSBT ermöglicht Signatur-Workflows für Transaktionen mit mehreren Parteien und klarer Verantwortlichkeit.

Übung neun, sechs, drei, eins

9SammelnListen Sie 9 Smart-Contract-Funktionen oder -Protokolle auf. Notieren Sie jeweils, ob sie auf allgemeiner Berechnung, spezifischer Skriptlogik oder externen Orakeln beruhen.
6GruppierenGruppieren Sie die 9 in 6 Gruppen nach der Angriffsfläche, die jeweils entsteht.
3VerdichtenReduzieren Sie die 6 auf 3 Hauptgründe, warum allgemeine Berechnung das systemische Risiko erhöht.
1KristallisierenSchreiben Sie 1 Satz darüber, wo Sie die Grenze zwischen einer sicheren und einer gefährlichen Fähigkeit ziehen würden, und warum.

Faktcheck

Datumsangaben, Zahlen und Behauptungen wurden mit den unten aufgeführten veröffentlichten Quellen abgeglichen.

In der interaktiven Akademie öffnen →

EN PT ES ZH JA KO RU FR MS