Ruka hadi maudhui makuu
727 Finance
Kiswahili
中文繁體中文English日本語한국어EspañolPortuguês (Brasil)РусскийTürkçeFrançaisDeutschहिन्दीالعربيةবাংলাBahasa IndonesiaBahasa MelayuاردوTiếng ViệtไทยItalianoفارسیதமிழ்తెలుగుमराठीਪੰਜਾਬੀKiswahiliHausaYorùbáአማርኛ

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

  1. Circle newly minted 250 million USDC on the Solana network.

  2. Meta na kampuni ya China Fourier walitengeneza mfano wa roboti yenye umbo la binadamu katika miezi 3.

  3. Pochi ya SAFU ya Binance imehamisha BTC 7,500 nje nusu saa iliyopita, ikiwezekana ili kujaza mali zinazohitajika kwa Uthibitisho wa Akiba.

  4. DeepSeek inapendekeza muundo wa usanifu wa Super-agent, ikichunguza mifumo huru zaidi ya Agent.

  5. Aggregator Hooks huleta ukwasi wa nje ndani ya v4—Uniswap inapanga nini?

    Uniswap v4 yazindua Hooks za mkusanyiko, ikifunika ukwasi wa nje kutoka Curve, Fluid, PancakeSwap na wengine ndani ya madimbwi ya kawaida ya v4, na kuelekeza ad...