PANews October 20 news, according to CoinDesk, Cardano founder Charles Hoskinson said on Sunday on X that he is personally developing a new programming language for Cardano. His collaborator is Input Output Global software engineer Lucas Rosa, who is also a co-creator of the Cardano smart contract language Aiken. Hoskinson said this will be the first language to combine transaction intents with cryptographic proofs that "the rules have been followed," supporting transaction intents, proof-carrying data, and Groth16 proofs. Developers can use it to build applications that coordinate transactions and verify complex conditions, with a small proof ultimately verified on-chain by Cardano. Cardano's existing smart contract languages are Plutus and Aiken. Hoskinson has not yet announced the language's name, public code, or launch date.
Cardano founder Charles Hoskinson personally develops a new programming language.
Noticias relacionadas
Represión financiera en la era de la IA
📺 Ver videoBitcoin Magazine Represión financiera en la era de la IA La deslocalización dejó a EE. UU. dependiente de rivales para tecnología crítica, dice Craig Tindale. Basándose...
Liquidación de los bonos del Tesoro de EE. UU. en septiembre: no son las expectativas de inflación, sino un aumento de los rendimientos reales
El mercado puede estar reevaluando el crecimiento económico y la demanda de capital, pero la prima de plazo sigue siendo una preocupación.
Tres ladrones armados en Pattaya, Tailandia, obligaron a un ciudadano chino a transferir 820.000 dólares en criptomonedas.
TRAE de ByteDance fusiona dos herramientas de IA, TraeWork cerrará el 23 de octubre.
Bernstein: Se espera que los ingresos de TSMC en el tercer trimestre alcancen los 1,49 billones de dólares taiwaneses, un 3% por encima del consenso del mercado.