Crypto · Lektion 4 von 8
eUTXO: UTXO plus Daten und Validatoren
⏱ ca. 18 Minuten
Extended UTXO erweitert das Output-Prinzip für programmierbare Zustände
Das Extended UTXO Model, kurz eUTXO, behält die Grundidee konsumierbarer Outputs bei und erweitert sie so, dass komplexere Smart-Contract-Regeln und Zustandsmaschinen dargestellt werden können. Cardano ist ein bekanntes praktisches Beispiel für dieses Modell.
Datum, Redeemer und Kontext
Ein script-gesicherter Output kann zusätzliche Daten tragen. Vereinfacht beschreibt ein Datum Informationen, die mit dem Output beziehungsweise dem Contract-Zustand verbunden sind. Beim Versuch, den Output auszugeben, liefert die Transaktion zusätzliche Eingaben, häufig als Redeemer bezeichnet. Ein Validator prüft diese Informationen zusammen mit dem relevanten Transaktionskontext.
Die Begriffe stammen aus konkreten eUTXO-Ausprägungen. Das zeitlose Prinzip dahinter lautet: Zustand und Ausgabebedingungen werden an klar abgegrenzte Outputs gebunden, und eine neue Transaktion muss beweisen, dass der Übergang erlaubt ist.
Ein Contract als Zustandsmaschine
Stell dir einen einfachen Zähler vor. Ein Output repräsentiert den Zustand counter = 10 und ist durch einen Validator geschützt. Eine gültige Transaktion konsumiert diesen Zustands-Output und erzeugt einen neuen Zustands-Output mit counter = 11. Der Validator prüft beispielsweise, ob die Änderung genau den erlaubten Regeln entspricht.
Der Zustand wird dadurch nicht wie eine Variable an einer globalen Speicheradresse überschrieben. Die Transaktion beschreibt den alten Input und die neuen Outputs explizit.
Mehr Ausdruckskraft als klassisches UTXO
Bitcoins UTXO-Modell besitzt bereits programmierbare Ausgabebedingungen. eUTXO zielt darauf, diese Idee so zu erweitern, dass reichhaltigere, zustandsbehaftete Verträge modelliert werden können, ohne das grundlegende Input-Output-Prinzip aufzugeben.
Determinismus und lokale Konstruktion
Da eine eUTXO-Transaktion konkrete Inputs und relevante Daten benennt, kann viel über ihre erwartete Ausführung bereits beim Erstellen der Transaktion bestimmt werden. Das verbessert die Vorhersagbarkeit. Trotzdem müssen Netzwerkknoten die Regeln unabhängig validieren. Off-Chain-Konstruktion ersetzt keine On-Chain-Validierung.
Was eUTXO nicht automatisch garantiert
- nicht jeder Smart Contract ist automatisch sicher
- nicht jede Anwendung skaliert automatisch linear
- wenn viele Nutzer denselben Zustands-UTXO konsumieren wollen, entsteht Contention
- Geschäftslogik, Oracles, Schlüsselverwaltung und Off-Chain-Komponenten können weiterhin Fehler enthalten
eUTXO macht Smart-Contract-Zustand expliziter an Inputs und Outputs. Es beseitigt damit bestimmte Problemklassen, aber nicht die Notwendigkeit guter Softwarearchitektur.
📝 Aufgaben
Praxisaufgabe: Eine eUTXO-Zustandsmaschine
- Definiere einen Zustands-Output mit counter = 5.
- Lege die Regel fest: Der nächste Zustand darf nur counter + 1 sein.
- Beschreibe eine gültige Transaktion von 5 auf 6.
- Beschreibe eine ungültige Transaktion von 5 auf 9.
- Notiere, welche Information der Validator prüfen muss.
- Erkläre, warum zwei Nutzer, die exakt denselben alten Zustands-Output konsumieren wollen, miteinander konkurrieren.
Mini-Schritt: Schreibe den Unterschied zwischen „Variable überschreiben“ und „alten Zustands-Output konsumieren, neuen erzeugen“ auf.
❓ Quiz · 4 Fragen
Mehrere Antworten können richtig sein. Für den Kursabschluss brauchst du insgesamt mindestens 80 %.
Melde dich an, um das Quiz zu machen und Belohnungen zu sammeln.