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.
Notizie correlate
La repressione finanziaria nell'era dell'IA
📺 Guarda il videoBitcoin Magazine La repressione finanziaria nell'era dell'IA L'offshoring ha reso gli Stati Uniti dipendenti dai rivali per la tecnologia critica, afferma Craig T...
Vendita massiccia dei Treasury statunitensi a settembre: non aspettative di inflazione, ma un'impennata dei rendimenti reali
Il mercato potrebbe rivalutare la crescita economica e la domanda di capitale, ma il premio a termine resta una preoccupazione.
Tre rapinatori armati a Pattaya, in Thailandia, hanno costretto un cittadino cinese a trasferire 820.000 dollari in criptovaluta.
Il TRAE di ByteDance unisce due strumenti di IA, TraeWork chiuderà il 23 ottobre.
Bernstein: si prevede che i ricavi del terzo trimestre di TSMC raggiungano 1,49 trilioni di NT$, il 3% in più rispetto al consenso di mercato.