Beginnersgids voor Tezos: het controversiële zelfherstellende blockchain-platform

Tezos Gids

Een van de meest polariserende cryptocurrency-platforms, Tezos staat sindsdien in de schijnwerpers record van $ 232 miljoen ICO. Sindsdien heeft Tezos een litanie van problemen doorgemaakt, van class action-rechtszaken door ontevreden ICO-deelnemers tot een machtsstrijd tussen de eigenaren van intellectueel eigendom van de Tezos-broncode, Arthur en Kathleen Breitman, en de voormalige president en bestuurslid Johann Gevers.

Tezos KYC

De controverse rond het platform is onlangs gekalmeerd tot een meer typisch niveau in de cryptocurrency-ruimte, en de Tezos Foundation zelfs onlangs lanceerden hun Betanet, bijna een jaar na hun record ICO. Met zoveel berichtgeving over zijn spraakmakende geschiedenis alleen, is het feitelijke concept en de technologie die aan Tezos ten grondslag liggen, schijnbaar over het hoofd gezien door velen buiten de Tezos-gemeenschap.

Nu het stof lijkt te zijn neergedaald, roept het de vraag op, wat is Tezos precies en hoe zijn we hier terechtgekomen?

Een opmerkelijk bizarre geschiedenis

Tezos is het geesteskind van Arthur Breitman, een computerwetenschapper en voormalig toegepaste financiële kwantificeerder, die een wit papier en een positie papier in augustus 2014 onder het pseudoniem “L.M. Goede man”. Vervolgens ging Breitman het jaar daarop een bedrijf registreren met de naam Dynamic Ledger Solutions, Inc in Delaware, waarbij hij de CEO werd en het intellectuele eigendom van de Tezos-broncode in het bedrijf absorbeerde..

Tezos Whitepaper

Arthur en zijn vrouw Kathleen, een voormalig werknemer van Bridgewater Associates en R3, besloten een ICO uit te voeren om geld in te zamelen voor de bouw van het Tezos-platform nadat ze tevergeefs aanzienlijke investeringen hadden aangetrokken via traditionele media. Tezos is ontworpen als een “zelfaanpassend”, toestemmingsloos, gedistribueerd en peer-to-peer-netwerk op basis van slimme contracten. De nadruk van het platform ligt op het bieden van een gedecentraliseerde democratie door gebruik te maken van het bewijs van consensus van de inzet om alle belanghebbenden in staat te stellen deel te nemen aan een on-chain governance-protocol waarbij de gebruikers de richting van het netwerk bepalen.

De Tezos ICO haalde vervolgens in juli 2017 $ 232 miljoen op en de Breitmans richtten de Tezos Foundation op in Zug, Zwitserland. De Breitmans vroegen Johann Gevers om voorzitter te worden van de stichting die vervolgens Arthur’s bedrijf DLS zou opnemen en daarmee de intellectuele rechten op de Tezos-broncode..

Het verliep niet volgens plan en er ontstond een kloof tussen de Breitmans en Gevers. In wezen had Gevers als president van de Tezos Foundation (en ook als bestuurslid) controle over de fondsen die van de ICO werden opgehaald en ontstond er een meningsverschil over enkele medewerkers die Gevers aan boord had gebracht om de Tezos Foundation te helpen runnen..

Arthur Breitman

Arthur Breitman, afbeelding uit Oslo Freedom Forum

De tokens van de ICO moesten aan de bijdragers worden geleverd en de blockchain werd vrijgegeven onder een gratis softwarelicentie, maar de release werd steeds vertraagd, wat de zorgen van de bijdragers deed rijzen. Verder probeerden de Breitmans Gevers van het bestuur te verwijderen, wat leidde tot een zeer publieke ruzie, niet alleen tussen de Breitmans en Gevers, maar ook binnen de Tezos-gemeenschap en Arthur’s firma DLS..

DLS werd al snel het doelwit van verschillende class-action rechtszaken waarin werd beweerd dat de tokens van Tezos (Tezzies) als effecten moesten worden beschouwd en geregistreerd bij de SEC om legaal aan investeerders te worden verkocht. De poging om restituties terug te krijgen voor een deel van de rechtszaak die bijdroeg aan de rechtszaak, kwam niet tot stand als de SEC memorabel geweigerd een wet op de vrijheid van informatie verzoek van de gemeenschap uit vrees dat dit toekomstige handhavingsactiviteiten in gevaar kan brengen.

Uiteindelijk zijn Gevers en het bestuur van de Tezos Foundation in februari 2018 vrijwillig afgetreden en werden ze vervangen door twee Tezos-gemeenschapsleden die de Breitmans steunden, Michael Mauny en Ryan Jesperson. De uitgebreide details van het hele debacle zijn te vinden in Wired’s stuk vorige maand uitgebracht.

Updates van de Tezos Foundation voor de komende maanden waren schaars en de gemeenschap bleef bezorgd. Toen kondigde de Tezos Foundation vorige maand aan dat KYC / AML vereist zou zijn van de bijdragers aan hun ICO van het voorgaande jaar. De aankondiging kreeg een bittere reactie van de gemeenschap en werd voor velen gezien als de laatste druppel in een lange geschiedenis van problemen.

