Charles Hoskinson, fundador de Cardano, está desarrollando personalmente un nuevo lenguaje de programación para esta cadena de bloques junto con Lucas Rosa, ingeniero de software de Input Output Global (IOG). La propuesta busca ofrecer a los desarrolladores una herramienta para construir aplicaciones de criptomonedas más avanzadas y con mecanismos reforzados de seguridad.
Hoskinson confirmó el proyecto el domingo 18 de octubre en una publicación en X. En el mensaje explicó que trabaja directamente en un lenguaje que, según su descripción, será el primero en integrar intenciones de transacción y PCD mediante pruebas Groth16. Rosa, identificado en X como @rvcas, participa en el desarrollo y ya formó parte del equipo que creó Aiken, uno de los principales lenguajes utilizados para contratos inteligentes en Cardano.
Una combinación de intenciones y pruebas criptográficas
El nuevo lenguaje combinaría tres elementos: las intenciones de transacción, los datos acompañados de pruebas criptográficas y el sistema de pruebas de conocimiento cero Groth16. La integración pretende permitir que las aplicaciones ejecuten operaciones complejas y, al mismo tiempo, acrediten que se han cumplido determinadas condiciones.
Las intenciones de transacción modifican la forma en que el usuario expresa una operación. En lugar de tener que definir cada uno de los pasos necesarios, podría indicar el resultado que desea alcanzar. Por ejemplo, podría establecer que solo quiere intercambiar una criptomoneda si el precio final se ajusta a unas condiciones concretas. A partir de ahí, la aplicación se encargaría de determinar cómo ejecutar la operación.
Los otros componentes se centran en la verificación. Los datos con pruebas criptográficas permiten intercambiar información junto con una prueba que respalda su validez. Groth16, por su parte, permite demostrar mediante una prueba de tamaño reducido que se han satisfecho ciertas condiciones sin revelar todos los datos utilizados para llegar a ese resultado.
La combinación de estas técnicas permitiría, según la descripción del proyecto, verificar transacciones complejas sin repetir cada uno de los cálculos subyacentes. El objetivo es que las aplicaciones puedan trabajar con operaciones más sofisticadas sin renunciar a la comprobación criptográfica de sus condiciones.
Cardano ya dispone de otros lenguajes
La iniciativa se suma a las herramientas de programación que ya existen en el ecosistema de Cardano. La red cuenta actualmente con Plutus y Aiken, mientras que Midnight, el proyecto de cadena de bloques de IOG centrado en la privacidad, utiliza el lenguaje Compact.
La implicación directa de Hoskinson constituye uno de los aspectos más destacados del anuncio. Aunque dirige una empresa con numerosos programadores, el fundador de Cardano ha decidido participar personalmente en el desarrollo del código de una tecnología que podría servir como base para futuras aplicaciones de la red.
Por ahora, el proyecto se encuentra en una fase inicial y no hay un calendario público para su lanzamiento. Hoskinson tampoco ha comunicado el nombre que tendrá el lenguaje, ha publicado su código ni ha precisado cuándo podrán utilizarlo los desarrolladores. La información disponible se limita al anuncio de su desarrollo y a las técnicas que, de acuerdo con su descripción, pretende integrar.
