🔥 Tezos Wiki: corso XTZ, criptovaluta e altro!
Tezos ha fatto irruzione nello spazio crittografico mettendo $ 232 milioni nel loro ICO da record. Dalla loro ICO, la data di lancio è stata costantemente ritardata a causa di drammi dietro le quinte e altri conflitti. Tezos è stato lanciato ufficialmente a settembre 2018 e ora è un buon momento come un altro per essere coinvolto in questo entusiasmante progetto. Allora cos'è Tezos?
Cos'è la moneta Tezos?
Il sito web di Tezos afferma: "Tezos è una nuova blockchain decentralizzata che si autogoverna costruendo un vero commonwealth digitale".
Tezos (XTZ) è una rete blockchain collegata a un token digitale chiamato tez o tezzie. Tezos non è basato sul mining di tez. Invece, i possessori di token ricevono una ricompensa per la partecipazione al meccanismo di consenso proof-of-stake.
Un Commonwealth è un gruppo che si unisce sulla base dei propri obiettivi e interessi comuni. L'obiettivo principale di Tezos è far collaborare i titolari di token per prendere decisioni che miglioreranno il loro protocollo nel tempo. Il token Tezos nativo è XTZ.
Tezos ha tante caratteristiche che lo rendono unico. Li tratteremo più avanti nella guida. Per ora, diamo un piccolo background sul progetto.
Inizia su eToro, il vincitore del test di Bitcoin-News.one
ISCRIVITI ORA
Una breve storia di cosa sia Tezos
I co-fondatori, Arthur Breitman e Kathleen Breitman, sviluppano Tezos dal 2014 con un nucleo di sviluppatori. L'azienda ha sede in Svizzera. Come abbiamo detto in precedenza, in sole 2 settimane hanno raccolto $ 232 milioni in un ICO senza limiti, accettando contributi sia da Bitcoin che da Ethereum. Poco dopo il loro storico ICO, Tezos si è tuffato per primo in una serie di problemi di gestione. Per comprendere queste problematiche gestionali, è necessario sapere che la società fondata da Tezos si chiama DLS (Dynamic Ledger Solutions) e la società che detiene tutti i fondi raccolti durante l'ICO si chiama Tezos Foundation.
Arthur e Kathleen Breitman hanno avuto una discussione pubblica con il presidente della Fondazione Tezos, Johann Gevers. Apparentemente, Gevers, che aveva il controllo dei fondi, si rifiutò di pagare i fondi ai Breitman. Questa disputa ha creato il caos all'interno della comunità e il tasso di cambio stimato è precipitato. I Breitman hanno rilasciato una dichiarazione schiacciante a Gevers che includeva parole come "autodisciplina, autopromozione e conflitti di interesse".
Alla fine, dopo molti drammi e un'attenzione indesiderata dei media, Gevers ha lasciato l'azienda dopo aver ricevuto più di 400.000 dollari di indennità di licenziamento. Ora finalmente tutto sta andando per il verso giusto. Quindi, con questo in mente, entriamo nei minimi dettagli.
Architettura di Tezos
Puoi chiedere "Cos'è Tezos?" non rispondere correttamente. La blockchain di Tezos utilizza un middleware nativo agonistico chiamato "Network Shell". Ciò consente loro di sviluppare uno stile modulare con un libro mastro che cambia automaticamente. Un protocollo blockchain generico è diviso in tre livelli:
- Protocollo di rete: è il protocollo Gossip che è responsabile dell'ascolto e della trasmissione tra i nodi.
- Protocollo di transazione: questo è il livello di transazione che ha definito il modello di fatturazione implementato dalla blockchain.
- Protocollo di consenso: abbastanza autoesplicativo. Definisce il protocollo di consenso che aiuterà la nostra blockchain a raggiungere accordi sullo stato delle nostre transazioni.
In Tezos, gli ultimi due protocolli, transazione e consenso, sono riassunti e indicati come protocollo blockchain. Network Shell supporta la comunicazione tra il protocollo di rete e il protocollo blockchain. La shell di rete è agnostica nei confronti del protocollo di transazione e del protocollo di consenso.
I due racconti di Tezos
I due tipi di account che puoi utilizzare in Tezos sono
- Conti impliciti; e
- Account originali.
Account impliciti
Questi sono gli account più comuni in Tezos. Iniziano con tz1 (ad esempio tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Questo è un semplice account generato da una coppia di chiavi pubbliche / private. L'indirizzo pubblico tz1 è derivato dalla chiave pubblica e ogni account tz1 ha la propria chiave privata. Questi conti hanno un titolare del conto e un saldo del conto.
Gli account impliciti non possono avere un delegato. Per delegare i fondi, devono trasferire i fondi su un conto di origine e quindi deve essere nominato un delegato.
Inizia su eToro, il vincitore del test di Bitcoin-News.one
ISCRIVITI ORA
Account originali
Oltre agli account impliciti, hai anche account per i tuoi smart contract chiamati account sorgente. Questi iniziano con KT1 (ad esempio KT1Wv8Ted4b6b6raZDMoepkCPT8MkNFxyT2Ddo). Questi account hanno i seguenti campi:
- Manager: questa è la chiave privata dell'account
- Importo: importo di Tz in questo account
- Delegabile - Se i fondi di questo account possono essere delegati per la cottura
- Campi delegati: informazioni su chi ha delegato questo account per la cottura.
Un account originario può delegare i propri fondi all'account implicito del fornaio. Parleremo di più di Baker più tardi.
Tezos ha tre abilità uniche:
- Governance on-chain e cambiamento di sé.
- Un meccanismo di consenso liquido proof-of-stake
- Contratti intelligenti con verifica formale.
Esaminiamo ciascuno di questi a turno.
1. Governance on-chain e cambiamento di sé
Per comprendere l'importanza della governance on-chain e del cambiamento di sé, è prima necessario comprendere la "parola F" nella comunità crittografica, i fork.
Un fork è uno stato in cui lo stato della blockchain si scompone in catene, in cui una parte della rete ha una prospettiva diversa sulla storia delle transazioni rispetto a un'altra parte della rete. Questo è fondamentalmente ciò che è un fork, è una divergenza nella prospettiva dello stato della blockchain. Una forcella può essere ottenuta tramite una forcella morbida o una forcella rigida.
Cos'è una forcella morbida?
Ogni volta che una catena deve essere aggiornata, ci sono due opzioni: una forcella morbida o una forcella rigida. Pensa al soft fork come a un aggiornamento del software compatibile con le versioni precedenti. Cosa significa? Supponendo che tu stia eseguendo MS Excel 2005 sul tuo laptop e desideri aprire un foglio di calcolo integrato in MS Excel 2015, puoi comunque aprirlo perché MS Excel 2015 è compatibile con le versioni precedenti.
MA dopo aver detto che c'è una differenza. Tutti gli aggiornamenti di cui puoi godere nella versione più recente non saranno visibili nella versione precedente. Per tornare alla nostra analogia con MS Excel: supponendo che esista una funzione che ti consente di inserire GIF nella tabella nella versione 2015, non vedrai più queste GIF nella versione 2005. Quindi in pratica vedi tutto il testo, ma non la GIF.
Inizia su eToro, il vincitore del test di Bitcoin-News.one
ISCRIVITI ORA
Cos'è un hard fork?
La differenza principale tra una forcella morbida e una forcella rigida è che non è compatibile con le versioni precedenti. Una volta utilizzato, non si può assolutamente tornare indietro. Se non ti unisci alla versione aggiornata della blockchain, non avrai accesso ai nuovi aggiornamenti né interagirai con gli utenti del nuovo sistema, qualunque cosa. 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.
Così Andreas Antonopoulos descrive la differenza tra forchetta dura e morbida: se un ristorante vegetariano decidesse di inserire la carne di maiale nel menu, sarebbe considerata una forchetta dura. Se scegliesse di aggiungere piatti vegani chiunque sia vegetariano potrebbe comunque mangiare vegano, non devi essere vegano per mangiare lì, potresti comunque essere vegetariano per mangiare lì, e anche i mangiatori di carne possono mangiare lì, quindi quella è una forchetta morbida .
Bene, una cosa dovrebbe essere chiara qui. Le forchette non sono una brutta cosa. Una piattaforma di alta qualità dovrebbe evolversi e aggiornarsi costantemente. Per questo è assolutamente necessario che un sistema passi attraverso forcelle costanti, dure e morbide. Il problema principale risiede nelle controverse hard fork che dividono la comunità.
L'esempio più ovvio di questo sono tutti i duri test che Bitcoin e Bitcoin Cash hanno superato. Bitcoin è stato suddiviso in Bitcoin e Bitcoin Cash, mentre lo stesso Bitcoin Cash è stato successivamente suddiviso in Bitcoin Cash e Bitcoin SV. La divisione tra Bitcoin Cash e Bitcoin SV è stata particolarmente brutta. Ha innescato le cosiddette "Hash Wars".
La guerra hash consisteva fondamentalmente in queste due catene che usavano il loro potere hash per estrarre la catena più lunga. Si dice che la catena più lunga diventi la catena di denaro Bitcoin dominante. Questo trambusto inutile ha fatto precipitare l'intera comunità crittografica nell'abisso mentre l'intera capitalizzazione di mercato perdeva valore. Peggio ancora, ha diviso in due la comunità di Bitcoin Cash.
Questo è esattamente ciò che Tezos voleva evitare.
Come afferma Kathleen Breitman, "La grande ironia di Bitcoin è che in definitiva è uno strumento per il consenso della comunità, ma è [offuscato da] un'immensa quantità di ostilità. Tezos consente l'innovazione in modo sistematico e che Wise accade invece di uno nato dalla politica. Non troverai due persone che detestano la politica più di Arthur e me. Questa è l'idea alla base di Tezos: formalizziamo questo processo straordinariamente informale ".
Come può essere mitigato questo con Tezos?
Tezos mitiga il controverso hard fork attraverso l'auto-cambiamento e la governance on-chain. L'auto-cambiamento aiuta ad aggiornare la blockchain senza passare attraverso un hard fork. Governance on-chain significa semplicemente votare su una proposta di modifica sulla piattaforma. Con una combinazione di governance on-chain e auto-modifica, il processo di coordinamento può essere modificato o modificato secondo necessità. Gli stakeholder del sistema (di cui parleremo più avanti) si occupano del voto. Il design di questo sistema consente alla blockchain di svilupparsi senza intoppi invece di dover fare un hard fork.
Allora come funziona esattamente?
- Gli sviluppatori inviano in modo indipendente proposte di aggiornamento del protocollo e richiedono un compenso per il loro lavoro.
- La richiesta di risarcimento garantisce che gli sviluppatori abbiano un forte incentivo economico a contribuire all'ecosistema
- La proposta passa attraverso una fase di sperimentazione in cui la comunità testa il protocollo e lo critica per possibili miglioramenti.
- Dopo ripetuti test, i possessori di token Tezos possono quindi votare se accettare o meno la proposta.
- Non appena viene deciso un aggiornamento legittimo, viene eseguito un "hot swap" sul protocollo, che avvia la nuova versione del protocollo.
Grazie a questo sistema, il protocollo viene aggiornato passivamente e in modo decentralizzato. Ogni singolo aggiornamento del protocollo passa attraverso diverse fasi di test e riceve feedback pertinenti dalla comunità. Ciò garantisce che qualsiasi miglioramento sia approvato dalla maggioranza della comunità. Ciò impedisce alla comunità di dividersi.
2. Meccanismo di consenso Proof-of-Work - Come funziona in Tezos?
Il meccanismo di consenso della comunità è il cuore e l'anima di una rete decentralizzata. Non ha senso collegare più nodi su una rete geografica se non esistono metodi concreti per comunicare tra loro e prendere una decisione. Quando Satoshi Nakamoto ha creato Bitcoin, ha integrato in esso il meccanismo di consenso della prova di lavoro. L'idea del meccanismo POW è piuttosto semplice:
- Consenti ai miner di utilizzare la loro potenza di calcolo per risolvere enigmi crittograficamente complessi.
- Premia i minatori che sono stati in grado di risolvere questi enigmi.
È così semplice Questi puzzle sono così difficili che di solito usano molte delle tue abilità matematiche. Sebbene il POW fosse decisamente efficace all'inizio, ha molti problemi:
- Innanzitutto, la prova di lavoro è un processo estremamente inefficiente a causa dell'enorme quantità di forza ed energia che consuma.
- Le persone e le organizzazioni che possono permettersi ASIC più veloci e potenti di solito hanno maggiori possibilità di mining rispetto alle altre.
- I prigionieri di guerra portano alla centralizzazione.
Per contrastare i problemi del POW, è stato creato un nuovo protocollo di consenso chiamato "Proof of Stake" o POS.
Inizia su eToro, il vincitore del test di Bitcoin-News.one
ISCRIVITI ORA
Qual è la prova della posta in gioco?
La proof of stake renderà virtuale l'intero processo di mining e sostituirà i miner con validatori. Ecco come andrà il processo:
- I revisori dovranno bloccare alcune delle loro monete come POS.
- Quindi iniziano a convalidare i blocchi. Cioè, quando scoprono un blocco che credono possa essere aggiunto alla catena, lo convalidano piazzando una scommessa su di esso.
- Se il blocco è allegato, gli esaminatori ricevono una ricompensa proporzionale alla loro posta in gioco.
Tuttavia, questo può essere un problema in quanto comprende ancora l'intera comunità e potrebbe non essere il metodo più scalabile. Per questo motivo, molti blockchain moderni come EOS, Cardano, Lisk, NEO ecc. Sono costruiti con un protocollo delegato. EOS e Lisk utilizzano un protocollo delegato "proof-of-stake" in cui viene preselezionato un determinato numero di delegati. Questi delegati sono i responsabili del consenso e del benessere generale della rete.
Il meccanismo di consenso di Tezos è simile a questo, ma con una piccola differenza. Invece della delegazione irriducibile, Tezos include un modello di democrazia fluido nel suo consenso.
Come funziona Liquid Democracy?
È un sistema che scorre tra democrazia diretta e democrazia rappresentativa. Il processo ha le seguenti caratteristiche:
- Le persone possono votare direttamente sulle loro politiche.
- Le persone possono delegare la loro responsabilità di voto a un delegato che può votare le loro politiche per loro.
- I delegati stessi possono delegare la propria responsabilità di voto a un altro delegato che può votare per loro conto. Questa proprietà, in cui un delegato può denominare il proprio delegato, è nota come transitività.
- Se una persona che ha delegato i propri diritti di voto non gradisce il voto scelto dai propri delegati, può semplicemente ritirare il proprio voto e votare personalmente la politica.
Allora quali sono i vantaggi di una democrazia liquida?
- L'opinione di ogni individuo è importante e gioca un ruolo nel processo decisionale finale.
- Per diventare un delegato, devi solo guadagnare la fiducia di qualcuno. Non devi spendere milioni di dollari in costose campagne elettorali. Per questo motivo, la barriera all'ingresso è relativamente bassa.
- Data la possibilità di oscillare tra democrazia diretta e delegata, i gruppi minoritari possono essere rappresentati in modo più equo.
- Dopotutto, ha un modello scalabile. Chi non ha il tempo di votare sulla propria politica può semplicemente delegare la propria responsabilità di voto.
Cos'è una prova di puntata liquida?
In contrasto con DPoS (Delegated Proof of Stake), non esiste una regola rigida e rapida che impone la selezione dei delegati. Dipende interamente dai partecipanti cosa vogliono fare. Va bene, quindi iniziamo con LPoS.
Tezos è un sistema liquid proof of stake che richiede il possesso di un certo numero di token Tezos per poter partecipare al consenso sulla blockchain. Il processo di "estrazione" dei token Tezos (XTZ) è noto come cottura.
I titolari di token alias "Baker" possono delegare i propri diritti di convalida ad altri titolari di token senza trasferire la proprietà. A differenza di EOS, la delega è facoltativa.
XTZ blocca la cottura
Trovi e aggiungi blocchi alla blockchain Tezos attraverso un processo chiamato "cottura". Ed è così che funziona:
- Baker riceve i diritti di pubblicazione in blocco in base alla loro quota.
- Ogni blocco viene "cotto" da un panettiere casuale e quindi certificato da altri 32 fornai casuali.
- Quando il blocco è pronto per l'uso, il blocco viene aggiunto alla blockchain.
- Il panettiere di successo riceve un "premio di blocco" e può addebitare commissioni di transazione per tutte le transazioni all'interno del blocco.
Come abbiamo detto prima, i possessori di token di cottura hanno la possibilità di delegare i propri diritti di cottura ad altri possessori senza rinunciare alla proprietà dei loro token. Al termine della cottura, il panettiere condividerà le sue ricompense con il resto dei delegati.
Inizia su eToro, il vincitore del test di Bitcoin-News.one
ISCRIVITI ORA
3. Contratti intelligenti e verifica formale
Tezos è stato codificato con OCaml. Lo smart contract che girerà su Tezos verrà realizzato con Michelson. Quindi cosa hanno di speciale queste lingue? Sono entrambi linguaggi funzionali. Quando si parla di lingue, appartengono a due famiglie:
- imperativ
- funzionale
Linguaggi di programmazione imperativi
Un approccio imperativo richiede che il programmatore annoti tutti i passaggi che il computer deve compiere per raggiungere un obiettivo. Tutti i nostri linguaggi di programmazione tradizionali come C ++, Java e persino Solidity sono linguaggi di programmazione imperativi. Questo tipo di approccio alla programmazione è anche chiamato programmazione algoritmica.
Facciamo un esempio di cosa intendiamo con questo. Diamo un'occhiata al C ++. Supponiamo di voler aggiungere 5 e 3.
int a = 5;
intero b = 3;
int c;
c = a + b;
Quindi, come puoi vedere, il processo di aggiunta richiede diversi passaggi e ogni passaggio cambia costantemente lo stato del programma mentre vengono eseguiti uno alla volta. Un processo di aggiunta ha richiesto quattro passaggi e i passaggi sono:
- Dichiara un intero a e assegna il valore 5.
- Dichiara un intero b e assegna il valore 3.
- Dichiarare un numero intero c.
- I valori di e b vengono aggiunti e memorizzati in c.
Linguaggi di programmazione funzionali
La seconda famiglia di linguaggi di programmazione sono i linguaggi funzionali. Questo stile di programmazione è stato creato per fornire un approccio funzionale alla risoluzione 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 quindi vogliamo usare quella funzione per lavorare con una funzione h (x). Invece di risolvere tutte queste funzioni in una sequenza, possiamo semplicemente inserirle tutte in una singola funzione come questa:
h (g (f (x)))
Ciò rende più facile giustificare matematicamente l'approccio funzionale. Per questo motivo, i programmi funzionali dovrebbero essere un approccio più sicuro alla creazione di contratti intelligenti. Ciò contribuisce anche a una verifica formale più semplice, il che significa praticamente che è più facile dimostrare matematicamente cosa fa un programma e come si comporta.
Facciamo un esempio di vita reale e vediamo perché questo può essere estremamente critico e persino salvare vite in determinate condizioni.
Supponiamo di codificare un programma che controlla il traffico aereo. Come puoi immaginare, la codifica di un sistema del genere richiede una grande precisione e accuratezza. Non possiamo semplicemente codificare ciecamente qualcosa e sperare per il meglio quando la vita delle persone è in pericolo. In tali situazioni, abbiamo bisogno di codice che abbia dimostrato di funzionare con un alto grado di certezza matematica.
Questo è esattamente il motivo per cui l'approccio funzionale è così desiderabile. Questo è il motivo per cui Tezos utilizza OCaml e i loro contratti intelligenti Michelson.
Quindi diamo un'occhiata ai vantaggi dell'approccio funzionale:
- Aiuta a creare codice ad alta garanzia poiché è più facile dimostrare il comportamento matematico del codice.
- Aumenta la leggibilità e la manutenibilità, poiché ogni funzione è progettata per svolgere un compito specifico. Le funzioni sono anche indipendenti dallo stato.
- Il codice è più facile da riformare e qualsiasi modifica nel codice è più facile da implementare. Ciò facilita lo sviluppo reiterativo.
- Le singole funzioni possono essere facilmente isolate, il che semplifica il test e il debug.
Altro su Michelson
Michelson è un linguaggio basato su stack fortemente tipizzato. In Ethereum, i contratti intelligenti vengono scritti in Solidity o Viper e compilati nel bytecode EVM, che viene quindi eseguito nella macchina virtuale Ethereum (EVM). Non ci sono passaggi aggiuntivi non necessari in Tezos e il codice Michelson stesso viene eseguito nella VM Tezos.
Qual è il vantaggio di questo approccio? Può essere facilmente letto dagli esseri umani, il che aiuta a stabilire le prove di correttezza e aiuta a evitare errori.
Inizia su eToro, il vincitore del test di Bitcoin-News.one
ISCRIVITI ORA
Quello che segue è un esempio di un contratto Michelson
Parametri (pair (lambda int int) (list int));
Return (list int);
Unità di archiviazione;
Codice {DIP {NIL int};
MACCHINA;
DUP;
DIP {CAR; PAIO}; # Decomprimere i dati e impostare l'accumulatore
RDC;
LAMBDA (coppia int (coppia (lambda int int) (lista int)))
(Coppia (lambda int int) (list int))
# Applica lambda e aggiungi il nuovo elemento all'elenco
{DUP; CDAR;
DIP {DUP; DIP {CDAR}; DUP;
AUTOMOBILE; DIP {CDDR; SCAMBIARE}; EXEC; CONS};
PAIO};
RIDURRE; CDR; DIP {NIL int}; # Riduci prima
LAMBDA (coppia int (lista int))
(List int)
{DUP; AUTOMOBILE; DIP {CDR}; SVANTAGGIO};
RIDURRE; # Correggere l'ordine dell'elenco
UNITÀ; SCAMBIO; PAIR} # Convene Congress
La nostra conclusione su Tezos
Così il gioco è fatto. Tezos è un progetto estremamente affascinante che purtroppo è stato oscurato da tutto il dramma dietro le quinte. Questo progetto merita un'analisi più dettagliata perché apporta un uso interessante allo spazio blockchain. Ora dobbiamo aspettare e vedere se possono giustificare l'hype che hanno generato dopo il loro ICO.