Zoals eerder vermeld, werd het Tezos Betanet een paar weken later gelanceerd en werd de eerste golf tokens eindelijk vrijgegeven. Het is niet verrassend dat er een grote uitverkoop op de weinige uitwisselingen is het momenteel beschikbaar (Gate.io & HitBTC). Voor degenen die hun tokens vasthielden, lijkt het erop dat het Tezos-project eindelijk van start is gegaan en dat de langverwachte beloften van het platform zich zullen ontvouwen.

Wat is Tezos en hoe werkt het?

Tezos is een toestemmingsloos, gedistribueerd en zelfaanpassend platform dat gebruik maakt van slimme contracten dat zich richt op het bieden van een uniek on-chain governance-mechanisme en een paar merkbare verbeteringen ten opzichte van vergelijkbare platforms zoals Ethereum. De focus van het platform ligt op een modulair ontwerp met triviale on-chain protocolupgrades door middel van een geoptimaliseerd Proof of Stake consensusmodel waarbij alle belanghebbenden kunnen deelnemen aan de bestuursstructuur.

Tezos-platform

De netwerkshell

Tezos maakt zijn unieke beheer- en zelfaanpassingsmogelijkheden mogelijk door gebruik te maken van een netwerkshell. Om te begrijpen hoe de Network Shell werkt, moeten we een typisch blockchain-protocol opsplitsen in 3 primaire en verschillende subprotocollen.

  1. Het netwerkprotocol
  2. Het transactieprotocol
  3. Het consensusprotocol

Het netwerkprotocol wordt doorgaans het “roddelprotocol” genoemd en is de manier waarop transacties over het netwerk tussen knooppunten worden uitgezonden. Dit protocol omvat ook het downloaden van de blockchain, het ontdekken van peers en het uitzenden van blokken naar het netwerk. Op het algemene protocolniveau bestaat het netwerkprotocol meestal uit de meeste innovatie- en ontwikkelingsactiviteiten.

Het transactieprotocol wordt gedefinieerd door de scripttaal van een cryptocurrency en is in het geval van Bitcoin beter bekend als het Unspent Transaction Output Model (UTXO). Met Bitcoin als voorbeeld bestaat dit protocol uit alles van het creëren van Bitcoin tijdens het minen tot het gebruik van digitale handtekeningen voor transactieverificatie. Een vork van het transactieprotocol wordt gewoonlijk een “zachte vork” genoemd en is meestal niet erg omstreden (althans in vergelijking met een harde vork).

Het consensusprotocol is waarschijnlijk het belangrijkste omdat het het model verwoordt voor het bereiken van consensus over de staat van de blockchain over alle knooppunten in het netwerk. Bitcoin gebruikt Proof of Work als consensusmodel, maar Tezos gebruikt een geoptimaliseerde vorm van Proof of Stake. Dit protocol is essentieel voor de duurzaamheid en authenticiteit van de blockchain, aangezien het dubbele uitgaven voorkomt en de blockchain onveranderlijk maakt. Een vork van het consensusprotocol is een “harde vork” en ze zijn gemakkelijk het meest omstreden. Harde forks hebben de neiging cryptocurrency-gemeenschappen te verdelen met meer spraakmakende zaken (Bitcoin / Bitcoin Cash) en is een probleem dat Tezos fundamenteel probeert op te lossen met zijn ontwerp.

De netwerkshell van Tezos combineert de transactie- en consensusprotocollen tot wat zij het “blockchain-protocol” noemen. Het blockchain-protocol is in feite een consistente reeks gelijktijdige mutaties in de globale toestand van de blockchain, waarbij de blokken van de blockchain worden gedefinieerd als de operators die handelen op de toestand van de keten. Daarom wordt het blockchain-protocol introspectief, waardoor blokken op het protocol zelf kunnen reageren. Dit heeft belangrijke gevolgen omdat het het zelfaanpassend vermogen van het platform mogelijk maakt, waar belanghebbenden rechtstreeks kunnen stemmen over protocolupgrades van het systeem.

De netwerkshell fungeert als een interface tussen het netwerkprotocol en het blockchain-protocol (transactie- en consensusprotocollen). Daarbij is het de verantwoordelijkheid van de netwerkshell om de best bekende keten in stand te houden die de klant kent. Tezos is geschreven in OCaml en de netwerkshell kan 3 objecten herkennen.

  1. Blokken
  2. Transacties
  3. Protocollen

Modules in OCaml kunnen worden gebruikt om het bestaande protocol direct te muteren (wijzigen). Belangrijk is ook dat de netwerkshell fungeert als afschrikmiddel voor het netwerk tegen DDoS-aanvallen. Het meest opvallende kenmerk van het Tezos-platform is de mogelijkheid om protocollen te implementeren die zichzelf kunnen aanpassen. Dit gebeurt op protocolniveau, maar aan de oppervlakte staat het in de volksmond bekend als de on-chain governance-functie.

