Cripto: Hoskinson promete revolucionar Cardano com uma nova linguagem!

Charles Hoskinson desenvolve pessoalmente uma nova linguagem de programação para Cardano com Lucas Rosa, um dos criadores do Aiken. O projeto deve combinar intenções de transação, proof-carrying data e provas Groth16. Para este novo componente cripto, nenhum nome, código público ou cronograma de lançamento foi divulgado.

Hoskinson retoma pessoalmente a escrita no Cardano

Charles Hoskinson não se contenta em apenas supervisionar o projeto. Ele afirma participar diretamente do desenvolvimento da linguagem. O anúncio acontece enquanto Cardano já acelera suas iniciativas técnicas. Alguns dias antes, Hoskinson explicava que a atualização Leios deveria completar grande parte da arquitetura da rede, incluindo uma taxa superior e novas capacidades de escalabilidade.

Desta vez, o foco é mais nas aplicações cripto construídas sobre Cardano. Hoskinson trabalha com Lucas Rosa, co-criador do Aiken, uma das principais linguagens usadas para desenvolver validadores na rede. Ele descreve o projeto como o primeiro do tipo a reunir intents, proof-carrying data e provas Groth16.

Porém, a linguagem ainda não tem um nome público. Nenhum código foi apresentado também. Hoskinson não indicou testnet, data de lançamento ou primeira aplicação usando essa tecnologia. O projeto está portanto em um estágio inicial.

Transações cripto descritas pelo seu resultado

O conceito de “intent” muda a forma de pedir uma operação a uma aplicação blockchain. Hoje, uma transação pode exigir múltiplas etapas precisas. Com um sistema baseado em intenções, o usuário indica principalmente o resultado que deseja obter.

Um trader poderia, por exemplo, pedir: trocar um token por outro somente se o preço final respeitar um limite dado. Ele não precisaria necessariamente definir todas as etapas intermediárias por si mesmo.

O proof-carrying data adiciona uma outra camada. Uma informação pode viajar com uma prova criptográfica atestando que um cálculo ou uma série de regras foi respeitado. A aplicação que recebe o resultado verifica então a prova ao invés de reproduzir todo o cálculo.

Groth16 deve servir para essa verificação. Esse sistema de prova criptográfica gera provas compactas e rápidas de verificar. Cardano já fortalece sua caixa de ferramentas criptográfica. Em maio, a rede havia colocado em teste cinco novas primitivas Plutus, especialmente para melhorar desempenho e possibilidades para desenvolvedores.

A nova linguagem pode ir além integrando diretamente várias dessas lógicas na forma de criar as aplicações. Por enquanto, Hoskinson não explicou como essa tecnologia será integrada na arquitetura atual de Cardano.

Cardano já possui várias linguagens

O novo projeto não surge em um terreno vazio. Cardano usa há vários anos Plutus, seu ambiente histórico para contratos inteligentes. Aiken é uma alternativa mais recente, com sintaxe e ferramentas pensadas para simplificar o trabalho dos desenvolvedores.

Os contratos escritos em várias linguagens Cardano geralmente terminam compilados para UPLC, o formato executado pelos nós durante a validação. Hoskinson ainda não indicou se sua nova linguagem seguirá exatamente o mesmo caminho.

Ele também não explicou se pretende substituir Aiken ou Plutus. Nada em seu anúncio permite afirmar isso por enquanto. O ecossistema também possui Compact, usado no Midnight. Essa blockchain focada em privacidade já ocupa um lugar importante na estratégia de Hoskinson, principalmente graças às provas zero-knowledge e às aplicações que manipulam dados privados.

A nova linguagem compartilha assim algumas ideias com tecnologias já presentes no ecossistema cripto de Cardano, enquanto adiciona uma forte orientação para intenções e provas atreladas aos dados. Hoskinson promete uma abordagem “primeira do tipo”. Agora resta ver o código.