Nybörjarguide till Tezos: Den kontroversiella självförändrande Blockchain-plattformen

Tezos Guide

En av de mest polariserande kryptovalutaplattformarna, Tezos har varit i rampljuset ända sedan dess då spela in 232 miljoner dollar ICO. Sedan dess har Tezos gått igenom en mängd problem från grupptalan från missnöjda ICO-deltagare till en maktkamp mellan immateriella ägare av Tezos källkod, Arthur och Kathleen Breitman, och den tidigare presidenten och styrelseledamoten Johann Gevers.

Tezos KYC

Kontroversen kring plattformen har nyligen lugnat ner till en mer typisk nivå i kryptovalutautrymmet, och Tezos Foundation till och med nyligen lanserade deras Betanet, nästan ett år efter deras rekord ICO. Med så mycket täckning av enbart sin högprofilerade historia har det verkliga konceptet och tekniken bakom Tezos tycks förbises av många utanför Tezos-samhället.

Nu när dammet verkar ha lagt sig, väcker det frågan, vad exakt är Tezos och hur kom vi hit?

En anmärkningsvärt bisarr historia

Tezos är hjärnbarnet till Arthur Breitman, en datavetare och tidigare tillämpad ekonomisk kvantitet, som publicerade en vitt papper och a positionspapper i augusti 2014 under pseudonymen ”L.M. Bra man”. Därefter fortsatte Breitman att registrera ett företag som heter Dynamic Ledger Solutions, Inc i Delaware året därpå, blev verkställande direktör och absorberade det immateriella ägandet av Tezos källkod i företaget..

Tezos vitbok

Arthur och hans fru Kathleen, en tidigare anställd hos Bridgewater Associates och R3, bestämde sig för att genomföra en ICO för att samla in pengar för att bygga Tezos-plattformen efter att ha lyckats locka betydande investeringar genom traditionella medier. Tezos är utformat för att vara ett ”självförändrande”, tillståndslöst, distribuerat och peer-to-peer-nätverk baserat på smarta kontrakt. Tyngdpunkten på plattformen ligger på att tillhandahålla en decentraliserad demokrati som använder bevis för spelkonsensus för att tillåta alla intressenter att delta i ett kedjestyrningsprotokoll där användarna styr riktningen för nätverket.

Tezos ICO samlade därefter in 232 miljoner dollar i juli 2017 och Breitmans grundade Tezos Foundation i Zug, Schweiz. Breitmans bad Johann Gevers att bli stiftelsens president som sedan skulle absorbera Arthurs företag DLS och därmed de intellektuella rättigheterna till Tezos källkod.

Saker gick inte ut enligt planen och en klyfta utvecklades mellan Breitmans och Gevers. I grund och botten, som president för Tezos Foundation (och även styrelseledamot), hade Gevers kontroll över de medel som samlats in från ICO och det uppstod en oenighet om några medarbetare som Gevers tog med ombord för att hjälpa till med att driva Tezos Foundation..

Arthur Breitman

Arthur Breitman, bild från Oslo Freedom Forum

Token från ICO skulle levereras till bidragsgivarna och blockchain släpptes under en gratis mjukvarulicens, men frisättningen fortsatte att försenas vilket väckte bidragsgivarnas oro. Vidare försökte Breitmans ta bort Gevers från styrelsen, vilket ledde till ett mycket offentligt nedfall, inte bara mellan Breitmans och Gevers utan också inom Tezos-samhället och Arthurs företag DLS.

DLS blev snart målet för flera gruppstämningar som hävdade att Tezos tokens (Tezzies) bör betraktas som värdepapper och registreras hos SEC för att lagligen kunna säljas till investerare. Försöket att hämta återbetalningar för bidragsgivare som en del av stämningen kom inte att uppnå som SEC minnesvärt förnekade en handling för frihet att informera begäran från samhället av rädsla för att det kan äventyra framtida verkställighetsaktiviteter.

Så småningom avgick Gevers och styrelsen för Tezos Foundation frivilligt i februari 2018 och ersattes av två Tezos-medlemmar som hade stött Breitmans, Michael Mauny och Ryan Jesperson. De omfattande detaljerna om hela debacle finns i Wired’s bit släpptes förra månaden.

