🔥 Tezos Wiki - XTZ Kurs, Kryptowährung & mehr!
Tezos brachen in den Krypto-Raum ein, indem sie 232 Millionen Dollar in ihrer damals rekordverdächtigen ICO. Seit ihrer ICO hat sich ihr Starttermin aufgrund von Dramen hinter den Kulissen und anderen Konflikten ständig verzögert. Tezos startete offiziell im September 2018 und jetzt ist ein guter Zeitpunkt wie jeder andere, sich mit diesem aufregenden Projekt zu befassen. Was also ist Tezos?
Was ist der Tezos-Coin?
Auf der Tezos-Webseite heißt es: "Tezos ist eine neue dezentralisierte Blockchain, die sich selbst regiert, indem sie einen echten digitalen Commonwealth errichtet".
Tezos (XTZ) ist ein Blockchain-Netzwerk, das mit einem digitalen Token verbunden ist, das als tez oder tezzie bezeichnet wird. Tezos basiert nicht auf dem Abbau von tez. Stattdessen erhalten Token-Inhaber eine Belohnung für die Teilnahme am Proof-of-stake-Konsensmechanismus.
Ein Commonwealth ist eine Gruppe, die sich aufgrund ihrer gemeinsamen Ziele und Interessen zusammenschließt. Das Hauptziel von Tezos ist es, ihre Token-Inhaber dazu zu bringen, zusammenzuarbeiten, um Entscheidungen zu treffen, die ihr Protokoll mit der Zeit verbessern werden. Der einheimische Tezos-Token ist XTZ.
Tezos hat viele Merkmale, die es einzigartig machen. Wir werden sie später im Leitfaden behandeln. Für den Moment geben wir Ihnen einen kleinen Hintergrund zum Projekt.
Starten Sie auf eToro, dem Testsieger von Bitcoin-News.one
JETZT ANMELDEN
Eine kurze Geschichte dessen, was Tezos ist
Die Mitbegründer, Arthur Breitman und Kathleen Breitman, entwickeln Tezos seit 2014 mit einer Kerngruppe von Entwicklern. Das Unternehmen hat seinen Hauptsitz in der Schweiz. Wie wir bereits gesagt haben, haben sie innerhalb von nur 2 Wochen 232 Millionen Dollar in einer nicht gedeckelten ICO aufgebracht, wobei sie Beiträge sowohl von Bitcoin als auch von Ethereum angenommen haben. Kurz nach ihrer historischen ICO stürzte sich Tezos mit dem Kopf voran in eine Menge von Managementproblemen. Um diese Managementprobleme zu verstehen, müssen Sie wissen, dass das von Tezos gegründete Unternehmen den Namen DLS (Dynamic Ledger Solutions) trägt und das Unternehmen, das alle während der ICO gesammelten Gelder hält, den Namen "Tezos Foundation" trägt.
Arthur und Kathleen Breitman gerieten in eine öffentliche Auseinandersetzung mit dem Präsidenten der Tezos-Stiftung, Johann Gevers. Offenbar weigerte sich Gevers, der die Kontrolle über die Gelder hatte, die Gelder an die Breitmans auszuzahlen. Dieser Streit führte zu einem Chaos innerhalb der Gemeinde, und der geschätzte Wechselkurs stürzte ab. Die Breitmans veröffentlichten eine vernichtende Erklärung zu Gevers, die Worte wie "Selbsthandel, Eigenwerbung und Interessenkonflikte" enthielt.
Schließlich verließ Gevers nach viel Drama und unerwünschter Medienaufmerksamkeit das Unternehmen, nachdem er eine Abfindung von mehr als 400.000 Dollar erhalten hatte. Jetzt läuft endlich alles glatt. Lassen Sie uns also in diesem Sinne zu den nackten Details kommen.
Tezos-Architektur
Sie können die Frage "Was ist Tezos?" nicht richtig beantworten. Die Tezos-Blockchain verwendet eine agonistische Native-Middleware namens "Network Shell". Dies ermöglicht es ihnen, einen modularen Stil mit einem sich selbst ändernden Ledger zu entwickeln. Ein generisches Blockchain-Protokoll ist in drei Schichten unterteilt:
- Netzwerk-Protokoll: Dies ist das Gossip Protocol , das für das Peer-Hören und die Übertragung zwischen den Knoten verantwortlich ist.
- Transaktionsprotokoll: Dies ist die Transaktionsschicht, die das durch die Blockchain implementierte Abrechnungsmodell definiert hat.
- Konsensprotokoll: Ziemlich selbsterklärend. Es definiert das Konsensprotokoll, das unserer Blockchain helfen wird, Vereinbarungen über den Stand unserer Transaktionen zu erzielen.
In Tezos werden die beiden letzten Protokolle, Transaktion und Konsens, zusammengefasst und als Blockchain-Protokoll bezeichnet. Die Network Shell unterstützt die Kommunikation zwischen dem Netzwerkprotokoll und dem Blockchain-Protokoll. Die Netzwerk Shell ist gegenüber dem Transaktionsprotokoll und dem Consensus-Protocol agnostisch.
Die zwei Konten von Tezos
Die zwei Arten von Konten, die Sie in Tezos verwenden können, sind
- Implizite Konten; und
- Ursprüngliche Konten.
Implizite Konten
Dies sind die gängigsten Konten in Tezos. Sie beginnen mit tz1 (Bsp.: tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Dies ist ein einfaches Konto, das aus einem Paar von öffentlichen/privaten Schlüsseln generiert wird. Die öffentliche tz1-Adresse wird aus dem öffentlichen Schlüssel abgeleitet, und jedes tz1-Konto hat seinen eigenen privaten Schlüssel. Diese Konten haben einen Kontoinhaber und einen Kontosaldo.
Implizite Konten können keinen Delegierten haben. Um Gelder zu delegieren, müssen sie Gelder auf ein Ursprungskonto überweisen, und dann muss ein Delegierter festgelegt werden.
Starten Sie auf eToro, dem Testsieger von Bitcoin-News.one
JETZT ANMELDEN
Ursprüngliche Konten
Neben impliziten Konten haben Sie auch Konten für Ihre Smart Contracts, die als Ursprungskonten bezeichnet werden. Diese beginnen mit KT1 (Bsp.: KT1Wv8Ted4b6b6raZDMoepkCPT8MkNFxyT2Ddo). Diese Konten haben die folgenden Felder:
- Manager - Dies ist der private Schlüssel des Kontos
- Betrag - Betrag von Tz auf diesem Konto
- Delegierbar - Wenn die Mittel dieses Kontos zum Baking delegiert werden können
- Delegierte Felder - Informationen darüber, an wen dieses Konto zum Baking delegiert hat.
Ein Ursprungskonto kann seine Mittel auf das implizite Konto des Bakers delegieren. Wir werden später mehr über Baker sprechen.
Tezos hat drei einzigartige Fähigkeiten:
- On-Chain-Governance und Selbstveränderung.
- Ein liquid Proof-of-Stake-Konsensmechanismus
- Smart Contracts mit formaler Überprüfung.
Lassen Sie uns jede einzelne davon nacheinander durchgehen.
1. On-Chain-Governance und Selbstveränderung
Um die Bedeutung von On-Chain-Governance und Selbstveränderung zu verstehen, müssen Sie zunächst das "F-Wort" in der Krypto-Gemeinschaft, den Gabeln, verstehen.
Ein Fork ist ein Zustand, bei dem der Zustand der Blockchain in Chains zerfällt, in denen ein Teil des Netzwerks eine andere Perspektive auf die Geschichte der Transaktionen hat als ein anderer Teil des Netzwerks. Das ist im Grunde das, was ein Fork ist, es ist eine Divergenz in der Perspektive des Zustands der Blockchain. Ein Fork kann durch einen Soft Fork oder einen Hard Fork erreicht werden.
Was ist eine Soft Fork?
Wann immer eine Chain aktualisiert werden muss, gibt es zwei Möglichkeiten: eine Soft Fork oder eine Hard Fork. Stellen Sie sich Soft Fork als ein Update in der Software vor, das rückwärtskompatibel ist. Was bedeutet das? Angenommen, Sie führen MS Excel 2005 auf Ihrem Laptop aus und möchten eine in MS Excel 2015 integrierte Tabellenkalkulation öffnen, können Sie diese trotzdem öffnen, da MS Excel 2015 abwärtskompatibel ist.
ABER, nachdem ich gesagt habe, dass es einen Unterschied gibt. Alle Aktualisierungen, die Sie in der neueren Version genießen können, sind in der älteren Version für Sie nicht sichtbar. Um noch einmal auf unsere MS Excel-Analogie zurückzukommen: Angenommen, es gibt eine Funktion, die es ermöglicht, GIFs in die Tabelle in der 2015-Version einzufügen, dann werden Sie diese GIFs in der 2005-Version nicht mehr sehen. Im Grunde sehen Sie also den gesamten Text, aber nicht das GIF.
Starten Sie auf eToro, dem Testsieger von Bitcoin-News.one
JETZT ANMELDEN
Was ist eine Hard Fork?
Der Hauptunterschied zwischen einer weichen und einer harten Gabel besteht darin, dass sie nicht rückwärtskompatibel ist. Wenn sie einmal verwendet wird, gibt es absolut kein Zurück mehr. Wenn Sie der aktualisierten Version der Blockchain nicht beitreten, erhalten Sie keinen Zugang zu den neuen Aktualisierungen oder interagieren mit den Benutzern des neuen Systems, was auch immer. Denken Sie an PlayStation 3 und PlayStation 4. Sie können keine PS3-Spiele auf PS4 spielen und Sie können keine PS4-Spiele auf PS3 spielen.
So beschreibt Andreas Antonopoulos den Unterschied zwischen Hard und Soft Fork: Wenn sich ein vegetarisches Restaurant dafür entscheiden würde, Schweinefleisch auf die Speisekarte zu setzen, würde es als Hard Fork betrachtet werden. Wenn es sich dafür entscheiden würde, vegane Gerichte hinzuzufügen, könnte jeder, der Vegetarier ist, immer noch vegan essen, man muss nicht Veganer sein, um dort zu essen, man könnte immer noch Vegetarier sein, um dort zu essen, und Fleischesser können auch dort essen, so dass das eine weiche Gabel ist.
Nun, eines sollte hier klar sein. Gabeln sind keine schlechte Sache. Eine qualitativ hochwertige Plattform sollte sich ständig weiterentwickeln und sich selbst aktualisieren. Dazu ist es absolut notwendig, dass ein System konstante Forks durchläuft, harte und weiche. Das Hauptproblem liegt bei umstrittenen Hard Forks, die die Gemeinschaft spalten.
Das augenfälligste Beispiel dafür sind all die harten Prüfungen, die Bitcoin und Bitcoin Cash durchlaufen haben. Bitcoin wurde in Bitcoin und Bitcoin Cash aufgeteilt, während Bitcoin Cash selbst später in Bitcoin Cash und Bitcoin SV aufgeteilt wurde. Die Aufspaltung von Bitcoin Cash und Bitcoin SV war besonders hässlich. Sie löste die so genannten "Hash Wars" aus.
Der Hash War bestand im Grunde genommen darin, dass diese beiden Chains ihre Hash-Power nutzen, um die längste Chain zu verminen. Die längste Chain wird angeblich zur dominierenden Bitcoin-Cash-Chain. Dieses unnötige Getue stürzte die gesamte Krypto-Gemeinschaft in den Abgrund, als die gesamte Marktkappe an Wert verlor. Schlimmer noch, es spaltete die Bitcoin Cash-Gemeinschaft in zwei Teile.
Das ist genau das, was Tezos vermeiden wollte.
Wie Kathleen Breitman es ausdrückt: "Die große Ironie der Bitcoin ist, dass sie letztlich ein Werkzeug für den Konsens der Gemeinschaft ist, aber sie ist [getrübt durch] eine ungeheure Menge an Feindseligkeit. Tezos ermöglicht es, dass Innovation auf eine systematische Art und Weise geschieht, im Gegensatz zu einer, die aus der Politik geboren wird. Sie werden keine zwei Menschen finden, die Politik mehr verabscheuen als Arthur und ich. Das ist die Idee hinter Tezos: Lasst uns diesen außerordentlich informellen Prozess formalisieren".
Wie lässt sich dies mit Tezos mildern?
Tezos mildert umstrittene Hard Fork durch Selbstveränderungen und On-Chain-Governance. Die Selbstveränderung hilft bei der Aufrüstung der Blockchain, ohne eine Hard Fork zu durchlaufen. On-Chain-Governance bedeutet einfach, auf der Plattform über einen Änderungsvorschlag abzustimmen. Mit einer Kombination aus On-Chain-Governance und Self-Amendment kann der Abstimmungsprozess je nach Bedarf modifiziert bzw. geändert werden. Die Stakeholder des Systems (über das wir später sprechen werden) kümmern sich um die Abstimmung. Das Design dieses Systems ermöglicht eine reibungslose Entwicklung der Blockchain, anstatt eine Hard Fork vornehmen zu müssen.
Also gut, wie funktioniert das genau?
- Die Entwickler reichen unabhängig voneinander Vorschläge für Protokoll-Upgrades ein und beantragen eine Entschädigung für ihre Arbeit.
- Der Antrag auf Entschädigung stellt sicher, dass die Bauträger einen starken wirtschaftlichen Anreiz haben, einen Beitrag zum Ökosystem zu leisten
- Der Vorschlag durchläuft eine Testphase, in der die Gemeinschaft das Protokoll testet und es wegen möglicher Verbesserungen kritisiert.
- Nach wiederholten Tests können die Inhaber von Tezos-Token dann darüber abstimmen, ob der Vorschlag angenommen werden soll oder nicht.
- Sobald ein legitimes Upgrade beschlossen wird, findet ein "hot swap" auf das Protokoll statt, der die neue Version des Protokolls initiiert.
Aufgrund dieses Systems wird das Protokoll passiv und dezentralisiert aktualisiert. Jede einzelne Protokoll Aktualisierung durchläuft mehrere Testphasen und erhält relevantes Feedback von der Gemeinschaft. Dadurch wird sichergestellt, dass jede Verbesserung die Zustimmung der Mehrheit der Gemeinschaft findet. Auf diese Weise wird verhindert, dass es zu einer Abspaltung der Gemeinschaft kommt.
2. Proof-of-Work Konsensmechanismus - Wie funktioniert dieser bei Tezos?
Der Gemeinschaftskonsensmechanismus ist das Herz und die Seele eines dezentralisierten Netzwerks. Es macht keinen Sinn, mehrere Knoten über ein Weitverkehrsnetzwerk zu verbinden, wenn es keine konkreten Methoden gibt, wie sie miteinander kommunizieren und zu einer Entscheidung kommen können. Als Satoshi Nakamoto Bitcoin schuf, integrierte er den Proof-of-Work-Konsensmechanismus darin. Die Idee des POW-Mechanismus ist ziemlich einfach:
- Lassen Sie die Miner ihre Rechenleistung einsetzen, um kryptografisch harte Rätsel zu lösen.
- Belohnen Sie die Miner, die in der Lage waren, diese Rätsel zu lösen.
So einfach ist das. Diese Rätsel sind so schwer, dass sie in der Regel eine Menge Ihrer Rechenfähigkeiten in Anspruch nehmen. Obwohl das POW am Anfang definitiv effektiv war, hat es doch eine Menge Probleme:
- In erster Linie ist der Proof-of-Work aufgrund der schieren Menge an Kraft und Energie, die er verschlingt, ein äußerst ineffizienter Prozess.
- Menschen und Organisationen, die sich schnellere und leistungsfähigere ASICs leisten können, haben in der Regel eine bessere Chance auf Mining als die anderen.
- POWs führen zu einer Zentralisierung.
Um den Problemen von POW entgegenzuwirken, wurde ein neues Konsensprotokoll mit der Bezeichnung "Proof of Stake" oder POS geschaffen.
Starten Sie auf eToro, dem Testsieger von Bitcoin-News.one
JETZT ANMELDEN
Was ist der Proof of Stake?
Der Proof of Stake wird den gesamten Abbauprozess virtuell machen und die Miner durch Validatoren ersetzen. So wird der Prozess ablaufen:
- Die Prüfer werden einige ihrer Coins als POS einsperren müssen.
- Danach beginnen sie mit der Validierung der Blöcke. Das heißt, wenn sie einen Block entdecken, von dem sie glauben, dass er in die Kette eingefügt werden kann, validieren sie ihn, indem sie eine Wette auf ihn platzieren.
- Wenn der Block angehängt wird, erhalten die Prüfer eine Belohnung, die proportional zu ihren Einsätzen ist.
Dies kann jedoch ein Problem sein, da es immer noch die gesamte Gemeinschaft umfasst und möglicherweise nicht die skalierbarste Methode ist. Aus diesem Grund werden viele moderne Blockchain wie EOS, Cardano, Lisk, NEO usw. mit einem delegierten Protokoll aufgebaut. EOS und Lisk verwenden ein delegiertes "Proof-of-Stake"-Protokoll, bei dem eine festgelegte Anzahl von Delegierten im Voraus gewählt wird. Diese Delegierten sind diejenigen, die für den Konsens und das allgemeine Wohlbefinden des Netzwerks verantwortlich sind.
Der Konsensmechanismus von Tezos ist diesem ähnlich, aber mit einem kleinen Unterschied. Statt der Hardcore-Delegation nimmt Tezos ein flüssiges Demokratiemodell in seinen Konsens auf.
Wie funktioniert die Liquid Democracy?
Es ist ein System, das fließend zwischen direkter Demokratie und repräsentativer Demokratie übergeht. Der Prozess hat die folgenden Merkmale:
- Die Menschen können direkt über ihre Politik abstimmen.
- Menschen können ihre Abstimmungsverantwortung an einen Delegierten delegieren, der für sie über ihre Politik abstimmen kann.
- Die Delegierten selbst können ihre Abstimmungsverantwortung an einen anderen Delegierten delegieren, der in ihrem Namen abstimmen kann. Diese Eigenschaft, bei der ein Delegierter seinen eigenen Delegierten benennen kann, wird als Transitivität bezeichnet.
- Wenn einer Person, die ihr Stimmrecht delegiert hat, die von ihren Delegierten gewählte Abstimmung nicht gefällt, dann kann sie einfach ihre Stimme zurücknehmen und selbst über die Politik abstimmen.
Was sind also die Vorteile einer Liquid Democracy?
- Die Meinung jeder einzelnen Person zählt und spielt eine Rolle bei der endgültigen Politikgestaltung.
- Um ein Delegierter zu werden, muss man nur das Vertrauen einer Person gewinnen. Man muss nicht Millionen von Dollar für teure Wahlkampagnen ausgeben. Aus diesem Grund ist die Eintrittsbarriere relativ niedrig.
- Aufgrund der Möglichkeit, zwischen direkter und delegierter Demokratie zu oszillieren, können Minderheitengruppen gerechter vertreten werden.
- Schließlich verfügt es über ein skalierbares Modell. Jeder, der nicht die Zeit hat, über seine Politik abzustimmen, kann seine Abstimmungsverantwortung einfach delegieren.
Was ist ein Liquid Proof of Stake?
Im Gegensatz zu DPoS (Delegated Proof of Stake) gibt es keine harte und schnelle Regel, dass Delegierte unbedingt ausgewählt werden müssen. Es liegt ganz bei den Teilnehmern, was sie tun wollen. In Ordnung, fangen wir also mit dem LPoS an.
Tezos ist ein Liquid Proof of Stake System, das erfordert, dass man eine bestimmte Anzahl von Tezos-Tokens hält, um am Konsens über die Blockchain teilzunehmen. Der Prozess des “Mining” von Tezos-Token (XTZ) wird als Baking bezeichnet.
Token-Inhaber alias "Baker" können ihre Validierungsrechte an andere Token-Inhaber delegieren, ohne das Eigentum zu übertragen. Anders als bei EOS ist die Delegation optional.
XTZ Blöcke Baking
Sie finden und fügen der Tezos-Blockchain Blöcke durch einen Prozess namens "Baking" hinzu. Und so funktioniert es:
- Baker erhalten Blockverlagsrechte auf der Grundlage ihres Anteils.
- Jeder Block wird von einem zufälligen Baker ‘gebacken’ und dann von 32 weiteren zufälligen Bakern beglaubigt.
- Wenn der Block einsatzbereit ist, wird der Block in die Blockchain aufgenommen.
- Der erfolgreiche Baker erhält eine “Block Belohnung” und kann für alle Transaktionen innerhalb des Blocks Transaktionsgebühren verlangen.
Wie wir bereits gesagt haben, haben die Inhaber von Baking Tokens die Möglichkeit, ihre Baking Rights an andere Inhaber zu delegieren, ohne das Eigentum an ihren Token loszulassen. Nach Abschluss des “Baking” wird der Baker seine Belohnungen mit den übrigen Delegierten teilen.
Starten Sie auf eToro, dem Testsieger von Bitcoin-News.one
JETZT ANMELDEN
3. Smart Contracts und formale Verifizierung
Tezos wurde mit OCaml kodiert. Der Smart Contract, der auf Tezos laufen wird, wird mit Michelson erstellt. Was ist also das Besondere an diesen Sprachen? Es sind beides funktionale Sprachen. Wenn es um Sprachen geht, gehören sie zwei Familien an:
- Imperativ
- Funktional
Imperative Programmiersprachen
Bei einem imperativen Ansatz muss der Codierer alle Schritte notieren, die der Computer ausführen muss, um ein Ziel zu erreichen. Alle unsere traditionellen Programmiersprachen wie C++, Java und sogar Solidity sind imperative Programmiersprachen. Diese Art des Programmieransatzes wird auch algorithmische Programmierung genannt.
Lassen Sie uns ein Beispiel dafür nehmen, was wir damit meinen. Schauen wir uns C++ an. Angenommen, wir wollen 5 und 3 hinzufügen.
int a = 5;
int b = 3;
int c;
c= a + b;
Wie Sie sehen können, übernimmt der Additionsprozess also mehrere Schritte, und jeder Schritt verändert ständig den Zustand des Programms, da sie alle nacheinander einzeln ausgeführt werden. Ein Additionsprozess dauerte vier Schritte und die Schritte sind:
- Deklarieren einer Ganzzahl a und Zuweisung des Wertes 5.
- Deklarieren einer Ganzzahl b und Zuweisung des Wertes 3.
- Deklarieren einer ganzen Zahl c.
- Die Werte von und b werden addiert und in c gespeichert.
Funktionale Programmiersprachen
Die zweite Familie der Programmiersprachen sind die Funktionssprachen. Dieser Programmierstil wurde geschaffen, um einen funktionalen Ansatz zur Problemlösung zu schaffen. Diese Art des Ansatzes wird deklarative Programmierung genannt. Wie funktioniert also die funktionale Programmierung?
Nehmen wir an, es gibt eine Funktion f(x), die wir zur Berechnung einer Funktion g(x) verwenden wollen, und dann wollen wir diese verwenden, um mit einer Funktion h(x) zu arbeiten. Anstatt alle diese Funktionen in einer Folge zu lösen, können wir sie einfach alle in einer einzigen Funktion wie dieser zusammenfassen:
h(g(f(x)))
Dadurch lässt sich der funktionale Ansatz leichter mathematisch begründen. Aus diesem Grund sollen funktionale Programme ein sichererer Ansatz für die Erstellung von Smart Contracts sein. Dies trägt auch zu einer einfacheren Formalen Verifikation bei, was so ziemlich bedeutet, dass es einfacher ist, mathematisch zu beweisen, was ein Programm tut und wie es sich verhält.
Nehmen wir ein Beispiel aus dem wirklichen Leben und sehen wir, warum dies unter bestimmten Bedingungen extrem kritisch und sogar lebensrettend sein kann.
Angenommen, wir kodieren ein Programm, das den Luftverkehr kontrolliert. Wie Sie sich vorstellen können, erfordert die Kodierung eines solchen Systems ein hohes Maß an Präzision und Genauigkeit. Wir können nicht einfach blind etwas codieren und auf das Beste hoffen, wenn das Leben von Menschen in Gefahr ist. In solchen Situationen brauchen wir einen Code, der nachweislich mit einem hohen Grad an mathematischer Sicherheit funktioniert.
Genau aus diesem Grund ist der funktionale Ansatz so wünschenswert. Aus diesem Grund verwendet Tezos OCaml und ihre Smart Contracts Michelson.
Schauen wir uns also die Vorteile des funktionalen Ansatzes an:
- Hilft bei der Erstellung von High-Assurance-Code, da es einfacher ist, das mathematische Verhalten des Codes nachzuweisen.
- Erhöht die Lesbarkeit und Wartbarkeit, da jede Funktion auf die Erfüllung einer bestimmten Aufgabe ausgelegt ist. Die Funktionen sind außerdem zustandsunabhängig.
- Der Code ist leichter zu reformieren und alle Änderungen im Code sind einfacher zu implementieren. Dies erleichtert die reiterative Entwicklung.
- Die einzelnen Funktionen lassen sich leicht isolieren, was das Ausprobieren und Debuggen erleichtert.
Mehr zu Michelson
Michelson ist eine stark typisierte, stack-based Sprache. In Ethereum werden Smart Contracts in Solidity oder Viper geschrieben und in EVM-Bytecode kompiliert, der dann in der virtuellen Maschine von Ethereum (EVM) ausgeführt wird. In Tezos gibt es keinen unnötigen zusätzlichen Schritt, und der Michelson-Code selbst wird in der Tezos-VM ausgeführt.
Was ist der Vorteil dieses Ansatzes? Sie kann von Menschen leicht gelesen werden, was bei der Erstellung der Korrektheitsbeweise hilft und Fehler vermeiden hilft.
Starten Sie auf eToro, dem Testsieger von Bitcoin-News.one
JETZT ANMELDEN
Es folgt ein Beispiel für einen Michelson-Vertrag
Parameter (Paar (lambda int int) (Liste int));
Rückkehr (Liste int);
Lagereinheit;
Code { DIP{NIL int};
CAR;
DUP;
DIP{CAR; PAIR}; # Daten auspacken und Akkumulator einrichten
CDR;
LAMBDA (Paar int (Paar (lambda int int) (Liste int)))
(Paar (lambda int int) (Liste int))
# Wenden Sie das Lambda an und fügen Sie das neue Element der Liste hinzu
{ DUP; CDAR;
DIP{ DUP; DIP{CDAR}; DUP;
AUTO; DIP{CDDR; SWAP}; EXEC; CONS};
PAIR};
REDUZIEREN; CDR; DIP{NIL int}; # Zuerst reduzieren
LAMBDA (Paar int (Liste int))
(Liste int)
{DUP; AUTO; DIP{CDR}; NACHTEILE};
REDUZIEREN; # Listenreihenfolge korrigieren
EINHEIT; TAUSCH; PAAR} # Einberufen des Kongress
Unser Fazit zu Tezos
So, da haben Sie es. Tezos ist ein äußerst faszinierendes Projekt, das leider von all dem Drama hinter den Kulissen überschattet wurde. Dieses Projekt verdient eine genauere Analyse, denn es bringt einen interessanten Nutzen in den Raum der Blockchain. Jetzt müssen wir abwarten und herausfinden, ob sie den Hype, den sie nach ihrer ICO erzeugt haben, rechtfertigen können.