Notícias da ADA: Charles Hoskinson está construindo pessoalmente uma nova linguagem de programação para Cardano

O fundador da Cardano, Charles Hoskinson, está escrevendo uma nova linguagem de programação para seu blockchain. Ele diz que será o primeiro a combinar o que um usuário deseja que uma transação faça com a prova criptográfica de que as regras foram seguidas.

“Na verdade, estou desenvolvendo pessoalmente uma linguagem de programação para Cardano”, Hoskinson escreveu no X no domingo, acrescentando que está trabalhando nisso com Lucas Rosa, engenheiro de software da Input Output Global que co-criou o Aiken, uma das principais linguagens de contratos inteligentes da Cardano.

Isso não é algo que a maioria dos fundadores faz quando sua rede é tão grande. Hoskinson dirige uma empresa cheia de engenheiros e ainda está optando por escrever a ferramenta que os futuros aplicativos Cardano poderiam construir nele mesmo.

A linguagem suportaria três ferramentas: intenções de transação, dados de prova e provas Groth16.

Uma intenção permite que o usuário diga o que deseja que seja feito e deixe as etapas para o aplicativo. Um trader só poderá pedir a troca de um token por outro se o preço final atender às condições estabelecidas, sem especificar como chegar lá.

Os dados de prova anexam evidências criptográficas a uma informação, mostrando que ela segue certas regras. Outro aplicativo pode verificar essas evidências sem refazer todos os cálculos.