- Input Output Hong Kong (IOHK) publicou um artigo sobre o novo modelo Extended UTXO (EUTXO) de Cardano.
- O modelo EUTXO vai lançar as bases para os smart contracts de Cardano na fase Goguen.
Input Output Hong Kong (IOHK), a empresa responsável pelo desenvolvimento do Cardano (ADA), publicou recentemente uma formalização de como os smart contracts serão implementados na próxima fase de desenvolvimento (Goguen) do Cardano. A Cardano está atualmente na fase 2, Shelley. Shelley fornece a funcionalidade de staking e pretende lançar as bases para a descentralização da rede.
A fase 3, Goguen, irá adicionar a capacidade de desenvolver smart contracts e aplicações descentralizadas (dApps) baseadas em Cardano. A publicação do novo artigo é uma formalização do modelo que a linguagem de smart contract Plutus de Cardano usa, que está disponível em uma plataforma de teste desde dezembro de 2018.
Cardano utiliza uma mistura dos modelos de Ledger de Bitcoin e de Ethereum
As duas principais criptomoedas, Bitcoin e Ethereum, usam dois modelos de Ledger diferentes, conhecidos como modelo UTXO (Bitcoin) e o modelo de contas (Ethereum). Como a IOHK escreve no seu articulo, ambos os modelos oferecem vantagens específicas, e é por isso que Cardano irá implementar uma mistura de ambos os modelos.
Em princípio, o modelo de contas do Ethereum é mais adequado para permitir smart contracts. Por outro lado, o UTXO da Bitcoin é um modelo semântico que permanece simples em um ambiente complexo e distribuído e requer menos recursos. Por esta razão, a IOHK projetou o modelo UTXO Estendido (EUTXO), que é uma extensão do modelo UTXO do Bitcoin.
Com Bitcoin, cada transação é baseada no conceito de saída e entrada, ou seja, a representação de certos valores de BTC. Para uma transação, o Bitcoin na forma de várias entradas é selecionado e formado em uma saída. A saída em Bitcoin não é, portanto, um único byte de dados. Ao invés disso, múltiplas frações de Bitcoin são recuperadas pelo algoritmo para atender a um requisito de saída. Por exemplo, a transação (saída) de um BTC pode ser na forma de 3 entradas (0,3 BTC, 0,3 BTC e 0,4 BTC). As modificações são enviadas para o banco de dados UTXO.
Os pesquisadores do Cardano explicaram que embora este modelo “funcione bem com a natureza concorrente e distribuída das blockchains”, ele tem sérias limitações de programabilidade – tornando-o impraticável para a maioria dos smart contracts. Em contraste, o Ledger baseado em contas do Ethereum permite cálculos complexos, mas deve introduzir um “estado comum”, uma espécie de memória coletiva de todas as transações e contratos. O documento declara (traduzido livremente)
No entanto, o modelo UTXO em geral e Bitcoin em particular foi criticado pela limitada programabilidade alcançada pelo conceito do Validator. Especialmente o Ledger baseado em contas do Ethereum e o conceito conexo de contas contratuais foi motivado pelo desejo de superar essas limitações.
Infelizmente, isto é feito através da introdução de um conceito de estado variável comum, que complica consideravelmente a semântica do código do contrato. Em particular, os autores dos contratos devem compreender os meandros desta semântica ou arriscar-se a introduzir problemas de segurança.
É por isso que o modelo EUTXO de Cardano é melhor
O modelo EUTXO da Cardano permite a execução de um smart contract em várias transações. Cada saída de transação terá um campo de dados que pode conter qualquer informação associada a um determinado smart contract:
A primeira alteração é que permitimos que as saídas de transação tenham um valor ADA com o validador, que é passado como um argumento adicional durante a validação. Isso permite que um contrato carregue um determinado estado (os dados) sem alterar seu “código” (o validador). Usaremos isto para transmitir o estado das nossas máquinas de estado.
Além disso, o sistema garante que uma determinada cadeia de saídas utiliza o mesmo código de contrato – um conceito chamado continuidade do contrato:
A segunda mudança é que o validador recebe algumas informações sobre a transação que está sendo validada. Esta informação é passada como um argumento adicional do tipo Tx Info. As informações adicionais permitem que o validador aplique condições muito mais rigorosas do que aquelas possíveis com um modelo UTXO puro – em particular, ele pode verificar a saída da transação atual, o que é essencial para garantir a continuidade do contrato.
Uma terceira alteração é que o IOHK “permitirá algum acesso ao tempo” ao “adicionar um intervalo de validade às transacções”.
Enquanto Shelley e Goguen estão atualmente sendo desenvolvidos em paralelo, para ambas as fases ainda não está claro quando será feita a transferência para a rede principal. Mais recentemente, Charles Hoskinson afirmou que Shelley deve ser concluída no primeiro trimestre de 2020. De acordo com o roteiro de Cardano, Goguen também deve seguir em 2020. No entanto, as datas de lançamento ainda são incertas, devido aos atrasos que Cardano sofreu no passado.
Siga-nos no Facebook e Twitter e não perca mais nenhuma notícia quente! Gosta dos nossos índices de preços?
