Hoskinson presenta Moriarty para Midnight DeFi

Charles Hoskinson dio a conocer el primer resultado de prueba concreto de Moriarty, un lenguaje de programación que está construyendo para Midnight DeFi. Un contrato de préstamo alcanzó la representación intermedia de conocimiento cero de Midnight y su transacción se validó en la red Preview, mientras que el propio lenguaje sigue en desarrollo.

Moriarty define instrucciones para Midnight DeFi

Hoskinson describió Moriarty como un lenguaje de intenciones Turing incompleto para el kernel DeFi previsto de Midnight. Está diseñado para expresar lo que una transacción financiera debe lograr y las condiciones que debe satisfacer.

Su diseño deliberadamente limitado estrecha el rango de comportamiento posible del programa, mientras que la semántica formal especifica cómo se ejecuta cada instrucción. Hoskinson está estudiando componentes comunes detrás de los préstamos, los intercambios, los contratos perpetuos y los productos sintéticos, pero no los presentó como funciones terminadas de Moriarty.

Midnight usa NIGHT como su activo nativo de red. Moriarty se ubicaría en la capa de aplicación, donde los desarrolladores eventualmente podrían definir operaciones que involucren NIGHT y otros activos compatibles. No se ha anunciado ninguna aplicación en producción que use el lenguaje.

El contrato de préstamo se valida en Midnight Preview

Hoskinson dijo que el repositorio de Moriarty contenía más de 596 commits cuando presentó el proyecto. El hito de desarrollo más claro fue un contrato de préstamo compilado a zkIR, la representación intermedia utilizada en el proceso de ejecución de conocimiento cero de Midnight.

“Pude realmente hacer que la transacción se validara en la preview de Midnight”, dijo.

Preview es una red de desarrollo, y Hoskinson afirmó que Moriarty no estaba terminado. Estimó otras dos a cuatro semanas de trabajo antes de entregarlo a Lucas y a otros miembros del equipo, sin anunciar un calendario de lanzamiento en producción para Moriarty o para un producto DeFi de NIGHT.

Las pruebas de corrección apuntan al riesgo de los contratos DeFi

Hoskinson dijo que Moriarty está pensado para adjuntar una prueba de corrección del programa a una transacción. La prueba demostraría que el programa enviado sigue las reglas expresadas por el lenguaje antes de que la transacción sea aceptada.

“Tienes una prueba de la corrección del programa que acompaña a la transacción”, dijo.

Vinculó ese diseño con circuitos con restricciones insuficientes, donde un circuito de conocimiento cero no logra hacer cumplir todas las condiciones previstas. La ausencia de restricciones puede permitir que un resultado no válido supere las comprobaciones restantes y ponga en riesgo los fondos controlados por un contrato.

La prueba en Preview confirma la ruta de compilación y validación que describió Hoskinson. Su siguiente paso declarado es la entrega al equipo, pasando Moriarty de un prototipo personal hacia una infraestructura que los desarrolladores de Midnight DeFi puedan evaluar y ampliar.