Hoskinson apresenta Moriarty para o DeFi da Midnight

Charles Hoskinson divulgou o primeiro resultado de teste concreto para Moriarty, uma linguagem de programação que ele está construindo para o DeFi da Midnight. Um contrato de empréstimo chegou à representação intermediária de conhecimento zero da Midnight e sua transação foi validada na rede Preview, enquanto a própria linguagem continua em desenvolvimento.

Moriarty define instruções para o DeFi da Midnight

Hoskinson descreveu Moriarty como uma linguagem de intenções Turing incompleta para o núcleo de DeFi planejado da Midnight. Ela foi projetada para expressar o que uma transação financeira deve realizar e as condições que precisa satisfazer.

Seu design deliberadamente limitado reduz a faixa de comportamentos possíveis do programa, enquanto semânticas formais especificam como cada instrução é executada. Hoskinson está estudando componentes comuns por trás de empréstimos, swaps, contratos perpétuos e produtos sintéticos, mas não os apresentou como recursos concluídos de Moriarty.

Midnight usa NIGHT como seu ativo nativo de rede. Moriarty ficaria na camada de aplicação, onde desenvolvedores poderiam eventualmente definir operações envolvendo NIGHT e outros ativos compatíveis. Nenhum aplicativo em produção usando a linguagem foi anunciado.

Contrato de empréstimo valida na Preview da Midnight

Hoskinson disse que o repositório de Moriarty continha mais de 596 commits quando ele apresentou o projeto. O marco de desenvolvimento mais claro foi um contrato de empréstimo compilado para zkIR, a representação intermediária usada no processo de execução de conhecimento zero da Midnight.

“Eu realmente consegui fazer a transação validar na Preview da Midnight”, disse ele.

Preview é uma rede de desenvolvimento, e Hoskinson afirmou que Moriarty não estava concluída. Ele estimou mais duas a quatro semanas de trabalho antes de entregá-la a Lucas e a outros membros da equipe, sem anunciar um cronograma de lançamento em produção para Moriarty ou para um produto de DeFi com NIGHT.

Provas de correção miram o risco de contratos de DeFi

Hoskinson disse que Moriarty pretende anexar uma prova de correção do programa a uma transação. A prova demonstraria que o programa enviado segue as regras expressas pela linguagem antes que a transação seja aceita.

“Você tem uma prova da correção do programa acompanhando a transação”, disse ele.

Ele vinculou esse design a circuitos com restrições insuficientes, em que um circuito de conhecimento zero não consegue impor todas as condições pretendidas. Restrições ausentes podem permitir que um resultado inválido passe pelas verificações restantes e coloque em risco os fundos controlados por um contrato.

O teste na Preview confirma o caminho de compilação e validação descrito por Hoskinson. O próximo passo declarado por ele é a entrega para a equipe, movendo Moriarty de um protótipo pessoal para uma infraestrutura que desenvolvedores do DeFi da Midnight possam avaliar e ampliar.