El fundador de Cardano, Charles Hoskinson, afirmó que está desarrollando personalmente un nuevo lenguaje de programación para la red junto con Lucas Rosa, ingeniero de Input Output Global y cocreador de Aiken. El lenguaje combinaría intenciones de transacción, datos con pruebas criptográficas y pruebas Groth16. Hoskinson aún no ha revelado su nombre, publicado código público ni fijado una fecha de lanzamiento para desarrolladores.
Por qué es importante
Las intenciones de transacción permiten a los usuarios describir el resultado que desean sin especificar cada paso de la ejecución. Por ejemplo, un operador podría solicitar un intercambio de tokens solo si el precio final cumple determinadas condiciones. Los datos con pruebas criptográficas adjuntarían evidencia que demostraría que la información sigue las reglas requeridas, lo que permitiría a otra aplicación verificarla sin repetir el cálculo subyacente.
Groth16 genera pruebas compactas que pueden comprobarse rápidamente y demostrar que se cumplió una condición sin revelar los datos privados que hay detrás. En conjunto, los tres componentes podrían ayudar a las aplicaciones de Cardano a coordinar operaciones, verificar condiciones complejas y transferir información validada entre servicios.
Actualmente, los desarrolladores de Cardano utilizan Plutus, basado en Haskell, y Aiken para los contratos inteligentes. La empresa de Hoskinson también desarrolló Compact para aplicaciones confidenciales en la blockchain Midnight, lo que aporta al nuevo proyecto un contexto más amplio sobre lenguajes y privacidad dentro del ecosistema.
Impacto en el mercado
El impacto inmediato afecta más a la hoja de ruta de desarrollo de Cardano que a un lanzamiento de producto confirmado. Un lenguaje funcional podría reducir la complejidad de crear aplicaciones que necesiten ejecución condicional y verificación de conocimiento cero, pero su efecto dependerá de su entrega, documentación y adopción por parte de los desarrolladores.
Hasta que Hoskinson publique especificaciones, código o un calendario, el proyecto seguirá siendo un esfuerzo de desarrollo anunciado. Los desarrolladores y los inversores de ADA estarán atentos a esos hitos, así como a pruebas de que el diseño propuesto funciona junto con las herramientas existentes de Cardano.
Preguntas frecuentes
-
¿Qué está desarrollando Hoskinson para Cardano?
Está desarrollando personalmente un nuevo lenguaje de programación para Cardano junto con Lucas Rosa, ingeniero de Input Output Global. El lenguaje está diseñado para intenciones de transacción, datos con pruebas criptográficas y pruebas Groth16.
-
¿Cómo funcionarían las intenciones de transacción en el lenguaje propuesto?
Permitirían a los usuarios indicar el resultado que desean sin especificar cada paso de la ejecución. Después, una aplicación podría ejecutar un intercambio de tokens solo si se cumplieran determinadas condiciones de precio.
-
¿Qué función cumplirían las pruebas Groth16?
Las pruebas Groth16 pueden aportar evidencia criptográfica compacta de que se cumplió una condición. Pueden comprobarse rápidamente sin revelar los datos privados utilizados para satisfacerla.
-
¿Cómo podría afectar el lenguaje a las aplicaciones de Cardano?
Podría ayudar a los desarrolladores a coordinar operaciones, verificar condiciones complejas y transferir información validada entre servicios. El efecto práctico dependerá de la entrega, documentación y adopción del lenguaje.
-
¿Cuándo podrán utilizar el nuevo lenguaje los desarrolladores de Cardano?
No se ha anunciado ninguna fecha de lanzamiento. Hoskinson aún no ha compartido el nombre del lenguaje, su código público ni un calendario de disponibilidad para desarrolladores.