Cardano

Cardano ist ein Proof-of-Stake-Netzwerk, das das EUTXO-Modell verwendet, eine Erweiterung des Modells unverbrauchter Transaktionsausgaben. Eine Anwendung bildet Zustände über Outputs ab, die verbraucht werden können, wenn die Transaktion deren Bedingungen erfüllt. ADA ist das native Asset für Gebühren und weitere Protokollfunktionen.

Die Entwicklung von Smart Contracts umfasst Plutus-Validatoren und Werkzeuge wie Aiken oder Plinth, früher Plutus Tx. Wer Cardano wählt, muss sowohl die Validierungsregeln als auch die Komponente entwerfen, die Transaktionen konstruiert und der Wallet vorlegt.

Die Validatoren laufen on-chain und prüfen Ausgabebedingungen. Die Off-chain-Logik wählt Inputs aus, bereitet Outputs vor und liefert Daten und Signaturen. Wer beide Ebenen verwechselt, erhält eine unvollständige Integration: Ein korrekter Validator garantiert nicht, dass die Anwendung nutzbare Transaktionen erzeugt.

Datums, Redeemers und Referenz-Inputs ermöglichen es, Informationen und Aktionen gemäß dem Design des Smart Contracts zu organisieren. Transaktionen unterliegen Grenzen für Größe und Ausführungsbudget. Zudem können mehrere Operationen, die denselben Output verbrauchen wollen, in Konflikt geraten; daher ist sorgfältig zu planen, wie der Zustand verteilt wird.

Cardano kann in Prozesse passen, in denen es sinnvoll ist, explizite Zustandsübergänge und Autorisierungsbedingungen abzubilden. Eine Hinterlegung kann die Mittel in einem Output abbilden und je nach Signaturen, Fristen und vereinbarten Regeln Abwicklung oder Rückzahlung erlauben. Tests prüfen die Erhaltung der Beträge und die Ablehnung unzulässiger Übergänge.

Native Assets lassen sich über Funktionen des Ledgers und Emissionsrichtlinien verwalten, ohne dass jede Übertragung einen ERC-20-äquivalenten Smart Contract benötigt. Das Design der Berechtigungen und Produktbedingungen bleibt dennoch erforderlich. Welches Recht ein Token verbrieft, wird außerhalb seiner bloßen technischen Existenz festgelegt.

Das EUTXO-Modell beseitigt für sich genommen keine Streitigkeiten über die Reihenfolge, Autorisierungsfehler oder Nebenläufigkeitsprobleme. Auch die formale Forschung zum Protokoll beweist nicht die Korrektheit aller darauf aufgebauten Smart Contracts. Jede Anwendung braucht Spezifikationen, Tests und eine Prüfung ihrer Abhängigkeiten.

Vor der Wahl des Netzwerks werden Wallets, Transaktionskonstruktion, Datenquellen und die Wartung der Werkzeuge geprüft. Ein Prototyp muss gleichzeitige Nutzung, abgelaufene Transaktionen und die Wiederherstellung nach fehlgeschlagenem Versand einschließen. Der Vergleich mit EVM muss neben den Gebühren das nötige Redesign und den operativen Support berücksichtigen.