Charles Hoskinson dijo el 18 de octubre que está desarrollando personalmente un nuevo lenguaje de programación para Cardano junto con Lucas Rosa, ingeniero de Input Output Global y cocreador de Aiken. El anuncio apunta a una posible nueva vía para los desarrolladores de aplicaciones de Cardano, centrada en las intenciones de transacción y las pruebas criptográficas, en lugar de en una descripción convencional de la ejecución de transacciones.
Hoskinson no ha revelado el nombre del lenguaje, publicado código de acceso público ni dado a los desarrolladores un calendario para acceder a él. Estas omisiones indican que el proyecto sigue siendo un anuncio preliminar, no una herramienta que los desarrolladores puedan evaluar o utilizar actualmente.
Hoskinson y Rosa comienzan a trabajar
En una publicación en X, Hoskinson dijo que estaba trabajando con Rosa en el lenguaje. La participación de Rosa vincula directamente el proyecto con Aiken, una de las opciones existentes de Cardano para desarrollar contratos inteligentes.
Los lenguajes de programación determinan cómo expresan los desarrolladores las reglas de las aplicaciones, crean transacciones e interactúan con el modelo de ejecución subyacente de una red, lo que hace que el anuncio sea relevante. La publicación no presentó una especificación ni un repositorio, ni propuso una vía para integrar el lenguaje en el conjunto más amplio de herramientas para desarrolladores de Cardano.
Por ahora, la descripción pública se limita a los elementos que identificó Hoskinson y a los informes posteriores sobre el uso previsto del lenguaje. La falta de código también deja abiertas preguntas prácticas sobre su sintaxis, sus herramientas y el alcance de las aplicaciones que se diseñaría para admitir.
Intenciones de transacción y pruebas
Según CoinDesk, Hoskinson dijo que el lenguaje combinaría intenciones de transacción, datos portadores de pruebas y pruebas criptográficas Groth16. El diseño anunciado hace hincapié en lo que un usuario quiere lograr con una transacción, junto con pruebas destinadas a demostrar que se han cumplido las condiciones requeridas.
Según el sistema propuesto, los usuarios especificarían los resultados deseados de las transacciones. Luego, las aplicaciones se encargarían de la ejecución y adjuntarían pruebas criptográficas de que se cumplieron esas condiciones, informó CoinDesk.
Esa distinción es importante para entender el planteamiento del proyecto. En lugar de describir la interacción del usuario únicamente como una secuencia de pasos de ejecución, el modelo descrito por Hoskinson parte del resultado y asigna a las aplicaciones la tarea de hacerlo realidad. Se pretende que el componente de prueba acompañe ese proceso como evidencia relacionada con las condiciones especificadas.
Groth16 es la tecnología de prueba específica mencionada en el anuncio. Ni la declaración de Hoskinson ni la descripción publicada en los informes detallaron cómo se implementaría en el lenguaje, qué datos abarcarían las pruebas o cómo presentarían las aplicaciones las transacciones resultantes a los usuarios de Cardano.
Estas son cuestiones importantes de implementación para un lenguaje que plantea ofrecer herramientas para crear y verificar transacciones. No pueden resolverse a partir de un anuncio general, especialmente sin una base de código pública ni documentación técnica.
Junto a Plutus y Aiken
Hoskinson dijo que estaba desarrollando personalmente un nuevo lenguaje de programación para Cardano junto con Lucas Rosa, ingeniero de Input Output Global y cocreador de Aiken.
Dijo que el lenguaje propuesto combinaría intenciones de transacción, datos portadores de pruebas y pruebas criptográficas Groth16. Según el sistema propuesto, los usuarios especificarían los resultados deseados de las transacciones, mientras que las aplicaciones se encargarían de la ejecución y aportarían pruebas criptográficas de que se cumplieron las condiciones.
Si se publica, el proyecto añadiría otra opción de desarrollo para Cardano, junto a Plutus y Aiken. CryptoSlate informó que Aiken se concibió para facilitar el desarrollo de contratos inteligentes en Cardano frente al entorno Plutus, basado en Haskell.
Al 19 de octubre, Hoskinson no había revelado el nombre del lenguaje, publicado código de acceso público ni anunciado una fecha de lanzamiento para desarrolladores, según CryptoSlate.
Aviso legal: Este artículo se ofrece únicamente con fines informativos. No constituye ni pretende ser asesoramiento jurídico, fiscal, de inversión, financiero ni de otro tipo.