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.
Notícias relacionadas
Repressão Financeira na Era da IA
📺 Assista ao vídeo Bitcoin Magazine Repressão Financeira na Era da IA A offshoring deixou os EUA dependentes de rivais para tecnologias críticas, diz Craig Tindale. Baseando-se em...
Venda massiva de Treasuries dos EUA em setembro: não são expectativas de inflação, mas um salto nos rendimentos reais
O mercado pode estar reavaliando o crescimento econômico e a demanda por capital, mas o prêmio de prazo continua sendo uma preocupação.
Três assaltantes armados em Pattaya, na Tailândia, forçaram um cidadão chinês a transferir US$ 820.000 em criptomoeda.
O TRAE da ByteDance funde duas ferramentas de IA, o TraeWork será encerrado em 23 de outubro.
Bernstein: A receita do terceiro trimestre da TSMC deve atingir NT$ 1,49 trilhão, 3% acima do consenso do mercado.