O fundador da Cardano, Charles Hoskinson, afirmou que está a desenvolver pessoalmente uma nova linguagem de programação para a rede com o engenheiro da Input Output Global, Lucas Rosa, co-criador da Aiken. A linguagem combinaria intenções de transação, dados portadores de prova e provas Groth16. Hoskinson não divulgou o seu nome, lançou código público ou definiu uma data de lançamento para os desenvolvedores.
Por que é importante
As intenções de transação permitem que os utilizadores descrevam o resultado que desejam sem especificar cada passo de execução. Por exemplo, um trader poderia solicitar uma troca de tokens apenas se o preço final atender a condições definidas. Os dados portadores de prova anexariam evidências criptográficas mostrando que a informação segue as regras exigidas, permitindo que outra aplicação a verifique sem repetir a computação subjacente.
As provas Groth16 produzem provas compactas que podem ser verificadas rapidamente e podem demonstrar que uma condição foi atendida sem expor os dados privados por trás dela. Combinados, os três componentes poderiam ajudar as aplicações Cardano a coordenar negociações, verificar condições complexas e passar informações validadas entre serviços.
Os desenvolvedores da Cardano utilizam atualmente o Plutus, que é construído em Haskell, e a Aiken para contratos inteligentes. A empresa de Hoskinson também desenvolveu o Compact para aplicações confidenciais na blockchain Midnight, dando ao novo projeto um contexto mais amplo de linguagem e privacidade dentro do ecossistema.
Impacto no mercado
O impacto imediato está no roteiro de desenvolvimento da Cardano, em vez de um lançamento de produto confirmado. Uma linguagem utilizável poderia reduzir a complexidade de construir aplicações que necessitam de execução condicional e verificação de conhecimento zero, mas o seu efeito depende da entrega, documentação e adoção pelos desenvolvedores.
Até que Hoskinson publique especificações, código ou um cronograma, o projeto permanece um esforço de desenvolvimento anunciado. Os desenvolvedores e investidores de ADA estarão atentos a esses marcos, bem como a evidências de que o design proposto funciona ao lado das ferramentas existentes da Cardano.
Perguntas frequentes
-
O que Hoskinson está a construir para a Cardano?
Ele está a desenvolver pessoalmente uma nova linguagem de programação para a Cardano com o engenheiro da Input Output Global, Lucas Rosa. A linguagem é projetada para intenções de transação, dados portadores de prova e provas Groth16.
-
Como funcionariam as intenções de transação na linguagem proposta?
As intenções de transação permitiriam que os utilizadores indicassem o resultado que desejam sem especificar cada passo de execução. Uma aplicação poderia então executar uma troca de tokens apenas se as condições de preço definidas fossem atendidas.
-
Qual seria o papel das provas Groth16?
As provas Groth16 podem fornecer evidências criptográficas compactas de que uma condição foi atendida. Elas podem ser verificadas rapidamente sem revelar os dados privados usados para satisfazer a condição.
-
Como a linguagem poderia afetar as aplicações Cardano?
Ela poderia ajudar os desenvolvedores a coordenar negociações, verificar condições complexas e passar informações validadas entre serviços. O efeito prático depende da entrega, documentação e adoção da linguagem.
-
Quando os desenvolvedores da Cardano poderão usar a nova linguagem?
Nenhuma data de lançamento foi anunciada. Hoskinson ainda não compartilhou o nome da linguagem, código público ou cronograma de disponibilidade para desenvolvedores.
CoinDesk