Secondo il sito di Tezos, “Tezos è una nuova blockchain decentralizzata che si governa da sola stabilendo un vero e proprio commonwealth.” Un commonwealth è un gruppo che sceglie di mettersi insieme perchè condivide gli stessi obbiettivi e interessi. Tezos mira a far fare ai suoi token holders le loro scelte per governare la piattaforma e migliorarla nel tempo. Questa guida a Tezos per principianti serve per aiutare le persone che sono nuove a capire come sia differente rispetto ad altre piattaforme di smart contracts come Ethereum.
Leggi anche Blockchain: cos’è e come funziona
Governo
Tezos è una piattaforma di smart contracts come Ethereum ma una delle differenze principali è che Tezos incorpora un processo per aggiornare il protocollo nel tempo attraverso un governo on chain. Questo sistema di governo è progettato per permettere un evoluzione regolare della blockchain piuttosto che un fork, che è una divisione della blockchain in 2 versioni separate. Il team crede che i fork, che sia bitcoin che ethereum hanno subito in passato, non dovrebbero essere il modo standard per migliorarsi nel tempo. La loro visione è che i fork dovrebbero avvenire solo come ultima risorsa, quando la community ha bisogno di essere divisa in 2 per delle differenze di pensiero inconciliabili e ogni gruppo prepara il suo protocollo per evolversi.
Su Tezos, gli sviluppatori sono in grado di inviare proposte indipendentemente per i miglioramenti del protocollo dove includono una richiesta di compenso per il loro lavoro. I possessori di token tezos possono poi votare se la proposta debba essere approvata o meno. Aggiungere questa struttura di pagamento da incentivi agli sviluppatori per continuare a sviluppare Tezos piuttosto che lavorare gratis, fare affidamento sulle donazioni, o essere sponsorizzati da un entità centralizzata. Questa struttura innovativa è intesa per permettere a Tezos di supportare indipendentemente gli sviluppatori che contribuiscono al protocollo nel tempo.
Proof of stake delegato
Ethereum è passata dal proof of work al proof of stake mentre Tezos pianifica di partire direttamente con il proof of stake delegato. Il proof of stake è un modo efficace ma è un metodo che consuma molte risorse per mantenere il consenso nella rete peer to peer, al momento i minatori di Ethereum stanno già usando più elettricità di una piccola città come Cipro. Con il Pos, le convalide vengono fatte attraverso il mining virtuale piuttosto che quello fisico. Per partecipare devi solo possedere i token piuttosto che spendere i soldi per comprare le macchine per il mining e l’elettricità. Un beneficio aggiunto del Pos è che da penalità economiche alle persone che cercano di attaccare il network. Pos delegato significa che i possessori dei token Tezos possono delegare qualcun altro per la convalida al loro posto se questi non vogliono partecipare direttamente nello staking, per mancanza di tempo, risorse o conoscenze.
Verificazione formale
Tezos differisce da Ethereum nel suo linguaggio di programmazione per gli smart contract, chiamato Michelson, è un linguaggio funzionale che facilita la verificazione formale. La verificazione formale essenzialmente permette agli sviluppatori di provare matematicamente la correttezza del codice dei loro contratti intelligenti. La verificazione formale prova che alcune proprietà del contratto saranno mantenute, ma non significa che il codice sia corretto al 100%. La verificazione formale viene usata nelle industrie dove c’è poco spazio per gli errori come i reattori nucleari ad esempio.
Ci sono state segnalazioni di bug nei contratti intelligenti di Ethereum che sarebbero stati evitati grazie alla verificazione formale. Questo non significa che Ethereum non abbia bug, ma permette di creare dei tool per la verificazione formale che gli sviluppatori possono usare per assicurarsi che i contratti intelligenti si comportino come previsto. Per questa ragione, c’è pressione per creare dei tool di verificazioni formali e nuovi linguaggi di programmazione per scrivere i contratti intelligenti di Ethereum. Il problema delle verificazioni formali è che può essere difficile per gli sviluppatori applicarle correttamente, portando ad un falso senso di sicurezza.
Progetto
I co fondatori di Tezos sono Arthur Breitman( ArthurB) e Kathleen Breitman (KathleenB) che hanno sviluppato Tezos dal 2014 con un team di sviluppatori.
Partendo dal 1 luglio 2017 il team di tezos ha alzato uno storico 232 milioni mai raggiunto da una raccolta di fondi su un periodo di 2 settimane, accettando sia contributi di Bitcoin che di ethereum. La fondazione Tezos basata in svizzera controlla i fondi alzati con il crowdfounding. Nel primo anno della rete, la fondazione aveva il veto sulle proposte ma non aveva nessun potere privilegiato sulle proposte. Inoltre, la fondazione pensa di uscirne fuori se i possessori di Tezos votano per mantenere il sistema di governo on chain.
Credo che Ethereum, Tezos e altre piattaforme di smart contracts possano coesistere dato che servono a cose differenti e i possessori di token hanno idee differenti. Quando le infrastrutture cross blockchain come Cosmos e Polkadot saranno sviluppate completamente speriamo di vedere i token di ethereum e di Tezos muoversi liberamente sulle 2 piattaforme.