> ## Content Index
> Fetch the complete content index at: https://fomoera.com/llms.txt
> Use this file to discover other available public pages before exploring further.

# Hoskinson dice que desarrolla un nuevo lenguaje para Cardano
- URL: https://fomoera.com/cardano-lenguaje-hoskinson/
- Published: 2026-10-20T09:00:00.000Z
- Updated: 2026-10-20T09:00:00.000Z
- Description: El cofundador de Cardano trabaja con Lucas Rosa en una propuesta que combina intenciones de transacción y pruebas criptográficas. Aún no hay código público ni fecha de acceso.
- Author: Gerardo Pavez
- Tags: Tecnología y Ciencia, Programación

Charles Hoskinson, cofundador de Cardano, dijo que desarrolla personalmente un nuevo lenguaje de programación para la red junto con Lucas Rosa. El proyecto busca unir las solicitudes de los usuarios con pruebas criptográficas que permitan comprobar que se cumplieron sus condiciones. Todavía no tiene nombre, código público ni fecha de disponibilidad, según informó [Unchained](https://unchainedcrypto.com/charles-hoskinson-reveals-work-on-a-cardano-programming-language-using-groth16-proofs/?ref=fomoera.com) el 19 de octubre de 2026.

CoinDesk también recogió el mensaje del 18 de octubre en X, en el que Hoskinson mencionó tres componentes: intenciones de transacción, datos acompañados de pruebas y el sistema Groth16\. La [página oficial de Aiken](https://aiken-lang.org/credits?ref=fomoera.com) identifica a Rosa como uno de los mantenedores de ese lenguaje para Cardano.

## Comprobar un resultado con evidencia criptográfica

Una intención expresa el resultado que busca el usuario y deja al software resolver los pasos para alcanzarlo. En el planteamiento descrito por Hoskinson, esa petición se combinaría con evidencia que permita verificar el cumplimiento de las reglas de la operación.

Los datos acompañados de pruebas, conocidos como **PCD**, tienen antecedentes en el trabajo de Alessandro Chiesa y Eran Tromer presentado en 2010\. Su investigación describe un sistema en el que los mensajes circulan con pruebas de que los datos y la historia de su procesamiento cumplen propiedades definidas por el diseñador. La comprobación se centra en esa evidencia, sin reconstruir todo el cálculo previo.

**Groth16** es un esquema de pruebas de conocimiento cero presentado por Jens Groth en 2016\. Permite demostrar una afirmación sin revelar la información privada utilizada para justificarla. El trabajo original, disponible en el repositorio de University College London, describe pruebas compactas y una verificación que requiere pocas operaciones criptográficas.

Estos antecedentes ayudan a precisar la propuesta: las técnicas existen desde hace años y Hoskinson plantea reunirlas en un lenguaje. Sus propiedades matemáticas explican el interés por verificar resultados, pero por sí solas no permiten calcular la velocidad o las comisiones de una futura aplicación en Cardano.

## La referencia disponible para los desarrolladores

Cardano ya cuenta con herramientas para escribir contratos inteligentes. La [documentación de Aiken](https://aiken-lang.org/?ref=fomoera.com) 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.

Esa separación entre el lenguaje de desarrollo y el código que procesa Cardano ofrece una referencia para evaluar la iniciativa. El anuncio de Hoskinson 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 pruebas automatizadas y evaluación de costos de ejecución. Esas funciones ofrecen puntos concretos de comparación para valorar el alcance del nuevo lenguaje cuando se publique una implementación.

*Fuentes:* [1](https://projects.csail.mit.edu/pcd/?ref=fomoera.com), [2](https://discovery.ucl.ac.uk/id/eprint/1501201/?ref=fomoera.com), [3](https://www.coindesk.com/tech/2026/10/19/cardano-founder-charles-hoskinson-is-building-a-new-programming-language-for-the-network?ref=fomoera.com)