A atualização do Vasil de Cardano marca um marco importante na evolução do Blockchain

O observador médio de criptomoedas, ciente de que o Ethereum acabou de concluir sua tão esperada transição para um sistema de validação de prova de participação, pode estar se perguntando qual é a conclusão geral do Vasil atualização do hard fork na blockchain Cardano que aconteceu às 21:44 UTC na quinta-feira, 22 de setembro. Espera-se que seja finalizado em cinco dias, em 27 de setembro.

O significado de Vasil conjunto bastante técnico de alteraçõesque melhoram a programabilidade do livro-razão e seu potencial de rendimento, talvez exija um pouco de zoom para ver uma imagem maior.

Consulte Mais informação: O que o altamente antecipado fork Vasil da Cardano trará

Cardano, às vezes apontado como um “Assassino de Ethereum,” está jogando um jogo longo. Os críticos deste processo (dividido em “eras” em homenagem a poetas românticos, cientistas da computação e pensadores do Iluminismo) muitas vezes criticam o protocolo por ficar atrás de outros contrato inteligente blockchains que já hospedam prósperos ecossistemas de finanças descentralizadas (DeFi) e acumularam bilhões de dólares em valor total bloqueado.

Mas as primeiras conquistas da principal plataforma de contrato inteligente, Ethereum, são “brilhantes, mas não estruturadas”, de acordo com Aggelos Kiayias, cientista-chefe da Input Output Global (IOG) do construtor Cardano. Contratos inteligentes no Cardano são “diferentes”, diz Kiayias, que também é professor de criptografia na Universidade de Edimburgo.

Isso ocorre porque Cardano é baseado em programação funcional, uma maneira precisa e matemática de escrever código que usa dados imutáveis ​​para dizer ao programa exatamente o que fazer, em vez de obter resultados por meio de objetos que alteram o estado de um programa.

“Acho que muitas pessoas tiveram dificuldades quando os contratos inteligentes foram lançados em Cardano porque esperavam que houvesse uma maneira simples de portar imediatamente contratos complexos de Ethereum para Cardano”, disse Kiayias em entrevista à CoinDesk. “Mas requer uma familiaridade com programação funcional e ter que repensar, qual seria a melhor maneira de programar as coisas nesse novo ambiente?”

Para Kiayias, a programação funcional não é apenas uma abordagem simples e natural, mas quando se trata de infraestrutura crítica, faz todo o sentido. Isso porque a intenção de um programa de computador torna-se muito clara e fácil de verificar. Essa simplicidade também convida à possível automação dessa verificação. E embora seja necessário algum investimento de tempo, Kiayias disse que os meandros do script Plutus baseado em funções do Cardano podem ser simplificados usando linguagens específicas de domínio, como Marlowe.

Cardano não é o único blockchain a premiar a verificação formal de contratos inteligentes; o blockchain Tezos também foi projetado com isso em mente. Hoje em dia, no entanto, essas preocupações podem ter saído de moda em meio à corrida sem fôlego do DeFi.

Outra diferença fundamental entre Cardano e a maioria das outras cadeias de contratos inteligentes de camada um é a escolha de usar um design emprestado do Bitcoin.

Ao contrário do Ethereum, que usa um modelo baseado em contas, semelhante ao de um banco, Cardano é baseado na “saída de transação não gasta” (UTXO), uma maneira de calcular o que é retido nas carteiras de bitcoin, mantendo o controle sobre o troco que sobra quando frações de moedas são gastas. Mas Cardano estende essa prática para que não seja restringida pelos limites de dados do blockchain do Bitcoin, uma abordagem conhecida como “saídas de transação não gastas estendidas” (EUTXO).

Este design foi um ajuste natural para uma abordagem funcional determinista e vem com vantagens importantes, explicou Kiayias.

“Ou uma transação se encaixa no atual conjunto estendido de UTXO e gasta alguns UTXOs e introduz outros, ou não se encaixa”, disse ele. “Então, tenho essa garantia determinística de como minha transação vai interagir com o estado do blockchain e não será modificada por nenhuma outra transação.”

Este não é o caso de um modelo baseado em contas como o Ethereum, apontou Kiayias. “Neste caso, não posso prever completamente como minha transação vai interagir com o estado blockchain porque outras transações podem ser ‘sanduíche’ antes da minha transação, modificando-a, e então minha transação está basicamente se envolvendo com um estado que não existia quando Eu o emiti. Isso realmente faz uma enorme diferença para contratos inteligentes.”

Vinculando isso às mudanças que estão sendo implementadas por Vasil, o modelo UTXO da Cardano será mais facilmente referido, mantendo mais carga fora da cadeia, o que é melhor para dimensionamento e também é preferível do ponto de vista da segurança.

“A atualização do Vasil tornará viável a referência aos UTXOs, e há uma economia substancial de espaço por causa disso”, disse Kiayias. “Então, embora na teoria seja uma pequena consideração contábil, é uma enorme vantagem na prática.”

Kiayias disse que não é novidade no mundo da tecnologia ver as pessoas avançando, o que sem dúvida transformou DeFi em uma espécie de playground de hackers.

“Se eu quiser melhorar a usabilidade ou a velocidade, sempre posso fazer melhor do que você sacrificando a segurança”, disse Kiayias, defendendo a abordagem metódica de Cardano e o meticuloso processo de revisão acadêmica por pares.

“Mas acho que sempre precisamos de uma maneira científica de avaliar a segurança dos sistemas”, acrescentou.

A criptomoeda nativa de Cardano, ADAsubiu cerca de 4% nas últimas 24 horas, sendo negociado a 46 centavos no momento da publicação.

Atualização: sexta-feira, 23 de setembro de 2022, 01:27 UTC: Editado para refletir a atualização aconteceu às 21:44 UTC no primeiro parágrafo.