✨︎ Resumen (TL;DR):
- Charles Hoskinson y Lucas Rosa desarrollan un lenguaje para Cardano que combina intenciones de transacción y pruebas criptográficas.
- La propuesta incorpora datos acompañados de pruebas, conocidos como PCD, y el sistema Groth16, pero todavía no tiene nombre, código público ni fecha de disponibilidad.
- Cardano ya utiliza Aiken, cuyo compilador convierte el código a Untyped Plutus Core; todavía no se conoce cómo se integrará el nuevo proyecto.
Charles Hoskinson, cofundador de Cardano, desarrolla personalmente con Lucas Rosa un nuevo lenguaje de programación para la red. La propuesta busca unir intenciones de transacción con pruebas criptográficas para verificar que una operación cumplió sus condiciones, pero todavía no tiene nombre, código público ni fecha de disponibilidad.
El mensaje de Hoskinson en X, del 18 de octubre de 2026, mencionó tres componentes: intenciones de transacción, datos acompañados de pruebas y el sistema Groth16. Unchained informó del proyecto el 19 de octubre de 2026. La página oficial de Aiken identifica a Rosa como uno de los mantenedores de ese lenguaje para Cardano.
Una petición que también lleva su evidencia
Una intención de transacción es una solicitud que expresa el resultado que busca el usuario y deja al software resolver los pasos para alcanzarlo. En la propuesta, esa solicitud se combinaría con evidencia para comprobar que la operación cumplió las reglas definidas.
Los datos acompañados de pruebas (PCD) son un sistema que hace circular mensajes con evidencia de que los datos y el historial de su procesamiento cumplen propiedades definidas por el diseñador. La comprobación se concentra en esa evidencia, sin reconstruir todo el cálculo previo.
Los PCD tienen antecedentes en un trabajo de Alessandro Chiesa y Eran Tromer presentado en 2010. Groth16 es un esquema de pruebas de conocimiento cero que permite demostrar una afirmación sin revelar la información privada utilizada para justificarla. Jens Groth presentó este esquema en 2016.
El trabajo original de Groth16, disponible en el repositorio de University College London, describe pruebas compactas y una verificación que requiere pocas operaciones criptográficas.
Estas técnicas existen desde hace años y Hoskinson plantea reunirlas en un solo lenguaje. Sus propiedades matemáticas explican el interés por verificar resultados, pero por sí solas no permiten calcular la velocidad ni las comisiones de una futura aplicación en Cardano.
Aiken ofrece la referencia técnica
Cardano ya cuenta con herramientas para escribir contratos inteligentes. La documentación de Aiken explica que su compilador convierte el código del desarrollador a Untyped Plutus Core, el lenguaje que ejecuta la máquina virtual de contratos de la red.
La separación entre el lenguaje de desarrollo y el código que procesa Cardano ofrece un punto concreto para evaluar la iniciativa. El anuncio todavía no detalla cómo combinará las pruebas con la infraestructura existente ni qué relación tendrá con Plutus y Aiken.
Aiken también incluye dos elementos útiles para esa comparación:
- Pruebas automatizadas.
- Evaluación de costos de ejecución.
Por ahora, Hoskinson y Rosa han descrito los componentes, pero no existe código público ni una fecha de disponibilidad. El alcance real podrá evaluarse cuando se publique una implementación y se conozca cómo conecta las pruebas con Plutus, Aiken y la infraestructura de Cardano. Hasta entonces, la propuesta permite identificar su modelo de verificación, no medir el rendimiento ni las comisiones de una aplicación futura.
