Charles Hoskinson afirmou em 18 de outubro que está desenvolvendo pessoalmente uma nova linguagem de programação para Cardano com Lucas Rosa, engenheiro da Input Output Global e um dos criadores do Aiken. A revelação aponta para uma possível nova abordagem para desenvolvedores de aplicações da Cardano, centrada em intenções de transação e provas criptográficas, em vez de uma descrição convencional da execução de transações.
Hoskinson não revelou o nome da linguagem, não publicou código nem informou aos desenvolvedores quando terão acesso a ela. Essas omissões indicam que o projeto ainda está em fase inicial de divulgação, e não é uma ferramenta que os desenvolvedores possam avaliar ou usar no momento.
Hoskinson e Rosa começam a trabalhar
Numa publicação no X, Hoskinson disse que estava a trabalhar com Rosa na linguagem. O envolvimento de Rosa estabelece uma ligação direta do projeto à Aiken, uma das opções existentes para o desenvolvimento de contratos inteligentes na Cardano.
As linguagens de programação moldam a forma como os programadores expressam regras de aplicações, constroem transações e trabalham com o modelo de execução subjacente de uma rede, o que torna o anúncio relevante. A publicação não apresentou uma especificação nem um repositório, nem propôs um caminho para integrar a linguagem na estrutura mais ampla de ferramentas para programadores da Cardano.
Por enquanto, a descrição pública limita-se aos elementos identificados por Hoskinson e às notícias posteriores sobre a utilização prevista. A ausência de código também deixa em aberto questões práticas, como a sintaxe da linguagem, as ferramentas e o âmbito das aplicações que foi concebida para suportar.
Intenções de transação e provas
Hoskinson disse que a linguagem combinaria intenções de transação, dados acompanhados de provas e provas criptográficas Groth16, segundo a CoinDesk. A conceção anunciada dá ênfase ao que o utilizador pretende alcançar com uma transação, juntamente com provas destinadas a demonstrar que as condições exigidas foram cumpridas.
No sistema proposto, os utilizadores especificariam os resultados pretendidos para as transações. Depois, as aplicações tratariam da execução e anexariam provas criptográficas de que essas condições foram cumpridas, noticiou a CoinDesk.
Esta distinção é importante para a forma como o projeto é apresentado. Em vez de descrever a interação do utilizador apenas como uma sequência de etapas de execução, o modelo descrito por Hoskinson começa pelo resultado e atribui às aplicações a tarefa de o concretizar. A componente de prova destina-se a acompanhar esse processo, como evidência relacionada com as condições especificadas.
Groth16 é a tecnologia de prova específica mencionada no anúncio. Nem a divulgação feita por Hoskinson nem a descrição publicada na imprensa apresentaram detalhes sobre a forma como seria implementada na linguagem, que dados seriam abrangidos pelas provas ou como as aplicações apresentariam as transações resultantes aos utilizadores da Cardano.
Estas são questões de implementação importantes para uma linguagem que faz afirmações sobre a construção e a verificação de transações. Não podem ser esclarecidas com base num anúncio de alto nível, sobretudo na ausência de uma base de código pública ou de documentação técnica.
A par de Plutus e Aiken
Hoskinson disse que estava a desenvolver pessoalmente uma nova linguagem de programação para Cardano com Lucas Rosa, engenheiro da Input Output Global e cocriador da Aiken.
Disse que a linguagem proposta combinaria intenções de transação, dados acompanhados de provas e provas criptográficas Groth16. No sistema proposto, os utilizadores especificariam os resultados pretendidos para as transações, enquanto as aplicações tratariam da execução e forneceriam provas criptográficas de que as condições foram cumpridas.
Se for lançada, a iniciativa acrescentará mais uma opção de desenvolvimento para Cardano, a par de Plutus e Aiken. A CryptoSlate noticiou que a Aiken foi concebida para tornar o desenvolvimento de contratos inteligentes na Cardano mais acessível do que no ambiente Plutus, baseado em Haskell.
Em 19 de outubro, Hoskinson ainda não tinha divulgado o nome da linguagem, publicado código acessível ao público nem anunciado uma data de lançamento para programadores, segundo a CryptoSlate.
Aviso: Este artigo é fornecido apenas para fins informativos. Não constitui nem se destina a constituir aconselhamento jurídico, fiscal, de investimento, financeiro ou de qualquer outro tipo.