Hoskinson e Lucas Rosa desenvolvem nova linguagem de programação para Cardano

Charles Hoskinson anunciou em 18 de outubro que está desenvolvendo pessoalmente uma nova linguagem de programação para Cardano. Ele indicou Lucas Rosa, um cofundador da Aiken e arquiteto de ferramentas da Midnight, como seu colaborador no projeto.

Cofundador da Aiken trabalha ao lado de Hoskinson

Rosa, conhecido online como @rvcas, cofundou a Aiken e liderou seu desenvolvimento por mais de dois anos e meio. Segundo seu histórico no projeto, esse trabalho incluiu o desenho dos recursos da linguagem antes de transferir a propriedade e sua licença para a Pragma para gestão de longo prazo.

Aiken é uma linguagem de programação e um kit de ferramentas de desenvolvimento para contratos inteligentes da Cardano. Desenvolvedores a utilizam para definir as regras que determinam se transações podem gastar ativos ou executar outras operações controladas por contrato.

Rosa atualmente informa sua posição como Arquiteto de Ferramentas na Midnight. Sua experiência abrange compiladores, sistemas distribuídos e infraestrutura de aplicações.

O anúncio de Hoskinson identifica Rosa como colaborador sem atribuir um papel organizacional à Midnight.

Como intenções e provas Groth16 se conectam

Intenções descrevem um resultado que um usuário deseja alcançar e as condições sob as quais ele é aceitável. Um usuário pode solicitar uma troca de ADA por outro token, especificando um valor mínimo a receber e uma taxa máxima. Participantes especializados chamados solvers podem então encontrar um caminho de execução e construir transações que satisfaçam essas condições.

Dados portadores de prova, ou PCD, referem-se a informações acompanhadas por evidências criptográficas de que cumprem regras definidas. As evidências também podem cobrir seu histórico de processamento, estabelecendo que etapas computacionais anteriores respeitaram essas regras. Um destinatário pode verificar a prova sem repetir todo o processamento anterior.

Groth16 fornece provas de conhecimento zero compactas, com complexidade de verificação relativamente baixa. Ele permite que uma parte demonstre que um determinado cálculo foi executado corretamente sem revelar as entradas privadas usadas para produzir a prova. Quais dados da aplicação permanecem públicos depende do desenho do sistema ao redor.

Em conjunto, esses conceitos poderiam permitir que uma aplicação expressasse resultados aceitáveis e verificasse evidências de que as condições computacionais relevantes foram satisfeitas. O mecanismo específico que as conecta na linguagem proposta não foi descrito.

Conectando a linguagem aos validadores da Cardano

Cardano já fornece blocos de construção criptográficos para aplicações baseadas em provas. Plutus V3 inclui operações BLS12-381 que suportam verificação eficiente de provas de conhecimento zero compatíveis. Desenvolvedores podem usar essas primitivas para construir contratos que verificam evidências de cálculos realizados fora da blockchain.

A verificação consome recursos de execução e contribui para as taxas de transação pagas em ADA. A praticidade de qualquer implementação portanto depende de o sistema de provas, o verificador e a carga de trabalho se encaixarem nos limites de transação da Cardano.

A publicação de Hoskinson não forneceu nome da linguagem, repositório, especificação ou data de lançamento. Sua relação com Aiken e Plutus também permanece não especificada. O ponto de integração ainda não resolvido é como um programa escrito na nova linguagem geraria uma prova e a disponibilizaria a um validador da Cardano, conectando as condições declaradas pelo usuário ao contrato que autoriza a liquidação.