Uppdateringar från Tezos Foundation för de närmaste följande månaderna var knappa och samhället förblev orolig. Förra månaden meddelade Tezos Foundation att KYC / AML skulle krävas av bidragsgivarna till deras ICO från föregående år. Tillkännagivandet fick ett bittert svar från samhället och betraktades som det sista strået i en lång historia av frågor för många.

Som nämnts tidigare lanserades Tezos Betanet några veckor senare och den första vågen av tokens släpptes äntligen. Inte överraskande fanns det en stor försäljning på de få börserna är det för närvarande tillgängligt (Gate.io & HitBTC). För dem som höll på sina tokens verkar det som om Tezos-projektet äntligen har startat och de efterlängtade löftena från dess plattform kommer att utvecklas.

Vad är Tezos och hur fungerar det??

Tezos är en tillståndlös, distribuerad och självförändrande plattform som använder smarta kontrakt som fokuserar på att tillhandahålla en unik kedjestyrningsmekanism och några märkbara förbättringar jämfört med liknande plattformar som Ethereum. Fokus för plattformen är på en modulär design med trivial on-chain protokolluppgradering genom en optimerad Proof of Stake-konsensusmodell där alla intressenter kan delta i styrningsstrukturen.

Tezos plattform

Nätverksskalet

Tezos möjliggör sin unika styrning och självförändrande kapacitet genom att utnyttja ett nätverksskal. För att förstå hur Network Shell fungerar måste vi dela upp ett typiskt blockchain-protokoll i 3 primära och distinkta delprotokoll.

  1. Nätverksprotokollet
  2. Transaktionsprotokollet
  3. Konsensusprotokollet

Nätverksprotokollet kallas vanligtvis “skvaller” -protokollet och är hur transaktioner sänds över nätverket mellan noder. Detta protokoll inkluderar också nedladdning av blockkedjan, upptäckt av kamrater och sändningsblock till nätverket. På den allmänna protokollnivån består nätverksprotokollet vanligtvis av den mest innovativa och utvecklingsaktiviteten.

Transaktionsprotokollet definieras av kryptovalutans skriptspråk och i fallet med Bitcoin är bättre känt som UTXO (Unspent Transaction Output Model). Med hjälp av Bitcoin som ett exempel, består detta protokoll av allt från skapandet av Bitcoin under gruvdrift till användning av digitala signaturer för transaktionsverifiering. En gaffel i transaktionsprotokollet kallas vanligtvis en ”mjuk gaffel” och är vanligtvis inte särskilt omstridd (åtminstone jämfört med en hård gaffel).

Konsensusprotokollet är förmodligen det viktigaste eftersom det formulerar modellen för att nå enighet om blockkedjans tillstånd över alla noder i nätverket. Bitcoin använder Proof of Work som sin konsensusmodell, men Tezos använder en optimerad form av Proof of Stake. Detta protokoll är avgörande för blockkedjans hållbarhet och äkthet eftersom det förhindrar dubbla utgifter och gör blockkedjan oföränderlig. En gaffel i konsensusprotokollet är en “hård gaffel” och de är lätt de mest omtvistade. Hårda gafflar tenderar att dela kryptovalutasamhällen med mer högprofilerade fall (Bitcoin / Bitcoin Cash) och är ett problem som Tezos i grunden syftar till att lösa med sin design.

Tezos nätverksskal kombinerar transaktions- och konsensusprotokoll till vad de kallar “blockchain-protokollet”. Blockchain-protokollet är i själva verket en konsekvent uppsättning av samtidiga mutationer till blockchainens globala tillstånd där blockchain-blocken definieras som de operatörer som verkar på kedjans tillstånd. Därför blir blockchain-protokollet introspektivt, vilket gör att block kan agera på själva protokollet. Detta har viktiga konsekvenser eftersom det möjliggör den självförändrande förmågan hos plattformen där intressenter kan rösta direkt om protokolluppgraderingar till systemet.

Nätverksskalet fungerar som ett gränssnitt mellan nätverksprotokollet och blockchain-protokollet (transaktions- och konsensusprotokoll). På så sätt är det nätverksskalets ansvar att upprätthålla den bästa kedjan som kunden känner till. Tezos är skrivet i OCaml och nätverksskalet kan känna igen 3 objekt.

  1. Block
  2. Transaktioner
  3. Protokoll

