🔥 Tezos Wiki - XTZ-cursus, cryptocurrency en meer!
Tezos brak in de crypto-ruimte door $ 232 miljoen in hun toen recordbrekende ICO te stoppen. Sinds hun ICO is hun lanceringsdatum voortdurend uitgesteld vanwege drama achter de schermen en andere conflicten. Tezos is officieel gelanceerd in september 2018 en nu is het een goed moment om als elk ander deel te nemen aan dit opwindende project. Dus wat is Tezos?
Wat is de Tezos-munt?
Op de website van Tezos staat: "Tezos is een nieuwe gedecentraliseerde blockchain die zichzelf regeert door een echt digitaal gemenebest op te bouwen".
Tezos (XTZ) is een blockchain-netwerk dat is verbonden met een digitaal token dat een tez of tezzie wordt genoemd. Tezos is niet gebaseerd op mining tez. In plaats daarvan ontvangen tokenhouders een beloning voor hun deelname aan het proof-of-stake consensusmechanisme.
Een Gemenebest is een groep die zich verenigt op basis van hun gemeenschappelijke doelen en belangen. Het belangrijkste doel van Tezos is om hun tokenhouders samen te laten werken om beslissingen te nemen die hun protocol in de loop van de tijd zullen verbeteren. Het oorspronkelijke Tezos-token is XTZ.
Tezos heeft veel functies die het uniek maken. We zullen ze later in de gids behandelen. Laten we u voorlopig wat achtergrondinformatie over het project geven.
Begin op eToro, de testwinnaar van Bitcoin-News.one
MELD U NU AAN
Een korte geschiedenis van wat Tezos is
De medeoprichters, Arthur Breitman en Kathleen Breitman, ontwikkelen Tezos sinds 2014 met een kerngroep van developers. Het hoofdkantoor van het bedrijf is gevestigd in Zwitserland. Zoals we eerder zeiden, hebben ze in slechts 2 weken $ 232 miljoen opgehaald in een niet-afgetopte ICO, waarbij ze bijdragen van zowel Bitcoin als Ethereum accepteerden. Kort na hun historische ICO stortte Tezos zich als eerste in een groot aantal managementproblemen. Om deze managementkwesties te begrijpen, moet u weten dat het bedrijf dat Tezos heeft opgericht DLS (Dynamic Ledger Solutions) wordt genoemd en dat het bedrijf dat alle fondsen bezit die tijdens de ICO zijn opgehaald, de Tezos Foundation wordt genoemd.
Arthur en Kathleen Breitman kregen in het openbaar ruzie met de voorzitter van de Tezos Foundation, Johann Gevers. Blijkbaar weigerde Gevers, die de controle over de fondsen had, de fondsen aan de Breitmans te betalen. Dit geschil veroorzaakte chaos binnen de gemeenschap en de geschatte wisselkoers kelderde. De Breitmans gaven een vernietigende verklaring over Gevers af met woorden als "zelfhandel, zelfpromotie en belangenconflicten".
Uiteindelijk, na veel drama en ongewenste media-aandacht, verliet Gevers het bedrijf nadat hij meer dan $ 400.000 aan ontslagvergoeding had ontvangen. Nu verloopt alles eindelijk op rolletjes. Dus met dat in gedachten, laten we naar de kale details gaan.
Tezos-architectuur
U kunt vragen "Wat is Tezos?" antwoord niet correct. De Tezos blockchain gebruikt een agonistische native middleware genaamd "Network Shell". Hierdoor kunnen ze een modulaire stijl ontwikkelen met een zelf veranderend grootboek. Een generiek blockchain-protocol is onderverdeeld in drie lagen:
- Netwerkprotocol: dit is het Gossip-protocol dat verantwoordelijk is voor peer-luisteren en overdracht tussen knooppunten.
- Transactieprotocol: dit is de transactielaag die het factureringsmodel heeft gedefinieerd dat door de blockchain is geïmplementeerd.
- Consensusprotocol: spreekt voor zich. Het definieert het consensusprotocol dat onze blockchain zal helpen om afspraken te maken over de status van onze transacties.
In Tezos worden de laatste twee protocollen, transactie en consensus, samengevat en het blockchain-protocol genoemd. De Network Shell ondersteunt communicatie tussen het netwerkprotocol en het blockchain-protocol. De netwerkshell is agnostisch ten opzichte van het transactieprotocol en het consensusprotocol.
De twee accounts van Tezos
De twee soorten accounts die u in Tezos kunt gebruiken, zijn
- Impliciete accounts; en
- Originele rekeningen.
Impliciete accounts
Dit zijn de meest voorkomende accounts in Tezos. Ze beginnen met tz1 (bijv. Tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Dit is een eenvoudig account dat wordt gegenereerd op basis van een paar openbare / privésleutels. Het openbare adres tz1 is afgeleid van de openbare sleutel en elk tz1-account heeft zijn eigen privésleutel. Deze rekeningen hebben een rekeninghouder en een rekeningsaldo.
Impliciete accounts kunnen geen gemachtigde hebben. Om geld te delegeren, moeten ze geld overboeken naar een oorspronkelijke rekening en vervolgens moet een afgevaardigde worden benoemd.
Begin op eToro, de testwinnaar van Bitcoin-News.one
MELD U NU AAN
Originele rekeningen
Naast impliciete accounts heb je ook accounts voor je slimme contracten die bronaccounts worden genoemd. Deze beginnen met KT1 (bijv.KT1Wv8Ted4b6b6raZDMoepkCPT8MkNFxyT2Ddo). Deze accounts hebben de volgende velden:
- Manager - Dit is de privésleutel van het account
- Bedrag - bedrag van Tz op deze rekening
- Delegeerbaar - Als het geld van deze rekening kan worden gedelegeerd om te bakken
- Gedelegeerde velden - Informatie over aan wie dit account heeft gedelegeerd om te bakken.
Een oorspronkelijke rekening kan zijn fondsen delegeren naar de impliciete rekening van de bakker. We zullen later meer over Baker praten.
Tezos heeft drie unieke vaardigheden:
- Bestuur op de keten en zelfverandering.
- Een vloeibaar consensusmechanisme met bewijs van inzet
- Slimme contracten met formele verificatie.
Laten we ze allemaal om beurten doornemen.
1. On-chain governance en zelfverandering
Om het belang van on-chain governance en zelfverandering te begrijpen, moet u eerst het "F-woord" in de cryptogemeenschap, de forks, begrijpen.
Een fork is een toestand waarin de toestand van de blockchain uiteenvalt in ketens, waarbij een deel van het netwerk een ander perspectief heeft op de geschiedenis van transacties dan een ander deel van het netwerk. Dat is eigenlijk wat een fork is, het is een divergentie in het perspectief van de staat van de blockchain. Een vork kan worden bereikt door middel van een zachte vork of een harde vork.
Wat is een zachte vork?
Wanneer een ketting vernieuwd moet worden, zijn er twee opties: een zachte vork of een harde vork. Beschouw soft fork als een update in software die achterwaarts compatibel is. Wat betekent dat? Ervan uitgaande dat u MS Excel 2005 op uw laptop gebruikt en een spreadsheet wilt openen die is geïntegreerd in MS Excel 2015, kunt u deze nog steeds openen omdat MS Excel 2015 achterwaarts compatibel is.
MAAR nadat ik heb gezegd dat er een verschil is. Alle updates waarvan u kunt genieten in de nieuwere versie, zijn niet zichtbaar voor u in de oudere versie. Om terug te komen op onze MS Excel-analogie: ervan uitgaande dat er een functie is waarmee u GIF's in de tabel kunt invoegen in de 2015-versie, zult u deze GIF's niet langer zien in de 2005-versie. Dus eigenlijk zie je alle tekst, maar niet de GIF.
Begin op eToro, de testwinnaar van Bitcoin-News.one
MELD U NU AAN
Wat is een harde vork?
Het belangrijkste verschil tussen een zachte vork en een harde vork is dat deze niet achterwaarts compatibel is. Eenmaal gebruikt is er absoluut geen weg meer terug. Als u zich niet aansluit bij de bijgewerkte versie van de blockchain, krijgt u geen toegang tot de nieuwe updates of interactie met de gebruikers van het nieuwe systeem, wat dan ook. Denk aan PlayStation 3 en PlayStation 4. Je kunt geen PS3-games spelen op PS4 en je kunt geen PS4-games spelen op PS3.
Dit is hoe Andreas Antonopoulos het verschil tussen harde en zachte vork beschrijft: als een vegetarisch restaurant besluit varkensvlees op het menu te zetten, wordt het als een harde vork beschouwd. Als het ervoor kiest om veganistische gerechten toe te voegen, kan iedereen die vegetariër is nog steeds veganistisch eten, je hoeft geen veganist te zijn om daar te eten, je zou nog steeds vegetarisch kunnen zijn om daar te eten, en vleeseters kunnen daar ook eten, dus dat is een zachte vork .
Eén ding moet hier duidelijk zijn. Vorken zijn niet slecht. Een platform van hoge kwaliteit moet voortdurend evolueren en zichzelf updaten. Om dit te doen, is het absoluut noodzakelijk dat een systeem door constante vorken gaat, hard en zacht. Het grootste probleem ligt bij de controversiële harde vorken die de gemeenschap verdelen.
Het meest voor de hand liggende voorbeeld hiervan zijn alle zware tests die Bitcoin en Bitcoin Cash hebben ondergaan. Bitcoin werd opgesplitst in Bitcoin en Bitcoin Cash, terwijl Bitcoin Cash zelf later werd opgesplitst in Bitcoin Cash en Bitcoin SV. De splitsing tussen Bitcoin Cash en Bitcoin SV was bijzonder lelijk. Het veroorzaakte de zogenaamde "Hash Wars".
De hasjoorlog bestond in feite uit deze twee ketens die hun hasjkracht gebruikten om de langste keten te delven. De langste keten zou de dominante Bitcoin-geldketen worden. Deze onnodige ophef dompelde de hele cryptogemeenschap in de afgrond toen de hele marktkapitalisatie waarde verloor. Erger nog, het heeft de Bitcoin Cash-gemeenschap in tweeën gesplitst.
Dit is precies wat Tezos wilde vermijden.
Zoals Kathleen Breitman het stelt: "De grote ironie van Bitcoin is dat het uiteindelijk een hulpmiddel is voor consensus binnen de gemeenschap, maar het wordt [aangetast door] een enorme hoeveelheid vijandigheid. Tezos maakt innovatie op een systematische manier mogelijk en dat Wise gebeurt, in tegenstelling tot aan iemand die uit de politiek is geboren. Je zult geen twee mensen vinden die meer een hekel hebben aan politiek dan Arthur en ik. Dat is het idee achter Tezos: laten we dit buitengewoon informele proces formaliseren ".
Hoe kan dit worden verzacht met Tezos?
Tezos verzacht de controversiële harde vork door zelfverandering en on-chain governance. De zelfverandering helpt om de blockchain te upgraden zonder door een hard fork te gaan. On-chain governance betekent simpelweg stemmen over een voorgestelde wijziging op het platform. Met een combinatie van on-chain governance en zelfaanpassing kan het coördinatieproces naar behoefte worden aangepast of gewijzigd. De stakeholders van het systeem (waarover we later zullen praten) zorgen voor de stemming. Door het ontwerp van dit systeem kan de blockchain zich soepel ontwikkelen in plaats van een hard fork te moeten doen.
Dus hoe werkt dat precies?
- De ontwikkelaars dienen onafhankelijk voorstellen voor protocolupgrades in en vragen een vergoeding voor hun werk.
- De claim voor compensatie zorgt ervoor dat ontwikkelaars een sterke economische prikkel hebben om bij te dragen aan het ecosysteem
- Het voorstel doorloopt een testfase waarin de gemeenschap het protocol test en bekritiseert op mogelijke verbeteringen.
- Na herhaalde tests kunnen Tezos-tokenhouders stemmen over het al dan niet accepteren van het voorstel.
- Zodra er is besloten tot een legitieme upgrade, vindt er een "hot swap" plaats op het protocol, die de nieuwe versie van het protocol initieert.
Dankzij dit systeem wordt het protocol passief en gedecentraliseerd bijgewerkt. Elke individuele protocolupdate doorloopt verschillende testfasen en ontvangt relevante feedback van de gemeenschap. Dit zorgt ervoor dat elke verbetering wordt goedgekeurd door een meerderheid van de gemeenschap. Dit voorkomt dat de community zich afsplitst.
2. Proof-of-Work consensusmechanisme - Hoe werkt het bij Tezos?
Het consensusmechanisme van de gemeenschap is het hart en de ziel van een gedecentraliseerd netwerk. Het heeft geen zin om meerdere knooppunten via een WAN-netwerk te verbinden als er geen concrete methoden zijn om met elkaar te communiceren en tot een besluit te komen. Toen Satoshi Nakamoto Bitcoin creëerde, bouwde hij het proof-of-work consensusmechanisme erin. Het idee van het POW-mechanisme is vrij eenvoudig:
- Laat de mijnwerkers hun rekenkracht gebruiken om cryptografisch moeilijke puzzels op te lossen.
- Beloon de mijnwerkers die deze puzzels hebben kunnen oplossen.
Zo simpel is het, deze puzzels zijn zo moeilijk dat ze meestal veel van je rekenvaardigheid gebruiken. Hoewel de POW in het begin zeker effectief was, heeft hij veel problemen:
- Eerst en vooral is het proof-of-work een buitengewoon inefficiënt proces vanwege de enorme hoeveelheid kracht en energie die het verbruikt.
- Mensen en organisaties die zich snellere en krachtigere ASIC's kunnen veroorloven, hebben doorgaans een grotere kans op mining dan de anderen.
- Krijgsgevangenen leiden tot centralisatie.
Om de problemen van POW tegen te gaan, werd een nieuw consensusprotocol met de naam "Proof of Stake" of POS ontwikkeld.
Begin op eToro, de testwinnaar van Bitcoin-News.one
MELD U NU AAN
Wat is het bewijs van inzet?
Het bewijs van inzet maakt het hele mijnbouwproces virtueel en vervangt de mijnwerkers door validators. Hier is hoe het proces zal verlopen:
- De controleurs zullen een deel van hun munten als POS moeten opsluiten.
- Daarna beginnen ze met het valideren van de blokken. Dat wil zeggen, wanneer ze een blok ontdekken waarvan ze denken dat het aan de ketting kan worden toegevoegd, valideren ze het door erop te wedden.
- Als het blok is bevestigd, ontvangen de examinatoren een beloning die evenredig is met hun inzet.
Dit kan echter een probleem zijn, aangezien het nog steeds de hele gemeenschap omvat en mogelijk niet de meest schaalbare methode is. Om deze reden worden veel moderne blockchains zoals EOS, Cardano, Lisk, NEO etc. gebouwd met een gedelegeerd protocol. EOS en Lisk gebruiken een "proof-of-stake" gedelegeerd protocol waarin een vast aantal afgevaardigden wordt voorgekozen. Deze afgevaardigden zijn degenen die verantwoordelijk zijn voor de consensus en het algemeen welzijn van het netwerk.
Het consensusmechanisme van Tezos is vergelijkbaar met dit, maar met een klein verschil. In plaats van de hardcore delegatie, neemt Tezos een vloeiend democratiemodel op in zijn consensus.
Hoe werkt Liquid Democracy?
Het is een systeem dat stroomt tussen directe democratie en representatieve democratie. Het proces heeft de volgende kenmerken:
- Mensen kunnen rechtstreeks stemmen over hun beleid.
- Mensen kunnen hun stemverantwoordelijkheid delegeren aan een afgevaardigde die voor hen over hun beleid kan stemmen.
- De afgevaardigden kunnen zelf hun stemverantwoordelijkheid delegeren aan een andere afgevaardigde die namens hen kan stemmen. Deze eigenschap, waarin een afgevaardigde zijn eigen afgevaardigde kan noemen, staat bekend als transitiviteit.
- Als een persoon die zijn stemrecht heeft gedelegeerd, de door zijn afgevaardigden gekozen stem niet leuk vindt, kunnen ze eenvoudig hun stem intrekken en zelf over het beleid stemmen.
Dus wat zijn de voordelen van een vloeibare democratie?
- De mening van elk individu is belangrijk en speelt een rol bij de uiteindelijke beleidsvorming.
- Om afgevaardigde te worden, hoeft u alleen maar iemands vertrouwen te winnen. U hoeft geen miljoenen dollars uit te geven aan dure verkiezingscampagnes. Hierdoor is de toetredingsdrempel relatief laag.
- Vanwege de mogelijkheid om te schommelen tussen directe en gedelegeerde democratie, kunnen minderheidsgroepen eerlijker worden vertegenwoordigd.
- Het heeft tenslotte een schaalbaar model. Iedereen die geen tijd heeft om over zijn beleid te stemmen, kan eenvoudig zijn stemverantwoordelijkheid delegeren.
Wat is een vloeibaar bewijs van inzet?
In tegenstelling tot DPoS (Delegated Proof of Stake), is er geen vaste regel dat afgevaardigden noodzakelijkerwijs moeten worden geselecteerd. Het is geheel aan de deelnemers wat ze willen doen. Oké, laten we beginnen met de LPoS.
Tezos is een vloeibaar proof of stake-systeem waarvoor een bepaald aantal Tezos-tokens nodig is om deel te nemen aan de consensus over de blockchain. Het proces van "mijnbouw" Tezos-tokens (XTZ) staat bekend als bakken.
Tokenhouders alias "Baker" kunnen hun validatierechten delegeren aan andere tokenhouders zonder het eigendom over te dragen. In tegenstelling tot EOS is delegatie optioneel.
XTZ blokkeert bakken
U vindt blokken en voegt deze toe aan de Tezos-blockchain via een proces dat "bakken" wordt genoemd. En zo werkt het:
- Baker ontvangt blokpublicatierechten op basis van hun aandeel.
- Elk blok wordt 'gebakken' door een willekeurige bakker en vervolgens gecertificeerd door 32 andere willekeurige bakkers.
- Als het blok klaar is voor gebruik, wordt het blok toegevoegd aan de blockchain.
- De succesvolle bakker ontvangt een “blokbeloning” en kan transactiekosten in rekening brengen voor alle transacties binnen het blok.
Zoals we eerder zeiden, hebben houders van bakmunten de mogelijkheid om hun bakrechten aan andere houders te delegeren zonder het eigendom van hun bakmunten los te laten. Nadat het bakken is voltooid, deelt de bakker zijn beloningen met de rest van de afgevaardigden.
Begin op eToro, de testwinnaar van Bitcoin-News.one
MELD U NU AAN
3. Slimme contracten en formele verificatie
Tezos is gecodeerd met OCaml. Het slimme contract dat op Tezos zal lopen, wordt gemaakt met Michelson. Dus wat is er speciaal aan deze talen? Het zijn beide functionele talen. Als het om talen gaat, behoren ze tot twee families:
- Imperativ
- Functioneel
Imperatieve programmeertalen
Een dwingende benadering vereist dat de codeur alle stappen opschrijft die de computer moet nemen om een doel te bereiken. Al onze traditionele programmeertalen zoals C ++, Java en zelfs Solidity zijn noodzakelijke programmeertalen. Dit type programmeerbenadering wordt ook wel algoritmisch programmeren genoemd.
Laten we een voorbeeld nemen van wat we daarmee bedoelen. Laten we eens kijken naar C ++. Stel dat we 5 en 3 willen optellen.
int a = 5;
intb = 3;
intc;
c = a + b;
Zoals u kunt zien, bestaat het optelproces dus uit verschillende stappen, en elke stap verandert voortdurend de status van het programma, aangezien ze allemaal een voor een worden uitgevoerd. Een optelproces omvatte vier stappen en de stappen zijn:
- Declareer een geheel getal a en wijs de waarde 5 toe.
- Declareer een geheel getal b en wijs de waarde 3 toe.
- Declareer een geheel getal c.
- De waarden van en b worden opgeteld en opgeslagen in c.
Functionele programmeertalen
De tweede familie van programmeertalen zijn de functionele talen. Deze stijl van programmeren is ontwikkeld om een functionele benadering van het oplossen van problemen te bieden. Dit type benadering wordt declaratieve programmering genoemd. Dus hoe werkt functioneel programmeren?
Stel dat er een functie f (x) is die we willen gebruiken om een functie g (x) te berekenen, en dan willen we die functie gebruiken om met een functie h (x) te werken. In plaats van al deze functies in één reeks op te lossen, kunnen we ze allemaal samenvoegen in een enkele functie zoals deze:
h (g (f (x)))
Dit maakt het gemakkelijker om de functionele benadering wiskundig te verantwoorden. Om deze reden moeten functionele programma's een veiligere benadering zijn voor het maken van slimme contracten. Dit draagt ook bij aan eenvoudiger formele verificatie, wat vrijwel betekent dat het gemakkelijker is om wiskundig te bewijzen wat een programma doet en hoe het zich gedraagt.
Laten we een voorbeeld uit het echte leven nemen en zien waarom dit onder bepaalde omstandigheden buitengewoon kritisch en zelfs levensreddend kan zijn.
Stel dat we een programma coderen dat het luchtverkeer regelt. Zoals u zich kunt voorstellen, vereist het coderen van een dergelijk systeem veel precisie en nauwkeurigheid. We kunnen niet zomaar iets blindelings coderen en er het beste van hopen als het leven van mensen in gevaar is. In dergelijke situaties hebben we code nodig waarvan is aangetoond dat deze met een hoge mate van wiskundige zekerheid werkt.
Dit is precies waarom de functionele benadering zo wenselijk is. Dit is de reden waarom Tezos OCaml en hun slimme contracten Michelson gebruikt.
Laten we dus eens kijken naar de voordelen van de functionele benadering:
- Helpt bij het maken van code met een hoge mate van zekerheid, omdat het gemakkelijker is om het wiskundige gedrag van de code te demonstreren.
- Verhoogt de leesbaarheid en onderhoudbaarheid, aangezien elke functie is ontworpen om een specifieke taak te vervullen. De functies zijn ook toestandsonafhankelijk.
- De code is gemakkelijker te hervormen en eventuele wijzigingen in de code zijn gemakkelijker te implementeren. Dit vergemakkelijkt herhaalde ontwikkeling.
- De afzonderlijke functies kunnen eenvoudig worden geïsoleerd, wat het testen en debuggen gemakkelijker maakt.
Meer over Michelson
Michelson is een sterk getypeerde, gestapelde taal. In Ethereum worden slimme contracten geschreven in Solidity of Viper en gecompileerd in EVM-bytecode, die vervolgens wordt uitgevoerd in de virtuele machine van Ethereum (EVM). Er is geen onnodige extra stap in Tezos en de Michelson-code zelf draait in de Tezos VM.
Wat is het voordeel van deze aanpak? Het kan gemakkelijk door mensen worden gelezen, wat helpt bij het vaststellen van het correctheidsbewijs en helpt fouten te voorkomen.
Begin op eToro, de testwinnaar van Bitcoin-News.one
MELD U NU AAN
Het volgende is een voorbeeld van een Michelson-contract
Parameters (paar (lambda int int) (lijst int));
Return (lijst int);
Opslagruimte;
Code {DIP {NIL int};
AUTO;
DUP;
DIP {AUTO; PAAR}; # Pak de gegevens uit en stel de accu in
CDR;
LAMBDA (paar int (paar (lambda int int) (lijst int)))
(Paar (lambda int int) (lijst int))
# Pas de lambda toe en voeg het nieuwe item toe aan de lijst
{DUP; CDAR;
DIP {DUP; DIP {CDAR}; DUP;
AUTO; DIP {CDDR; SWAP}; EXEC; CONS};
PAAR};
VERMINDEREN; CDR; DIP {NIL int}; # Eerst verkleinen
LAMBDA (paar int (lijst int))
(Lijst int)
{DUP; AUTO; DIP {CDR}; NADEEL};
VERMINDEREN; # Juiste lijstvolgorde
EENHEID; UITWISSELING; PAIR} # Congres bijeenroepen
Onze conclusie over Tezos
Dus daar heb je het. Tezos is een buitengewoon fascinerend project dat helaas overschaduwd is door al het drama achter de schermen. Dit project verdient een meer gedetailleerde analyse omdat het een interessant gebruik oplevert voor de blockchain-ruimte. Nu moeten we afwachten of ze de hype die ze na hun ICO hebben gegenereerd, kunnen rechtvaardigen.