Puntos clave de la noticia:
- Charles Hoskinson trabaja junto a Lucas Rosa, ingeniero de Input Output Global, en un nuevo lenguaje de programación para Cardano.
- El proyecto combinará intenciones de transacción, datos acompañados de pruebas criptográficas y el sistema Groth16 para verificar operaciones y condiciones sin exponer información privada.
- Hoskinson todavía no anunció el nombre del lenguaje, sus especificaciones técnicas completas ni una fecha de lanzamiento.
Charles Hoskinson, fundador de Cardano, está desarrollando personalmente un nuevo lenguaje de programación para la blockchain junto a Lucas Rosa, ingeniero de software de Input Output Global (IOG) y uno de los creadores de Aiken.
Hoskinson confirmó el proyecto a través de una publicación en X. Según explicó, el objetivo es combinar las instrucciones que un usuario quiere ejecutar con pruebas criptográficas que permitan verificar que se cumplieron las condiciones establecidas.
I'm actually personally developing a programming language for Cardano. It's the first of its kind, enabling intents and PCD via Groth16 proofs. @rvcas is building it with me
— Charles Hoskinson (@IOHK_Charles) October 18, 2026
La propuesta busca que las aplicaciones puedan ejecutar operaciones complejas sin que los usuarios tengan que definir cada uno de los pasos necesarios. También permitiría comprobar los resultados mediante pruebas verificables en lugar de repetir todos los cálculos.
El fundador de Cardano señaló que el lenguaje integrará tres componentes: intenciones de transacción, datos acompañados de pruebas criptográficas y Groth16.
Cómo funcionará el nuevo lenguaje de Hoskinson
Las intenciones de transacción permiten que un usuario establezca el resultado que desea obtener sin especificar cómo debe ejecutarse la operación.
Por ejemplo, una persona podría solicitar el intercambio de un token por otro, siempre que el precio final cumpla determinadas condiciones. La aplicación se encargaría de encontrar la forma de realizar el intercambio dentro de esos límites.
El segundo componente, conocido como proof-carrying data, consiste en incorporar evidencia criptográfica a los datos para demostrar que cumplen ciertas reglas.
De esta manera, otra aplicación podría comprobar la validez de la información recibida sin necesidad de repetir todos los cálculos que se realizaron para generarla.
El tercer elemento es Groth16, un sistema de pruebas criptográficas que permite generar verificaciones de tamaño reducido y procesarlas rápidamente.
Estas pruebas pueden demostrar que se cumplió una condición sin revelar los datos privados utilizados durante el proceso.
La combinación de estas herramientas permitiría desarrollar aplicaciones capaces de coordinar intercambios, comprobar condiciones complejas y compartir información verificada entre distintos servicios.
Cardano podría validar una prueba criptográfica compacta al finalizar la operación, en lugar de tener que reproducir todos los procedimientos ejecutados por las aplicaciones.
Cardano ya utiliza Plutus y Aiken para contratos inteligentes
El nuevo proyecto se incorporaría a un entorno de desarrollo que ya dispone de distintos lenguajes para crear contratos inteligentes.
Uno de ellos es Plutus, basado en Haskell y utilizado para desarrollar aplicaciones que ejecutan operaciones directamente en Cardano.
También está Aiken, un lenguaje creado específicamente para facilitar el desarrollo de contratos inteligentes en la red. Lucas Rosa, quien trabaja con Hoskinson en la nueva propuesta, participó en su creación.
Por otra parte, Midnight, la blockchain enfocada en privacidad desarrollada por Input Output Global, dispone de Compact, un lenguaje diseñado para aplicaciones que necesitan procesar información confidencial.
A diferencia de estas herramientas, el lenguaje anunciado por Hoskinson pretende reunir la definición de operaciones y su verificación criptográfica dentro de un mismo sistema.
Por ahora, Hoskinson no reveló el nombre del proyecto, publicó código ni presentó especificaciones técnicas completas. Tampoco indicó cuándo estará disponible para los desarrolladores de Cardano.
