🔥 Tezos Wiki - curso XTZ, criptomoeda e muito mais!
A Tezos invadiu o espaço criptográfico ao colocar US $ 232 milhões em seu ICO, então recorde. Desde seu ICO, sua data de lançamento tem sido continuamente adiada devido a dramas de bastidores e outros conflitos. Tezos foi lançado oficialmente em setembro de 2018 e agora é um bom momento como qualquer outro para se envolver neste projeto emocionante. Então, o que é Tezos?
O que é a moeda Tezos?
O site da Tezos afirma: "Tezos é uma nova blockchain descentralizada que se auto-governa construindo uma verdadeira comunidade digital".
Tezos (XTZ) é uma rede blockchain conectada a um token digital chamado tez ou tezzie. Tezos não se baseia na mineração de tez. Em vez disso, os detentores de tokens recebem uma recompensa por participar do mecanismo de consenso de prova de aposta.
Uma Comunidade é um grupo que se une com base em seus objetivos e interesses comuns. O principal objetivo da Tezos é fazer com que seus detentores de tokens trabalhem juntos para tomar decisões que irão melhorar seu protocolo ao longo do tempo. O token nativo Tezos é XTZ.
O Tezos possui muitas características que o tornam único. Vamos abordá-los mais tarde no guia. Por enquanto, vamos dar a você um pequeno histórico do projeto.
Comece no eToro, o vencedor do teste do Bitcoin-News.one
INSCREVA-SE AGORA
Uma breve história do que é Tezos
Os cofundadores, Arthur Breitman e Kathleen Breitman, desenvolvem o Tezos desde 2014 com um grupo central de desenvolvedores. A empresa está sediada na Suíça. Como dissemos antes, em apenas 2 semanas eles levantaram $ 232 milhões em um ICO sem limite, aceitando contribuições de Bitcoin e Ethereum. Pouco depois de seu histórico ICO, Tezos mergulhou de cabeça em uma série de problemas de gestão. Para entender essas questões de gestão, você precisa saber que a empresa fundada por Tezos se chama DLS (Dynamic Ledger Solutions) e a empresa que detém todos os recursos arrecadados durante o ICO se chama Fundação Tezos.
Arthur e Kathleen Breitman discutiram publicamente com o presidente da Fundação Tezos, Johann Gevers. Aparentemente, Gevers, que tinha o controle dos fundos, recusou-se a pagar os fundos aos Breitman. Essa disputa criou caos dentro da comunidade e a taxa de câmbio estimada despencou. Os Breitmans emitiram uma declaração condenatória sobre Gevers que incluía palavras como "self-trading, self-promotion and conflitos of interest".
Eventualmente, depois de muito drama e atenção indesejada da mídia, Gevers deixou a empresa depois de receber mais de US $ 400.000 em indenizações. Agora tudo está indo bem. Portanto, com isso em mente, vamos direto aos detalhes.
Arquitetura Tezos
Você pode perguntar "O que é Tezos?" não responda corretamente. O blockchain do Tezos usa um middleware nativo agonístico chamado "Network Shell". Isso permite que eles desenvolvam um estilo modular com um livro-razão que muda automaticamente. Um protocolo blockchain genérico é dividido em três camadas:
- Protocolo de rede: Este é o protocolo Gossip, que é responsável pela escuta de pares e transmissão entre nós.
- Protocolo de transação: Esta é a camada de transação que definiu o modelo de faturamento implementado pelo blockchain.
- Protocolo de consenso: bastante autoexplicativo. Ele define o protocolo de consenso que ajudará nosso blockchain a chegar a acordos sobre o status de nossas transações.
No Tezos, os dois últimos protocolos, transação e consenso, são resumidos e chamados de protocolo blockchain. O Network Shell oferece suporte à comunicação entre o protocolo de rede e o protocolo blockchain. O shell de rede é agnóstico em relação ao protocolo de transação e ao protocolo de consenso.
Os dois relatos de Tezos
Os dois tipos de contas que você pode usar no Tezos são
- Contas implícitas; e
- Contas originais.
Contas implícitas
Estas são as contas mais comuns em Tezos. Eles começam com tz1 (por exemplo, tz1cJywnhho2iGwfrs5gHCQs7stAVFMnRHc1). Esta é uma conta simples gerada a partir de um par de chaves públicas / privadas. O endereço público tz1 é derivado da chave pública e cada conta tz1 tem sua própria chave privada. Essas contas têm um titular e um saldo de conta.
Contas implícitas não podem ter um delegado. Para delegar fundos, eles devem transferir fundos para uma conta original e, em seguida, um delegado deve ser nomeado.
Comece no eToro, o vencedor do teste do Bitcoin-News.one
INSCREVA-SE AGORA
Contas originais
Além das contas implícitas, você também tem contas para seus contratos inteligentes, chamadas contas de origem. Eles começam com KT1 (por exemplo, KT1Wv8Ted4b6b6raZDMoepkCPT8MkNFxyT2Ddo). Essas contas têm os seguintes campos:
- Gerente - Esta é a chave privada da conta
- Quantidade - quantidade de Tz nesta conta
- Delegável - Se os fundos desta conta puderem ser delegados para assar
- Campos delegados - informações sobre a quem esta conta delegou para bolos.
Uma conta de origem pode delegar seus fundos à conta implícita do Padeiro. Falaremos mais sobre Baker mais tarde.
Tezos tem três habilidades únicas:
- Governança e mudança automática na cadeia.
- Um mecanismo de consenso líquido de prova de aposta
- Contratos inteligentes com verificação formal.
Vamos examinar cada um deles separadamente.
1. Governança na cadeia e mudança automática
Para entender a importância da governança em cadeia e da automudança, primeiro você precisa entender a "palavra com F" na comunidade de criptografia, os garfos.
Uma bifurcação é um estado no qual o estado da blockchain se divide em cadeias, nas quais uma parte da rede tem uma perspectiva diferente sobre o histórico de transações do que outra parte da rede. Isso é basicamente o que um fork é, é uma divergência na perspectiva do estado do blockchain. Um garfo pode ser obtido por meio de um garfo macio ou duro.
O que é um garfo macio?
Sempre que uma corrente precisa ser atualizada, existem duas opções: um garfo macio ou um garfo rígido. Pense no soft fork como uma atualização de software compatível com versões anteriores. O que isso significa? Supondo que você esteja executando o MS Excel 2005 em seu laptop e deseja abrir uma planilha integrada no MS Excel 2015, você ainda pode abri-la porque o MS Excel 2015 é compatível com versões anteriores.
MAS depois de dizer que há uma diferença. Todas as atualizações de que você pode desfrutar na versão mais recente não ficarão visíveis para você na versão mais antiga. Para voltar à nossa analogia com o MS Excel: presumindo que haja uma função que permite inserir GIFs na tabela na versão 2015, você não verá mais esses GIFs na versão 2005. Basicamente, você vê todo o texto, mas não o GIF.
Comece no eToro, o vencedor do teste do Bitcoin-News.one
INSCREVA-SE AGORA
O que é um garfo duro?
A principal diferença entre um garfo macio e um garfo rígido é que ele não é compatível com versões anteriores. Uma vez usado, não há absolutamente volta. Se você não aderir à versão atualizada do blockchain, você não terá acesso às novas atualizações ou interagirá com os usuários do novo sistema, seja o que for. Pense no PlayStation 3 e no PlayStation 4. Você não pode jogar jogos de PS3 no PS4 e não pode jogar jogos de PS4 no PS3.
É assim que Andreas Antonopoulos descreve a diferença entre garfo duro e mole: Se um restaurante vegetariano decidisse colocar carne de porco no menu, seria considerado um garfo duro. Se escolhesse adicionar pratos veganos, todos os vegetarianos ainda poderiam comer vegan, você não precisa ser vegano para comer lá, você ainda poderia ser vegetariano para comer lá, e os comedores de carne também podem comer lá, então isso é um garfo macio .
Bem, uma coisa deve ficar clara aqui. Forks não são uma coisa ruim. Uma plataforma de alta qualidade deve evoluir e se atualizar constantemente. Para isso é absolutamente necessário que um sistema passe por bifurcações constantes, duras e moles. O principal problema reside nas polêmicas divisões rígidas que dividem a comunidade.
O exemplo mais óbvio disso são todos os testes difíceis pelos quais o Bitcoin e o Bitcoin Cash passaram. O Bitcoin foi dividido em Bitcoin e Bitcoin Cash, enquanto o próprio Bitcoin Cash foi posteriormente dividido em Bitcoin Cash e Bitcoin SV. A divisão entre Bitcoin Cash e Bitcoin SV foi particularmente feia. Isso desencadeou as chamadas "guerras de hash".
A guerra do hash basicamente consistia nessas duas cadeias usando seu poder do hash para extrair a cadeia mais longa. Diz-se que a cadeia mais longa se tornou a cadeia de caixa Bitcoin dominante. Essa confusão desnecessária mergulhou toda a comunidade criptográfica no abismo, à medida que toda a capitalização de mercado perdia valor. Pior, dividiu a comunidade Bitcoin Cash em duas.
Isso é exatamente o que Tezos queria evitar.
Como Kathleen Breitman afirma: "A grande ironia do Bitcoin é que ele é, em última análise, uma ferramenta para o consenso da comunidade, mas é [manchado por] uma quantidade imensa de hostilidade. O Tezos permite a inovação de uma forma sistemática e o Wise acontece, ao contrário a um nascido da política. Não há duas pessoas que detestam a política mais do que Arthur e eu. Essa é a ideia por trás de Tezos: formalizemos esse processo extraordinariamente informal ”.
Como isso pode ser mitigado com Tezos?
A Tezos atenua a bifurcação polêmica por meio da mudança automática e da governança em cadeia. A mudança automática ajuda a atualizar o blockchain sem passar por uma bifurcação. A governança na cadeia significa simplesmente votar em uma alteração proposta na plataforma. Com uma combinação de governança na cadeia e auto-emenda, o processo de coordenação pode ser modificado ou alterado conforme necessário. Os stakeholders do sistema (sobre os quais falaremos mais tarde) cuidam da votação. O design desse sistema permite que o blockchain se desenvolva suavemente, em vez de ter que fazer uma bifurcação rígida.
Então, como isso funciona exatamente?
- Os desenvolvedores enviam propostas de atualização de protocolo de forma independente e solicitam compensação por seu trabalho.
- O pedido de indenização garante que os desenvolvedores tenham um forte incentivo econômico para contribuir com o ecossistema
- A proposta passa por uma fase de testes em que a comunidade testa o protocolo e faz críticas a possíveis melhorias.
- Após testes repetidos, os detentores de tokens Tezos podem votar se aceitam ou não a proposta.
- Assim que uma atualização legítima é decidida, uma "troca a quente" ocorre no protocolo, que inicia a nova versão do protocolo.
Devido a este sistema, o protocolo é atualizado de forma passiva e descentralizada. Cada atualização de protocolo individual passa por várias fases de teste e recebe feedback relevante da comunidade. Isso garante que qualquer melhoria seja aprovada pela maioria da comunidade. Isso evita que a comunidade se divida.
2. Mecanismo de Consenso de Provas de Trabalho - Como funciona na Tezos?
O mecanismo de consenso da comunidade é o coração e a alma de uma rede descentralizada. Não faz sentido conectar vários nós em uma rede de longa distância se não houver métodos concretos de como eles podem se comunicar entre si e chegar a uma decisão. Quando Satoshi Nakamoto criou o Bitcoin, ele construiu nele o mecanismo de consenso de prova de trabalho. A ideia do mecanismo POW é bastante simples:
- Deixe os mineiros usarem seu poder de computação para resolver enigmas criptograficamente difíceis.
- Recompense os mineiros que conseguiram resolver esses quebra-cabeças.
É simples assim. Esses quebra-cabeças são tão difíceis que geralmente usam muito de suas habilidades com números. Embora o POW tenha sido definitivamente eficaz no início, ele tem muitos problemas:
- Em primeiro lugar, a prova de trabalho é um processo extremamente ineficiente devido à grande quantidade de força e energia que consome.
- Pessoas e organizações que podem pagar ASICs mais rápidos e poderosos geralmente têm uma chance melhor de mineração do que as outras.
- Os prisioneiros de guerra levam à centralização.
Para combater os problemas do POW, um novo protocolo de consenso denominado "Prova de aposta" ou POS foi criado.
Comece no eToro, o vencedor do teste do Bitcoin-News.one
INSCREVA-SE AGORA
Qual é a prova de aposta?
A prova de aposta virtualizará todo o processo de mineração e substituirá os mineiros por validadores. Veja como será o processo:
- Os auditores terão que bloquear algumas de suas moedas como um POS.
- Em seguida, eles começam a validar os blocos. Ou seja, quando descobrem um bloco que acreditam poder ser adicionado à cadeia, eles o validam fazendo uma aposta nele.
- Quando o bloco é anexado, os examinadores recebem uma recompensa proporcional às suas apostas.
No entanto, isso pode ser um problema, pois ainda abrange toda a comunidade e pode não ser o método mais escalonável. Por esta razão, muitos blockchains modernos como EOS, Cardano, Lisk, NEO etc. são construídos com um protocolo delegado. EOS e Lisk usam um protocolo delegado de “prova de aposta” no qual um determinado número de delegados é pré-eleito. Esses delegados são os responsáveis pelo consenso e bem-estar geral da rede.
O mecanismo de consenso de Tezos é semelhante a este, mas com uma pequena diferença. Em vez da delegação hardcore, Tezos inclui um modelo de democracia fluida em seu consenso.
Como funciona a democracia líquida?
É um sistema que flui entre a democracia direta e a democracia representativa. O processo possui as seguintes características:
- As pessoas podem votar diretamente em suas políticas.
- As pessoas podem delegar sua responsabilidade de voto a um delegado que pode votar em suas políticas para elas.
- Os próprios delegados podem delegar sua responsabilidade de voto a outro delegado que pode votar em seu nome. Esta propriedade, na qual um delegado pode nomear seu próprio delegado, é conhecida como transitividade.
- Se uma pessoa que delegou seus direitos de voto não gostar do voto escolhido por seus delegados, ela pode simplesmente retirar seu voto e votar a política por conta própria.
Então, quais são os benefícios de uma democracia líquida?
- A opinião de cada indivíduo é importante e desempenha um papel na formulação da política final.
- Para se tornar um delegado, você só precisa ganhar a confiança de alguém. Você não precisa gastar milhões de dólares em caras campanhas eleitorais. Por causa disso, a barreira de entrada é relativamente baixa.
- Devido à possibilidade de oscilar entre a democracia direta e a delegada, os grupos minoritários podem ser representados de forma mais justa.
- Afinal, ele possui um modelo escalonável. Qualquer pessoa que não tenha tempo para votar em sua política pode simplesmente delegar sua responsabilidade de voto.
O que é uma prova líquida de aposta?
Em contraste com o DPoS (Prova de aposta delegada), não existe uma regra rígida e rápida de que os delegados devam ser necessariamente selecionados. Depende inteiramente dos participantes o que eles querem fazer. Tudo bem, então vamos começar com o LPoS.
Tezos é um sistema de prova líquida de aposta que requer a retenção de um certo número de tokens Tezos para participar do consenso no blockchain. O processo de “mineração” de tokens Tezos (XTZ) é conhecido como cozimento.
Os detentores de tokens, alias "Baker", podem delegar seus direitos de validação a outros detentores de tokens sem transferir a propriedade. Em contraste com o EOS, a delegação é opcional.
XTZ blocos assando
Você encontra e adiciona blocos à cadeia de blocos Tezos por meio de um processo chamado "cozimento". E é assim que funciona:
- Baker recebe direitos de publicação em bloco com base em sua participação.
- Cada bloco é 'cozido' por um padeiro aleatório e então certificado por 32 outros padeiros aleatórios.
- Quando o bloco está pronto para uso, o bloco é adicionado ao blockchain.
- O padeiro bem-sucedido recebe uma “recompensa do bloco” e pode cobrar taxas de transação por todas as transações dentro do bloco.
Como dissemos antes, os detentores de tokens de assar têm a opção de delegar seus direitos de assar a outros detentores sem abrir mão da propriedade de seus tokens. Depois que o “cozimento” estiver completo, o Padeiro compartilhará suas recompensas com o resto dos delegados.
Comece no eToro, o vencedor do teste do Bitcoin-News.one
INSCREVA-SE AGORA
3. Contratos inteligentes e verificação formal
Tezos foi codificado com OCaml. O contrato inteligente que rodará na Tezos será feito com Michelson. Então, o que há de especial nessas linguagens? Ambos são linguagens funcionais. Quando se trata de idiomas, eles pertencem a duas famílias:
- imperativo
- Funcional
Linguagens de programação imperativas
Uma abordagem imperativa requer que o codificador anote todas as etapas que o computador deve seguir para atingir um objetivo. Todas as nossas linguagens de programação tradicionais como C ++, Java e até mesmo Solidity são linguagens de programação imperativas. Este tipo de abordagem de programação também é chamada de programação algorítmica.
Vamos dar um exemplo do que queremos dizer com isso. Vejamos C ++. Suponha que queremos adicionar 5 e 3.
int a = 5;
intb = 3;
int c;
c = a + b;
Portanto, como você pode ver, o processo de adição leva várias etapas, e cada etapa muda constantemente o estado do programa, já que todas são executadas uma de cada vez. Um processo de adição levou quatro etapas e as etapas são:
- Declare um inteiro a e atribua o valor 5.
- Declare um inteiro be atribua o valor 3.
- Declare um número inteiro c.
- Os valores de eb são adicionados e armazenados em c.
Linguagens de programação funcional
A segunda família de linguagens de programação são as linguagens funcionais. Este estilo de programação foi criado para fornecer uma abordagem funcional para a resolução de problemas. Esse tipo de abordagem é chamado de programação declarativa. Então, como funciona a programação funcional?
Suponha que haja uma função f (x) que queremos usar para calcular uma função g (x) e, em seguida, queremos usar essa função para trabalhar com uma função h (x). Em vez de resolver todas essas funções em uma sequência, podemos apenas colocá-las todas juntas em uma única função como esta:
h (g (f (x)))
Isso torna mais fácil justificar matematicamente a abordagem funcional. Por esse motivo, os programas funcionais devem ser uma abordagem mais segura para a criação de contratos inteligentes. Isso também contribui para uma verificação formal mais fácil, o que significa que é mais fácil provar matematicamente o que um programa faz e como se comporta.
Vamos dar um exemplo da vida real e ver por que isso pode ser extremamente crítico e até mesmo salvar vidas em certas condições.
Suponha que codifiquemos um programa que controla o tráfego aéreo. Como você pode imaginar, a codificação de tal sistema requer muita precisão e exatidão. Não podemos simplesmente codificar algo cegamente e esperar pelo melhor quando a vida das pessoas está em perigo. Em tais situações, precisamos de um código que tenha demonstrado funcionar com um alto grau de certeza matemática.
É exatamente por isso que a abordagem funcional é tão desejável. É por isso que Tezos usa OCaml e seus contratos inteligentes Michelson.
Então, vamos examinar os benefícios da abordagem funcional:
- Ajuda na criação de código de alta garantia, pois é mais fácil demonstrar o comportamento matemático do código.
- Aumenta a legibilidade e a manutenção, pois cada função é projetada para executar uma tarefa específica. As funções também são independentes do estado.
- O código é mais fácil de reformar e quaisquer alterações no código são mais fáceis de implementar. Isso facilita o desenvolvimento reiterativo.
- As funções individuais podem ser facilmente isoladas, o que torna o teste e a depuração mais fáceis.
Mais sobre Michelson
Michelson é uma linguagem fortemente tipada e baseada em pilha. No Ethereum, os contratos inteligentes são escritos em Solidity ou Viper e compilados em bytecode EVM, que é então executado na máquina virtual Ethereum (EVM). Não há nenhuma etapa extra desnecessária no Tezos, e o próprio código de Michelson é executado na VM do Tezos.
Qual é a vantagem dessa abordagem? Pode ser facilmente lido por humanos, o que ajuda a estabelecer as evidências de correção e ajuda a evitar erros.
Comece no eToro, o vencedor do teste do Bitcoin-News.one
INSCREVA-SE AGORA
A seguir está um exemplo de um contrato Michelson
Parâmetros (pair (lambda int) (list int));
Return (list int);
Unidade de armazenamento;
Código {DIP {NIL int};
CARRO;
DUP;
DIP {CAR; PAR}; # Descompacte os dados e configure o acumulador
CDR;
LAMBDA (par int (par (lambda int) (lista int)))
(Par (lambda int) (list int))
# Aplique o lambda e adicione o novo item à lista
{DUP; CDAR;
DIP {DUP; DIP {CDAR}; DUP;
AUTOMÓVEL; DIP {CDDR; TROCA}; EXEC; CONTRAS};
PAR};
REDUZIR; CDR; DIP {NIL int}; # Reduza primeiro
LAMBDA (par int (list int))
(Lista int)
{DUP; AUTOMÓVEL; DIP {CDR}; DESVANTAGEM};
REDUZIR; # Ordem correta da lista
UNIDADE; INTERCÂMBIO; PAIR} # Convocar Congresso
Nossa conclusão sobre Tezos
Então aí está. Tezos é um projeto extremamente fascinante que infelizmente foi ofuscado por todo o drama dos bastidores. Este projeto merece uma análise mais detalhada, pois traz um uso interessante para o espaço do blockchain. Agora temos que esperar e ver se eles podem justificar o hype que geraram após seu ICO.