Tezos

Tezos ist ein Layer-1-Netzwerk mit einem Governance-Prozess zur Annahme von Protokolländerungen. Seine nativen Smart Contracts laufen in Michelson, einer Sprache, in die Tools wie LIGO und SmartPy kompilieren. XTZ ist der im Netzwerkbetrieb verwendete Vermögenswert.

Dass sich das Protokoll per Governance aktualisieren lässt, heißt nicht, dass jede Änderung risikofrei ist oder keine Wartung erfordert. Ein Team muss die Versionen verfolgen und prüfen, wie sie sich auf die genutzten Smart Contracts, Wallets und die Infrastruktur auswirken.

Der Proof-of-Stake-Konsens von Tezos umfasst die Beteiligung von Bakern. Die Smart Contracts halten Storage und führen über ihre Schnittstelle definierte Entrypoints aus. Hochsprachen erleichtern es, die Logik zu formulieren, bevor sie nach Michelson kompiliert wird; LIGO bietet Syntaxen wie CameLIGO und JsLIGO mit eigenen Tools und Versionen.

Etherlink ist eine EVM-Umgebung auf der Rollup-Infrastruktur von Tezos. Ausführung, RPC-Zugang und der Weg der Assets unterscheiden sich von den nativen Smart Contracts der Basisschicht. Die Entscheidung zwischen beiden erfordert zu klären, welche Tools und Assets die Anwendung benötigt.

Tezos kann sich für Register und digitale Vermögenswerte eignen, die Standards wie FA2 nutzen. Ein Mitgliedschaftssystem kann Asset-Klassen und Transferberechtigungen definieren, während die Anwendung Salden und Gültigkeit abfragt. Operator-Berechtigungen müssen erklärt und getestet werden, weil sie Aktionen mit Assets anderer Konten erlauben.

Eigenschaften des Smart Contracts lassen sich mit formalen Werkzeugen ausdrücken und analysieren, wenn der Umfang das rechtfertigt. Diese Arbeit erfordert die Angabe, was bewiesen wird und unter welchen Annahmen. Nach Michelson zu kompilieren ist kein formaler Beweis und validiert nicht automatisch die rechtliche Bedeutung des Vermögenswerts.

Zur Auswahl gehören die Verfügbarkeit von Entwicklern, Bibliotheken und Wallet-Unterstützung für die konkrete Schnittstelle. Eine Migration von Solidity zu nativen Smart Contracts bedeutet ein Redesign; Etherlink bringt einen anderen Satz an Abhängigkeiten mit. Neben der Abfrage des Endsaldos sind Emission, Transfer, Berechtigungen und Aktualisierung zu testen.

Das Budget muss Ausführung, Storage und Dateninfrastruktur nach den geltenden Parametern berücksichtigen. Geprobt werden auch Berechtigungsfehler und die Wiederherstellung nach Ausfällen des Indexers. Die Protokoll-Governance liefert einen Mechanismus zur Weiterentwicklung, doch das Produkt braucht weiterhin klare Verantwortliche für seine Smart Contracts und die Betriebskontinuität.