Cardano founder Charles Hoskinson personally develops a new programming language.

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.

Notizie correlate

11-02 02:05 UTC
Musk: il costo operativo di Grok Bot è insostenibilmente alto rispetto ai suoi ricavi.
PANews, 2 novembre: In risposta alla domanda di un utente sulla piattaforma X riguardo al rapido esaurimento delle quote di utilizzo di Grok Bot, Musk ha dichia...
11-02 01:44 UTC
China Merchants Bank e diverse altre istituzioni hanno lanciato servizi di stampa degli estratti conto delle transazioni del portafoglio all'interno dell'App del renminbi digitale.
11-02 01:41 UTC
Il fondatore di POAP potrebbe aver sottoscritto 100.000 ETH durante l'ICO del 2015.
11-02 01:01 UTC
UBTECH presenta Thinker-Sim, la piattaforma di simulazione per l'intelligenza incarnata.
11-02 00:55 UTC
Il periodo di candidatura per le licenze di fornitore di servizi per le cripto-attività in Brasile si è concluso, con solo circa 40 società che hanno presentato domanda.

Musk: il costo operativo di Grok Bot è insostenibilmente alto rispetto ai suoi ricavi.

China Merchants Bank e diverse altre istituzioni hanno lanciato servizi di stampa degli estratti conto delle transazioni del portafoglio all'interno dell'App del renminbi digitale.

Il fondatore di POAP potrebbe aver sottoscritto 100.000 ETH durante l'ICO del 2015.

UBTECH presenta Thinker-Sim, la piattaforma di simulazione per l'intelligenza incarnata.

Il periodo di candidatura per le licenze di fornitore di servizi per le cripto-attività in Brasile si è concluso, con solo circa 40 società che hanno presentato domanda.