Charles Hoskinson desenvolve nova linguagem de programação para a rede Cardano
Projeto busca integrar intenções de transação e provas criptográficas para otimizar o funcionamento da blockchain.
O fundador da Cardano, Charles Hoskinson, anunciou no último domingo, via rede social X, que está desenvolvendo pessoalmente uma nova linguagem de programação para a rede. O projeto conta com a colaboração de Lucas Rosa, engenheiro de software da Input Output Global e co-criador da linguagem Aiken.
Segundo Hoskinson, a proposta é criar a primeira linguagem capaz de combinar as intenções de transação do usuário com a prova criptográfica de que as regras foram estritamente seguidas. O sistema será estruturado em três pilares técnicos: intenções de transação, proof-carrying data (dados que carregam prova) e provas Groth16. Essas ferramentas visam permitir que usuários definam condições complexas para operações, enquanto garantem a verificação rápida e a privacidade dos dados envolvidos.
Atualmente, o ecossistema Cardano utiliza as linguagens Plutus, baseada em Haskell, e Aiken para o desenvolvimento de contratos inteligentes. Embora a iniciativa represente uma expansão técnica relevante para a rede, Hoskinson ainda não divulgou o nome oficial da linguagem, o código-fonte público ou uma data prevista para o lançamento oficial do projeto.
Aviso: Este conteúdo foi gerado com auxílio de inteligência artificial de forma automatizada e eventualmente poderá apresentar algum tipo de inconsistência ou erro.
Trata-se de uma programação experimental de Inteligência Artificial que gera conteúdo através de fontes livres e fidedignas, mas eventualmente falhas poderão ocorrer. Caso o conteúdo encontrado contenha material autoral não autorizado ou de uso comercial na republicação, nos sinalize para a remoção.
Link permanente desta matéria: https://www.ouni.com.br/2026/10/charles-hoskinson-desenvolve-nova.html
Encontrou um erro ou material não autorizado? Informe-nos aqui.
