Tezos (XTZ)
Tezos ist ein Blockchain-Unternehmen, das seinen Fokus auf Smart Contracts legt. Dabei operiert Tezos mit dem XTZ Token.
Was ist Tezos?
Eine Besonderheit des Tezos-Protokolls besteht in der Art und Weise seiner Weiterentwicklung. Diese soll, anders als bei anderen öffentlichen Blockchains, ganz ohne Hard Forks auskommen. Hard Forks entstehen zum Beispiel, wenn in einem dezentralen Netzwerk keine Einigung hinsichtlich eines Updates des zugrunde liegenden Protokolls gelingt. Es kommt zu einer dauerhaften Spaltung der Blockchain, teils mit schwerwiegenden Folgen für das jeweilige Krypto-Ökosystem, die häufig auch auf den Rest des Krypto-Versums ausstrahlen.
Tezos versucht indes, böswillige beziehungsweise unplanmäßige Hard Forks zu verunmöglichen:
Tezos kann sich durch einen protokollinternen Änderungsprozess selbst aktualisieren, ohne dass eine Hard Fork erforderlich ist. Dies geschieht, um Innovationen zu beschleunigen, die Wahrscheinlichkeit umstrittener Spaltungen zu verringern und Interessengruppen innerhalb eines Netzwerks über einen langen Zeitraum zu koordinieren,
heißt es dazu auf der Homepage des Projekts. Wie bei Bitcoin und Ethereum haben Entwickler die Möglichkeit, das Netzwerk über Verbesserungsvorschläge abstimmen zu lassen. Während bei Proof-of-Work-basierten Blockchains indes letztlich die Rechenpower der Miner über die Übernahme einer Änderung entscheidet, übernehmen das bei Tezos die sogenannten „Baker“.
Was ist ein Baker?
„Baker“ ist die Bezeichnung für Block-Produzenten im Netzwerk. Um als Baker infrage zu kommen, muss ein Netzwerkteilnehmer bzw. -knoten (Node) über einen Stake von mindestens 10.000 Einheiten der in Tezos verwendeten Kryptowährung XTZ verfügen. Je größer der Stake, desto höher ist die Wahrscheinlichkeit, als Baker einen Block produzieren und die damit verbundene Belohnung einstreichen zu dürfen.Netzwerkteilnehmer mit weniger als 10.000 XTZ können ihre XTZ an Baker verleihen, um mittelbar an der Verifizierung von Blöcken beteiligt zu sein.
Mathematische Verifikation von Smart Contracts
Smart Contracts auf der Tezos Blockchain sollen durch einen mathematischen Prozess der formalen Überprüfung besonders sicher sein.
Um zum Beispiel zu testen, ob ein Programm eine Liste von Zahlen korrekt in aufsteigende Werte sortiert, wird es mit einer Eingabe von [2, 3, 1] getestet. Die Ausgabe des Tests sollte [1, 2, 3] ergeben, sonst ist das Programm ungültig. [Dieser] Ansatz kann jedoch möglicherweise nicht alle möglichen Eingaben (oder Edge Cases) abdecken, und diese können ein Programm zum Scheitern bringen. Bei der formalen Überprüfung werden mathematische Definitionen des Programms geschrieben. Um das gleiche Beispiel wie oben zu verwenden, kann man eine Definition schreiben: „Stellen Sie für jedes Element j in einer Liste sicher, dass Element j ≤ j+1“.
heißt es dazu auf dem Informationsportal von Tezos. Diese universelle Gültigkeit der Tezos-Smart-Contracts soll gerade für Anwendungen im Finanzsektor ein zusätzliches Maß an Sicherheit herstellen.
