Cripto: Hoskinson promete revolucionar Cardano com uma nova linguagem!

Charles Hoskinson desarrolla personalmente un nuevo lenguaje de programación para Cardano con Lucas Rosa, uno de los creadores de Aiken. El proyecto debe combinar intenciones de transacción, proof-carrying data y pruebas Groth16. Para este nuevo componente cripto, aún no se ha comunicado ningún nombre, código público ni calendario de lanzamiento.

Hoskinson retoma él mismo el teclado en Cardano

Charles Hoskinson no se limita a supervisar el proyecto. Afirma participar directamente en el desarrollo del lenguaje. El anuncio ocurre mientras Cardano ya acelera su trabajo técnico. Hace unos días, Hoskinson explicaba que la actualización Leios debía completar gran parte de la arquitectura de la red, con un mayor rendimiento y nuevas capacidades de escalabilidad.

Esta vez, el trabajo se refiere más a las aplicaciones cripto construidas sobre Cardano. Hoskinson trabaja con Lucas Rosa, co-creador de Aiken, uno de los principales lenguajes usados para desarrollar validadores en la red. Describe su proyecto como el primero de su tipo en reunir intents, proof-carrying data y pruebas Groth16.

Sin embargo, el lenguaje aún no tiene nombre público. Tampoco se ha presentado ningún repositorio de código. Hoskinson no ha indicado testnet, fecha de lanzamiento ni primera aplicación que use esta tecnología. El proyecto sigue en una fase temprana.

Transacciones cripto descritas por su resultado

El concepto de «intent» cambia la forma de solicitar una operación a una aplicación blockchain. Hoy en día, una transacción puede requerir varios pasos precisos. Con un sistema basado en intenciones, el usuario indica principalmente el resultado que desea obtener.

Un trader podría por ejemplo pedir: intercambiar un token por otro solo si el precio final respeta un límite dado. No tendría necesariamente que definir él mismo todos los pasos intermedios.

El proof-carrying data añade otra capa. Una información puede viajar con una prueba criptográfica que atestigua que un cálculo o una serie de reglas ha sido respetado. La aplicación que recibe el resultado verifica entonces la prueba en lugar de reproducir todo el cálculo.

Groth16 debe servir para esta verificación. Este sistema de prueba criptográfica produce pruebas compactas y rápidas de controlar. Cardano ya fortalece su caja de herramientas criptográfica. En mayo, la red había puesto a prueba cinco nuevas primitivas Plutus, especialmente para mejorar el rendimiento y las posibilidades ofrecidas a los desarrolladores.

El nuevo lenguaje podría ir más allá integrando directamente varias de estas lógicas en la forma de construir las aplicaciones. Por ahora, Hoskinson no ha explicado cómo esta tecnología se integrará en la arquitectura existente de Cardano.

Cardano ya posee varios lenguajes

El nuevo proyecto no llega a un terreno vacío. Cardano utiliza desde hace varios años Plutus, su entorno histórico para los smart contracts. Aiken constituye una alternativa más reciente, con una sintaxis y herramientas pensadas para simplificar el trabajo de los desarrolladores.

Los contratos escritos en varios lenguajes Cardano suelen terminar compilados a UPLC, el formato ejecutado por los nodos durante la validación. Hoskinson aún no ha indicado si su nuevo lenguaje seguirá exactamente el mismo camino.

Tampoco ha explicado si pretende reemplazar Aiken o Plutus. Nada en su anuncio permite afirmarlo por ahora. El ecosistema también dispone de Compact, usado en Midnight. Esta blockchain enfocada en la privacidad ya ocupa un lugar importante en la estrategia de Hoskinson, especialmente gracias a las pruebas zero-knowledge y a las aplicaciones que manejan datos privados.

El nuevo lenguaje comparte por tanto algunas ideas con tecnologías ya presentes en el ecosistema cripto de Cardano, añadiendo una fuerte orientación hacia las intenciones y las pruebas adjuntas a los datos. Hoskinson promete un enfoque «primero de su tipo». Ahora queda ver el código.