Zum Hauptinhalt springen
727 Finance
Deutsch

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.

Verwandte Nachrichten

  1. Meta und das chinesische Unternehmen Fourier entwickelten in 3 Monaten einen humanoiden Robotprototyp.

  2. Die Binance SAFU-Wallet hat vor einer halben Stunde 7.500 BTC transferiert, möglicherweise um die für den Proof of Reserves erforderlichen Vermögenswerte aufzufüllen.

  3. DeepSeek schlägt ein Super-Agent-Architekturdesign vor und erkundet autonomere Agent-Systeme.

  4. Aggregator Hooks bringen externe Liquidität in v4 – was plant Uniswap?

    Uniswap v4 startet Aggregator-Hooks, die externe Liquidität von Curve, Fluid, PancakeSwap und anderen in standardisierte v4-Pools einbinden und Gebühren der UNI...

  5. Binance: Etwa 90 % der betroffenen Vermögenswerte wurden nachträglich aufgefüllt, und der Snapshot für den Reserve-Nachweis wurde veröffentlicht.

    PANews-Nachricht vom 31. Oktober: Laut einer Ankündigung von Binance waren bis zum 31. Oktober etwa 90 % der betroffenen Vermögenswerte wieder aufgefüllt, was e...