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.

Habari zinazohusiana

11-02 02:05 UTC
Musk: Gharama ya uendeshaji ya Grok Bot ni kubwa isivyoweza kudumishwa ikilinganishwa na mapato yake.
PANews, habari za Novemba 2: Kujibu swali la mtumiaji kwenye jukwaa la X kuhusu kuisha kwa haraka kwa viwango vya matumizi ya Grok Bot, Musk alisema kuwa gharam...
11-02 01:44 UTC
Benki ya China Merchants na taasisi nyingine kadhaa zimezindua huduma za uchapishaji wa taarifa za miamala ya pochi ndani ya Programu ya renminbi ya kidijitali.
11-02 01:41 UTC
Mwanzilishi wa POAP anaweza kuwa alijiandikisha kwa ETH 100,000 wakati wa ICO ya 2015.
11-02 01:01 UTC
UBTECH yatoa jukwaa la uigaji wa akili iliyowekwa mwilini Thinker-Sim.
11-02 00:55 UTC
Kipindi cha maombi ya leseni za watoa huduma za mali pepe nchini Brazil kimekamilika, huku kampuni takriban 40 pekee zikiwasilisha maombi.

Musk: Gharama ya uendeshaji ya Grok Bot ni kubwa isivyoweza kudumishwa ikilinganishwa na mapato yake.

Benki ya China Merchants na taasisi nyingine kadhaa zimezindua huduma za uchapishaji wa taarifa za miamala ya pochi ndani ya Programu ya renminbi ya kidijitali.

Mwanzilishi wa POAP anaweza kuwa alijiandikisha kwa ETH 100,000 wakati wa ICO ya 2015.

UBTECH yatoa jukwaa la uigaji wa akili iliyowekwa mwilini Thinker-Sim.

Kipindi cha maombi ya leseni za watoa huduma za mali pepe nchini Brazil kimekamilika, huku kampuni takriban 40 pekee zikiwasilisha maombi.