Tezos ha fatto irruzione nello spazio crittografico raccogliendo 232 milioni di dollari nel suo ICO di allora. Dal suo ICO, la sua data di lancio è stata costantemente ritardata a causa del dramma dietro le quinte e di altri conflitti. Tezos è stato lanciato ufficialmente nel settembre 2018 e ora è un buon momento per vedere questo entusiasmante progetto. Allora, cos’è Tezos?
Secondo il sito web di Tezos, “Tezos è una nuova catena di blocchi decentralizzata che si governa da sola stabilendo un vero Commonwealth digitale.
Un Commonwealth è un gruppo che sceglie di essere unito per i suoi obiettivi e interessi comuni. L’obiettivo principale di Tezos è quello di far lavorare insieme i suoi proprietari di gettoni per prendere decisioni che miglioreranno il loro protocollo nel tempo. La pedina nativa di Tezos è XTZ. Ci sono molte caratteristiche in Tezos che lo rendono unico. Li guarderemo più avanti in questa guida. Per ora, diamo un’occhiata ad alcune informazioni sul progetto. Se conoscete già Tezos, e volete essere in grado di ottenere questo cryptomoney, potete ottenere Tezos al link qui sotto.
Una breve storia di ciò che è Tezos
I co-fondatori Arthur Breitman e Kathleen Breitman sviluppano Tezos dal 2014 con un gruppo di sviluppatori. L’azienda ha sede in Svizzera. Come detto, hanno raccolto 232 milioni di dollari in un ICO a tempo indeterminato in sole due settimane, accettando contributi sia da bitcoin che da etere. Poco dopo la sua storica ICO, Tezos ha affrontato molte sfide gestionali. Per comprendere queste problematiche gestionali, è bene sapere che la società fondatrice di Tezos si chiama DLS (Dynamic Ledger Solutions) e la società che detiene tutti i fondi raccolti durante l’ICO si chiama “Fundación Tezos”.
Arthur e Kathleen Breitman hanno litigato pubblicamente con il presidente della Fondazione Tezos, Johann Gevers. A quanto pare, Gevers, che aveva il controllo dei fondi, si è rifiutato di erogare i fondi ai Breitman. Questa disputa ha portato al caos all’interno della comunità e il tasso di cambio stimato è crollato. I Breitman hanno rilasciato una dichiarazione sprezzante su Gevers che includeva parole come “autointervento, autopromozione e conflitto d’interessi”.
Alla fine, dopo molti drammi e l’attenzione indesiderata dei media, Gevers ha lasciato l’azienda dopo aver ricevuto più di 400.000 dollari di risarcimento. Ora le cose si stanno finalmente mettendo a posto. Quindi, su questa nota, entriamo nei dettagli.
Tezos Architettura
Non è possibile rispondere correttamente alla domanda “cos’è una carnagione?”. La catena di blocchi Tezos utilizza un middleware nativo agonistico chiamato “Network Shell”. Questo permette loro di sviluppare uno stile modulare con un libro mastro auto-buffering. Un generico protocollo di catena a blocchi è diviso in tre strati:
- Protocollo di rete: è il protocollo di gossip che si occupa di ascoltare e trasmettere tra i nodi.
- Protocollo di transazione: Questo è il livello transazionale che definisce il modello contabile che implementa la catena a blocchi.
- Protocollo di consenso: abbastanza autoesplicativo. Questo definisce il protocollo di consenso che aiuterà la nostra catena di blocco a raggiungere accordi sullo stato delle nostre transazioni.
A Tezos, gli ultimi due protocolli, Transazione e Consenso, sono combinati per essere indicati come Block Chain Protocol. Il Network Shell aiuta la comunicazione tra il protocollo di rete e il protocollo di blocco. Il Network Shell è agnostico ai protocolli di transazione e di consenso.
Entrambi i conti di Tezos
I due tipi di conti che potete utilizzare a Tezos sono
- Conti impliciti.
- Conti originari.
Conti impliciti
Questi sono i conti più comuni a Tezos. Iniziano con tz1 (es: tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Si tratta di un semplice conto generato da una coppia di chiavi pubbliche/private. L’indirizzo pubblico tz1 deriva dalla chiave pubblica e ogni conto tz1 ha la sua chiave privata. Questi conti hanno un titolare e un saldo del conto.
I conti impliciti non possono avere un delegato. Per delegare i fondi, devono trasferirli su un conto di origine e poi deve essere istituito un delegato.
Oltre ai conti impliciti avete anche i conti per i vostri contratti smart che sono chiamati conti di origine. Questi iniziano con KT1 (Es: KT1Wv8Ted4b6raZDMoepkCPT8MkNFxyT2Ddo). Questi conti hanno i seguenti campi:
- Manager – Questa è la chiave privata del conto
- Importo – Importo Tz in questo conto
- Delegabile – Se i fondi di questo conto possono essere delegati per la cottura al forno
- Campi delegati – Informazioni su chi è stato delegato questo conto di cottura.
Un conto originario può delegare i propri fondi al conto del panettiere implicito. Parleremo dopo dei panettieri.
Tezos ha tre capacità uniche:
- La governance nella catena e l’autocorrezione.
- Meccanismo di consenso per l’impermeabilizzazione a liquido
- Contratti intelligenti con verifica formale.
Esaminiamo ognuno di questi, uno per uno.
La governance nella catena e l’autocorrezione
Per capire l’importanza della governance a catena e dell’auto-riformazione, bisogna prima capire la parola con la F nella comunità crittografica, forchette.
Una forchetta è una condizione per cui lo stato della catena di blocchi differisce in catene in cui una parte della rete ha una prospettiva diversa sulla storia delle transazioni rispetto ad un’altra parte della rete. Questo è fondamentalmente ciò che è una forchetta, è una divergenza nella prospettiva dello stato della catena di blocco. Una forchetta può essere realizzata con una forchetta morbida o con una forchetta dura.
Cos’è una forchetta morbida?
Ogni volta che una catena deve essere aggiornata, ci sono due modi per farlo: una forchetta morbida o una forchetta dura. Pensate al soft fork come ad un aggiornamento del software compatibile con le versioni precedenti. Cosa significa? Supponiamo che si stia eseguendo MS Excel 2005 sul proprio portatile e si voglia aprire un foglio di calcolo costruito in MS Excel 2015, è comunque possibile aprirlo perché MS Excel 2015 è compatibile con le versioni precedenti.
Ma, detto questo, c’è una differenza. Tutti gli aggiornamenti di cui potrete godere nella nuova versione non vi saranno visibili nella versione precedente. Tornando alla nostra analogia con MS Excel, supponiamo che ci sia una funzione che permetta di inserire le GIF nel foglio di calcolo nella versione 2015, non vedrete quelle GIF nella versione 2005. Quindi, in pratica, vedrete tutto il testo, ma non il GIF.
Cos’è una forchetta dura?
La differenza principale tra una forcella morbida e una forcella dura è che non è compatibile con la versione precedente. Una volta che lo si usa, non si può più tornare indietro. Se non aderite alla versione aggiornata della catena di chiusura, non avrete accesso a nessuno dei nuovi aggiornamenti e non potrete interagire con gli utenti del nuovo sistema. Pensa a PlayStation 3 e PlayStation 4. Non puoi giocare a giochi per PS3 su PS4 e non puoi giocare a giochi per PS4 su PS3.
Andreas Antonopoulos descrive la differenza tra una forchetta dura e una forchetta morbida come questa: se un ristorante vegetariano decidesse di aggiungere la carne di maiale al suo menu, sarebbe considerata una forchetta difficile. Se hanno deciso di aggiungere piatti vegetariani, tutti quelli che sono vegetariani potrebbero mangiare vegetariano, non c’è bisogno di essere vegetariani per mangiare lì, si potrebbe essere vegetariani per mangiare lì e i mangiatori di carne potrebbero mangiare anche lì, quindi questa è una forchetta morbida.
Ora, una cosa dovrebbe essere chiara. Le forchette non sono una brutta cosa. Una piattaforma di alta qualità deve evolvere ed essere continuamente aggiornata. Per fare questo, è assolutamente necessario che un sistema passi attraverso forchette dure e morbide costanti. Il problema principale risiede nelle controverse forchette che dividono la comunità.
L’esempio più evidente di tutto questo sono tutte le forchette dure che Bitcoin e Bitcoin Cash hanno attraversato. Bitcoin è stato diviso in Bitcoin e Bitcoin Cash, mentre Bitcoin Cash è stato successivamente diviso in Bitcoin Cash e Bitcoin SV. La divisione tra Bitcoin Cash e Bitcoin SV è stata particolarmente brutta. Ha scatenato le cosiddette “guerre dell’hashish”.
Le guerre dell’hashish erano fondamentalmente queste due catene che utilizzavano il loro potere dell’hash per estrarre la catena più lunga. Quella con la catena più lunga diventa presumibilmente la catena dominante di Bitcoin Cash. Questa posizione inutile ha affondato l’intera comunità crittografica, mentre l’intero mercato perdeva valore. Peggio ancora, ha diviso in due la comunità Bitcoin Cash.
Questo è esattamente ciò che Tezos voleva evitare.
Come dice Kathleen Breitman, “La grande ironia del bitcoin è che in definitiva è uno strumento per il consenso della comunità, ma è [macchiato da] un’enorme quantità di animosità. Tezos permette che l’innovazione avvenga in modo sistematico rispetto a quella che nasce dalla politica. Non troverete due persone che odiano la politica più di me e Arthur. Questa è l’idea alla base di Tezos: formalizzare questo processo straordinariamente informale.
In che modo Tezos mitiga questa situazione?
Tezos mitiga le controverse biforcazioni attraverso l’auto-riforma e la governance a catena. L’auto-riforma aiuta a migliorare la catena di bloccaggio senza dover passare attraverso una forchetta dura. Governance a catena significa semplicemente votare sulla piattaforma su una proposta di emendamento. Con una combinazione di governance a catena e un evento di auto-riforma, il processo di voto può essere modificato, anche noto come emendamento, a seconda delle necessità. Gli stakeholder del sistema (discussi di seguito) sono responsabili del voto. Il design di questo sistema permette un’evoluzione fluida della catena di bloccaggio invece di dover utilizzare una forcella rigida.
Ok, allora come funziona esattamente?
Gli sviluppatori presentano autonomamente proposte di aggiornamento del protocollo e chiedono un compenso per il loro lavoro.
La richiesta di risarcimento assicura che gli sviluppatori abbiano un forte incentivo economico a contribuire all’ecosistema.
La proposta passa attraverso un periodo di prova in cui la comunità testa il protocollo e lo critica per possibili miglioramenti.
Dopo ripetuti test, i detentori di gettoni Tezos possono votare se la proposta deve essere approvata o meno.
Una volta deciso un aggiornamento legittimo, si verifica uno “hot swap” nel protocollo, che avvia la nuova versione del protocollo.
Grazie a questo sistema, il protocollo viene aggiornato in modo passivo e decentralizzato. Ogni aggiornamento del protocollo passa attraverso diversi periodi di test e riceve un feedback rilevante dalla comunità. Ciò garantisce che qualsiasi miglioramento che si verifichi abbia il timbro di approvazione della maggioranza della comunità. In questo modo si evita la possibilità che la comunità venga divisa con una forchetta dura.
Test del palo liquido
1
Il meccanismo del consenso è il cuore e l’anima di una rete decentrata. Non ha senso collegare più nodi attraverso una rete ad ampio raggio se non ci sono metodi concreti per comunicare tra loro e raggiungere una decisione. Quando Satoshi Nakamoto ha creato Bitcoin, ha integrato il meccanismo del consenso sul test di lavoro. L’idea del PWM è abbastanza semplice:
Fate in modo che i minatori utilizzino la potenza del loro computer per risolvere enigmi crittograficamente difficili.
Premiate i minatori che sono riusciti a risolvere questi enigmi.
È così semplice. Questi rompicapi sono così difficili che di solito richiedono molta potenza del computer. Anche se il P.O.W. era sicuramente efficace quando ha iniziato, ha molti problemi:
Prima di tutto, l’esecuzione del test è un processo estremamente inefficiente a causa della grande quantità di potenza e di energia che consuma.
Gli individui e le organizzazioni che possono permettersi ASIC più veloci e più potenti sono di solito più propensi ad impegnarsi nel settore minerario rispetto ad altri.
Il prigioniero di guerra porta alla centralizzazione.
Per contrastare i problemi dei POW, è stato creato un nuovo protocollo di consenso chiamato “Test di partecipazione” o POS.
Cos’è la Prova di Partecipazione?
Il Participation Test renderà virtuale l’intero processo di estrazione e sostituirà i minatori con dei validatori.
Ecco come funzionerà il processo:
- I validatori dovranno salvare alcune delle loro monete come scommessa.
- Dopo di che, inizieranno a convalidare i blocchi. Cioè, quando scoprono un blocco che pensano possa essere aggiunto alla catena, lo convalidano scommettendoci sopra
- Se il blocco viene aggiunto, i validatori riceveranno una ricompensa proporzionale alle loro scommesse.
Tuttavia, questo può essere un problema, in quanto include ancora l’intera comunità e potrebbe non essere il metodo più scalabile. Per questo motivo molte moderne catene a blocchi come EOS, Cardano, Lisk, NEO, ecc. sono costruite con un protocollo delegato. EOS e Lisk utilizzano un protocollo di prova di partecipazione delegata in cui viene scelto in anticipo un numero fisso di delegati. Questi delegati sono responsabili del consenso e del benessere generale della rete.
Il meccanismo di consenso di Tezos è simile a questo, ma con una piccola differenza. Invece di una delegazione hardcore, Tezos incorpora nel suo consenso un modello di democrazi
Come funziona la democrazia liquida?
È un sistema che passa senza problemi dalla democrazia diretta alla democrazia rappresentativa.
Il processo ha le seguenti caratteristiche:
- Le persone possono votare direttamente sulle loro politiche.
- Le persone possono delegare le loro responsabilità di voto a un delegato che può votare per loro.
I delegati stessi possono delegare le loro responsabilità di voto ad un altro delegato che può votare per loro conto. Questa proprietà in cui un delegato può nominare il proprio delegato si chiama transitività.
Se una persona che ha delegato il proprio voto non gradisce il voto scelto dai propri delegati, può semplicemente recuperare il proprio voto e votare la politica in prima persona.
Quali sono i vantaggi della democrazia liquida?
L’opinione di ogni singola persona conta e svolge un ruolo importante nella creazione della politica finale.
Per diventare un delegato, basta guadagnarsi la fiducia di una persona. Non c’è bisogno di spendere milioni di dollari in costose campagne elettorali. Per questo motivo, la barriera d’ingresso è relativamente bassa.
Grazie alla scelta tra democrazia diretta e democrazia delegata, i gruppi minoritari possono essere rappresentati più equamente.
Infine, ha un modello scalabile. Chi non ha tempo di votare sulle proprie politiche può semplicemente delegare le proprie responsabilità di voto.
Cos’è il test del palo liquido?
A differenza del DPoS (Delegate Participation Test), non esiste una regola rigida e veloce per la selezione dei delegati. Sta al partecipante decidere cosa vuole fare. Va bene, cominciamo con i punti di contatto.
Tezos è una prova liquida del sistema di scommesse che richiede di scommettere un certo numero di fiches Tezos per partecipare al consenso della catena di blocco. Il processo di picchettamento dei chip tezos (XTZ) si chiama cottura al forno.
I possessori di gettoni, noti anche come “panettieri”, possono delegare i loro diritti di convalida ad altri possessori di gettoni senza trasferire la proprietà. A differenza di EOS, la delega è facoltativa.
Blocchi di cottura
Si trovano e si aggiungono blocchi alla catena di blocchi Tezos attraverso un processo chiamato “cottura al forno”. Ecco come funziona:
I panettieri ottengono i diritti di blocco in base alla loro partecipazione.
Ogni blocco viene cotto da un panettiere a caso e poi autenticato da altri 32 panettieri a caso.
Se il blocco è pronto per l’uso, il blocco viene aggiunto alla catena del blocco.
Il panettiere di successo riceve una ricompensa in blocco e può addebitare le spese di transazione per tutte le transazioni all’interno del blocco.
Come già detto, i detentori di gettoni hanno la possibilità di delegare i loro diritti di cottura ad altri detentori senza trasferire la proprietà dei loro gettoni. Al termine del processo di cottura, il panettiere condividerà le sue ricompense con gli altri delegati.
Contratti intelligenti e verifica formale
Tezos è stato codificato utilizzando OCaml. I contratti intelligenti da eseguire su Tezos saranno creati utilizzando Michelson. Cosa c’è di così speciale in queste lingue? Entrambi si rivelano essere linguaggi funzionali.
Quando si tratta di lingue, appartengono a due famiglie:
- Imperativo
Linguaggi di programmazione imperativi
In un approccio imperativo, il codificatore deve scrivere tutti i passi che il computer deve compiere per raggiungere un obiettivo. Tutti i nostri linguaggi di programmazione tradizionali come C+++, Java e anche Solidity sono linguaggi di programmazione indispensabili. Questo tipo di approccio di programmazione è anche chiamato programmazione algoritmica.
Facciamo un esempio di ciò che intendiamo con questo. Guardiamo il C++. Supponiamo di voler aggiungere 5 e 3.
int a = 5;
int b = 3;
int c;
c= a + b;
Quindi, come si può vedere, il processo di aggiunta ha più fasi e ogni fase cambia costantemente lo stato del programma, in quanto sono tutte in esecuzione singolarmente.
Un processo di aggiunta ha richiesto quattro fasi e le fasi sono
Dichiarare un intero a e assegnargli il valore 5.
Dichiarare un intero b e assegnargli il valore 3.
Dichiarare un numero intero c.
Aggiungere i valori di e b e memorizzarli in c.
Linguaggi di programmazione funzionali
La seconda famiglia di linguaggi di programmazione sono linguaggi funzionali. Questo stile di programmazione è stato creato per costruire un approccio funzionale alla soluzione dei problemi. Questo tipo di approccio è chiamato programmazione dichiarativa.
Allora, come funziona la programmazione funzionale?
Supponiamo che ci sia una funzione f(x) che vogliamo usare per calcolare una funzione g(x) e poi vogliamo usarla per lavorare con una funzione h(x). Invece di risolverli tutti in un’unica sequenza, possiamo semplicemente raggrupparli tutti insieme in un’unica funzione come questa:
h(g(f(x))
Questo rende l’approccio funzionale più facile ragionare matematicamente. Per questo motivo i programmi funzionali dovrebbero essere un approccio più sicuro per la creazione di contratti intelligenti. Questo aiuta anche a semplificare la verifica formale, il che significa che è più facile dimostrare matematicamente cosa fa un programma e come agisce.
Prendiamo un esempio reale di questo e vediamo perché può essere estremamente critico e anche salvavita in certe condizioni.
Supponiamo che stiamo codificando un programma che controlla il traffico aereo.
Come potete immaginare, la codifica di un tale sistema richiede un alto grado di precisione e accuratezza. Non possiamo semplicemente codificare ciecamente qualcosa e sperare per il meglio quando sono in gioco le vite delle persone. In situazioni come questa, abbiamo bisogno di un codice che possa essere dimostrato che funziona con un alto grado di certezza matematica.
Proprio per questo motivo l’approccio funzionale è così auspicabile. Ecco perché Tezos usa OCaml e i suoi contratti intelligenti usano Michelson.
La seguente tabella confronta l’approccio Imperativo con l’approccio Funzionale.
Vediamo quindi i vantaggi dell’approccio funzionale:
Aiuta a creare codice ad alta sicurezza perché è più facile testare come il codice si comporterà matematicamente.
Aumenta la leggibilità e la manutenibilità perché ogni funzione è progettata per eseguire un compito specifico. Anche le funzioni sono indipendenti dallo stato.
Il codice è più facile da rifrangere ed eventuali modifiche al codice sono più facili da implementare. Questo facilita lo sviluppo ripetitivo.
Le singole funzioni possono essere facilmente isolate, rendendole più facili da testare e da eseguire il debug.
Per saperne di più su Michelson
Michelson è un linguaggio fortemente tipizzato, basato sulla pila.
Nell’Ethereum, i contratti intelligenti sono scritti in Solid o Viper e compilati in codice di byte EVM, che viene poi eseguito nella macchina virtuale dell’Ethereum (EVM). A Tezos, non ci sono inutili passaggi extra e il codice di Michelson gira nella macchina virtuale di Tezos.
Qual è il vantaggio di questo approccio? Può essere facilmente letto dall’uomo, il che aiuterà a costruire i test di correzione delle bozze e ad evitare errori.
Conclusione
Quindi, ecco fatto. Tezos è un progetto estremamente intrigante che purtroppo è stato messo in ombra da tutto il dramma del dietro le quinte. Questo progetto merita un’ulteriore analisi perché sta portando una qualche interessante utilità allo spazio della catena di blocchi. Ora dobbiamo aspettare e scoprire se possono giustificare l’hype che hanno generato dopo il loro ICO.
Se volete ottenere Tezos al miglior prezzo, potete trovarlo cliccando qui sotto.