Tezos-bestuur

De governance van het Tezos-platform ligt volledig bij de stakeholders. Alle belanghebbenden hebben de mogelijkheid om deel te nemen aan het beheer van het protocol en ze stemmen over voorgestelde protocolupgrades die zijn uitgegeven door ontwikkelaars die facturen kunnen toevoegen aan hun voorgestelde upgrades zodat ze worden gecompenseerd als hun voorstel wordt geaccepteerd.

Hoewel het oorspronkelijke stemmechanisme vooraf is gedefinieerd, kan het bestuursproces zelfs het stemmechanisme zelf veranderen naarmate het netwerk vordert. Er zijn veel voorwaarden die een protocolwijziging kunnen veroorzaken, met name een eenvoudige stemming van belanghebbenden.

Er kunnen echter veel complexere triggers worden geïmplementeerd via het bestuursproces, zoals het aantonen van de grondwettigheid van nieuwe amendementen met betrekking tot algemeen aanvaarde amendementen die worden beschouwd als kernprincipes van het platform en als zodanig worden gestemd door de belanghebbenden.

Slimme contracten & Formele verificatie

Een ander belangrijk kenmerk van Tezos is het gebruik van formele wiskundige verificaties van programma’s om hun veiligheid te bewijzen en tegelijkertijd de prevalentie van bugs in contractcode te beperken. Het gebruik van formele verificatie in combinatie met OCaml als programmeertaal is een verfrissende verbetering in slimme contractlogica, die heeft geleid tot een aantal hacks, waaronder de DAO-exploit en Parity wallet-hack.

Bewijs van consensus op het spel & Bakken

De Proof of Stake-implementatie van Tezos is een geoptimaliseerde combinatie van verschillende concepten, waaronder Slasher, Chain of Activity en Proof of Burn. In plaats van te delven, gebruikt Tezos wat zij “bakken” noemen. Bij het bakken wordt het maken van blokken uitgevoerd door de belanghebbenden die, in plaats van PoW uit te voeren om een ​​computationeel moeilijke puzzel op te lossen, het recht verkrijgen wanneer een Tezos-token (Tezzie) waarvan ze eigenaar zijn, willekeurig wordt geselecteerd om een ​​blok te maken..

Iedereen hoeft echter niet mee te doen aan het bakproces, zoals het uit dit model mag lijken. Gebruikers die niet willen deelnemen, kunnen hun munten eenvoudig aan anderen delegeren om te bakken. Bakkers worden een paar weken voordat ze daadwerkelijk moeten bakken gewaarschuwd, waar ze de vereiste symbolische borgsom doen (bekend als een ‘obligatie’), wat eigenlijk een dynamische borg is die verandert op basis van een aantal blokken die een afgevaardigde heeft ingesteld maken.

Tezos bakken

Bakkers ontvangen blokbeloningen voor eerlijk handelen (met succes een propageren van een geldig blok) en worden gestraft voor oneerlijk handelen (dubbele uitgaven proberen, blokken verspreiden op verschillende takken). Tezos gebruikt een aantal andere fijne kneepjes in dit proces, zoals het onderschrijven van broodjes en bakken. Bake-goedkeuring is wanneer een stakeholder wordt gevraagd om getuige te zijn dat ze een blok hebben gezien en de geldigheid ervan hebben geverifieerd. Rollen zijn groepen tokens die op deelnemersniveau worden verzameld en die een evenredige correlatie vertegenwoordigen tussen het bakvermogen en het aantal tokens dat aan hen is gedelegeerd.

Om te bakken wordt minimaal 8GB RAM en een betrouwbare internetverbinding geadviseerd. Bovendien moet u enkele Tezos-tokens bezitten en kunt u meer bronnen vinden over hoe u kunt deelnemen aan het Tezos-netwerk en de gemeenschap op hun website.

Gevolgtrekking

Ondanks een aantoonbaar omstreden begin, heeft Tezos nu hun Beta gelanceerd en biedt het een aantal veelbelovende innovaties, vooral op het gebied van bestuur. Beheer van blockchain-netwerken is een van de moeilijkste taken om op zich te nemen, aangezien het een volledig nieuw veld is dat bestaat uit het creëren van duurzame en eerlijke bestuursmechanismen voor uitgebreide netwerken van gedecentraliseerde gebruikers.

Tegenwoordig beweren veel blockchains de geweldige oplossing te zijn voor de problemen waarmee eerdere netwerken zoals Bitcoin en Ethereum werden geconfronteerd, en hoewel ze mogelijk enkele unieke innovaties uit de doos bieden, moeten hun verifieerbare duurzaamheid, veiligheid en praktische toepassing nog volledig worden gerealiseerd. . Misschien met een governance-mechanisme dat is ontworpen om het platform autonoom te laten evolueren, kan Tezos een nieuw model bieden voor on-chain governance van schaalbare, gedecentraliseerde netwerken.

handige links

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me