Charles Hoskinson, fundador de Cardano, confirmó a través de X que está desarrollando personalmente un nuevo lenguaje de programación para su red, junto a Lucas Rosa, ingeniero de software en Input Output Global (IOG).
Según CoinDesk, Hoskinson said he is personally developing a new programming language with Input Output Global engineer Lucas Rosa. The language would combine transaction intents, proof-carrying data and Groth16 proofs to help applications execute user requests and efficiently verify that conditions were met.
Según Hoskinson, el lenguaje apoyará tres herramientas clave: intenciones transaccionales, datos con prueba (proof-carrying data) y pruebas Groth16, que permiten verificar condiciones de forma eficiente sin recalcular cada paso.
Según CoinDesk, Cardano developers already write smart contracts in Plutus, which is built on the programming language Haskell, and in Aiken.
