El fundador de Cardano, Charles Hoskinson, está desarrollando un nuevo lenguaje de programación para la red

El fundador de Cardano, Charles Hoskinson, está escribiendo un nuevo lenguaje de programación para su blockchain. Dice que será el primero en combinar lo que un usuario quiere que haga una transacción con una prueba criptográfica de que se siguieron las reglas.

“De hecho, estoy desarrollando personalmente un lenguaje de programación para Cardano”, Hoskinson escribió en X el domingo, añadiendo que está trabajando en ello con Lucas Rosa, un ingeniero de software en Input Output Global que co-creó Aiken, uno de los principales lenguajes de contratos inteligentes de Cardano.

Eso no es algo que la mayoría de los fundadores hacen una vez que su red es así de grande. Hoskinson dirige una empresa llena de ingenieros y aun así elige escribir él mismo la herramienta sobre la cual podrían construirse las futuras aplicaciones de Cardano.

El lenguaje admitiría tres herramientas: intenciones de transacción, datos portadores de pruebas y pruebas Groth16.

Una intención permite que un usuario diga qué quiere que se haga y deje los pasos a la aplicación. Un trader podría pedir intercambiar un token por otro solo si el precio final cumple con las condiciones establecidas, sin detallar cómo llegar allí.

Los datos portadores de pruebas adjuntan evidencia criptográfica a una pieza de información, demostrando que sigue ciertas reglas. Otra aplicación puede verificar esa evidencia sin repetir cada cálculo que hay detrás.