Moduler i OCaml kan användas för att direkt mutera (ändra) det befintliga protokollet. Dessutom fungerar nätverksskalet, som viktigare, som avskräckande för nätverket från DDoS-attacker. Det mest framträdande inslaget i Tezos-plattformen är möjligheten att implementera protokoll som kan ändra sig själva. Detta händer på protokollnivå, men på ytan är det populärt känt som dess kedjestyrningsfunktion.

Tezos styrning

Styrningen av Tezos-plattformen vilar helt på intressenterna. Alla intressenter har möjlighet att delta i styrningen av protokollet och de röstar på föreslagna protokolluppgraderingar utfärdade av utvecklare som kan bifoga fakturor till sina föreslagna uppgraderingar så att de kan kompenseras om deras förslag accepteras.

Medan den ursprungliga röstningsmekanismen är fördefinierad kan styrningsprocessen till och med ändra röstningsmekanismen när nätverket fortskrider. Det finns många villkor som kan utlösa en protokolländring, framför allt en enkel omröstning av intressenter.

Mycket mer komplexa utlösare kan emellertid implementeras genom styrningsprocessen, såsom att bevisa att nya ändringsförslag är konstitutionella med avseende på allmänt accepterade ändringar som anses vara kärnprinciperna för plattformen och som röstats av intressenterna.

Smarta kontrakt & Formell verifiering

Ett annat viktigt inslag i Tezos är dess användning av formella matematiska verifieringar av program för att bevisa deras säkerhet samtidigt som man motverkar förekomsten av buggar i kontraktskoden. Användningen av formell verifiering i kombination med OCaml som programmeringsspråk är en uppfriskande förbättring av smart kontraktslogik, vilket har lett till ett antal hack inklusive DAO-exploateringen och Parity-plånbokshacket.

Bevis på stavskonsensus & Bakning

Tezos ‘Proof of Stake-implementering är en optimerad kombination av flera koncept inklusive Slasher, Chain of Activity och Proof of Burn. Istället för gruvdrift använder Tezos det de kallar ”bakning”. I bakning utförs blockskapande av intressenterna som, snarare än att utföra PoW för att lösa ett beräkningsmässigt svårt pussel, får rätten när en Tezos-token (Tezzie) som de äger slumpmässigt väljs för att skapa ett block.

Alla är dock inte skyldiga att delta i bakningsprocessen, som det kan tyckas av denna modell. Användare som inte vill delta kan helt enkelt delegera sina tokens till andra för bakning. Bakare varnas några veckor före när de faktiskt behöver baka, där de gör den nödvändiga token-depositionen (känd som en “obligation”), vilket faktiskt är en dynamisk insättning som förändras baserat på ett antal block som en delegat har satt att skapa.

Tezos bakning

Bakare får blockbelöningar för att agera ärligt (framgångsrikt skapa ett förökande av ett giltigt block) och straffas för att ha handlat oärligt (försök att dubbla utgifter, föröka block på olika grenar). Tezos använder några andra krångligheter i denna process som rullar och baka godkännande. Bake-godkännande är när en intressent ombeds att vara vittne om att de såg ett block och verifierade dess giltighet. Rullar är grupper av tokens som aggregeras på delegatnivå och representerar en proportionell korrelation mellan bakkraft och mängden tokens som delegeras till dem.

För att baka rekommenderas minst 8 GB RAM och en pålitlig internetanslutning. Dessutom måste du äga några Tezos-tokens och du kan hitta fler resurser om hur du kan delta i Tezos-nätverket och deras community hemsida.

Slutsats

Trots en certifierat omtvistad början har Tezos nu lanserat sin Beta och erbjuder några lovande innovationer, särskilt inom styrning. Styrning av blockchain-nätverk är en av de svåraste uppgifterna att ta sig an eftersom det är ett helt nytt fält som består av att skapa hållbara och rättvisa styrningsmekanismer för stora nätverk av decentraliserade användare.

Idag hävdar många blockkedjor att de är en bra lösning på problemen inför de tidigare nätverken som Bitcoin och Ethereum, och även om de kan ge några unika innovationer ur lådan, har verifierbar hållbarhet, säkerhet och praktisk tillämpning ännu inte fullbordats . Kanske med en styrmekanism som är utformad så att plattformen kan utvecklas självständigt kan Tezos tillhandahålla en ny modell för kedjestyrning av skalbara, decentraliserade nätverk.

Användbara länkar

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