Tezos invadiu o espaço criptográfico recolhendo 232 milhões de dólares no seu ICO então registado. Desde o seu ICO, a sua data de lançamento tem sido constantemente adiada devido ao drama dos bastidores e outros conflitos. O Tezos foi oficialmente lançado em Setembro de 2018 e agora é uma boa altura para ver este excitante projecto. Então o que é Tezos?
De acordo com o website Tezos, “Tezos é uma nova cadeia de blocos descentralizada que se governa a si própria estabelecendo uma verdadeira Commonwealth digital.
Uma Commonwealth é um grupo que escolhe estar unido devido aos seus objectivos e interesses comuns. O principal objectivo da Tezos é conseguir que os seus proprietários simbólicos trabalhem em conjunto para tomarem decisões que melhorem o seu protocolo ao longo do tempo. A ficha nativa de Tezos é XTZ. Há muitas características no Tezos que o tornam único. Analisá-los-emos mais tarde neste guia. Por agora, vejamos algumas informações sobre o projecto. Se já conhece o Tezos, e quer poder obter esta criptomoney, pode obter o Tezos no link abaixo.
Uma breve história do que é Tezos
Os co-fundadores Arthur Breitman e Kathleen Breitman têm vindo a desenvolver o Tezos desde 2014 com um grupo central de criadores. A empresa está sediada na Suíça. Como mencionado, angariaram 232 milhões de dólares numa OIC aberta em apenas duas semanas, aceitando contribuições tanto de bitcoin como de éter. Pouco depois da sua histórica ICO, a Tezos enfrentou muitos desafios de gestão. Para compreender estas questões de gestão, deve saber que a empresa fundadora da Tezos se chama DLS (Dynamic Ledger Solutions) e a empresa que detém todos os fundos angariados durante o ICO chama-se “Fundación Tezos”.
Arthur e Kathleen Breitman tiveram uma luta pública com o presidente da Fundação Tezos, Johann Gevers. Aparentemente, Gevers, que estava no controlo dos fundos, recusou-se a desembolsar os fundos para os Breitmans. Esta disputa provocou o caos na comunidade e a taxa de câmbio estimada entrou em colapso. Os Breitmans emitiram uma declaração mordaz sobre Gevers que incluía palavras como “auto-intervenção, auto-promoção e conflito de interesses”.
Eventualmente, depois de muito drama e atenção mediática indesejada, Gevers deixou a companhia depois de receber mais de $400.000 em compensação. Agora as coisas estão finalmente a compor-se. Por isso, nessa nota, vamos entrar nos pormenores.
Arquitectura Tezos
Não consegue responder correctamente à pergunta “o que é uma tez? A cadeia de blocos Tezos utiliza middleware nativo agonístico chamado “Network Shell”. Isto permite-lhes desenvolver um estilo modular com um livro-razão auto-buffer. Um protocolo genérico de cadeia de blocos está dividido em três camadas:
- Protocolo de rede: Este é o protocolo de fofocas que é responsável pela escuta e transmissão entre nós.
- Protocolo de transacção: Esta é a camada transaccional que define o modelo contabilístico que implementa a cadeia de blocos.
- Protocolo de Consenso: Bastante auto-explicativo. Isto define o protocolo de consenso que ajudará a nossa cadeia de bloqueio a chegar a acordos sobre o estado das nossas transacções.
Na Tezos, os dois últimos protocolos, Transacção e Consenso, são combinados para serem referidos como Protocolo de Cadeia de Blocos. A Network Shell assiste na comunicação entre o protocolo de rede e o protocolo de bloqueio. A Network Shell é agnóstica aos protocolos de Transacção e Consenso.
Ambas as contas da Tezos
Os dois tipos de contas que pode utilizar na Tezos são
- Contas implícitas.
- Contas originais.
Contas implícitas
Estas são as contas mais comuns na Tezos. Começam com tz1 (ex: 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 a sua própria chave privada. Estas contas têm um titular e um saldo de conta.
As contas implícitas não podem ter um delegado. Para delegar fundos, devem transferi-los para uma conta de origem e, em seguida, deve ser estabelecido um delegado.
Contas de origem
Juntamente com as contas implícitas, também tem contas para os seus contratos inteligentes, que são chamadas contas de origem. Estes começam com KT1 (Ex: KT1Wv8Ted4b6raZDMoepkCPT8MkNFxyT2Ddo). Estas contas têm os seguintes campos:
- Manager – Esta é a chave privada da conta
- Montante – Tz montante nesta conta
- Delegável – Se os fundos desta conta puderem ser delegados para a cozedura
- Campos Delegados – Informação sobre quem foi delegado esta conta de cozedura.
Uma conta originada pode delegar os seus fundos na conta do padeiro implícito. Falaremos mais tarde sobre padeiros.
A Tezos tem três capacidades únicas:
- Governação na cadeia e auto-correcção.
- Mecanismo de Consenso para a Prova de Líquidos
- Contratos inteligentes com verificação formal.
- Vamos passar por cada um deles um a um.
Governação na cadeia e auto-correcção
Para compreender a importância da governação da cadeia e da auto-reforma, é preciso primeiro compreender a palavra F na comunidade criptográfica, garfos.
Um garfo é uma condição pela qual o estado da cadeia de blocos difere em cadeias em que uma parte da rede tem uma perspectiva diferente do histórico da transacção do que outra parte da rede. É basicamente isso que é um garfo, é uma divergência na perspectiva do estado da cadeia de blocos. Um garfo pode ser conseguido com um garfo macio ou com um garfo duro.
O que é um garfo macio?
Sempre que uma corrente precisa de ser actualizada, há duas maneiras de o fazer: um garfo macio ou um garfo duro. Pense no garfo macio como uma actualização de software compatível com versões mais antigas. O que é que isso significa? Suponha que está a correr MS Excel 2005 no seu portátil e quer abrir uma folha de cálculo construída em MS Excel 2015, ainda pode abri-la porque MS Excel 2015 é compatível com versões mais antigas.
MAS, tendo dito que há uma diferença. Todas as actualizações de que poderá desfrutar na nova versão não lhe serão visíveis na versão anterior. Voltando à nossa analogia com MS Excel, suponha que existe uma característica que lhe permite colocar GIFs na folha de cálculo na versão 2015, não verá esses GIFs na versão 2005. Assim, basicamente, verá todo o texto, mas não o GIF.
O que é um garfo duro?
A principal diferença entre um garfo macio e um garfo duro é que ele não é compatível com a versão anterior. Uma vez usado, não há volta a dar. Se não aderir à versão actualizada da cadeia de bloqueio, não terá acesso a nenhuma das novas actualizações nem poderá interagir com os utilizadores do novo sistema. Pense em PlayStation 3 e PlayStation 4. Não pode jogar jogos PS3 na PS4 e não pode jogar jogos PS4 na PS3.
Andreas Antonopoulos descreve a diferença entre um garfo duro e um garfo mole como este: se um restaurante vegetariano decidisse acrescentar carne de porco ao seu menu, este seria considerado um garfo difícil. Se decidissem acrescentar pratos vegetarianos, todos os que são vegetarianos poderiam comer vegetarianos, não é preciso ser vegetariano para comer lá, poderia ser vegetariano para comer lá e os comedores de carne também poderiam comer lá, por isso é um garfo macio.
Agora, uma coisa deve ficar clara aqui. Os garfos não são uma coisa má. Uma plataforma de alta qualidade deve evoluir e ser continuamente actualizada. Para o fazer, é absolutamente necessário que um sistema passe por garfos duros e macios constantes. O principal problema reside nos garfos controversos que dividem a comunidade.
O exemplo mais óbvio disto são todos os garfos duros que o Bitcoin e o Bitcoin Cash passaram. A Bitcoin foi dividida em Bitcoin Cash e Bitcoin Cash, enquanto a Bitcoin Cash foi posteriormente dividida em Bitcoin Cash e Bitcoin SV. A divisão entre Bitcoin Cash e Bitcoin SV tem sido especialmente feia. Despoletou as chamadas “guerras do haxixe”.
As guerras de hash eram basicamente estas duas cadeias usando o seu poder de hash para extrair a cadeia mais longa. Aquele com a cadeia mais longa torna-se supostamente a cadeia dominante do Bitcoin Cash. Esta postura desnecessária afundou toda a comunidade criptográfica, uma vez que todo o mercado caiu de valor. Pior, dividiu a comunidade do Bitcoin Cash em duas.
Isto é exactamente o que Tezos queria evitar.
Como diz Kathleen Breitman, “A grande ironia do bitcoin é que, em última análise, é um instrumento de consenso comunitário, mas é [manchado por] uma tremenda quantidade de animosidade. O Tezos permite que a inovação ocorra de uma forma sistematizada em oposição a uma nascida da política. Não encontrará duas pessoas que odeiem mais a política do que eu e Arthur. Essa é a ideia por detrás do Tezos: formalizar este processo extraordinariamente informal.
Como é que a Tezos mitiga isto?
O Tezos atenua as bifurcações controversas através da auto-reforma e da governação da cadeia. A auto-reforma ajuda a melhorar a cadeia de bloqueio sem ter de passar por um garfo duro. A governação em cadeia significa simplesmente votar na plataforma sobre uma proposta de alteração. Com uma combinação de governação em cadeia e um evento de auto-reforma, o processo de votação pode ser modificado, também conhecido como emenda, conforme necessário. Os intervenientes no sistema (discutidos abaixo) são responsáveis pela votação. A concepção deste sistema permite uma evolução suave da cadeia de bloqueio em vez de ter de utilizar um garfo rígido.
Muito bem, então como é que isto funciona exactamente?
Os pogramadores submetem independentemente propostas de actualização de protocolos e solicitam compensações pelo seu trabalho.
O pedido de compensação assegura que os promotores tenham um forte incentivo económico para contribuir para o ecossistema.
A proposta passa por um período de testes em que a comunidade testa o protocolo e critica-o por possíveis melhorias.
Após repetidos testes, os portadores de fichas Tezos podem votar sobre se a proposta deve ou não ser aprovada.
Uma vez decidida uma actualização legítima, ocorre uma “hot swap” no protocolo, que inicia a nova versão do protocolo.
Devido a este sistema, o protocolo é actualizado de uma forma passiva e descentralizada. Cada actualização de protocolo passa por múltiplos períodos de teste e recebe feedback relevante da comunidade. Isto assegura que quaisquer melhorias que ocorram tenham o selo de aprovação da maioria da comunidade. Isto evita a possibilidade de a comunidade ser dividida com um garfo duro.
Teste de Estaca Líquida
1
O mecanismo do consenso é o coração e a alma de uma rede descentralizada. Não faz sentido ligar vários nós através de uma rede de área alargada se não houver métodos concretos para que comuniquem entre si e cheguem a uma decisão. Quando Satoshi Nakamoto criou o Bitcoin, integrou nele o mecanismo de consenso sobre o teste de trabalho. A ideia do PWM é bastante simples:
Os mineiros devem usar o seu poder computacional para resolver puzzles criptográficos difíceis.
Recompensar os mineiros que foram capazes de resolver esses puzzles.
É assim tão simples. Estes puzzles são tão duros que normalmente consomem muito do seu poder informático. Embora o P.O.W. fosse definitivamente eficaz quando começou, ele tem muitos problemas:
Em primeiro lugar, o teste é um processo extremamente ineficiente devido à grande quantidade de potência e energia que consome.
Indivíduos e organizações que se podem dar ao luxo de se dedicarem mais rapidamente e com mais poder do que outros à exploração mineira.
O prisioneiro de guerra conduz à centralização.
Para contrariar os problemas dos prisioneiros de guerra, foi criado um novo protocolo de consenso chamado “Teste de Participação” ou POS.
O que é o Teste de Participação?
O Teste de Participação tornará virtual todo o processo mineiro e substituirá os mineiros por validadores.
É assim que o processo irá funcionar:
Os validadores terão de guardar algumas das suas moedas como aposta.
Depois disso, começarão a validar os blocos. Ou seja, quando descobrem um bloco que pensam poder ser adicionado à cadeia, validam-no apostando nele.
Se o bloco for adicionado, os validadores receberão uma recompensa proporcional às suas apostas.
Contudo, isto pode ser um problema, uma vez que ainda inclui toda a comunidade e pode não ser o método mais escalável. É por isso que muitas cadeias de blocos modernos como EOS, Cardano, Lisk, NEO, etc., são construídas utilizando um protocolo delegado. EOS e Lisk utilizam um protocolo de teste de participação delegada onde um número fixo de delegados é escolhido com antecedência. Estes delegados são responsáveis pelo consenso e pelo 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 incorpora um modelo de democracia líquida no seu consenso.
Como funciona a democracia líquida?
É um sistema que transita suavemente entre a democracia directa e a democracia representativa.
O processo tem as seguintes características:
- As pessoas podem votar directamente nas suas políticas.
- As pessoas podem delegar as suas responsabilidades de voto a um delegado que pode votar nas suas políticas por elas.
- Os próprios delegados podem delegar as suas responsabilidades de voto a outro delegado que pode votar em seu nome. Esta propriedade onde um delegado pode nomear o seu próprio delegado é chamada transitividade.
Se uma pessoa que tenha delegado o seu voto não gostar do voto que os seus delegados escolheram, então pode simplesmente recuperar o seu voto e votar ela própria sobre a política.
Quais são então as vantagens da democracia líquida?
A opinião de cada pessoa individual conta e desempenha um papel importante na criação da política final.
Para se tornar um delegado, tudo o que se tem de fazer é ganhar a confiança de uma pessoa. Não é necessário gastar milhões de dólares em campanhas eleitorais caras. Devido a isto, a barreira de entrada é relativamente baixa.
Devido à escolha entre democracia directa e democracia delegada, os grupos minoritários podem ser representados de forma mais justa.
Finalmente, tem um modelo expansível. Qualquer pessoa que não tenha tempo para votar nas suas políticas pode simplesmente delegar as suas responsabilidades de voto.
O que é o teste da estaca líquida?
Ao contrário do DPoS (Delegate Participation Test), não existe uma regra dura e rápida de que os delegados devem ser seleccionados. Cabe inteiramente ao participante o que quer fazer. Muito bem, vamos começar com a LPoS.
O Tezos é uma prova líquida do sistema de apostas que requer que se aposte um certo número de fichas Tezos para participar no consenso da cadeia de blocos. O processo de piquetagem de lascas de tezos (XTZ) chama-se cozedura.
Os detentores de fichas, também conhecidos como “padeiros”, podem delegar os seus direitos de validação a outros detentores de fichas sem transferir a propriedade. Ao contrário do EOS, a delegação é opcional.
Blocos de cozedura
Encontra e acrescenta blocos à cadeia de blocos Tezos através de um processo chamado “cozer”. É assim que funciona:
- Os padeiros obtêm direitos de bloqueio com base na sua participação.
- Cada bloco é cozido por um padeiro aleatório e depois autenticado por outros 32 padarias aleatórias.
- Se o bloco estiver pronto para ir, então o bloco é adicionado à cadeia de blocos.
- O padeiro bem sucedido recebe uma recompensa de bloco e pode cobrar taxas de transacção por todas as transacções dentro do bloco.
Como acima mencionado, os titulares de fichas têm a opção de delegar os seus direitos de cozedura a outros titulares sem transmitir a propriedade das suas fichas. No final do processo de cozedura, o padeiro partilhará as suas recompensas com os outros delegados.
Contratos inteligentes e verificação formal
O Tezos foi codificado usando OCaml. Os contratos inteligentes a serem executados no Tezos serão criados utilizando Michelson. Então o que há de tão especial nestas línguas? Ambos acabam por ser línguas funcionais.
Quando se trata de línguas, elas pertencem a duas famílias:
- Imperativo
Linguagens de Programação Imperativa
Numa abordagem imperativa, o codificador precisa de escrever todos os passos que o computador precisa de dar para atingir um objectivo. Todas as nossas linguagens de programação tradicionais como C++, Java e até Solidity são linguagens de programação indispensáveis. Este tipo de abordagem de programação é também chamada programação algorítmica.
Vejamos um exemplo do que queremos dizer com isso. Vejamos o C++. Suponhamos que queremos acrescentar 5 e 3.
int a = 5;
int b = 3;
int c;
c= a + b;
Assim, como pode ver, o processo de adição tem várias etapas e cada etapa está constantemente a mudar o estado do programa, uma vez que todas elas estão a funcionar individualmente.
Um processo de adição deu quatro passos e os passos são
Declarar um número inteiro a e atribuir-lhe o valor 5.
Declarar um número inteiro b e atribuir-lhe o valor 3.
Declaração de um número inteiro c.
Acrescentar os valores de e b e armazená-los em c.
Linguagens de programação funcional
A segunda família de linguagens de programação são linguagens funcionais. Este estilo de programação foi criado para construir uma abordagem funcional à resolução de problemas. Este tipo de abordagem é chamado programação declarativa.
Então, como é que a programação funcional funciona?
Suponha que existe uma função f(x) que queremos utilizar para calcular uma função g(x) e depois queremos utilizá-la para trabalhar com uma função h(x). Em vez de as resolvermos todas numa única sequência, podemos simplesmente agrupá-las todas numa única função como esta:
h(g(f(x)))
Isto torna a abordagem funcional mais fácil de raciocinar matematicamente. É por isso que os programas funcionais são supostamente uma abordagem mais segura para a criação de contratos inteligentes. Isto também ajuda a simplificar a verificação formal, o que significa que é mais fácil demonstrar matematicamente o que um programa faz e como actua.
Tomemos um exemplo real disto e vejamos porque pode ser extremamente crítico e mesmo salvador de vidas em certas condições.
Suponhamos que estamos a codificar um programa que controla o tráfego aéreo.
Como pode imaginar, a codificação de um tal sistema requer um elevado grau de precisão e precisão. Não podemos simplesmente codificar cegamente algo e esperar pelo melhor quando a vida das pessoas está em jogo. Em situações como esta, precisamos de um código que possa ser mostrado para trabalhar com um elevado grau de certeza matemática.
Esta é precisamente a razão pela qual a abordagem funcional é tão desejável. É por isso que Tezos está a usar OCaml e os seus contratos inteligentes estão a usar Michelson.
A tabela seguinte compara a abordagem Imperativa com a abordagem Funcional.
Vejamos, portanto, as vantagens da abordagem funcional:
Ajuda a criar código de alta segurança porque é mais fácil testar matematicamente como o código se comportará.
Aumenta a legibilidade e a capacidade de manutenção porque cada função é concebida para realizar uma tarefa específica. As funções também são independentes do estado.
O código é mais fácil de refazer e quaisquer alterações ao código são mais fáceis de implementar. Isto facilita o desenvolvimento repetitivo.
As funções individuais podem ser facilmente isoladas, tornando-as mais fáceis de testar e debugar.
Mais sobre Michelson
Michelson é uma linguagem muito dactilografada, baseada em pilha.
No Ethereum, os contratos inteligentes são escritos em Sólido ou Viper e compilados em código de bytes EVM, que depois é executado na máquina virtual Ethereum (EVM). No Tezos, não há passos adicionais desnecessários e o próprio código do Michelson corre na máquina virtual do Tezos.
Qual é a vantagem desta abordagem? Pode ser facilmente lido por humanos, o que ajudará a construir os testes de revisão e evitar erros.
Conclusão
Então, aí está. Tezos é um projecto extremamente intrigante que infelizmente foi ensombrado por todo o drama dos bastidores. Este projecto merece uma análise mais aprofundada porque está a trazer alguma utilidade interessante para o espaço da cadeia de blocos. Agora temos de esperar e descobrir se eles podem justificar o hype que geraram após o seu ICO.
Se quiser obter o Tezos ao melhor preço, pode encontrá-lo clicando logo abaixo.
