đ„ Tezos Wiki - XTZ-kurs, kryptovaluta och mer!
Tezos bröt sig in i kryptoutrymmet genom att lÀgga 232 miljoner dollar i deras dÄ rekordhöga ICO. Sedan deras ICO har deras lanseringsdatum stÀndigt försenats pÄ grund av drama bakom kulisserna och andra konflikter. Tezos lanserades officiellt i september 2018 och det Àr nu en bra tid som alla andra att engagera sig i detta spÀnnande projekt. SÄ vad Àr Tezos?
Vad Àr Tezos-myntet?
PÄ Tezos webbplats stÄr "Tezos Àr en ny decentraliserad blockchain som styr sig sjÀlv genom att bygga ett riktigt digitalt samvÀlde".
Tezos (XTZ) Àr ett blockchain-nÀtverk anslutet till en digital token som kallas en tez eller tezzie. Tezos bygger inte pÄ gruvtez. IstÀllet fÄr tokeninnehavare en belöning för att ha deltagit i konsensusmekanismen för bevis.
Ett Commonwealth Àr en grupp som förenas pÄ grundval av sina gemensamma mÄl och intressen. HuvudmÄlet för Tezos Àr att fÄ sina tokeninnehavare att arbeta tillsammans för att fatta beslut som kommer att förbÀttra deras protokoll över tiden. Den inhemska Tezos-token Àr XTZ.
Tezos har mÄnga funktioner som gör den unik. Vi tÀcker dem senare i guiden. För nu, lÄt oss ge dig lite bakgrund om projektet.
â
En kort historia av vad Tezos Àr
Grundarna, Arthur Breitman och Kathleen Breitman, har utvecklat Tezos sedan 2014 med en kÀrngrupp av utvecklare. Företaget har sitt huvudkontor i Schweiz. Som vi sa tidigare samlade de pÄ bara tvÄ veckor 2 miljoner dollar i en ICO utan begrÀnsning och accepterade bidrag frÄn bÄde Bitcoin och Ethereum. Strax efter deras historiska ICO kastade Tezos huvudet i en mÀngd ledningsproblem. För att förstÄ dessa ledningsfrÄgor mÄste du veta att företaget Tezos grundade heter DLS (Dynamic Ledger Solutions) och företaget som innehar alla insamlade medel under ICO kallas Tezos Foundation.
Arthur och Kathleen Breitman diskuterade offentligt med presidenten för Tezos Foundation, Johann Gevers. Tydligen vÀgrade Gevers, som hade kontroll över medlen, att betala medlen till Breitmans. Denna tvist skapade kaos inom samhÀllet och den uppskattade vÀxelkursen sjönk. Breitmans utfÀrdade ett fördömande uttalande om Gevers som innehöll ord som "egenhandel, sjÀlvreklam och intressekonflikter".
SÄ smÄningom, efter mycket drama och oönskad medieuppmÀrksamhet, lÀmnade Gevers företaget efter att ha fÄtt mer Àn 400.000 XNUMX dollar i avgÄngsvederlag. Nu gÄr Àntligen allt smidigt. SÄ med det i Ätanke, lÄt oss gÄ ner till de nakna detaljerna.
Tezos arkitektur
Du kan frÄga "Vad Àr Tezos?" svara inte korrekt. Tezos blockchain anvÀnder en agonistisk native middleware som heter "Network Shell". Detta gör det möjligt för dem att utveckla en modulÀr stil med en sjÀlvförÀndringsbok. Ett generiskt blockchain-protokoll Àr uppdelat i tre lager:
- NÀtverksprotokoll: Detta Àr Gossip Protocol som ansvarar för peer-lyssnande och överföring mellan noder.
- Transaktionsprotokoll: Detta Àr transaktionsskiktet som definierade faktureringsmodellen implementerad av blockchain.
- Consensus Protocol: Ganska sjÀlvförklarande. Det definierar konsensusprotokollet som hjÀlper vÄrt blockchain att nÄ överenskommelser om status för vÄra transaktioner.
I Tezos sammanfattas de tvÄ sista protokollen, transaktion och konsensus, och kallas blockchain-protokollet. Network Shell stöder kommunikation mellan nÀtverksprotokollet och blockchain-protokollet. NÀtverksskalet Àr agnostiskt gentemot transaktionsprotokollet och konsensusprotokollet.
De tvÄ berÀttelserna om Tezos
De tvÄ typerna av konton du kan anvÀnda i Tezos Àr
- Implicita konton; och
- Ursprungliga konton.
Implicita konton
Det hÀr Àr de vanligaste kontona i Tezos. De börjar med tz1 (t.ex. tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Detta Àr ett enkelt konto som genereras frÄn ett par offentliga / privata nycklar. Publiceringsadressen för tz1 kommer frÄn den offentliga nyckeln och varje tz1-konto har sin egen privata nyckel. Dessa konton har en kontoinnehavare och ett kontosaldo.
Implicita konton kan inte ha en delegat. För att delegera medel mÄste de överföra pengar till ett ursprungskonto och sedan mÄste en delegat utses.
â
Ursprungliga konton
Förutom implicita konton har du ocksÄ konton för dina smarta kontrakt som kallas kÀllkonton. Dessa börjar med KT1 (t.ex. KT1Wv8Ted4b6b6raZDMoepkCPT8MkNFxyT2Ddo). Dessa konton har följande fÀlt:
- Manager - Detta Àr kontots privata nyckel
- Belopp - mÀngd Tz pÄ detta konto
- Delegerbart - Om pengarna pÄ detta konto kan delegeras för bakning
- Delegerade fÀlt - Information om vem detta konto har delegerat till bakning.
Ett ursprungskonto kan delegera sina medel till Baker: s implicita konto. Vi pratar mer om Baker senare.
Tezos har tre unika förmÄgor:
- Kedjestyrning och sjÀlvförÀndring.
- En flytande konsensusmekanism
- Smarta kontrakt med formell verifiering.
LÄt oss gÄ igenom var och en av dessa i tur och ordning.
1. Styrning pÄ nÀtet och sjÀlvförÀndring
För att förstÄ vikten av kedjestyrning och sjÀlvförÀndring mÄste du först förstÄ "F-ordet" i kryptosamhÀllet, gafflarna.
En gaffel Àr ett tillstÄnd dÀr blockkedjans tillstÄnd bryts ner i kedjor dÀr en del av nÀtverket har ett annat perspektiv pÄ transaktionshistoriken Àn en annan del av nÀtverket. Det Àr i grund och botten vad en gaffel Àr, det Àr en avvikelse i perspektivet av blockkedjans tillstÄnd. En gaffel kan uppnÄs genom en mjuk gaffel eller en hÄrd gaffel.
Vad Àr en mjuk gaffel?
NÀr en kedja behöver uppdateras finns det tvÄ alternativ: en mjuk gaffel eller en hÄrd gaffel. TÀnk pÄ soft fork som en uppdatering i mjukvara som Àr bakÄtkompatibel. Vad betyder det? Förutsatt att du kör MS Excel 2005 pÄ din bÀrbara dator och vill öppna ett kalkylark integrerat i MS Excel 2015 kan du fortfarande öppna det eftersom MS Excel 2015 Àr bakÄtkompatibelt.
MEN efter att ha sagt Àr det en skillnad. Eventuella uppdateringar som du kan njuta av i den nyare versionen kommer inte att synas för dig i den Àldre versionen. För att komma tillbaka till vÄr MS Excel-analogi: förutsatt att det finns en funktion som gör att du kan infoga GIF i tabellen i 2015-versionen, kommer du inte lÀngre att se dessa GIF i 2005-versionen. SÄ i princip ser du hela texten, men inte GIF.
â
Vad Àr en hÄrd gaffel?
Huvudskillnaden mellan en mjuk gaffel och en hÄrd gaffel Àr att den inte Àr bakÄtkompatibel. NÀr den vÀl anvÀnds Àr det absolut ingen vÀg tillbaka. Om du inte gÄr med i den uppdaterade versionen av blockchain fÄr du inte tillgÄng till de nya uppdateringarna eller interagerar med anvÀndarna av det nya systemet, oavsett. TÀnk PlayStation 3 och PlayStation 4. Du kan inte spela PS3-spel pÄ PS4 och du kan inte spela PS4-spel pÄ PS3.
SÄ hÀr beskriver Andreas Antonopoulos skillnaden mellan hÄrd och mjuk gaffel: Om en vegetarisk restaurang bestÀmde sig för att lÀgga flÀsk pÄ menyn, skulle det betraktas som en hÄrd gaffel. Om den valde att lÀgga till veganska rÀtter kan alla som Àr vegetarianer fortfarande Àta vegan, du behöver inte vara vegan för att Àta dÀr, du kan fortfarande vara vegetarian för att Àta dÀr, och köttÀtare kan ocksÄ Àta dÀr sÄ det Àr en mjuk gaffel .
En sak borde vara tydlig hÀr. Gafflar Àr inte en dÄlig sak. En plattform av hög kvalitet bör stÀndigt utvecklas och uppdateras. För att göra detta Àr det absolut nödvÀndigt för ett system att gÄ igenom konstanta gafflar, hÄrda och mjuka. Huvudproblemet ligger i kontroversiella hÄrda gafflar som delar upp samhÀllet.
Det mest uppenbara exemplet pÄ detta Àr alla de tuffa testerna som Bitcoin och Bitcoin Cash har gÄtt igenom. Bitcoin delades upp i Bitcoin och Bitcoin Cash, medan Bitcoin Cash sjÀlv delades senare i Bitcoin Cash och Bitcoin SV. Uppdelningen mellan Bitcoin Cash och Bitcoin SV var sÀrskilt ful. Det utlöste de sÄ kallade "Hash Wars".
Hashkriget bestod i princip av att dessa tvÄ kedjor anvÀnde sin hashkraft för att bryta den lÀngsta kedjan. Den lÀngsta kedjan blir enligt uppgift den dominerande Bitcoin-kontantkedjan. Detta onödiga krÄngel kastade hela kryptosamhÀllet i avgrunden eftersom hela marknadsvÀrde tappade vÀrde. VÀrre, det delade Bitcoin Cash-communityn i tvÄ.
Detta Àr precis vad Tezos ville undvika.
Som Kathleen Breitman uttrycker det, "Den stora ironin i Bitcoin Àr att det i slutÀndan Àr ett verktyg för samförstÄnd i samhÀllet, men det [sÀrats av] en enorm mÀngd fientlighet. Tezos möjliggör innovation pÄ ett systematiskt sÀtt och att Wise hÀnder, i motsats till till en född av politik. Du kommer inte hitta tvÄ personer som avskyr politik mer Àn Arthur och jag. Det Àr tanken bakom Tezos: lÄt oss formalisera denna utomordentligt informella process ".
Hur kan detta mildras med Tezos?
Tezos mildrar kontroversiell hÄrd gaffel genom sjÀlvförÀndring och kedjestyrning. SjÀlvförÀndringen hjÀlper till att uppgradera blockkedjan utan att gÄ igenom en hÄrd gaffel. Kedjestyrning innebÀr helt enkelt att man röstar om en föreslagen Àndring pÄ plattformen. Med en kombination av kedjestyrning och sjÀlvförÀndring kan samordningsprocessen Àndras eller Àndras efter behov. Systemets intressenter (som vi kommer att prata om senare) tar hand om omröstningen. Utformningen av detta system gör det möjligt för blockchain att utvecklas smidigt istÀllet för att behöva göra en hÄrd gaffel.
SĂ„ hur fungerar det exakt?
- Utvecklarna skickar sjÀlvstÀndigt protokolluppgraderingsförslag och begÀr ersÀttning för sitt arbete.
- Kravet pÄ ersÀttning sÀkerstÀller att utvecklare har ett starkt ekonomiskt incitament att bidra till ekosystemet
- Förslaget gÄr igenom en testfas dÀr gemenskapen testar protokollet och kritiserar det för eventuella förbÀttringar.
- Efter upprepade tester kan Tezos tokeninnehavare sedan rösta om de vill acceptera förslaget eller inte.
- SÄ snart en legitim uppgradering avgörs sker en "hot swap" pÄ protokollet, vilket initierar den nya versionen av protokollet.
PÄ grund av detta system uppdateras protokollet passivt och pÄ ett decentraliserat sÀtt. Varje enskild protokolluppdatering gÄr igenom flera testfaser och fÄr relevant feedback frÄn samhÀllet. Detta sÀkerstÀller att alla förbÀttringar godkÀnns av en majoritet av samhÀllet. Detta förhindrar att samhÀllet delar sig.
2. Bevis för arbete Consensus Mechanism - Hur fungerar det pÄ Tezos?
Gemenskapens samförstÄndsmekanism Àr hjÀrtat och sjÀlen i ett decentraliserat nÀtverk. Det Àr ingen mening att ansluta flera noder via ett stort nÀtverk om det inte finns nÄgra konkreta metoder för hur de kan kommunicera med varandra och komma till ett beslut. NÀr Satoshi Nakamoto skapade Bitcoin byggde han in konsensusmekanismen för bevis i arbetet. Idén med POW-mekanismen Àr ganska enkel:
- LÄt gruvarbetarna anvÀnda sin datorkraft för att lösa kryptografiskt tuffa pussel.
- Belöna gruvarbetarna som lyckades lösa dessa pussel.
Det Àr sÄ enkelt som det. Dessa pussel Àr sÄ svÄra att de vanligtvis anvÀnder mycket av dina sÀrdrag. Medan POW var definitivt effektiv i början har den mÄnga problem:
- Först och frÀmst Àr beviset pÄ arbetet en extremt ineffektiv process pÄ grund av den stora mÀngden kraft och energi det förbrukar.
- MÀnniskor och organisationer som har rÄd med snabbare och kraftfullare ASIC har vanligtvis större chans att bryta Àn de andra.
- KrigsfÄngar leder till centralisering.
För att motverka problemen med POW skapades ett nytt konsensusprotokoll som heter "Proof of Stake" eller POS.
â
Vad Àr beviset pÄ insatsen?
Beviset pÄ insatsen kommer att göra hela gruvprocessen virtuell och ersÀtta gruvarbetarna med validerare. SÄ hÀr gÄr processen:
- Revisorerna mÄste lÄsa upp nÄgra av sina mynt som en kassa.
- Sedan börjar de validera blocken. Det vill sÀga nÀr de upptÀcker ett block som de tror kan lÀggas till kedjan, validerar de det genom att satsa pÄ det.
- NÀr blocket Àr bifogat fÄr granskarna en belöning som Àr proportionell mot deras insatser.
Detta kan dock vara ett problem eftersom det fortfarande omfattar hela samhĂ€llet och kanske inte Ă€r den mest skalbara metoden. Av denna anledning byggs mĂ„nga moderna blockkedjor som EOS, Cardano, Lisk, NEO etc. med ett delegerat protokoll. EOS och Lisk anvĂ€nder ett âproof-of-stakeâ delegerat protokoll dĂ€r ett bestĂ€mt antal delegater Ă€r förvalda. Dessa delegater Ă€r de som Ă€r ansvariga för nĂ€tverkets samförstĂ„nd och allmĂ€nna vĂ€lbefinnande.
Tezos konsensusmekanism liknar detta, men med en liten skillnad. IstÀllet för hardcore-delegationen inkluderar Tezos en flytande demokratimodell i sitt samförstÄnd.
Hur fungerar Liquid Democracy?
Det Àr ett system som flyter mellan direkt demokrati och representativ demokrati. Processen har följande egenskaper:
- MÀnniskor kan rösta direkt om sin politik.
- MÀnniskor kan delegera sitt röstansvar till en delegat som kan rösta om sin politik för dem.
- Delegaterna sjÀlva kan delegera sitt röstansvar till en annan delegat som kan rösta för deras rÀkning. Den hÀr egenskapen, dÀr en delegat kan namnge sin egen delegat, kallas transitivitet.
- Om en person som har delegerat sina röstrÀtter inte gillar den omröstning som deras delegater valt, kan de helt enkelt dra tillbaka sin röst och rösta om sjÀlva politiken.
SÄ vad Àr fördelarna med flytande demokrati?
- Varje individs Ă„sikt har betydelse och spelar en roll i den slutgiltiga beslutsfattandet.
- För att bli delegat behöver du bara vinna nÄgons förtroende. Du behöver inte spendera miljontals dollar pÄ dyra valkampanjer. PÄ grund av detta Àr intrÀdesbarriÀren relativt lÄg.
- PÄ grund av möjligheten att svÀnga mellan direkt och delegerad demokrati kan minoritetsgrupper representeras mer rÀttvist.
- Det har trots allt en skalbar modell. Den som inte har tid att rösta om sin politik kan helt enkelt delegera sitt röstansvar.
Vad Àr ett flytande bevis pÄ insatsen?
Till skillnad frÄn DPoS (Delegated Proof of Stake) finns det ingen hÄrd och snabb regel att delegater nödvÀndigtvis mÄste vÀljas. Det Àr helt upp till deltagarna vad de vill göra. Okej, sÄ lÄt oss börja med LPoS.
Tezos Àr ett flytande bevis pÄ insatssystem som krÀver innehav av ett visst antal Tezos-tokens för att kunna delta i samförstÄndet om blockchain. Processen med att "bryta" Tezos-tokens (XTZ) kallas bakning.
Tokeninnehavarens alias "Baker" kan delegera sina valideringsrÀttigheter till andra tokeninnehavare utan att överföra ÀganderÀtten. Till skillnad frÄn EOS Àr delegering valfri.
XTZ blockerar bakning
Du hittar och lÀgger till block i Tezos blockchain genom en process som kallas "bakning". Och sÄ fungerar det:
- Baker fÄr blockpubliceringsrÀttigheter baserat pÄ deras andel.
- Varje block "bakas" av en slumpmÀssig bagare och certifieras sedan av 32 andra slumpmÀssiga bagare.
- NÀr blocket Àr klart för anvÀndning lÀggs blocket till blockchain.
- Den framgÄngsrika bagaren fÄr en "blockbelöning" och kan ta ut transaktionsavgifter för alla transaktioner inom blocket.
Som vi sa tidigare har innehavare av baktexter möjlighet att delegera sina bakerÀttigheter till andra innehavare utan att slÀppa ÀganderÀtten till sina tokens. NÀr "bakningen" Àr klar kommer bagaren att dela sina belöningar med resten av delegaterna.
â
3. Smarta kontrakt och formell verifiering
Tezos kodades med OCaml. Det smarta kontraktet som kommer att löpa pÄ Tezos kommer att skapas med Michelson. SÄ vad Àr speciellt med dessa sprÄk? De Àr bÄda funktionella sprÄk. NÀr det gÀller sprÄk tillhör de tvÄ familjer:
- imperativ
- Funktionell
Tvingande programmeringssprÄk
En tvingande metod krÀver att kodaren skriver ner alla steg som datorn mÄste ta för att uppnÄ ett mÄl. Alla vÄra traditionella programmeringssprÄk som C ++, Java och Àven Solidity Àr tvingande programmeringssprÄk. Denna typ av programmeringsmetod kallas ocksÄ algoritmisk programmering.
LÄt oss ta ett exempel pÄ vad vi menar med det. LÄt oss titta pÄ C ++. Antag att vi vill lÀgga till 5 och 3.
int a = 5;
int b = 3;
int c;
c = a + b;
SÄ, som du kan se, tar tillÀggsprocessen flera steg, och varje steg Àndrar stÀndigt programmets tillstÄnd eftersom de alla kör en i taget. En tillÀggsprocess tog fyra steg och stegen Àr:
- Deklarera ett heltal a och tilldela vÀrdet 5.
- Förklara ett heltal b och tilldela vÀrdet 3.
- Förklara ett heltal c.
- VÀrdena för och b lÀggs till och lagras i c.
Funktionella programmeringssprÄk
Den andra familjen av programmeringssprÄk Àr de funktionella sprÄken. Denna typ av programmering skapades för att ge ett funktionellt tillvÀgagÄngssÀtt för problemlösning. Denna typ av strategi kallas deklarativ programmering. SÄ hur fungerar funktionell programmering?
Anta att det finns en funktion f (x) som vi vill anvÀnda för att berÀkna en funktion g (x), och sedan vill vi anvÀnda den funktionen för att arbeta med en funktion h (x). IstÀllet för att lösa alla dessa funktioner i en sekvens kan vi bara sÀtta dem alla i en enda funktion som den hÀr:
h (g (f (x)))
Detta gör det lÀttare att motivera det funktionella tillvÀgagÄngssÀttet matematiskt. Av denna anledning bör funktionella program vara ett sÀkrare tillvÀgagÄngssÀtt för att skapa smarta kontrakt. Detta bidrar ocksÄ till enklare formell verifiering, vilket i stort sett betyder att det Àr lÀttare att matematiskt bevisa vad ett program gör och hur det beter sig.
LÄt oss ta ett verkligt exempel och se varför detta kan vara extremt kritiskt och till och med livrÀddande under vissa förhÄllanden.
Antag att vi kodar ett program som styr flygtrafiken. Som du kan förestÀlla dig krÀver kodning av ett sÄdant system mycket precision och noggrannhet. Vi kan inte bara blindt koda nÄgot och hoppas pÄ det bÀsta nÀr mÀnniskors liv Àr i fara. I sÄdana situationer behöver vi kod som har visat sig fungera med hög matematisk sÀkerhet.
Det Àr just dÀrför det funktionella tillvÀgagÄngssÀttet Àr sÄ önskvÀrt. Det Àr dÀrför Tezos anvÀnder OCaml och deras smarta kontrakt Michelson.
SÄ lÄt oss titta pÄ fördelarna med det funktionella tillvÀgagÄngssÀttet:
- HjÀlper till med att skapa hög sÀkerhetskod eftersom det Àr lÀttare att visa kodens matematiska beteende.
- Ăkar lĂ€sbarheten och underhĂ„llsförmĂ„gan eftersom varje funktion Ă€r utformad för att utföra en specifik uppgift. Funktionerna Ă€r ocksĂ„ tillstĂ„ndsoberoende.
- Koden Àr lÀttare att reformera och eventuella Àndringar i koden Àr lÀttare att implementera. Detta underlÀttar reiterativ utveckling.
- De enskilda funktionerna kan enkelt isoleras, vilket gör testning och felsökning enklare.
Mer om Michelson
Michelson Àr ett starkt typat, stackbaserat sprÄk. I Ethereum skrivs smarta kontrakt i Solidity eller Viper och sammanstÀlls till EVM bytecode, som sedan körs i Ethereum virtual machine (EVM). Det finns inget onödigt extra steg i Tezos, och Michelson-koden körs i Tezos VM.
Vad Àr fördelen med detta tillvÀgagÄngssÀtt? Det kan lÀtt lÀsas av mÀnniskor, vilket hjÀlper till att faststÀlla korrekta bevis och hjÀlper till att undvika misstag.
â
Följande Àr ett exempel pÄ ett Michelson-kontrakt
Parametrar (par (lambda int int) (list int));
Return (list int);
Förvaringsenhet;
Kod {DIP {NIL int};
BIL;
DUP;
DIP {CAR; PAR}; # Packa upp data och stÀlla in ackumulatorn
CDR;
LAMBDA (par int (par (lambda int int) (lista int)))
(Par (lambda int int) (list int))
# Applicera lambda och lÀgg till det nya objektet i listan
{DUP; CDAR;
DIP {DUP; DIP {CDAR}; DUP;
BIL; DIP {CDDR; BYTA}; EXEC; NACKDELAR};
PAR};
ATT REDUCERA; CDR; DIP {NIL int}; # Minska först
LAMBDA (par int (lista int))
(Lista int)
{DUP; BIL; DIP {CDR}; NACKDEL};
ATT REDUCERA; # Korrekt lista
ENHET; UTBYTA; PAIR} # Samla kongressen
VĂ„r slutsats om Tezos
SÄ dÀr har du det. Tezos Àr ett extremt fascinerande projekt som tyvÀrr har överskuggats av allt drama bakom kulisserna. Detta projekt förtjÀnar en mer detaljerad analys eftersom det ger en intressant anvÀndning av blockchain-utrymmet. Nu mÄste vi vÀnta och se om de kan motivera den hype de genererade efter deras ICO.