Hoskinson présente Moriarty pour Midnight DeFi

Charles Hoskinson a dévoilé le premier résultat de test concret pour Moriarty, un langage de programmation qu’il construit pour Midnight DeFi. Un contrat de prêt a atteint la représentation intermédiaire à connaissance nulle de Midnight et sa transaction a été validée sur le réseau Preview, tandis que le langage lui même reste en développement.

Moriarty définit des instructions pour Midnight DeFi

Hoskinson a décrit Moriarty comme un langage d’intentions Turing incomplet pour le noyau DeFi prévu de Midnight. Il est conçu pour exprimer ce qu’une transaction financière doit accomplir et les conditions qu’elle doit satisfaire.

Sa conception délibérément limitée restreint l’éventail des comportements possibles d’un programme, tandis que la sémantique formelle précise comment chaque instruction s’exécute. Hoskinson étudie les composants communs du prêt, des échanges, des contrats perpétuels et des produits synthétiques, mais ne les a pas présentés comme des fonctionnalités achevées de Moriarty.

Midnight utilise NIGHT comme actif natif du réseau. Moriarty se situerait à la couche applicative, où les développeurs pourraient à terme définir des opérations impliquant NIGHT et d’autres actifs pris en charge. Aucune application de production utilisant ce langage n’a été annoncée.

Un contrat de prêt est validé sur Midnight Preview

Hoskinson a indiqué que le dépôt Moriarty contenait plus de 596 commits lorsqu’il a présenté le projet. L’étape de développement la plus claire a été un contrat de prêt compilé en zkIR, la représentation intermédiaire utilisée dans le processus d’exécution à connaissance nulle de Midnight.

“J’ai effectivement réussi à faire valider la transaction sur le Midnight preview”, a déclaré Hoskinson.

Preview est un réseau de développement, et Hoskinson a précisé que Moriarty n’était pas terminé. Il a estimé qu’il restait encore deux à quatre semaines de travail avant de le remettre à Lucas et aux autres membres de l’équipe, sans annoncer de calendrier de lancement en production pour Moriarty ni pour un produit DeFi autour de NIGHT.

Des preuves de correction visent le risque des contrats DeFi

Hoskinson a indiqué que Moriarty est destiné à joindre une preuve de correction du programme à une transaction. La preuve démontrerait que le programme soumis suit les règles exprimées par le langage avant que la transaction ne soit acceptée.

“Vous avez une preuve de la correction du programme qui accompagne la transaction”, a déclaré Hoskinson.

Il a relié cette conception aux circuits insuffisamment contraints, où un circuit à connaissance nulle n’applique pas toutes les conditions prévues. Des contraintes manquantes peuvent permettre à un résultat invalide de passer les vérifications restantes et exposer à un risque des fonds contrôlés par un contrat.

Le test sur Preview confirme le chemin de compilation et de validation décrit par Hoskinson. La prochaine étape annoncée est la passation à l’équipe, faisant passer Moriarty d’un prototype personnel à une infrastructure que les développeurs de Midnight DeFi peuvent évaluer et étendre.