đ„ Tezos Wiki - XTZ-kurs, kryptovaluta og mer!
Tezos brÞt seg inn i kryptorommet ved Ä sette 232 millioner dollar i deres davÊrende rekordstore ICO. Siden lanseringsdatoen deres har ICO kontinuerlig blitt forsinket pÄ grunn av drama bak kulissene og andre konflikter. Tezos ble offisielt lansert i september 2018, og det er nÄ en god tid som alle andre Ä bli involvert i dette spennende prosjektet. SÄ hva er Tezos?
Hva er Tezos-mynten?
PĂ„ Tezos-nettstedet heter det: "Tezos er en ny desentralisert blockchain som styrer seg selv ved Ă„ bygge et ekte digitalt fellesskap".
Tezos (XTZ) er et blockchain-nettverk koblet til et digitalt token kalt tez eller tezzie. Tezos er ikke basert pÄ mining tez. I stedet fÄr tokenholdere en belÞnning for Ä delta i konsensusmekanismen for bevis.
Et Commonwealth er en gruppe som forener seg pÄ grunnlag av deres felles mÄl og interesser. HovedmÄlet med Tezos er Ä fÄ tokenholdere til Ä samarbeide for Ä ta avgjÞrelser som vil forbedre protokollen deres over tid. Det opprinnelige Tezos-tokenet er XTZ.
Tezos har mange funksjoner som gjÞr den unik. Vi vil dekke dem senere i guiden. For nÄ, la oss gi deg litt bakgrunn om prosjektet.
â
En kort historie om hva Tezos er
Medstifterne, Arthur Breitman og Kathleen Breitman, har utviklet Tezos siden 2014 med en kjernegruppe av utviklere. Selskapet har hovedkontor i Sveits. Som vi sa tidligere, samlet de pÄ bare to uker $ 2 millioner i en ICO uten avgrensning, og godtok bidrag fra bÄde Bitcoin og Ethereum. Rett etter deres historiske ICO kastet Tezos hodet fÞrst i en rekke ledelsesproblemer. For Ä forstÄ disse ledelsesspÞrsmÄlene, mÄ du vite at selskapet Tezos grunnla heter DLS (Dynamic Ledger Solutions) og selskapet som har alle midlene som ble samlet inn under ICO, heter Tezos Foundation.
Arthur og Kathleen Breitman kom i et offentlig argument med presidenten for Tezos Foundation, Johann Gevers. Tilsynelatende nektet Gevers, som hadde kontroll over midlene, Ă„ betale midlene til Breitmans. Denne tvisten skapte kaos i samfunnet, og den estimerte valutakursen falt. Breitmans utstedte en fordĂžmmende uttalelse til Gevers som inkluderte ord som "egenhandel, selvopprykk og interessekonflikter".
Til slutt, etter mye drama og uÞnsket medieoppmerksomhet, forlot Gevers selskapet etter Ä ha mottatt mer enn $ 400.000 XNUMX i etterlÞnn. NÄ gÄr alt endelig greit. SÄ med det i tankene, la oss komme ned til de bare detaljene.
Tezos arkitektur
Du kan spĂžrre "Hva er Tezos?" ikke svar riktig. Tezos-blokkjeden bruker en agonistisk innfĂždt mellomvare kalt "Network Shell". Dette gjĂžr at de kan utvikle en modulĂŠr stil med en selvskiftende hovedbok. En generell blockchain-protokoll er delt inn i tre lag:
- Nettverksprotokoll: Dette er sladderprotokollen som er ansvarlig for peer-lytting og overfĂžring mellom noder.
- Transaksjonsprotokoll: Dette er transaksjonslaget som definerte faktureringsmodellen implementert av blockchain.
- Consensus Protocol: Ganske selvforklarende. Den definerer konsensusprotokollen som vil hjelpe blockchain Ä nÄ avtaler om status for transaksjonene vÄre.
I Tezos er de to siste protokollene, transaksjon og konsensus, oppsummert og referert til som blockchain-protokollen. Network Shell stĂžtter kommunikasjon mellom nettverksprotokollen og blockchain-protokollen. Nettverksskallet er agnostisk overfor transaksjonsprotokollen og konsensusprotokollen.
De to beretningene om Tezos
De to typer kontoer du kan bruke i Tezos er
- Implisitte kontoer; og
- Opprinnelige kontoer.
Implisitte kontoer
Dette er de vanligste kontoene i Tezos. De starter med tz1 (f.eks. Tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Dette er en enkel konto generert fra et par offentlige / private nĂžkler. Tz1-adressen er avledet fra den offentlige nĂžkkelen, og hver tz1-konto har sin egen private nĂžkkel. Disse kontoene har en kontoinnehaver og en kontosaldo.
Implisitte kontoer kan ikke ha en delegat. For Ä delegere midler mÄ de overfÞre midler til en opprinnelig konto, og deretter mÄ en delegat oppnevnes.
â
Opprinnelige kontoer
I tillegg til implisitte kontoer har du ogsÄ kontoer for smarte kontrakter som kalles kildekontoer. Disse starter med KT1 (f.eks. KT1Wv8Ted4b6b6raZDMoepkCPT8MkNFxyT2Ddo). Disse kontoene har fÞlgende felt:
- Manager - Dette er kontoens private nĂžkkel
- BelÞp - mengden Tz pÄ denne kontoen
- Delegable - Hvis midlene til denne kontoen kan delegeres til baking
- Delegerte felt - Informasjon om hvem denne kontoen har delegert til baking.
En opprinnelig konto kan delegere midlene til Bakerens implisitte konto. Vi snakker mer om Baker senere.
Tezos har tre unike evner:
- On-chain governance og selvendring.
- En flytende konsensusmekanisme
- Smarte kontrakter med formell bekreftelse.
La oss gÄ gjennom hver av disse etter tur.
1. Styring i kjeden og selvendring
For Ä forstÄ viktigheten av kjedestyring og selvendring, mÄ du fÞrst forstÄ "F-ordet" i kryptosamfunnet, gaflene.
En gaffel er en tilstand der tilstanden til blockchain brytes ned i kjeder, der en del av nettverket har et annet perspektiv pÄ transaksjonshistorikken enn en annen del av nettverket. Det er i utgangspunktet hva en gaffel er, det er en avvik i perspektivet til tilstanden til blockchain. En gaffel kan oppnÄs gjennom en myk gaffel eller en hard gaffel.
Hva er en myk gaffel?
NÄr en kjede mÄ oppdateres, er det to alternativer: en myk gaffel eller en hard gaffel. Tenk pÄ soft fork som en oppdatering i programvare som er bakoverkompatibel. Hva betyr det? Forutsatt at du kjÞrer MS Excel 2005 pÄ den bÊrbare datamaskinen og vil Äpne et regneark integrert i MS Excel 2015, kan du fortsatt Äpne det fordi MS Excel 2015 er bakoverkompatibel.
MEN etter Ă„ ha sagt er det en forskjell. Eventuelle oppdateringer du kan glede deg over i den nyere versjonen, vil ikke vĂŠre synlige for deg i den eldre versjonen. For Ă„ komme tilbake til MS Excel-analogien: Forutsatt at det er en funksjon som lar deg sette inn GIF-er i tabellen i 2015-versjonen, vil du ikke lenger se disse GIF-ene i 2005-versjonen. SĂ„ i utgangspunktet ser du all teksten, men ikke GIF.
â
Hva er en hard gaffel?
Hovedforskjellen mellom en myk gaffel og en hard gaffel er at den ikke er bakoverkompatibel. NÄr den er brukt, er det absolutt ingen vei tilbake. Hvis du ikke blir med i den oppdaterte versjonen av blockchain, fÄr du ikke tilgang til de nye oppdateringene eller samhandler med brukerne av det nye systemet, uansett. Tenk PlayStation 3 og PlayStation 4. Du kan ikke spille PS3-spill pÄ PS4, og du kan ikke spille PS4-spill pÄ PS3.
Slik beskriver Andreas Antonopoulos forskjellen mellom hard og myk gaffel: Hvis en vegetarisk restaurant bestemte seg for Ä sette svinekjÞtt pÄ menyen, ville det bli ansett som en hard gaffel. Hvis det valgte Ä legge til veganske retter, kan alle som er vegetarianere fortsatt spise veganer, du trenger ikke Ä vÊre veganer for Ä spise der, du kan fortsatt vÊre vegetarianer Ä spise der, og kjÞttetere kan ogsÄ spise der, sÄ det er en myk gaffel .
En ting skal vÊre tydelig her. Gafler er ikke en dÄrlig ting. En plattform av hÞy kvalitet bÞr hele tiden utvikle seg og oppdatere seg selv. For dette er det helt nÞdvendig at et system gÄr gjennom konstante gafler, harde og myke. Hovedproblemet ligger i kontroversielle harde gafler som deler samfunnet.
Det mest Äpenbare eksemplet pÄ dette er alle de tÞffe testene som Bitcoin og Bitcoin Cash har gjennomgÄtt. Bitcoin ble delt inn i Bitcoin og Bitcoin Cash, mens Bitcoin Cash selv senere ble delt i Bitcoin Cash og Bitcoin SV. Delingen mellom Bitcoin Cash og Bitcoin SV var spesielt stygg. Det utlÞste den sÄkalte "Hash Wars".
Hash-krigen besto i utgangspunktet av disse to kjedene som brukte deres hashkraft til Ă„ utvinne den lengste kjeden. Den lengste kjeden blir angivelig den dominerende Bitcoin kontantkjeden. Dette unĂždvendige oppstyret kastet hele kryptosamfunnet i avgrunnen ettersom hele markedsverdien mistet verdien. Verre, det delte Bitcoin Cash-fellesskapet i to.
Dette er akkurat det Tezos Þnsket Ä unngÄ.
Som Kathleen Breitman uttrykker det, "Den store ironien i Bitcoin er at det til slutt er et verktÞy for samfunnssamfunn, men det er [plettet av] en enorm mengde fiendtlighet. Tezos muliggjÞr innovasjon pÄ en systematisk mÄte og at Wise skjer, i motsetning til til en fÞdt av politikk. Du vil ikke finne to personer som avskyr politikk mer enn Arthur og jeg. Det er ideen bak Tezos: la oss formalisere denne ekstraordinÊrt uformelle prosessen ".
Hvordan kan dette avbĂžtes med Tezos?
Tezos demper kontroversiell hard gaffel gjennom selvendring og styring i kjeden. Selvendringen hjelper til med Ä oppgradere blockchain uten Ä gÄ gjennom en hard gaffel. Styring i kjeden betyr ganske enkelt Ä stemme pÄ en foreslÄtt endring pÄ plattformen. Med en kombinasjon av kjedestyring og selvendring kan koordineringsprosessen endres eller endres etter behov. Systemets interessenter (som vi snakker om senere) tar seg av avstemningen. Utformingen av dette systemet gjÞr at blockchain kan utvikle seg jevnt i stedet for Ä mÄtte gjÞre en hard gaffel.
SĂ„ hvordan fungerer det akkurat?
- Utviklerne sender uavhengig protokolloppgraderingsforslag og ber om kompensasjon for sitt arbeid.
- Kravet om erstatning sikrer at utviklere har et sterkt Ăžkonomisk insentiv til Ă„ bidra til Ăžkosystemet
- Forslaget gÄr gjennom en testfase der samfunnet tester protokollen og kritiserer den for mulige forbedringer.
- Etter gjentatte tester kan Tezos tokenholdere deretter stemme om de vil godta forslaget eller ikke.
- SÄ snart en legitim oppgradering er bestemt, finner en "hot swap" sted pÄ protokollen, som starter den nye versjonen av protokollen.
PÄ grunn av dette systemet oppdateres protokollen passivt og pÄ en desentralisert mÄte. Hver enkelt protokolloppdatering gÄr gjennom flere testfaser og fÄr relevant tilbakemelding fra samfunnet. Dette sikrer at enhver forbedring blir godkjent av et flertall av samfunnet. Dette forhindrer at samfunnet splitter seg.
2. Bevis for arbeidskonsensusmekanisme - Hvordan fungerer det pÄ Tezos?
Fellesskapets konsensusmekanisme er hjertet og sjelen til et desentralisert nettverk. Det nytter ikke Ă„ koble flere noder over et bredt nettverk hvis det ikke er noen konkrete metoder for hvordan de kan kommunisere med hverandre og komme til en beslutning. Da Satoshi Nakamoto opprettet Bitcoin, bygde han inn konsensusmekanismen for arbeid i den. Ideen med POW-mekanismen er ganske enkel:
- La gruvearbeiderne bruke datakraften til Ä lÞse kryptografisk tÞffe gÄter.
- BelĂžn ââgruvearbeiderne som klarte Ă„ lĂžse disse oppgavene.
Det er sÄ enkelt. Disse oppgavene er sÄ vanskelige at de vanligvis bruker mye av dine ferdigheter. Mens POWEN definitivt var effektiv i begynnelsen, har den mange problemer:
- FÞrst og fremst er bevis pÄ arbeid en ekstremt ineffektiv prosess pÄ grunn av den store mengden kraft og energi den bruker.
- Mennesker og organisasjoner som har rÄd til raskere og kraftigere ASIC, har vanligvis stÞrre sjanse for gruvedrift enn de andre.
- Krigsfanger fĂžrer til sentralisering.
For Ă„ motvirke problemene med POW ble det opprettet en ny konsensusprotokoll kalt "Proof of Stake" eller POS.
â
Hva er beviset pÄ innsatsen?
Beviset for innsatsen vil gjÞre hele gruveprosessen virtuell og erstatte gruvearbeiderne med validatorer. Slik gÄr prosessen:
- Revisorene mÄ lÄse opp noen av myntene sine som et POS.
- SÄ begynner de Ä validere blokkene. Det vil si at nÄr de oppdager en blokk som de mener kan legges til kjeden, validerer de den ved Ä satse pÄ den.
- NÄr blokken er festet, fÄr sensorene en belÞnning proporsjonal med innsatsen.
Dette kan imidlertid vÊre et problem da det fremdeles omfatter hele samfunnet og kanskje ikke er den mest skalerbare metoden. Av denne grunn er mange moderne blokkjeder som EOS, Cardano, Lisk, NEO etc. bygget med en delegert protokoll. EOS og Lisk bruker en "proof-of-stake" delegert protokoll der et sett antall delegater er forhÄndsvalgt. Disse delegatene er de som er ansvarlige for nettverkets konsensus og generelle trivsel.
Tezos konsensusmekanisme ligner pÄ dette, men med en liten forskjell. I stedet for hardcore-delegasjonen inkluderer Tezos en flytende demokratimodell i sin konsensus.
Hvordan fungerer Liquid Democracy?
Det er et system som flyter mellom direkte demokrati og representativt demokrati. Prosessen har fĂžlgende egenskaper:
- Folk kan stemme direkte pÄ deres politikk.
- Folk kan delegere sitt stemmeansvar til en delegat som kan stemme pÄ deres politikk for dem.
- Delegatene selv kan delegere sitt stemmeansvar til en annen delegat som kan stemme pÄ deres vegne. Denne egenskapen, der en delegat kan navngi sin egen delegat, er kjent som transitivity.
- Hvis en person som har delegert sin stemmerett ikke liker stemmene valgt av deres delegater, kan de ganske enkelt trekke tilbake sin stemme og stemme pÄ politikken selv.
SĂ„ hva er fordelene med et flytende demokrati?
- Hver enkelt persons mening betyr noe og spiller en rolle i den endelige politiske utformingen.
- For Ä bli en delegat trenger du bare Ä oppnÄ tillit til noen. Du trenger ikke Ä bruke millioner av dollar pÄ dyre valgkampanjer. PÄ grunn av dette er adgangsbarrieren relativt lav.
- PĂ„ grunn av muligheten for Ă„ svinge mellom direkte og delegert demokrati, kan minoritetsgrupper bli representert mer rettferdig.
- Tross alt har den en skalerbar modell. Alle som ikke har tid til Ä stemme pÄ sin politikk, kan ganske enkelt delegere sitt stemmeansvar.
Hva er et flytende bevis pÄ innsatsen?
I motsetning til DPoS (delegert bevis pÄ innsats) er det ingen hard og rask regel om at delegater nÞdvendigvis mÄ velges. Det er helt opp til deltakerne hva de vil gjÞre. OK, sÄ la oss starte med LPoS.
Tezos er et flytende bevis pÄ innsatssystem som krever Ä ha et visst antall Tezos-tokens for Ä kunne delta i konsensus om blockchain. Prosessen med Ä "bryte" Tezos-tokens (XTZ) er kjent som baking.
Tokenholders alias "Baker" kan delegere valideringsrettighetene sine til andre tokenholdere uten Ă„ overfĂžre eierskapet. I motsetning til EOS er delegering valgfri.
XTZ blokkerer baking
Du finner og legger til blokker i Tezos blockchain gjennom en prosess som kalles "baking". Og slik fungerer det:
- Baker mottar blokkeringsrettigheter basert pÄ deres andel.
- Hver blokk blir 'bakt' av en tilfeldig baker og deretter sertifisert av 32 andre tilfeldige bakere.
- NĂ„r blokken er klar til bruk, legges blokken til blockchain.
- Den suksessrike bakeren mottar en "blokkbelĂžnning" og kan ta transaksjonsgebyrer for alle transaksjoner i blokken.
Som vi sa tidligere, har innehavere av baketegn muligheten til Ä delegere sine bakerettigheter til andre holdere uten Ä gi slipp pÄ eierskapet til tokens. Etter at "bakingen" er fullfÞrt, vil Baker dele belÞnningene sine med resten av delegatene.
â
3. Smarte kontrakter og formell verifisering
Tezos ble kodet med OCaml. Den smarte kontrakten som vil lÞpe pÄ Tezos vil bli opprettet med Michelson. SÄ hva er spesielt med disse sprÄkene? De er begge funksjonelle sprÄk. NÄr det gjelder sprÄk, tilhÞrer de to familier:
- avgjĂžrende
- Funksjonell
Viktige programmeringssprÄk
En viktig tilnÊrming krever at koderen skriver ned alle trinnene datamaskinen mÄ ta for Ä oppnÄ et mÄl. Alle vÄre tradisjonelle programmeringssprÄk som C ++, Java og til og med Solidity er viktige programmeringssprÄk. Denne typen programmeringstilnÊrming kalles ogsÄ algoritmisk programmering.
La oss ta et eksempel pÄ hva vi mener med det. La oss se pÄ C ++. Anta at vi vil legge til 5 og 3.
int a = 5;
int b = 3;
int c;
c = a + b;
SĂ„ som du ser, tar tilleggsprosessen flere trinn, og hvert trinn endrer kontinuerlig tilstanden til programmet ettersom de alle utfĂžres en om gangen. En tilleggsprosess tok fire trinn, og trinnene er:
- Deklarer et helt tall a og tildel verdien 5.
- ErklĂŠr et heltall b og tildel verdien 3.
- ErklĂŠre et helt tall c.
- Verdiene til og b legges til og lagres i c.
Funksjonelle programmeringssprÄk
Den andre familien av programmeringssprÄk er de funksjonelle sprÄkene. Denne programmeringsstilen ble opprettet for Ä gi en funksjonell tilnÊrming til problemlÞsing. Denne typen tilnÊrminger kalles deklarativ programmering. SÄ hvordan fungerer funksjonell programmering?
Anta at det er en funksjon f (x) som vi vil bruke til Ä beregne en funksjon g (x), og sÄ vil vi bruke den funksjonen til Ä jobbe med en funksjon h (x). I stedet for Ä lÞse alle disse funksjonene i en sekvens, kan vi bare sette dem alle sammen i en enkelt funksjon som denne:
h (g (f (x)))
Dette gjÞr det lettere Ä rettferdiggjÞre den funksjonelle tilnÊrmingen matematisk. Av denne grunn bÞr funksjonelle programmer vÊre en tryggere tilnÊrming til Ä lage smarte kontrakter. Dette bidrar ogsÄ til lettere formell verifisering, noe som ganske mye betyr at det er lettere Ä matematisk bevise hva et program gjÞr og hvordan det oppfÞrer seg.
La oss ta et eksempel fra det virkelige liv og se hvorfor dette kan vĂŠre ekstremt kritisk og til og med livreddende under visse forhold.
Anta at vi koder et program som styrer flytrafikken. Som du kan forestille deg krever koding av et slikt system mye presisjon og nÞyaktighet. Vi kan ikke bare blindkode noe og hÄpe pÄ det beste nÄr folks liv er i fare. I slike situasjoner trenger vi kode som har vist seg Ä fungere med hÞy grad av matematisk sikkerhet.
Dette er nÞyaktig hvorfor den funksjonelle tilnÊrmingen er sÄ Þnskelig. Dette er grunnen til at Tezos bruker OCaml og deres smarte kontrakter Michelson.
SÄ la oss se pÄ fordelene med den funksjonelle tilnÊrmingen:
- Hjelper med Ă„ lage kode med hĂžy sikkerhet da det er lettere Ă„ demonstrere matematikkens oppfĂžrsel til koden.
- Ăker lesbarhet og vedlikeholdsevne ettersom hver funksjon er designet for Ă„ utfĂžre en bestemt oppgave. Funksjonene er ogsĂ„ statsuavhengige.
- Koden er lettere Ă„ reformere, og eventuelle endringer i koden er lettere Ă„ implementere. Dette letter gjentatt utvikling.
- De enkelte funksjonene kan enkelt isoleres, noe som gjĂžr testing og feilsĂžking lettere.
Mer om Michelson
Michelson er et sterkt skrevet, stabelbasert sprÄk. I Ethereum skrives smarte kontrakter i Solidity eller Viper og kompileres til EVM bytecode, som deretter utfÞres i Ethereum virtual machine (EVM). Det er ikke noe unÞdvendig ekstra trinn i Tezos, og selve Michelson-koden kjÞrer i Tezos VM.
Hva er fordelen med denne tilnÊrmingen? Det kan lett leses av mennesker, noe som hjelper til med Ä etablere korrekthetsbevis og hjelper med Ä unngÄ feil.
â
FÞlgende er et eksempel pÄ en Michelson-kontrakt
Parametere (par (lambda int int) (liste int));
Retur (liste int);
Lagringsenhet;
Kode {DIP {NIL int};
BIL;
DUP;
DIP {CAR; PAR}; # Pakk ut dataene og sett opp akkumulatoren
CDR;
LAMBDA (par int (par (lambda int int) (liste int)))
(Par (lambda int int) (liste int))
# PĂ„fĂžr lambda og legg til det nye elementet i listen
{DUP; CDAR;
DIP {DUP; DIP {CDAR}; DUP;
BIL; DIP {CDDR; BYTTE}; EXEC; ULEMPER};
PAR};
Ă REDUSERE; CDR; DIP {NIL int}; # Reduser fĂžrst
LAMBDA (par int (liste int))
(liste int)
{DUP; BIL; DIP {CDR}; ULEMPE};
Ă REDUSERE; # Riktig listerekkefĂžlge
ENHET; UTVEKSLING; PAIR} # Samle kongressen
VĂ„r konklusjon om Tezos
SÄ der har du det. Tezos er et ekstremt fascinerende prosjekt som dessverre har blitt overskygget av alt dramaet bak kulissene. Dette prosjektet fortjener en mer detaljert analyse fordi det gir en interessant bruk for blockchain-rommet. NÄ mÄ vi vente og se om de kan rettferdiggjÞre sprÞytenarkomanen de genererte etter ICO.