coindesk.com
Charles Hoskinson, fundador de Cardano, está escribiendo un nuevo lenguaje de programación para su blockchain. Afirma que será el primero en combinar lo que un usuario desea que haga una transacción con una prueba criptográfica de que se siguieron las reglas.
“En realidad, estoy desarrollando personalmente un lenguaje de programación para Cardano,” Hoskinson escribió en X el domingo, agregando 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 haga una vez que su red es tan grande. Hoskinson dirige una empresa llena de ingenieros y aún así elige personalmente escribir 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 prueba y pruebas Groth16.
Una intención permite a un usuario expresar lo que desea que se haga y dejar los pasos a la aplicación. Un operador podría solicitar intercambiar un token por otro solo si el precio final cumple con las condiciones establecidas, sin especificar cómo llegar a ese resultado.
Los datos con prueba adjunta incorporan evidencia criptográfica a una pieza de información, demostrando que sigue ciertas reglas. Otra aplicación puede verificar esa evidencia sin tener que repetir todos los cálculos subyacentes.
Groth16 es un sistema de prueba ampliamente utilizado que produce pruebas diminutas que las computadoras pueden verificar rápidamente. Esas pruebas pueden demostrar que se cumplió una condición sin revelar los datos privados utilizados para cumplirla.
Juntos, podrían permitir a los desarrolladores crear aplicaciones que coordinen operaciones, verifiquen condiciones complejas y transmitan información verificada entre servicios, con Cardano comprobando una pequeña prueba al final.
Los desarrolladores de Cardano ya escriben contratos inteligentes en Plutus, que está construido sobre el lenguaje de programación Haskell, y en Aiken. Midnight, la cadena de bloques enfocada en la privacidad creada por la empresa de Hoskinson, Input Output Global, tiene su propio lenguaje, Compact, para aplicaciones que manejan datos confidenciales.
Mientras tanto, Hoskinson no ha compartido el nombre del nuevo lenguaje, ningún código público, ni una fecha en la que los desarrolladores puedan comenzar a usarlo.
