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.
Habari zinazohusiana
Ukandamizaji wa Kifedha katika Enzi ya AI
📺 Tazama Video Bitcoin Magazine Ukandamizaji wa Kifedha katika Enzi ya AI Uhamishaji wa kazi nje uliifanya Marekani kutegemea wapinzani kwa teknolojia muhimu, asema Craig Tindale....
Uuzaji wa Hati za Hazina za Marekani za Septemba: Sio Matarajio ya Mfumuko wa Bei, Bali Kuongezeka kwa Mavuno Halisi
Soko linaweza kuwa linatathmini upya ukuaji wa uchumi na mahitaji ya mtaji, lakini malipo ya ziada ya muda yanasalia kuwa wasiwasi.
Wanyang'anyi watatu wenye silaha huko Pattaya, Thailand, walimlazimisha raia wa China kuhamisha dola 820,000 katika sarafu ya kidijitali.
TRAE ya ByteDance inaunganisha zana mbili za AI, TraeWork itafungwa tarehe 23 Oktoba.
Bernstein: Mapato ya TSMC kwa robo ya tatu yanatarajiwa kufikia NT$1.49 trilioni, 3% juu ya makubaliano ya soko.