El fundador de Cardano, Charles Hoskinson, anunció que está trabajando en un nuevo lenguaje de programación para la blockchain. Hoskinson afirmó que este lenguaje incluirá características avanzadas de criptografía y podría abrir nuevas áreas de uso en el ecosistema de Cardano.
Destacados objetivos técnicos del nuevo lenguaje
Hoskinson indicó que el lenguaje en el que está trabajando podrá procesar datos con pruebas de propósito, es decir, datos que llevan información de verificación, mediante pruebas Groth16. Sin embargo, no compartió detalles sobre el nombre, características técnicas o fecha de lanzamiento del lenguaje.
Mini glosario: Groth16 es un método de verificación ampliamente utilizado en el campo de las pruebas de conocimiento cero. Proof carrying data se utiliza para describir una estructura que permite a unos datos llevar una prueba verificable consigo.
Charles Hoskinson señaló que está desarrollando personalmente un lenguaje de programación para Cardano, que será el primer ejemplo de la unión de modelos de intención y el enfoque de proof carrying data con las pruebas Groth16.
La declaración se produjo después de que un miembro de la comunidad preguntara sobre las ventajas únicas que ofrece Cardano como una capa base altamente descentralizada. En su respuesta, Hoskinson transmitió que la estructura en la que está trabajando podría reforzar las afirmaciones técnicas de Cardano.
Énfasis en Midnight y conexión incierta
Hoskinson también expresó que está trabajando en un concepto que podría resolver gran parte de los problemas en el ámbito de las criptomonedas y que sólo Midnight podría ofrecerlo. Midnight es conocido como un proyecto en el ecosistema de Cardano que destaca por su enfoque en la privacidad. No obstante, no quedó claro si hay una conexión directa entre este concepto y el nuevo lenguaje de programación al que Hoskinson se refirió.
Hoskinson considera que está trabajando en un concepto que solo Midnight podría aportar al ámbito de las criptomonedas, lo que podría ser la obra más importante de su carrera.
Preferencias lingüísticas pasadas vuelven a ser tema
Hoskinson había compartido sus opiniones sobre los lenguajes de programación en numerosas ocasiones antes. La arquitectura de desarrollo de Cardano se basó inicialmente en gran medida en Haskell, y Hoskinson dio un apoyo abierto a este lenguaje durante mucho tiempo.
En junio de 2022, Hoskinson participó en un debate sobre las ventajas de los lenguajes de programación entre Elon Musk y Jack Dorsey, sugiriendo que se probara Haskell después de que Musk expresara su interés en el lenguaje C. No obstante, Hoskinson admitió posteriormente que no siempre estuvo completamente seguro de la decisión de desarrollar Cardano con Haskell.
En mayo de 2024, Hoskinson reveló que había considerado seriamente la opción de Clojure en un período, mencionando al final que la presencia de Cloud Haskell y la capacidad de utilizar herramientas como Liquid Haskell y Agda fueron determinantes. En una entrevista en abril de 2025, declaró que si tuviera la oportunidad de reescribir Cardano desde cero, probablemente elegiría otro lenguaje de programación.
