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

O observador médio de Cripto , ciente de que o Ethereum acaba 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 da Vasil atualização do hard fork na blockchain Cardano que ocorreu às 21:44 UTC na quinta-feira, 22 de setembro. A previsão é que seja finalizada em cinco dias, em 27 de setembro.

O significado de Vasilconjunto de mudanças bastante técnico, que melhora a programabilidade do livro-razão e seu potencial de rendimento, talvez exija um pouco de zoom para ver uma imagem maior.

Leia Mais: O que o tão esperado Vasil Hard Fork da Cardano trará

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

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

Contratos inteligentes em Cardano

Isso ocorre porque Cardano é baseado na 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 do Ethereum para Cardano”, disse Kiayias em uma entrevista ao CoinDesk. “Mas isso requer familiaridade com programação funcional e ter que repensar, qual seria a melhor maneira de programar as coisas neste novo ambiente?"

Para Kiayias, a programação funcional não é apenas uma abordagem simples e natural a ser adotada, mas quando se trata de infraestrutura crítica, faz todo o sentido. Isso porque a intenção de um programa de computador se torna 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 as complexidades do script Plutus baseado em funcionalidade da Cardano podem ser simplificadas usando linguagens específicas de domínio, comoMarlowe.

Cardano não é o único blockchain a valorizar 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 à correria frenética do DeFi.

Bitcoin no sangue

Outra diferença fundamental entre Cardano e a maioria das ONE cadeias de contratos inteligentes de primeira camada é sua 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, o Cardano é baseado na “saída de transações não gastas” (UTXO), uma maneira de calcular o que é mantido em carteiras de Bitcoin mantendo guias sobre o troco que sobra quando frações de moedas são gastas. Mas Cardano estende essa prática para que ela não seja restringida pelos limites de dados do blockchain do Bitcoin , uma abordagem conhecida como “saídas de transações não gastas estendidas” (EUTXO).

Esse design foi uma adaptação natural para uma abordagem funcional determinística e traz vantagens importantes, explicou Kiayias.

“Ou uma transação se encaixa no conjunto UTXO estendido atual e gasta alguns UTXOs e introduz outros, ou T se encaixa”, ele disse. “Então eu 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, Kiayias apontou. “Neste caso, não posso prever completamente como minha transação irá interagir com o estado do blockchain porque outras transações podem ser 'imprensadas' 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 a emiti. Isso realmente faz uma grande diferença para contratos inteligentes.”

Segurança em escala

Ligando isso às mudanças que estão sendo implementadas pela Vasil, o modelo UTXO da Cardano será mais facilmente referenciado, mantendo mais carga fora da cadeia, o que é melhor para escalabilidade e também é preferível de uma perspectiva de segurança.

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

Kiayias disse que não é nenhuma novidade no mundo da Tecnologia ver as pessoas se precipitando, o que sem dúvida transformou o DeFi em uma espécie de playground para 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.

Criptomoeda nativa da Cardano, ADA, subiu cerca de 4% nas últimas 24 horas, sendo negociada 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 ocorrida às 21:44 UTC no primeiro parágrafo.