Charles Hoskinson está desenvolvendo pessoalmente uma nova linguagem de programação para a Cardano

O fundador da Cardano, Charles Hoskinson, escreveu no X no domingo que está desenvolvendo pessoalmente uma nova linguagem de programação para a Cardano. Hoskinson disse que trabalha com Lucas Rosa, engenheiro de software da Input Output Global que cocriou a Aiken, uma das principais linguagens de contratos inteligentes da Cardano. Hoskinson afirma que a nova linguagem será a primeira a combinar aquilo que o usuário quer que uma transação faça com provas criptográficas de que as regras da transação foram cumpridas. Hoskinson não revelou o nome da linguagem, não divulgou código público nem anunciou quando os desenvolvedores poderão usá-la.

A linguagem daria suporte a intenções de transação, dados acompanhados de provas e provas Groth16. Uma intenção de transação permite que o usuário especifique o resultado desejado e deixe as etapas a cargo de um aplicativo. Um operador poderia solicitar uma troca de tokens somente se o preço final atender a condições especificadas, sem indicar como executar a troca.

Dados acompanhados de provas incluem evidências criptográficas que mostram que as informações seguem determinadas regras. Outro aplicativo pode verificar as evidências sem repetir todos os cálculos subjacentes. Groth16 é um sistema de provas amplamente usado que produz provas pequenas, que os computadores podem verificar rapidamente. As provas Groth16 podem mostrar que uma condição foi atendida sem revelar os dados privados usados para atendê-la.

As três ferramentas, em conjunto, poderiam permitir que desenvolvedores criassem aplicativos que coordenem negociações, verifiquem condições complexas e compartilhem informações verificadas entre serviços. A Cardano poderia verificar uma pequena prova ao final dessas operações. Hoskinson dirige uma empresa com muitos engenheiros, mas está optando por escrever pessoalmente uma ferramenta que futuros aplicativos da Cardano poderiam usar.

Os desenvolvedores da Cardano já escrevem contratos inteligentes em Plutus, construída com base em Haskell, e em Aiken. A Input Output Global desenvolveu a Midnight, uma blockchain voltada à privacidade. A Midnight tem uma linguagem de programação própria, Compact, para aplicativos que lidam com dados confidenciais.